From 55ad484e03d86bd977cb2bb38e29f72f6fc7aa9e Mon Sep 17 00:00:00 2001 From: Chris Tian Date: Mon, 20 May 2024 15:10:18 -0700 Subject: [PATCH 1/2] chore: vk/pk serde + clone --- Cargo.lock | 44 +++++++++++++++++----------------- core/src/stark/machine.rs | 50 +++++++++++++++++++++++++++++++++++++-- 2 files changed, 70 insertions(+), 24 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 55de795a21..6e10c5bfee 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -836,7 +836,7 @@ dependencies = [ "bitflags 2.5.0", "cexpr", "clang-sys", - "itertools 0.12.1", + "itertools 0.10.5", "lazy_static", "lazycell", "log", @@ -2936,7 +2936,7 @@ checksum = "b15813163c1d831bf4a13c3610c05c0d03b39feb07f7e09fa234dac9b15aaf39" [[package]] name = "p3-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -2945,7 +2945,7 @@ dependencies = [ [[package]] name = "p3-baby-bear" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "num-bigint 0.4.5", "p3-field", @@ -2959,7 +2959,7 @@ dependencies = [ [[package]] name = "p3-blake3" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "blake3", "p3-symmetric", @@ -2968,7 +2968,7 @@ dependencies = [ [[package]] name = "p3-bn254-fr" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "ff 0.13.0", "num-bigint 0.4.5", @@ -2982,7 +2982,7 @@ dependencies = [ [[package]] name = "p3-challenger" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-maybe-rayon", @@ -2994,7 +2994,7 @@ dependencies = [ [[package]] name = "p3-commit" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-challenger", @@ -3007,7 +3007,7 @@ dependencies = [ [[package]] name = "p3-dft" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -3019,7 +3019,7 @@ dependencies = [ [[package]] name = "p3-field" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "num-bigint 0.4.5", @@ -3032,7 +3032,7 @@ dependencies = [ [[package]] name = "p3-fri" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-challenger", @@ -3050,7 +3050,7 @@ dependencies = [ [[package]] name = "p3-interpolation" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -3060,7 +3060,7 @@ dependencies = [ [[package]] name = "p3-keccak" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-symmetric", "tiny-keccak", @@ -3069,7 +3069,7 @@ dependencies = [ [[package]] name = "p3-keccak-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-air", "p3-field", @@ -3082,7 +3082,7 @@ dependencies = [ [[package]] name = "p3-matrix" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-field", @@ -3096,7 +3096,7 @@ dependencies = [ [[package]] name = "p3-maybe-rayon" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "rayon", ] @@ -3104,7 +3104,7 @@ dependencies = [ [[package]] name = "p3-mds" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-dft", @@ -3118,7 +3118,7 @@ dependencies = [ [[package]] name = "p3-merkle-tree" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-commit", @@ -3134,7 +3134,7 @@ dependencies = [ [[package]] name = "p3-poseidon2" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "gcd", "p3-field", @@ -3146,7 +3146,7 @@ dependencies = [ [[package]] name = "p3-symmetric" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-field", @@ -3156,7 +3156,7 @@ dependencies = [ [[package]] name = "p3-uni-stark" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-air", @@ -3174,7 +3174,7 @@ dependencies = [ [[package]] name = "p3-util" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "serde", ] @@ -3500,7 +3500,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9554e3ab233f0a932403704f1a1d08c30d5ccd931adfdfa1e8b5a19b52c1d55a" dependencies = [ "anyhow", - "itertools 0.12.1", + "itertools 0.10.5", "proc-macro2", "quote", "syn 2.0.61", diff --git a/core/src/stark/machine.rs b/core/src/stark/machine.rs index 948ceca9ab..8616915586 100644 --- a/core/src/stark/machine.rs +++ b/core/src/stark/machine.rs @@ -10,6 +10,7 @@ use p3_matrix::dense::RowMajorMatrix; use p3_matrix::Dimensions; use p3_matrix::Matrix; use p3_maybe_rayon::prelude::*; +use serde::de::DeserializeOwned; use serde::Deserialize; use serde::Serialize; use std::cmp::Reverse; @@ -63,6 +64,9 @@ impl StarkMachine { } } +#[derive(Clone, Serialize, Deserialize)] +#[serde(bound(serialize = "PcsProverData: Serialize"))] +#[serde(bound(deserialize = "PcsProverData: DeserializeOwned"))] pub struct StarkProvingKey { pub commit: Com, pub pc_start: Val, @@ -79,11 +83,11 @@ impl StarkProvingKey { } #[derive(Clone, Serialize, Deserialize)] -#[serde(bound = "SC: StarkGenericConfig")] +#[serde(bound(serialize = "Dom: Serialize"))] +#[serde(bound(deserialize = "Dom: DeserializeOwned"))] pub struct StarkVerifyingKey { pub commit: Com, pub pc_start: Val, - #[serde(skip)] pub chip_information: Vec<(String, Dom, Dimensions)>, pub chip_ordering: HashMap, } @@ -517,6 +521,9 @@ pub mod tests { use crate::runtime::Instruction; use crate::runtime::Opcode; use crate::runtime::Program; + use crate::stark::RiscvAir; + use crate::stark::StarkProvingKey; + use crate::stark::StarkVerifyingKey; use crate::utils; use crate::utils::prove; use crate::utils::run_test; @@ -684,4 +691,43 @@ pub mod tests { let program = ssz_withdrawals_program(); run_test(program).unwrap(); } + + #[test] + fn test_key_serde() { + let program = ssz_withdrawals_program(); + let config = BabyBearPoseidon2::new(); + let machine = RiscvAir::machine(config); + let (pk, vk) = machine.setup(&program); + + let serialized_pk = bincode::serialize(&pk).unwrap(); + let deserialized_pk: StarkProvingKey = + bincode::deserialize(&serialized_pk).unwrap(); + assert_eq!(pk.commit, deserialized_pk.commit); + assert_eq!(pk.pc_start, deserialized_pk.pc_start); + assert_eq!(pk.traces, deserialized_pk.traces); + assert_eq!(pk.data.root(), deserialized_pk.data.root()); + assert_eq!(pk.chip_ordering, deserialized_pk.chip_ordering); + + let serialized_vk = bincode::serialize(&vk).unwrap(); + let deserialized_vk: StarkVerifyingKey = + bincode::deserialize(&serialized_vk).unwrap(); + assert_eq!(vk.commit, deserialized_vk.commit); + assert_eq!(vk.pc_start, deserialized_vk.pc_start); + assert_eq!( + vk.chip_information.len(), + deserialized_vk.chip_information.len() + ); + for (a, b) in vk + .chip_information + .iter() + .zip(deserialized_vk.chip_information.iter()) + { + assert_eq!(a.0, b.0); + assert_eq!(a.1.log_n, b.1.log_n); + assert_eq!(a.1.shift, b.1.shift); + assert_eq!(a.2.height, b.2.height); + assert_eq!(a.2.width, b.2.width); + } + assert_eq!(vk.chip_ordering, deserialized_vk.chip_ordering); + } } From 1e93242f305fef48c0d39a0dea70c6dadf1c8fd9 Mon Sep 17 00:00:00 2001 From: Chris Tian Date: Mon, 20 May 2024 16:48:38 -0700 Subject: [PATCH 2/2] fix --- examples/Cargo.lock | 47 +++++++++++++----------- examples/fibonacci/script/bin/execute.rs | 2 +- 2 files changed, 26 insertions(+), 23 deletions(-) diff --git a/examples/Cargo.lock b/examples/Cargo.lock index ce377df651..c6684b3326 100644 --- a/examples/Cargo.lock +++ b/examples/Cargo.lock @@ -827,7 +827,7 @@ dependencies = [ "bitflags 2.5.0", "cexpr", "clang-sys", - "itertools 0.12.1", + "itertools 0.10.5", "lazy_static", "lazycell", "log", @@ -2930,7 +2930,7 @@ checksum = "b15813163c1d831bf4a13c3610c05c0d03b39feb07f7e09fa234dac9b15aaf39" [[package]] name = "p3-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -2939,7 +2939,7 @@ dependencies = [ [[package]] name = "p3-baby-bear" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "num-bigint 0.4.5", "p3-field", @@ -2953,7 +2953,7 @@ dependencies = [ [[package]] name = "p3-blake3" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "blake3", "p3-symmetric", @@ -2962,7 +2962,7 @@ dependencies = [ [[package]] name = "p3-bn254-fr" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "ff 0.13.0", "num-bigint 0.4.5", @@ -2976,7 +2976,7 @@ dependencies = [ [[package]] name = "p3-challenger" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-maybe-rayon", @@ -2988,7 +2988,7 @@ dependencies = [ [[package]] name = "p3-commit" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-challenger", @@ -3001,7 +3001,7 @@ dependencies = [ [[package]] name = "p3-dft" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -3013,7 +3013,7 @@ dependencies = [ [[package]] name = "p3-field" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "num-bigint 0.4.5", @@ -3026,7 +3026,7 @@ dependencies = [ [[package]] name = "p3-fri" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-challenger", @@ -3044,7 +3044,7 @@ dependencies = [ [[package]] name = "p3-interpolation" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-field", "p3-matrix", @@ -3054,7 +3054,7 @@ dependencies = [ [[package]] name = "p3-keccak" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-symmetric", "tiny-keccak", @@ -3063,7 +3063,7 @@ dependencies = [ [[package]] name = "p3-keccak-air" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "p3-air", "p3-field", @@ -3076,7 +3076,7 @@ dependencies = [ [[package]] name = "p3-matrix" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-field", @@ -3090,7 +3090,7 @@ dependencies = [ [[package]] name = "p3-maybe-rayon" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "rayon", ] @@ -3098,7 +3098,7 @@ dependencies = [ [[package]] name = "p3-mds" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-dft", @@ -3112,7 +3112,7 @@ dependencies = [ [[package]] name = "p3-merkle-tree" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-commit", @@ -3128,7 +3128,7 @@ dependencies = [ [[package]] name = "p3-poseidon2" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "gcd", "p3-field", @@ -3140,7 +3140,7 @@ dependencies = [ [[package]] name = "p3-symmetric" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-field", @@ -3150,7 +3150,7 @@ dependencies = [ [[package]] name = "p3-uni-stark" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "itertools 0.12.1", "p3-air", @@ -3168,7 +3168,7 @@ dependencies = [ [[package]] name = "p3-util" version = "0.1.0" -source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#04d4c6e15a0296798331db82e696d29c455bafe1" +source = "git+https://github.com/Plonky3/Plonky3.git?branch=sp1#da0489b75025ec17f1100952694d8b7879c2b43e" dependencies = [ "serde", ] @@ -3497,7 +3497,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9554e3ab233f0a932403704f1a1d08c30d5ccd931adfdfa1e8b5a19b52c1d55a" dependencies = [ "anyhow", - "itertools 0.12.1", + "itertools 0.10.5", "proc-macro2", "quote", "syn 2.0.61", @@ -4491,6 +4491,7 @@ dependencies = [ "hex", "indicatif", "itertools 0.12.1", + "num-bigint 0.4.5", "p3-baby-bear", "p3-bn254-fr", "p3-challenger", @@ -4615,6 +4616,7 @@ dependencies = [ "cc", "crossbeam", "log", + "num-bigint 0.4.5", "p3-baby-bear", "p3-field", "rand", @@ -4668,6 +4670,7 @@ dependencies = [ "hex", "indicatif", "log", + "num-bigint 0.4.5", "p3-commit", "p3-field", "p3-matrix", diff --git a/examples/fibonacci/script/bin/execute.rs b/examples/fibonacci/script/bin/execute.rs index e01d5667e6..be8776b414 100644 --- a/examples/fibonacci/script/bin/execute.rs +++ b/examples/fibonacci/script/bin/execute.rs @@ -15,7 +15,7 @@ fn main() { // Only execute the program and get a `SP1PublicValues` object. let client = ProverClient::new(); - let mut public_values = client.execute(&ELF, stdin).unwrap(); + let mut public_values = client.execute(ELF, stdin).unwrap(); println!("generated proof");