mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-10 17:53:06 +00:00
b7bc1bf313
I think this is the recommended way to apply Fiat-Shamir, to avoid any possible attacks like taking someone else's proof and using it to prove a slightly different statement.
23 lines
706 B
Rust
23 lines
706 B
Rust
use crate::circuit_builder::CircuitBuilder;
|
|
use crate::circuit_data::{CircuitConfig, VerifierCircuitTarget};
|
|
use crate::field::field::Field;
|
|
use crate::gates::gate::GateRef;
|
|
use crate::proof::ProofTarget;
|
|
|
|
const MIN_WIRES: usize = 120; // TODO: Double check.
|
|
const MIN_ROUTED_WIRES: usize = 8; // TODO: Double check.
|
|
|
|
/// Recursively verifies an inner proof.
|
|
pub fn add_recursive_verifier<F: Field>(
|
|
builder: &mut CircuitBuilder<F>,
|
|
inner_config: CircuitConfig,
|
|
inner_circuit: VerifierCircuitTarget,
|
|
inner_gates: Vec<GateRef<F>>,
|
|
inner_proof: ProofTarget,
|
|
) {
|
|
assert!(builder.config.num_wires >= MIN_WIRES);
|
|
assert!(builder.config.num_wires >= MIN_ROUTED_WIRES);
|
|
|
|
todo!()
|
|
}
|