From 0512817d6825d60ea4d7e423b9f311041a12f4a9 Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Thu, 8 Jul 2021 15:16:05 +0200 Subject: [PATCH] quotient_degree -> quotient_degree_factor --- src/circuit_builder.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/circuit_builder.rs b/src/circuit_builder.rs index 84973cd6..c9f35212 100644 --- a/src/circuit_builder.rs +++ b/src/circuit_builder.rs @@ -392,7 +392,7 @@ impl, const D: usize> CircuitBuilder { /// Builds a "full circuit", with both prover and verifier data. pub fn build(mut self) -> CircuitData { - let quotient_degree = 7; // TODO: add this as a parameter. + let quotient_degree_factor = 7; // TODO: add this as a parameter. let start = Instant::now(); info!( "Degree before blinding & padding: {}", @@ -405,7 +405,7 @@ impl, const D: usize> CircuitBuilder { let gates = self.gates.iter().cloned().collect(); let (gate_tree, max_filtered_constraint_degree, num_constants) = Tree::from_gates(gates); assert!( - max_filtered_constraint_degree <= quotient_degree + 1, + max_filtered_constraint_degree <= quotient_degree_factor + 1, "Constraints are too high degree." ); let prefixed_gates = PrefixedGate::from_tree(gate_tree); @@ -451,7 +451,7 @@ impl, const D: usize> CircuitBuilder { .expect("No gates?"); let num_partial_products = - num_partial_products(self.config.num_routed_wires, quotient_degree); + num_partial_products(self.config.num_routed_wires, quotient_degree_factor); // TODO: This should also include an encoding of gate constraints. let circuit_digest_parts = [ @@ -464,7 +464,7 @@ impl, const D: usize> CircuitBuilder { config: self.config, degree_bits, gates: prefixed_gates, - quotient_degree_factor: quotient_degree, + quotient_degree_factor, num_gate_constraints, num_constants, k_is,