fluencelabs/lazy-snark
1
0
Fork 0
mirror of https://github.com/fluencelabs/lazy-snark synced 2025-04-25 06:52:14 +00:00
Code Issues Projects Releases Wiki Activity

fix assert bug

Browse Source
This commit is contained in:
Evgeny Marchenko 2019-06-23 16:15:25 +03:00
parent c4da270b1d
commit e3c694f776
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
truffle/contracts/VerifierProxy.sol
View File

@ -15,10 +15,9 @@ contract VerifierProxy is IVerifier {
// Truffle gives `UnimplementedFeatureError: Encoding struct from calldata is not yet supported.` // Truffle gives `UnimplementedFeatureError: Encoding struct from calldata is not yet supported.`
// that's why function is public and uses memory location modifier // that's why function is public and uses memory location modifier
function isValid(Data memory data, Proof memory proof) public returns (bool) { function isValid(Data memory data, Proof memory proof) public returns (bool) {
// bytes memory payload = abi.encodeWithSelector(verifier.verifyTx.selector, proof, data); bytes memory payload = abi.encodeWithSelector(verifier.verifyTx.selector, proof.a, proof.b, proof.c, data.input);
// (bool success, bytes memory r) = address(verifier).call(payload); (bool success, bytes memory r) = address(verifier).call(payload);
// require(success); return success && abi.decode(r, (bool));
// return abi.decode(r, (bool)); // return verifier.verifyTx(proof.a, proof.b, proof.c, data.input);
return verifier.verifyTx(proof.a, proof.b, proof.c, data.input);
} }
} }