problem

Documentation

Index

• Constants
• Variables
• func CompileCircuit() frontend.CompiledConstraintSystem
• func GetChallengeIndex(index [32]byte, interval uint64) uint64
• func NewProvingKey(b []byte) groth16.ProvingKey
• func NewVerifyingKey(b []byte) groth16.VerifyingKey
• func SetupZKP(r1cs frontend.CompiledConstraintSystem) (groth16.ProvingKey, groth16.VerifyingKey)
• func ZKPProve(r1cs frontend.CompiledConstraintSystem, pk groth16.ProvingKey, preimage []byte) ([]byte, []byte)
• func ZKPVerify(vk groth16.VerifyingKey, preimage []byte, hash []byte, proof []byte) bool
• type Circuit
  • func (circuit *Circuit) Define(curveID ecc.ID, cs *frontend.ConstraintSystem) error
• type GetHeaderByNum
• type Hasher
  • func (h *Hasher) Hash(m []byte) []byte
• type Prover
  • func NewProblemProver(pkPath string) (*Prover, error)
  • func (p *Prover) Prove(preimage []byte) ([]byte, []byte)
• type Verifier
  • func NewProblemVerifier(vkPath string, interval, advance uint64, getHeaderByNum GetHeaderByNum) (*Verifier, error)
  • func (v *Verifier) VerifyLottery(lottery *types.Lottery, sigBytes []byte, lastCoinbaseHeader *types.Header) (res bool)
  • func (v *Verifier) VerifyZKP(preimage []byte, mimcHash []byte, proof []byte) bool

Constants

const SEED = "Go Evanesco"

Variables

var (
	ErrorInvalidR1CSPath = errors.New("r1cs path invalid")
	ErrorInvalidPkPath   = errors.New("proving key path invalid")
	ErrorInvalidVkPath   = errors.New("verifying key path invalid")
)

var MimcHasher = Hasher{
	// contains filtered or unexported fields
}

Functions

func CompileCircuit

func CompileCircuit() frontend.CompiledConstraintSystem

func GetChallengeIndex

func GetChallengeIndex(index [32]byte, interval uint64) uint64

func NewProvingKey

func NewProvingKey(b []byte) groth16.ProvingKey

func NewVerifyingKey

func NewVerifyingKey(b []byte) groth16.VerifyingKey

func SetupZKP

func SetupZKP(r1cs frontend.CompiledConstraintSystem) (groth16.ProvingKey, groth16.VerifyingKey)

func ZKPProve

func ZKPProve(r1cs frontend.CompiledConstraintSystem, pk groth16.ProvingKey, preimage []byte) ([]byte, []byte)

func ZKPVerify

func ZKPVerify(vk groth16.VerifyingKey, preimage []byte, hash []byte, proof []byte) bool

Types

type Circuit

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

func (*Circuit) Define

func (circuit *Circuit) Define(curveID ecc.ID, cs *frontend.ConstraintSystem) error

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

type GetHeaderByNum

type GetHeaderByNum = func(uint642 uint64) (*types.Header, error)

type Hasher

type Hasher struct {
	// contains filtered or unexported fields
}

func (*Hasher) Hash

func (h *Hasher) Hash(m []byte) []byte

type Prover

type Prover struct {
	// contains filtered or unexported fields
}

func NewProblemProver

func NewProblemProver(pkPath string) (*Prover, error)

func (*Prover) Prove

func (p *Prover) Prove(preimage []byte) ([]byte, []byte)

type Verifier

type Verifier struct {
	// contains filtered or unexported fields
}

func NewProblemVerifier

func NewProblemVerifier(vkPath string, interval, advance uint64, getHeaderByNum GetHeaderByNum) (*Verifier, error)

func (*Verifier) VerifyLottery

func (v *Verifier) VerifyLottery(lottery *types.Lottery, sigBytes []byte, lastCoinbaseHeader *types.Header) (res bool)

todo: add additional check if the lottery miner pledged

func (*Verifier) VerifyZKP

func (v *Verifier) VerifyZKP(preimage []byte, mimcHash []byte, proof []byte) bool