merkle

Documentation

Overview

Package merkle provides a ZKP-circuit function to verify merkle proofs.

Index

• func GenerateProofHelper(proofSet [][]byte, proofIndex, numLeaves uint64) []int
• func VerifyProof(api frontend.API, h mimc.MiMC, merkleRoot frontend.Variable, ...)

Functions

func GenerateProofHelper

func GenerateProofHelper(proofSet [][]byte, proofIndex, numLeaves uint64) []int

GenerateProofHelper generates an array of 1 or 0 telling if during the proof verification the hash to compute is h(sum, proof[i]) or h(proof[i], sum). The size of the resulting slice is len(proofSet)-1. cf gitlab.com/NebulousLabs/merkletree for the algorithm

func VerifyProof

func VerifyProof(api frontend.API, h mimc.MiMC, merkleRoot frontend.Variable, proofSet, helper []frontend.Variable)

VerifyProof takes a Merkle root, a proofSet, and a proofIndex and returns true if the first element of the proof set is a leaf of data in the Merkle root. False is returned if the proof set or Merkle root is nil, and if 'numLeaves' equals 0.