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

Fix size optimized test

Browse Source
This commit is contained in:
wborgeaud 2021-11-22 17:30:13 +01:00
parent b7cb7e234f
commit 5ea632f2a8
4 changed files with 15 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/gates/gate_testing.rs
View File

@ -51,9 +51,7 @@ pub(crate) fn test_low_degree<F: RichField + Extendable<D>, G: Gate<F, D>, const
);
let expected_eval_degree = WITNESS_DEGREE * gate.degree();
dbg!(WITNESS_DEGREE, gate.degree());
dbg!(&constraint_eval_degrees);
assert!(
constraint_eval_degrees
.iter()
@ -153,7 +151,6 @@ pub(crate) fn test_eval_fns<F: RichField + Extendable<D>, G: Gate<F, D>, const D
let evals_t = gate.eval_unfiltered_recursively(&mut builder, vars_t);
pw.set_extension_targets(&evals_t, &evals);
dbg!(builder.num_gates());
let data = builder.build();
let proof = data.prove(pw)?;
verify(proof, &data.verifier_only, &data.common)

2
src/gates/low_degree_interpolation.rs
View File

@ -490,8 +490,6 @@ mod tests {
let coeffs = PolynomialCoeffs::new(FF::rand_vec(1 << subgroup_bits));
let eval_point = FF::rand();
let gate = LowDegreeInterpolationGate::<F, D>::new(subgroup_bits);
dbg!(gate.end_coeffs());
dbg!(gate.powers_eval(15));
let vars = EvaluationVars {
local_constants: &[],
local_wires: &get_wires(&gate, shift, coeffs, eval_point),

13
src/plonk/circuit_data.rs
View File

@ -76,6 +76,19 @@ impl CircuitConfig {
}
}
pub fn size_optimized_recursion_config() -> Self {
Self {
security_bits: 93,
cap_height: 3,
fri_config: FriConfig {
reduction_strategy: FriReductionStrategy::ConstantArityBits(3, 5),
num_query_rounds: 26,
..CircuitConfig::standard_recursion_config().fri_config
},
..CircuitConfig::standard_recursion_config()
}
}
pub fn standard_recursion_zk_config() -> Self {
CircuitConfig {
zero_knowledge: true,

4
src/plonk/recursive_verifier.rs
View File

@ -408,7 +408,7 @@ mod tests {
type F = GoldilocksField;
const D: usize = 2;
let standard_config = CircuitConfig::standard_recursion_config();
let standard_config = CircuitConfig::size_optimized_recursion_config();
// An initial dummy proof.
let (proof, vd, cd) = dummy_proof::<F, D>(&standard_config, 4_000)?;
@ -456,7 +456,7 @@ mod tests {
num_routed_wires: 25,
fri_config: FriConfig {
proof_of_work_bits: 21,
reduction_strategy: FriReductionStrategy::MinSize(None),
reduction_strategy: FriReductionStrategy::MinSize(Some(3)),
num_query_rounds: 9,
},
..high_rate_config