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

Permit small circuits in compute_quotient_polys (#469)

Browse Source 
* Permit small circuits in `compute_quotient_polys`

* PR comments
This commit is contained in:
Jakub Nabaglo 2022-02-04 12:41:29 -08:00 committed by GitHub
parent 9eb9bac0db
commit 659f1337f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
plonky2/src/plonk/prover.rs
View File

@ -5,7 +5,7 @@ use anyhow::Result;
use plonky2_field::extension_field::Extendable;
use plonky2_field::polynomial::{PolynomialCoeffs, PolynomialValues};
use plonky2_field::zero_poly_coset::ZeroPolyOnCoset;
use plonky2_util::log2_ceil;
use plonky2_util::{ceil_div_usize, log2_ceil};
use rayon::prelude::*;
use crate::field::field_types::Field;
@ -357,12 +357,18 @@ fn compute_quotient_polys<
let z_h_on_coset = ZeroPolyOnCoset::new(common_data.degree_bits, quotient_degree_bits);
let points_batches = points.par_chunks(BATCH_SIZE);
let num_batches = ceil_div_usize(points.len(), BATCH_SIZE);
let quotient_values: Vec<Vec<F>> = points_batches
.enumerate()
.map(|(batch_i, xs_batch)| {
assert_eq!(xs_batch.len(), BATCH_SIZE);
// Each batch must be the same size, except the last one, which may be smaller.
debug_assert!(
xs_batch.len() == BATCH_SIZE
|| (batch_i == num_batches - 1 && xs_batch.len() <= BATCH_SIZE)
);
let indices_batch: Vec<usize> =
(BATCH_SIZE * batch_i..BATCH_SIZE * (batch_i + 1)).collect();
(BATCH_SIZE * batch_i..BATCH_SIZE * batch_i + xs_batch.len()).collect();
let mut shifted_xs_batch = Vec::with_capacity(xs_batch.len());
let mut local_zs_batch = Vec::with_capacity(xs_batch.len());