File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -14,16 +14,16 @@ import {SignMagnitude} from "../libs/SignMagnitude.sol";
1414import {TxGen} from "../libs/TxGen.sol " ;
1515
1616library DeltaFuzzing {
17- /// @dev This function exposes `Delta.verify` for the fuzzer.
18- function verify (bytes memory proof , uint256 [2 ] memory instance , bytes32 verifyingKey ) public pure {
19- Delta.verify ({proof: proof, instance: instance, verifyingKey: verifyingKey});
20- }
21-
2217 struct InstanceInputsExceptKind {
2318 uint256 valueCommitmentRandomness;
2419 uint128 quantity;
2520 bool consumed;
2621 }
22+
23+ /// @dev This function exposes `Delta.verify` for the fuzzer.
24+ function verify (bytes memory proof , uint256 [2 ] memory instance , bytes32 verifyingKey ) public pure {
25+ Delta.verify ({proof: proof, instance: instance, verifyingKey: verifyingKey});
26+ }
2727}
2828
2929contract DeltaProofTest is Test {
You can’t perform that action at this time.
0 commit comments