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

quotient_degree -> quotient_degree_factor

Browse Source
This commit is contained in:
wborgeaud 2021-07-08 15:16:05 +02:00
parent 805ebb1b0d
commit 0512817d68
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/circuit_builder.rs
View File

@ -392,7 +392,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Builds a "full circuit", with both prover and verifier data.
pub fn build(mut self) -> CircuitData<F, D> {
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<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
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<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
.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<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
config: self.config,
degree_bits,
gates: prefixed_gates,
quotient_degree_factor: quotient_degree,
quotient_degree_factor,
num_gate_constraints,
num_constants,
k_is,