circuit

Documentation

Index

• func MakeConstraintSystem() (constraint.ConstraintSystem, error)
• type CircuitData
• type ICircuit
• type MimcCircuit
  • func (circuit *MimcCircuit) Define(api frontend.API) error

Functions

func MakeConstraintSystem

func MakeConstraintSystem() (constraint.ConstraintSystem, error)

Types

type CircuitData

type CircuitData struct {
	Circuit frontend.Circuit
	CS      constraint.ConstraintSystem
	Curve   ecc.ID
	PK      groth16.ProvingKey
	VK      groth16.VerifyingKey
}

type ICircuit

type ICircuit interface {
	CreateProof(witness witness.Witness, circuitData CircuitData) (groth16.Proof, error)
	VerifyProof(proof groth16.Proof, publicWitness witness.Witness, circuitData CircuitData) error
}

type MimcCircuit

type MimcCircuit struct {
	PreImage frontend.Variable
	Hash     frontend.Variable `gnark:",public"`
}

func (*MimcCircuit) Define

func (circuit *MimcCircuit) Define(api frontend.API) error