Test List

Member TEST (stdlib_schnorr, schnorr_verify_signature)

Test circuit verifying a Schnorr signature generated by

Member TEST (stdlib_schnorr, schnorr_signature_verification_result)

Like stdlib_schnorr.schnorr_verify_signature, but we use the function signature_verification that produces a boolean witness and does not require the prover to provide a valid signature.

Member TEST (stdlib_schnorr, signature_verification_result_failure)

Like stdlib_schnorr.verify_signature_failure, but we use the function signature_verification that produces a boolean witness and allow for proving that a signature verification fails.