chore: merge ethproof update

Author: Ubuntu

.github/workflows/ci.yml

@@ -29,9 +29,6 @@ jobs:
         uses: actions/setup-go@v3
         with:
           go-version: '1.22'
-      - name: Build Go library
-        run: |
-          ./sdk/src/local/libsnark/compile.sh
       - name: Cargo build
         run: cargo build --verbose --release
       - name: Cargo test

Cargo.toml

@@ -4,7 +4,7 @@ members = [
    "host-program/sha2-rust",
    "host-program/revme",
    "host-program/mem-alloc-vec",
-   "host-program/sha2-precompile",
+   "host-program/sha2-composition",
    "sdk"
   ]
 resolver = "2"

README.md

@@ -61,7 +61,6 @@ Please refer to [this](guest-program/README.md) guide.
 
 ```sh
 cd zkm-project-template
-sh sdk/src/local/libsnark/compile.sh  # compile snark library
 cargo build --release                 # build host programs
 ```