sha256

Documentation

Index

• func NewConstraintSystem() (constraint.ConstraintSystem, error)
• type SHA256Circuit
  • func (circuit *SHA256Circuit) Define(api frontend.API) error

Functions

func NewConstraintSystem

func NewConstraintSystem() (constraint.ConstraintSystem, error)

NewConstraintSystem return the compiled ConstraintSystem implementing a pre image check

Types

type SHA256Circuit

type SHA256Circuit struct {
	// struct tag on a variable is optional
	// default uses variable name and secret visibility.
	PreImage frontend.Variable
	Hash     frontend.Variable `gnark:",public"`
}

Circuit defines a pre-image knowledge proof SHA256(secret preImage) = public hash

func (*SHA256Circuit) Define

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

Define declares the circuit's constraints Hash = SHA256(PreImage)