Module zksnark::groth16

Implementaiton of groth16 along with a basic language for representing arithmetic circuits.

The structs and functions in this module are named to closely coincide with the paper, which can be consulted to help with any confusion.

Re-exports

pub use self::circuit::weights;

pub use self::fr::FrLocal;

Modules

circuit

coefficient_poly

fr

Structs

Proof

The proof produced by the ZKSNARK algorithm.

QAP

The Quadratic Arithmetic Program (QAP) that represents an arithmetic circuit.

SigmaG1

The G1 part of the common reference string (CRS)

SigmaG2

The G2 part of the common reference string (CRS)

Traits

EllipticEncryptable

Defines a relationship between the three groups in the pairing based cryptography system, in relation to the Self type which is to be encrypted.

Identity

Represents a type that can check whether a particular value is the identity.

Random

Represents that a type can produce a random element of itself.

Functions

prove

Create a Proof from a QAP, CRS and the circuit weights.

setup

Performs the setup for the ZKSNARK given a QAP.

verify

Verify a given proof against the CRS and verifier inputs.