Try Aligned
In this tutorial, you will learn how to send your first SP1 proofs to get verified in Aligned in under 3 minutes.
This tutorial is for sending proofs on Hoodi network. To send proofs on Mainnet, please refer to the submitting proofs guide.
Quickstart
We will download a previously generated SP1 proof, send it to Aligned for verification, and retrieve the results from Ethereum Hoodi testnet.
Download and install Aligned to send proofs in the testnet:
curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/testnet/crates/cli/install_aligned.sh | bashRun the
sourcecommand that should appear in the shellDownload the example SP1 proof file together with the ELF file of the proved program using:
curl -L https://raw.githubusercontent.com/yetanotherco/aligned_layer/testnet/crates/cli/get_proof_test_files.sh | bashSend the proof to be verified in Aligned with
rm -rf ~/.aligned/aligned_verification_data/ &&
aligned submit \
--proving_system SP1 \
--proof ~/.aligned/test_files/sp1_fibonacci_5_0_0.proof \
--vm_program ~/.aligned/test_files/sp1_fibonacci_5_0_0.elf \
--public_input ~/.aligned/test_files/sp1_fibonacci_5_0_0.pub \
--aligned_verification_data_path ~/.aligned/aligned_verification_data \
--network hoodi \
--rpc_url https://ethereum-hoodi-rpc.publicnode.comYou should get a response like this:
Use the link in the response to check the status of your transaction in the Aligned explorer.
After three Ethereum blocks, you should be able to check if it has been verified with the CLI using
This is reading the result of the proof verification in Ethereum.
You should get this result:
If the proof wasn't verified, you should get this result:
Aligned works in:
macOS Arm64 (M1 or higher)
Linux x86 with GLIBC_2.32 or superior (For example, Ubuntu 22.04 or higher)
If you don't meet these requirements, you can compile the binaries yourself following the README
To try Aligned with other proving systems, check this guide
Last updated