Struct MerkleTreeGpu 

pub struct MerkleTreeGpu<F, Digest> { /* private fields */ }

Implementations

impl<F, Digest> MerkleTreeGpu<F, Digest>

pub fn root(&self) -> Digest

where Digest: Clone,

pub fn query_stride(&self) -> usize

pub fn proof_depth(&self) -> usize

impl<D: Copy + Send + Sync + 'static> MerkleTreeGpu<F, D>

pub fn new_with_hash<MH: MerkleTreeConstructor<Digest = D>>( matrix: DeviceMatrix<F>, rows_per_query: usize, cache_backing_matrix: bool, device_ctx: &GpuDeviceCtx, ) -> Result<Self, MerkleTreeError>

Build a Merkle tree using the given hash scheme MH.

This is the primary constructor; new() is a convenience wrapper that fixes MH = Poseidon2MerkleHash.

pub fn batch_open_rows( backing_matrices: &[&DeviceMatrix<F>], query_indices: &[usize], query_stride: usize, rows_per_query: usize, device_ctx: &GpuDeviceCtx, ) -> Result<Vec<Vec<Vec<F>>>, MerkleTreeError>

impl MerkleTreeGpu<F, Digest>

pub fn new( matrix: DeviceMatrix<F>, rows_per_query: usize, cache_backing_matrix: bool, device_ctx: &GpuDeviceCtx, ) -> Result<Self, MerkleTreeError>

Build a Merkle tree using the default Poseidon2 hash.

Equivalent to new_with_hash::<Poseidon2MerkleHash>(...).

impl<D: BatchQueryMerkle + Send + Sync + 'static> MerkleTreeGpu<F, D>

pub fn batch_query_merkle_proofs( trees: &[&Self], query_indices: &[usize], device_ctx: &GpuDeviceCtx, ) -> Result<Vec<Vec<Vec<D>>>, MerkleTreeError>

where D: MerkleProofQueryDigest,

Batch queries multiple trees at the same query_indices for merkle proofs.

Assumptions

• All trees have the same depth.

impl<D: Copy + Send + Sync + 'static> MerkleTreeGpu<EF, D>

pub fn new_with_hash<MH: GpuMerkleHash<Digest = D>>( matrix: DeviceMatrix<EF>, rows_per_query: usize, cache_backing_matrix: bool, device_ctx: &GpuDeviceCtx, ) -> Result<Self, MerkleTreeError>

Build a Merkle tree from an extension-field matrix using hash scheme MH.

impl MerkleTreeGpu<EF, Digest>

pub fn new( matrix: DeviceMatrix<EF>, rows_per_query: usize, cache_backing_matrix: bool, device_ctx: &GpuDeviceCtx, ) -> Result<Self, MerkleTreeError>

Build a Merkle tree from an extension-field matrix using Poseidon2.

NOTE: currently unused because we transpose DeviceMatrix<EF> to DeviceMatrix<F> beforehand in our use cases.