github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

revert is_assignee

Browse source
This commit is contained in:
dark64 2023-03-06 13:53:03 +04:00
parent e8abfb51ea
commit cfe43e672d
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zokrates_ast/src/ir/expression.rs
View file

@ -121,8 +121,9 @@ impl<T: Field> LinComb<T> {
}
pub fn is_assignee(&self, witness: &Witness<T>) -> bool {
let (var, val) = self.0.get(0).unwrap();
self.0.len() == 1 && val == &T::from(1) && !witness.0.contains_key(var)
self.0.len() == 1
&& self.0.get(0).unwrap().1 == T::from(1)
&& !witness.0.contains_key(&self.0.get(0).unwrap().0)
}
pub fn try_summand(self) -> Result<(Variable, T), Self> {