Module snark 

SNARK Backend

Structs

Circuit

Circuit, it’s a typeless wrapper of rings_snark circuit

Field

Field type

Input

Input type

SNARKBehaviour

SNARK message handler

SNARKGenerator

SNARK proof generator, including setup, proof and verify

SNARKProof

SNARK Proof

SNARKTaskBuilder

Snark builder

SNARKTaskManager

Task Manageer of SNARK provider and verifier

SnarkProtocol

SNARK relay protocol: a pure router over the snark namespace.

Enums

CircuitEnum

Types of Circuit

CircuitGenerator

Types for circuit

FieldEnum

Supported prime field

ProofResult

The state of a submitted proof task, from the requester’s side.

SupportedPrimeField

Supported prime field

Constants

NAMESPACE

Namespace under which SNARK proof/verify tasks travel.