search

iden3 / rapidsnark

rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
GNU Lesser General Public License v3.0
51 stars 22 forks source link

Verifier tests #14

Closed olomix closed 6 months ago

olomix commented 6 months ago

Add integration tests to check verifier for correct and incorrect inputs.

Add unit tests for functions groth16_public_size_for_zkey_file and groth16_public_size_for_zkey_buf. Also enable ctest functionality that would enable us to write unit tests for different parts and run them as part for the cmake pipeline.