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

[taturosati]

• Updated sp1 version to v1.0.4-testnet
• Use verify_compressed instead of verify
  • Had to regenerate test proofs using prove_compressed
• Docs on how to generate sp1 proofs and then verify them on aligned

How to test

Follow docs on README.md (copied below). The only caveat is you will have to use localhost instead of batcher.alignedlayer.com, since version with verify compressed is not deployed yet.

SP1

Dependencies

This guide assumes that:

• sp1 prover installed (instructions here)
• sp1 project to generate the proofs (instructions here)
• aligned layer repository cloned:

  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:

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:

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>