logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 00:03:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix BlockCircuitData proofs

Browse Source
This commit is contained in:
Robin Salen 2023-03-31 18:12:38 -04:00
parent 042c004237
commit 6124e4d6a3
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
evm/Cargo.toml
View File

@ -34,6 +34,7 @@ rlp = "0.5.1"
rlp-derive = "0.1.0" rlp-derive = "0.1.0"
serde = { version = "1.0.144", features = ["derive"] } serde = { version = "1.0.144", features = ["derive"] }
static_assertions = "1.1.0" static_assertions = "1.1.0"
hashbrown = { version = "0.12.3" }
tiny-keccak = "2.0.2" tiny-keccak = "2.0.2"
[target.'cfg(not(target_env = "msvc"))'.dependencies] [target.'cfg(not(target_env = "msvc"))'.dependencies]

11
evm/src/fixed_recursive_verifier.rs
View File

@ -1,6 +1,7 @@
use std::collections::BTreeMap; use std::collections::BTreeMap;
use std::ops::Range; use std::ops::Range;
use hashbrown::HashMap;
use itertools::Itertools; use itertools::Itertools;
use plonky2::field::extension::Extendable; use plonky2::field::extension::Extendable;
use plonky2::fri::FriParams; use plonky2::fri::FriParams;
@ -17,6 +18,7 @@ use plonky2::plonk::circuit_data::{
use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher}; use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher};
use plonky2::plonk::proof::{ProofWithPublicInputs, ProofWithPublicInputsTarget}; use plonky2::plonk::proof::{ProofWithPublicInputs, ProofWithPublicInputsTarget};
use plonky2::recursion::cyclic_recursion::check_cyclic_proof_verifier_data; use plonky2::recursion::cyclic_recursion::check_cyclic_proof_verifier_data;
use plonky2::recursion::dummy_circuit::cyclic_base_proof;
use plonky2::util::timing::TimingTree; use plonky2::util::timing::TimingTree;
use plonky2_util::log2_ceil; use plonky2_util::log2_ceil;
@ -453,6 +455,15 @@ where
if let Some(parent_block_proof) = opt_parent_block_proof { if let Some(parent_block_proof) = opt_parent_block_proof {
block_inputs block_inputs
.set_proof_with_pis_target(&self.block.parent_block_proof, parent_block_proof); .set_proof_with_pis_target(&self.block.parent_block_proof, parent_block_proof);
} else {
block_inputs.set_proof_with_pis_target(
&self.block.parent_block_proof,
&cyclic_base_proof(
&self.block.circuit.common,
&self.block.circuit.verifier_only,
HashMap::new(),
),
);
} }
block_inputs.set_proof_with_pis_target(&self.block.agg_root_proof, agg_root_proof); block_inputs.set_proof_with_pis_target(&self.block.agg_root_proof, agg_root_proof);