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
 ```
 

contracts/src/verifier.sol

@@ -1,14 +1,7 @@
 fn main() {
-    let guest_path = format!(
-        "{}/../../guest-program/mem-alloc-vec",
-        env!("CARGO_MANIFEST_DIR")
-    );
+    let guest_path = format!("{}/../../guest-program/mem-alloc-vec", env!("CARGO_MANIFEST_DIR"));
     zkm_build::build_program(&guest_path);
-    let guest_target_path = format!(
-        "{}/{}/{}",
-        guest_path,
-        zkm_build::DEFAULT_OUTPUT_DIR,
-        zkm_build::BUILD_TARGET
-    );
+    let guest_target_path =
+        format!("{}/{}/{}", guest_path, zkm_build::DEFAULT_OUTPUT_DIR, zkm_build::BUILD_TARGET);
     println!("cargo:rustc-env=GUEST_TARGET_PATH={}", guest_target_path);
 }