verifier

Documentation

Overview

Package verifier implements the core verifying functionality of PoET implementation. It is intended to be used by for verifying proofs created by the prover package

Index

• func Validate(proof shared.MerkleProof, labelHashFunc func(data []byte) []byte, ...) error

Functions

func Validate

func Validate(proof shared.MerkleProof, labelHashFunc func(data []byte) []byte,
	merkleHashFunc merkle.HashFunc, numLeaves uint64, securityParam uint8,
) error

Validate verifies that a Merkle proof was generated by an honest PoET prover. It validates that the number of proven leaves matches the security param, validates the Merkle proof itself and verifies the labels are derived from the left cousins in the Merkle tree.