zec
/
pasta_curves
mirror of https://github.com/zcash/pasta_curves.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update pinned verification key to account for circuit changes

This commit is contained in:
Sean Bowe 2021-02-18 15:48:20 -07:00
parent d29246b49b
commit 81af4e43d1
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
2 changed files with 27 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
src/plonk.rs
View File

@ -909,39 +909,37 @@ fn test_proving() {
],
lookups: [
Argument {
input_columns: [
Column {
index: 1,
column_type: Advice,
},
input_expressions: [
Advice(
0,
),
],
table_columns: [
Column {
index: 6,
column_type: Fixed,
},
table_expressions: [
Fixed(
0,
),
],
},
Argument {
input_columns: [
Column {
index: 1,
column_type: Advice,
},
Column {
index: 2,
column_type: Advice,
},
input_expressions: [
Product(
Advice(
0,
),
Advice(
1,
),
),
],
table_columns: [
Column {
index: 6,
column_type: Fixed,
},
Column {
index: 7,
column_type: Fixed,
},
table_expressions: [
Product(
Fixed(
0,
),
Fixed(
1,
),
),
],
},
],

2
src/plonk/circuit.rs
View File

@ -401,7 +401,7 @@ pub struct PinnedConstraintSystem<'a, F: Field> {
instance_queries: &'a Vec<(Column<Instance>, Rotation)>,
fixed_queries: &'a Vec<(Column<Fixed>, Rotation)>,
permutations: &'a Vec<permutation::Argument>,
lookups: &'a Vec<lookup::Argument>,
lookups: &'a Vec<lookup::Argument<F>>,
}
struct PinnedGates<'a, F: Field>(&'a Vec<(&'static str, Expression<F>)>);