zkinputs

Documentation

Index

• func GenerateProof(input ZKInput, circomArtifactsPath string) (proofA [2]*big.Int, proofB [2][2]*big.Int, proofC [2]*big.Int, err error)
• type ZKInput

Functions

func GenerateProof

func GenerateProof(input ZKInput, circomArtifactsPath string) (
	proofA [2]*big.Int,
	proofB [2][2]*big.Int,
	proofC [2]*big.Int,
	err error,
)

Types

type ZKInput

type ZKInput struct {
	Sender           common.Address     `json:"senderInput"`
	Root             *merkletree.Hash   `json:"stateRoot"`
	N                int                `json:"n"`
	Fn               int                `json:"Fn"`
	SiblingsFn       []*merkletree.Hash `json:"siblingsFn"`
	OldKeyFn         *merkletree.Hash   `json:"oldKeyFn"`
	OldValueFn       *merkletree.Hash   `json:"oldValueFn"`
	IsOld0Fn         bool               `json:"isOld0Fn"`
	FnMinOne         int                `json:"FnMinOne"`
	SiblingsFnMinOne []*merkletree.Hash `json:"siblingsFnMinOne"`
	FnMinTwo         int                `json:"FnMinTwo"`
	SiblingsFnMinTwo []*merkletree.Hash `json:"siblingsFnMinTwo"`
}