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

Test passes for base proof

Browse Source
This commit is contained in:
wborgeaud 2022-10-14 10:32:40 +02:00
parent f194553345
commit 861b66a34a
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
plonky2/src/recursion/cyclic_recursion.rs
View File

@ -59,7 +59,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
common_data.num_public_inputs = self.num_public_inputs(); common_data.num_public_inputs = self.num_public_inputs();
common_data.degree_bits = common_data.degree_bits.max(13); common_data.degree_bits = common_data.degree_bits.max(13);
dbg!(common_data.degree_bits); common_data.fri_params.degree_bits = common_data.fri_params.degree_bits.max(13);
let proof = self.add_virtual_proof_with_pis(&common_data); let proof = self.add_virtual_proof_with_pis(&common_data);
let dummy_proof = self.add_virtual_proof_with_pis(&common_data); let dummy_proof = self.add_virtual_proof_with_pis(&common_data);
@ -76,10 +76,13 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
while self.num_gates() < 1 << (common_data.degree_bits - 1) { while self.num_gates() < 1 << (common_data.degree_bits - 1) {
self.add_gate(NoopGate, vec![]); self.add_gate(NoopGate, vec![]);
} }
for g in &common_data.gates {
self.add_gate_to_gate_set(g.clone());
}
let data = self.build::<C>(); let data = self.build::<C>();
dbg!(&data.common.degree_bits, common_data.degree_bits);
assert_eq!(&data.common, &common_data); assert_eq!(&data.common, &common_data);
Ok(( Ok((
data, data,
CyclicRecursionTarget { CyclicRecursionTarget {
@ -179,7 +182,6 @@ mod tests {
let config = CircuitConfig::standard_recursion_config(); let config = CircuitConfig::standard_recursion_config();
let mut builder = CircuitBuilder::<F, D>::new(config); let mut builder = CircuitBuilder::<F, D>::new(config);
let data = builder.build::<C>();
let config = CircuitConfig::standard_recursion_config(); let config = CircuitConfig::standard_recursion_config();
let mut pw = PartialWitness::<F>::new(); let mut pw = PartialWitness::<F>::new();
let mut builder = CircuitBuilder::<F, D>::new(config); let mut builder = CircuitBuilder::<F, D>::new(config);
@ -210,7 +212,6 @@ mod tests {
builder.register_public_inputs(&h.elements); builder.register_public_inputs(&h.elements);
let common_data = common_data_for_recursion::<F, C, D>(); let common_data = common_data_for_recursion::<F, C, D>();
dbg!(common_data.degree_bits);
let (cyclic_circuit_data, cyclic_data_target) = builder.cyclic_recursion(common_data)?; let (cyclic_circuit_data, cyclic_data_target) = builder.cyclic_recursion(common_data)?;
let cyclic_recursion_data = CyclicRecursionData { let cyclic_recursion_data = CyclicRecursionData {