@@ -3,7 +3,7 @@ sp1_zkvm::entrypoint!(main);
33
44use sha2:: { Digest , Sha256 } ;
55use sha3:: Keccak256 ;
6- use sp1_aggregation_program:: { Input , ProofInput } ;
6+ use sp1_aggregation_program:: { Input , ProofDataInput } ;
77
88fn combine_hashes ( hash_a : & [ u8 ; 32 ] , hash_b : & [ u8 ; 32 ] ) -> [ u8 ; 32 ] {
99 let mut hasher = Keccak256 :: new ( ) ;
@@ -13,7 +13,7 @@ fn combine_hashes(hash_a: &[u8; 32], hash_b: &[u8; 32]) -> [u8; 32] {
1313}
1414
1515/// Computes the merkle root for the given proofs using the vk
16- fn compute_merkle_root ( proofs : & [ ProofInput ] ) -> [ u8 ; 32 ] {
16+ fn compute_merkle_root ( proofs : & [ ProofDataInput ] ) -> [ u8 ; 32 ] {
1717 let mut leaves: Vec < [ u8 ; 32 ] > = proofs
1818 . chunks ( 2 )
1919 . map ( |chunk| match chunk {
@@ -41,9 +41,9 @@ pub fn main() {
4141 let input = sp1_zkvm:: io:: read :: < Input > ( ) ;
4242
4343 // Verify the proofs.
44- for proof in input. proofs . iter ( ) {
44+ for proof in input. proofs_data . iter ( ) {
4545 match proof {
46- ProofInput :: SP1Compressed ( proof) => {
46+ ProofDataInput :: SP1Compressed ( proof) => {
4747 let vkey = proof. vk ;
4848 let public_values = & proof. public_inputs ;
4949 let public_values_digest = Sha256 :: digest ( public_values) ;
@@ -52,7 +52,7 @@ pub fn main() {
5252 }
5353 }
5454
55- let merkle_root = compute_merkle_root ( & input. proofs ) ;
55+ let merkle_root = compute_merkle_root ( & input. proofs_data ) ;
5656
5757 assert_eq ! ( merkle_root, input. merkle_root) ;
5858
0 commit comments