backend

Documentation

Overview

Package backend implements Zero Knowledge Proof systems: it consumes circuit compiled with gnark/frontend.

Index

• type ID
  • func Implemented() []ID
  • func (id ID) String() string
• type ProverConfig
  • func NewProverConfig(opts ...ProverOption) (ProverConfig, error)
• type ProverOption
  • func IgnoreSolverError() ProverOption
  • func WithHints(hintFunctions ...hint.Function) ProverOption
  • func WithOutput(w io.Writer) ProverOption

Types

type ID

type ID uint16

ID represent a unique ID for a proving scheme

const (
	UNKNOWN ID = iota
	GROTH16
	PLONK
)

func Implemented

func Implemented() []ID

Implemented return the list of proof systems implemented in gnark

func (ID) String

func (id ID) String() string

String returns the string representation of a proof system

type ProverConfig

type ProverConfig struct {
	Force         bool            // defaults to false
	HintFunctions []hint.Function // defaults to all built-in hint functions
	LoggerOut     io.Writer       // defaults to os.Stdout
}

ProverConfig is the configuration for the prover with the options applied.

func NewProverConfig

func NewProverConfig(opts ...ProverOption) (ProverConfig, error)

NewProverConfig returns a default ProverConfig with given prover options opts applied.

type ProverOption

type ProverOption func(*ProverConfig) error

ProverOption defines option for altering the behaviour of the prover in Prove, ReadAndProve and IsSolved methods. See the descriptions of functions returning instances of this type for implemented options.

func IgnoreSolverError

func IgnoreSolverError() ProverOption

IgnoreSolverError is a prover option that indicates that the Prove algorithm should complete even if constraint system is not solved. In that case, Prove will output an invalid Proof, but will execute all algorithms which is useful for test and benchmarking purposes.

func WithHints

func WithHints(hintFunctions ...hint.Function) ProverOption

WithHints is a prover option that specifies additional hint functions to be used by the constraint solver.

func WithOutput

func WithOutput(w io.Writer) ProverOption

WithOutput is a prover option that specifies an io.Writer as destination for logs printed by api.Println(). If set to nil, no logs are printed.