arbo

Documentation

Index

• func CheckProof(api frontend.API, key, value, root, nsiblings frontend.Variable, ...) error
• func ValidSiblings(_ *big.Int, inputs, results []*big.Int) error

Functions

func CheckProof

func CheckProof(api frontend.API, key, value, root, nsiblings frontend.Variable, siblings []frontend.Variable) error

CheckProof receives the parameters of a proof of Arbo to recalculate the root with them and compare it with the provided one, verifiying the proof.

func ValidSiblings

func ValidSiblings(_ *big.Int, inputs, results []*big.Int) error

ValidSiblings hint function creates a binary map with the slots where a valid sibling is located in the siblings list. This function helps to skip unnecessary iterations when walking through the merkle tree. The first input is the number of valid siblings. The resulting slice length must be greater than or equal to nsiblings.