Crate zk402_groth16 

Modules

proof_system

Enums

Error

Functions

derive_public_key

Derive the compressed Jubjub public key for a raw private key byte string.

prove

Create a Groth16 proof for a hidden Schnorr/EdDSA-style signature over message.

setup

Generate a circuit-specific Groth16 proving key and verifying key.

verify

Verify a Groth16 proof against raw public-key and message bytes.

Type Aliases

Result