mimc

Documentation

Index

• func NewCircuit() (frontend.CompiledConstraintSystem, error)
• func Prove(ccs frontend.CompiledConstraintSystem, pk groth16.ProvingKey, secret []byte) (groth16.Proof, error)
• func Verify(proof groth16.Proof, vk groth16.VerifyingKey, hashResult []byte) (bool, error)
• type ZkpInfo
  • func Setup() (*ZkpInfo, error)

Functions

func NewCircuit

func NewCircuit() (frontend.CompiledConstraintSystem, error)

NewCircuit return the circuit implementing a pre image check

func Prove

func Prove(ccs frontend.CompiledConstraintSystem, pk groth16.ProvingKey, secret []byte) (groth16.Proof, error)

Prove generate a zkp proof using ProvingKey

func Verify

func Verify(proof groth16.Proof, vk groth16.VerifyingKey, hashResult []byte) (bool, error)

Verify verify a zkp proof using VerifyingKey

Types

type ZkpInfo

type ZkpInfo struct {
	R1CS         frontend.CompiledConstraintSystem
	ProvingKey   groth16.ProvingKey
	VerifyingKey groth16.VerifyingKey
}

ZkpInfo includes CompiledConstraintSystem、ProvingKey、VerifyingKey

func Setup

func Setup() (*ZkpInfo, error)

Setup generate CompiledConstraintSystem, ProvingKey and VerifyingKey