arnaucube/circom-compat
1
0
Fork 0
mirror of https://github.com/arnaucube/circom-compat.git synced 2026-01-07 22:41:32 +01:00
Code Issues Projects Releases Wiki Activity

chore: replace assert_eq with match statement

Browse Source
This commit is contained in:
dmpierre
2024-05-22 19:11:54 +02:00
parent a994f89031
commit 22c8f50b04
1 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/circom/circuit.rs
View File

@@ -1,8 +1,8 @@
use std::collections::HashMap;
use std::{collections::HashMap, f32::consts::E};
use ark_ff::PrimeField;
use ark_relations::r1cs::{
ConstraintSynthesizer, ConstraintSystemRef, LinearCombination, SynthesisError, Variable,
self, ConstraintSynthesizer, ConstraintSystemRef, LinearCombination, SynthesisError, Variable,
};
use color_eyre::Result;
@@ -94,16 +94,14 @@ impl<F: PrimeField> ConstraintSynthesizer<F> for CircomCircuit<F> {
);
}
assert_eq!(
match (
circom_index_to_cs_index.get(&0),
Some(&Variable::One),
"circom index 0 should be allocated as Variable::One"
);
assert_eq!(
circom_index_to_cs_index.len(),
self.r1cs.num_inputs,
"Did not map all inputs"
);
) == (Some(&Variable::One), self.r1cs.num_inputs)
{
true => Ok(()),
false => Err(SynthesisError::Unsatisfiable),
}?;
for i in 0..self.r1cs.num_aux {
let circom_defined_r1cs_index = i + self.r1cs.num_inputs;