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

Fixes

Browse Source
This commit is contained in:
Uma Roy 2023-09-07 17:41:52 -07:00
parent 5a3c8b26d1
commit a643307108
2 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
plonky2/src/plonk/circuit_builder.rs
View File

@ -1026,18 +1026,19 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let max_fft_points = 1 << (degree_bits + max(rate_bits, log2_ceil(quotient_degree_factor)));
let fft_root_table = fft_root_table(max_fft_points);
let mut constants_sigmas_commitment = PolynomialBatch::<F, C, D>::default();
if commit_to_sigma {
let constants_sigmas_commitment = if commit_to_sigma {
let constants_sigmas_vecs = [constant_vecs, sigma_vecs.clone()].concat();
constants_sigmas_commitment = PolynomialBatch::<F, C, D>::from_values(
PolynomialBatch::<F, C, D>::from_values(
constants_sigmas_vecs,
rate_bits,
PlonkOracle::CONSTANTS_SIGMAS.blinding,
cap_height,
&mut timing,
Some(&fft_root_table),
);
}
)
} else {
PolynomialBatch::<F, C, D>::default()
};
// Map between gates where not all generators are used and the gate's number of used generators.
let incomplete_gates = self

2
plonky2/src/plonk/circuit_data.rs
View File

@ -111,7 +111,7 @@ impl CircuitConfig {
}
}
/// Circuit data required by the prover or the verifier.
/// Mock circuit data to only do witness generation without generating a proof.
#[derive(Eq, PartialEq, Debug)]
pub struct MockCircuitData<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
{