ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

pass crh parameters into commitment merkle path verify method

Browse Source
This commit is contained in:
collin 2020-08-12 20:50:37 -07:00
parent cc3136193e
commit 8971821820
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
state/src/local_data_commitment/local_data_commitment.rs
View File

@ -55,12 +55,15 @@ pub fn verify_local_data_commitment(
)?; )?;
// Construct record commitment merkle path // Construct record commitment merkle path
let mut local_data_merkle_path = CommitmentMerklePath::<LocalDataCommitment, LocalDataCRH>::read(&path[..])?; let local_data_merkle_path = CommitmentMerklePath::<LocalDataCommitment, LocalDataCRH>::read(&path[..])?;
local_data_merkle_path.parameters = Some(system_parameters.local_data_crh.clone());
// Check record commitment merkle path is valid for the given local data commitment root // Check record commitment merkle path is valid for the given local data commitment root
let local_data_commitment_root = <LocalDataCRH as CRH>::Output::read(&root[..])?; let local_data_commitment_root = <LocalDataCRH as CRH>::Output::read(&root[..])?;
let result = local_data_merkle_path.verify(&local_data_commitment_root, &local_data_commitment_leaf)?; let result = local_data_merkle_path.verify(
&system_parameters.local_data_crh,
&local_data_commitment_root,
&local_data_commitment_leaf,
)?;
Ok(result) Ok(result)
} }

1
state/tests/test_verify_local_data_commitment.rs
View File

@ -133,6 +133,7 @@ fn test_generate_values_from_dpc() {
&mut rng, &mut rng,
) )
.unwrap(); .unwrap();
let local_data = context.into_local_data(); let local_data = context.into_local_data();
let leaf_index = 0; let leaf_index = 0;
let record = &local_data.old_records[leaf_index]; let record = &local_data.old_records[leaf_index];