plonky2/src/verifier.rs

use crate::circuit_data::{CommonCircuitData, VerifierOnlyCircuitData};
use crate::field::field::Field;

pub(crate) fn verify<F: Field>(
    verifier_data: &VerifierOnlyCircuitData<F>,
    common_data: &CommonCircuitData<F>,
) {
    todo!()
}
Initial commit 2021-02-09 21:25:21 -08:00			`use crate::circuit_data::{CommonCircuitData, VerifierOnlyCircuitData};`
			`use crate::field::field::Field;`

Tweak APIs 2021-03-21 11:17:00 -07:00			`pub(crate) fn verify<F: Field>(`
Have the prover use the new MerkleTree API Before it was storing leaf data and Merkle roots, but nothing in between, since it wasn't yet interacting with intermediate layers (but it will once we hook up the FRI code). 2021-04-23 14:18:03 -07:00			`verifier_data: &VerifierOnlyCircuitData<F>,`
Initial commit 2021-02-09 21:25:21 -08:00			`common_data: &CommonCircuitData<F>,`
			`) {`
			`todo!()`
			`}`