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 tests

Browse source
This commit is contained in:
dark64 2021-07-09 23:01:36 +02:00
parent 0018a4a196
commit 1994f5a24e
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_core/src/proof_system/ark/marlin.rs
View file

@ -209,10 +209,12 @@ mod tests {
FlatVariable::new(0).into(),
),
FlatVariable::new(1).into(),
None
),
Statement::Constraint(
FlatVariable::new(1).into(),
FlatVariable::public(0).into(),
None
),
],
},
@ -249,10 +251,12 @@ mod tests {
FlatVariable::new(0).into(),
),
FlatVariable::new(1).into(),
None
),
Statement::Constraint(
FlatVariable::new(1).into(),
FlatVariable::public(0).into(),
None
),
],
},

2
zokrates_js/src/lib.rs
View file

@ -150,7 +150,7 @@ pub fn compute_witness(program: &[u8], abi: JsValue, args: JsValue) -> Result<Js
.map_err(|err| JsValue::from_str(&format!("Execution failed: {}", err)))?;
let return_values: serde_json::Value =
zokrates_abi::CheckedValues::decode(witness.return_values(), signature.outputs)
zokrates_abi::Values::decode(witness.return_values(), signature.outputs)
.into_serde_json();
let result = ComputationResult {