Change zksolc version in CI

.github/workflows/ci.yml

@@ -66,10 +66,13 @@ jobs:
           tool: cargo-nextest
 
       - name: Download zksolc compiler
-        run: curl -L https://github.com/matter-labs/era-compiler-solidity/releases/download/1.5.0/zksolc-linux-amd64-musl-v1.5.0  --output zksolc && chmod +x zksolc && sudo mv zksolc /usr/bin/zksolc
+        run: curl -L https://github.com/matter-labs/zksolc-bin/releases/download/v1.4.1/zksolc-linux-amd64-musl-v1.4.1 --output zksolc && chmod +x zksolc && sudo mv zksolc /usr/bin/zksolc
+
+      - name: Download solc compiler
+        run: curl -L https://github.com/ethereum/solidity/releases/download/v0.8.25/solc-static-linux --output solc && chmod +x solc && sudo mv solc /usr/bin/solc
 
       - name: Compile test programs
-        run: make compile-programs && ./move_artifacts.sh
+        run: make compile-programs
 
       - name: Run tests
         run: cargo nextest run --workspace --all-features --no-capture

README.md

@@ -3,7 +3,7 @@
 ## Requirements
 
 - [Rust](https://www.rust-lang.org/tools/install)
-- [The EraVM Compiler: zksolc](https://github.com/matter-labs/zksolc-bin). Download the latest binary, then put it under your path. If done correctly, running `zksolc --version` should return a sensible value.
+- [The EraVM Compiler: zksolc 1.4.1](https://github.com/matter-labs/zksolc-bin). Download the [latest binary](https://github.com/matter-labs/zksolc-bin/releases/tag/v1.4.1), then put it under your path. If done correctly, running `zksolc --version` should return 1.4.1.
 
 ## Compiling programs