chore(vapp): update sp1 to v5.1.0 (#184)

Author: mattstam

Cargo.toml

@@ -38,11 +38,11 @@ spn-network-types = { path = "crates/types/network" }
 spn-vapp-core = { path = "crates/vapp" }
 
 # sp1
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", branch = "dev" }
-sp1-prover = { git = "https://github.com/succinctlabs/sp1.git", branch = "dev" }
-sp1-verifier = { git = "https://github.com/succinctlabs/sp1.git", branch = "dev" }
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", branch = "dev" }
-sp1-build = { git = "https://github.com/succinctlabs/sp1.git", branch = "dev" }
+sp1-sdk = "5.1.0"
+sp1-prover = "5.1.0"
+sp1-verifier = "5.1.0"
+sp1-zkvm = "5.1.0"
+sp1-build = "5.1.0"
 
 # aws
 aws-config = "1.5.3"

programs/vapp/aggregation/Cargo.toml

@@ -7,7 +7,7 @@ edition = "2021"
 spn-vapp-core = { workspace = true }
 alloy-sol-types = { workspace = true }
 sha2 = { workspace = true }
-sp1-zkvm = { version = "5.0.5", features = ["verify"] }
+sp1-zkvm = { version = "5.1.0", features = ["verify"] }
 
 [build-dependencies]
 sp1-sdk = { workspace = true, default-features = false }

programs/vapp/stf/Cargo.toml

@@ -7,4 +7,4 @@ edition = "2021"
 spn-vapp-core = { workspace = true }
 alloy-primitives = { workspace = true, features = ["k256", "tiny-keccak"] }
 alloy-sol-types = { workspace = true }
-sp1-zkvm = { version = "5.0.5", features = ["verify"] }
+sp1-zkvm = { version = "5.1.0", features = ["verify"] }

x.sh

@@ -28,15 +28,15 @@ done
 # Build the STF program.
 echo "Building STF program..."
 cd programs/vapp/stf
-cargo prove build --elf-name spn-vapp-stf $USE_DOCKER --tag v5.0.5 --output-directory ../../../elf
+cargo prove build --elf-name spn-vapp-stf $USE_DOCKER --tag v5.1.0 --output-directory ../../../elf
 cd ../../..
 echo "Done!"
 echo ""
 
 # Build the aggregation program.
 echo "Building aggregation program..."
 cd programs/vapp/aggregation
-cargo prove build --elf-name spn-vapp-aggregation $USE_DOCKER --tag v5.0.5 --output-directory ../../../elf
+cargo prove build --elf-name spn-vapp-aggregation $USE_DOCKER --tag v5.1.0 --output-directory ../../../elf
 cd ../../..
 echo "Done!"
 echo ""