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

clean

Browse source
This commit is contained in:
schaeff 2019-02-21 19:49:29 +01:00
parent ba51910b7a
commit 6b33260d73
1 changed files with 1 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
zokrates_core/src/ir/interpreter.rs
View file

@ -5,21 +5,6 @@ use zokrates_field::field::Field;
pub type ExecutionResult<T> = Result<Witness<T>, Error>;
// #[derive(Serialize, Deserialize)]
// pub struct WitnessVec<T: Field>(pub Vec<(FlatVariable, T)>);
// impl<T: Field> From<Witness<T>> for WitnessVec<T> {
// fn from(w: Witness<T>) -> WitnessVec<T> {
// WitnessVec(w.0.into_iter().collect())
// }
// }
// impl<T: Field> From<WitnessVec<T>> for Witness<T> {
// fn from(w: WitnessVec<T>) -> Witness<T> {
// Witness(w.0.into_iter().collect())
// }
// }
#[derive(Clone, Debug, PartialEq)]
pub struct Witness<T: Field>(pub BTreeMap<FlatVariable, T>);
@ -156,7 +141,7 @@ impl<T: Field> LinComb<T> {
.map(|v| v.iter().fold(T::from(0), |acc, t| acc + t)) // return the sum
}
pub fn is_assignee<U>(&self, witness: &BTreeMap<FlatVariable, U>) -> bool {
fn is_assignee<U>(&self, witness: &BTreeMap<FlatVariable, U>) -> bool {
self.0.iter().count() == 1
&& self.0.iter().next().unwrap().1 == &T::from(1)
&& !witness.contains_key(self.0.iter().next().unwrap().0)