contracts/verifiers/ now contains two folders full/ and full-large/ containing respectively PlonkVerifierFull.sol and PlonkVerifierFullLarge.sol (which have been moved from contracts/verifiers) + a test/ folder containing a hardcoded proof and public inputs, for testing the contracts.
The contract PlonkVerifier.sol looks like a verifier generated from a toy circuit, but I didn't remove it.
cc @AlexandreBelling @thedarkjester this is how you wanted the contracts to be tested right ? You can ignore this PR if you were planning on sending directly the proof + public inputs in another way for testing.
contracts/verifiers/ now contains two folders full/ and full-large/ containing respectively PlonkVerifierFull.sol and PlonkVerifierFullLarge.sol (which have been moved from contracts/verifiers) + a test/ folder containing a hardcoded proof and public inputs, for testing the contracts.
The contract PlonkVerifier.sol looks like a verifier generated from a toy circuit, but I didn't remove it.
cc @AlexandreBelling @thedarkjester this is how you wanted the contracts to be tested right ? You can ignore this PR if you were planning on sending directly the proof + public inputs in another way for testing.