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

Working fri_combine_initial

Browse Source
This commit is contained in:
wborgeaud 2021-07-23 17:29:31 +02:00
parent 0526a9e149
commit ca540a8475
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/fri/recursive_verifier.rs
View File

@ -197,9 +197,9 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
&proof.unsalted_evals(PlonkPolynomials::ZS_PARTIAL_PRODUCTS, config.zero_knowledge)
[common_data.partial_products_range()],
)
.map(|&e| self.convert_to_ext(e))
.copied()
.collect::<Vec<_>>();
let single_composition_eval = alpha.reduce(&single_evals, self);
let single_composition_eval = alpha.reduce_base(&single_evals, self);
let single_numerator =
self.sub_extension(single_composition_eval, precomputed_reduced_evals.single);
let single_denominator = self.sub_extension(subgroup_x, zeta);
@ -212,9 +212,9 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
.unsalted_evals(PlonkPolynomials::ZS_PARTIAL_PRODUCTS, config.zero_knowledge)
.iter()
.take(common_data.zs_range().end)
.map(|&e| self.convert_to_ext(e))
.copied()
.collect::<Vec<_>>();
let zs_composition_eval = alpha.reduce(&zs_evals, self);
let zs_composition_eval = alpha.reduce_base(&zs_evals, self);
let g = self.constant_extension(F::Extension::primitive_root_of_unity(degree_log));
let zeta_right = self.mul_extension(g, zeta);

2
src/recursive_verifier.rs
View File

@ -381,7 +381,7 @@ mod tests {
let mut builder = CircuitBuilder::<F, D>::new(config.clone());
let _two = builder.two();
let _two = builder.hash_n_to_hash(vec![_two], true).elements[0];
for _ in 0..5000 {
for _ in 0..10000 {
let _two = builder.mul(_two, _two);
}
let data = builder.build();

1
src/util/scaling.rs
View File

@ -101,6 +101,7 @@ impl<const D: usize> ReducingFactorTarget<D> {
F: Extendable<D>,
{
let max_coeffs = 21;
self.count += terms.len() as u64;
let zero = builder.zero();
let zero_ext = builder.zero_extension();
let mut gate;