chore: update sp1 version + use compressed sp1 proofs + docs to generate sp1 proofs and verify them on aligned (#240)

Co-authored-by: Mauro Toscano <12560266+MauroToscano@users.noreply.github.com>
Co-authored-by: jotabulacios <jbulacios@fi.uba.ar>

Author: 3 people

.github/workflows/test-sp1.yml

@@ -11,20 +11,12 @@ jobs:
     test:
       runs-on: ubuntu-latest
       steps:
-        - name: Clear device space
-          run: |
-            sudo rm -rf "$AGENT_TOOLSDIRECTORY"
-            sudo rm -rf /usr/local/lib/android
-            sudo rm -rf /opt/ghc
-            sudo rm -rf /usr/local/.ghcup
-            sudo rm -rf /usr/share/dotnet
-            sudo rm -rf /opt/ghc
-            sudo rm -rf "/usr/local/share/boost"
         - uses: actions/checkout@v4
         - uses: actions/setup-go@v5
           with:
             go-version: '1.22'
             cache: false
-
+        - name: Test SP1 Rust
+          run: make test_sp1_rust_ffi
         - name: Test SP1 go bindings
           run: make test_sp1_go_bindings_linux

Makefile

@@ -403,12 +403,10 @@ __SP1_FFI__: ##
 build_sp1_macos:
 	@cd operator/sp1/lib && cargo build --release
 	@cp operator/sp1/lib/target/release/libsp1_verifier_ffi.dylib operator/sp1/lib/libsp1_verifier.dylib
-	@cp operator/sp1/lib/target/release/libsp1_verifier_ffi.a operator/sp1/lib/libsp1_verifier.a
 
 build_sp1_linux:
 	@cd operator/sp1/lib && cargo build --release
 	@cp operator/sp1/lib/target/release/libsp1_verifier_ffi.so operator/sp1/lib/libsp1_verifier.so
-	@cp operator/sp1/lib/target/release/libsp1_verifier_ffi.a operator/sp1/lib/libsp1_verifier.a
 
 test_sp1_rust_ffi:
 	@echo "Testing SP1 Rust FFI source code..."

README.md

@@ -763,8 +763,6 @@ If you want to have some data to see on it, you can start our infinite task send
 make batcher_send_burst_groth16
 ```
 
-</details>
-
 ## Tests
 
 To run the go tests
@@ -773,6 +771,50 @@ To run the go tests
 make test
 ```
 
+# Verify Proofs
+
+## SP1
+
+### Dependencies
+This guide assumes that:
+- sp1 prover installed (instructions [here](https://succinctlabs.github.io/sp1/getting-started/install.html))
+- sp1 project to generate the proofs (instructions [here](https://succinctlabs.github.io/sp1/generating-proofs/setup.html))
+- aligned layer repository cloned:
+    ```bash
+    git clone https://github.com/yetanotherco/aligned_layer.git
+    ```
+
+### How to generate a proof
+
+> AlignedLayer only verifies SP1 in compressed version. 
+> You can check you are using compressed by opening script/src/main.rs
+and check that the proof is generated with `client.prove_compressed` instead of `client.prove`.
+
+First, open a terminal and navigate to the script folder in the sp1 project directory 
+
+Then, run the following command to generate a proof:
+```bash
+cargo run --release
+```
+
+### How to get the proof verified by AlignedLayer
+
+After generating the proof, you will have to find two different files:
+- proof file: usually found under `script` directory, with the name `proof.json` or similar
+- elf file: usually found under `program/elf/` directory
+
+Then, you can send the proof to the AlignedLayer network by running the following command
+from `batcher/client` folder inside the AlignedLayer repository directory:
+
+```bash
+cargo run --release -- \
+--proving_system SP1 \
+--proof <proof_path> \
+--vm_program <vm_program_path> \
+--conn wss://batcher.alignedlayer.com \
+--proof_generator_addr <proof_generator_addr>
+```
+
 ## FAQ
 
 ### What is the objective of Aligned?