mimc

Documentation

Index

• func NewConstraintSystem() (constraint.ConstraintSystem, error)
• func Prove(ccs constraint.ConstraintSystem, pk groth16_bls381.ProvingKey, secret []byte) (groth16_bls381.Proof, error)
• func Setup() (*zkp.ZkpInfo, error)
• func Verify(proof groth16_bls381.Proof, vk groth16_bls381.VerifyingKey, hashResult []byte) (bool, error)

Functions

func NewConstraintSystem

func NewConstraintSystem() (constraint.ConstraintSystem, error)

NewConstraintSystem return the compiled ConstraintSystem implementing a pre image check

func Prove

func Prove(ccs constraint.ConstraintSystem, pk groth16_bls381.ProvingKey, secret []byte) (groth16_bls381.Proof, error)

Prove generate a zkp proof using ProvingKey

func Setup

func Setup() (*zkp.ZkpInfo, error)

Setup generate CompiledConstraintSystem, ProvingKey and VerifyingKey

func Verify

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

Verify verify a zkp proof using VerifyingKey