Module groth16 

Structs

Seal

Functions

abi_encode

ABI encoding of the seal.

decode_groth16_sealunstable

Decode a seal with selector as Bytes into a Receipt constructed with the given ReceiptClaim and journal. The verifier parameters are optional and default to the current zkVM version.

encode

Encoding of a Groth16 seal by prefixing it with the verifier selector.