github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix libsnark

Browse source
This commit is contained in:
schaeff 2021-07-06 15:46:35 +02:00
parent e03bddb6c8
commit 12d42559a2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_core/src/proof_system/libsnark/mod.rs
View file

@ -250,7 +250,7 @@ pub fn r1cs_program<T: Field>(
// first pass through statements to populate `variables`
for (quad, lin) in main.statements.iter().filter_map(|s| match s {
Statement::Constraint(quad, lin) => Some((quad, lin)),
Statement::Constraint(quad, lin, _) => Some((quad, lin)),
Statement::Directive(..) => None,
}) {
for (k, _) in &quad.left.0 {