Module merkle_verify 

Modules

cuda

Structs

CombinationIndices

MerkleVerifyAir

MerkleVerifyCols

There are two parts in the merkle proof: hashing leaves and the (standard) merkle proof.

Constants

POSEIDON2_WIDTH

Functions

compute_combination_indices

Calculates the layer and indices for the i-th combining operation in a complete binary tree with 2^k leaves.

generate_trace