saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-06 20:20:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add fixed_values to ProvingKey

Browse source
This commit is contained in:
therealyingtong 2020-12-01 14:35:56 +08:00
parent ae20f75f7a
commit 5d891e029d
3 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/plonk.rs
View file

@ -6,7 +6,7 @@
//! [plonk]: https://eprint.iacr.org/2019/953 //! [plonk]: https://eprint.iacr.org/2019/953
use crate::arithmetic::CurveAffine; use crate::arithmetic::CurveAffine;
use crate::poly::{multiopen, Coeff, EvaluationDomain, ExtendedLagrangeCoeff, Polynomial}; use crate::poly::{multiopen, Coeff, EvaluationDomain, ExtendedLagrangeCoeff, LagrangeCoeff, Polynomial};
use crate::transcript::ChallengeScalar; use crate::transcript::ChallengeScalar;
mod circuit; mod circuit;
@ -37,6 +37,7 @@ pub struct ProvingKey<C: CurveAffine> {
vk: VerifyingKey<C>, vk: VerifyingKey<C>,
// TODO: get rid of this? // TODO: get rid of this?
l0: Polynomial<C::Scalar, ExtendedLagrangeCoeff>, l0: Polynomial<C::Scalar, ExtendedLagrangeCoeff>,
fixed_values: Vec<Polynomial<C::Scalar, LagrangeCoeff>>,
fixed_polys: Vec<Polynomial<C::Scalar, Coeff>>, fixed_polys: Vec<Polynomial<C::Scalar, Coeff>>,
fixed_cosets: Vec<Polynomial<C::Scalar, ExtendedLagrangeCoeff>>, fixed_cosets: Vec<Polynomial<C::Scalar, ExtendedLagrangeCoeff>>,
permutations: Vec<permutation::ProvingKey<C>>, permutations: Vec<permutation::ProvingKey<C>>,

6
src/plonk/circuit.rs
View file

@ -432,13 +432,11 @@ impl<F: Field> ConstraintSystem<F> {
} }
fn query_any_index(&mut self, column: Column<Any>, at: i32) -> usize { fn query_any_index(&mut self, column: Column<Any>, at: i32) -> usize {
let index = match column.column_type() { match column.column_type() {
Any::Advice => self.query_advice_index(Column::<Advice>::try_from(column).unwrap(), at), Any::Advice => self.query_advice_index(Column::<Advice>::try_from(column).unwrap(), at),
Any::Fixed => self.query_fixed_index(Column::<Fixed>::try_from(column).unwrap(), at), Any::Fixed => self.query_fixed_index(Column::<Fixed>::try_from(column).unwrap(), at),
Any::Aux => self.query_aux_index(Column::<Aux>::try_from(column).unwrap(), at), Any::Aux => self.query_aux_index(Column::<Aux>::try_from(column).unwrap(), at),
}; }
index
} }
/// Query an Any column at a relative position /// Query an Any column at a relative position

5
src/plonk/keygen.rs
View file

@ -103,8 +103,8 @@ where
let fixed_polys: Vec<_> = assembly let fixed_polys: Vec<_> = assembly
.fixed .fixed
.into_iter() .iter()
.map(|poly| domain.lagrange_to_coeff(poly)) .map(|poly| domain.lagrange_to_coeff(poly.clone()))
.collect(); .collect();
let fixed_cosets = cs let fixed_cosets = cs
@ -131,6 +131,7 @@ where
cs, cs,
}, },
l0, l0,
fixed_values: assembly.fixed,
fixed_polys, fixed_polys,
fixed_cosets, fixed_cosets,
permutations: permutation_pks, permutations: permutation_pks,