binius_core/merkle_tree/
errors.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3use crate::transcript;
4
5#[derive(Debug, thiserror::Error)]
6pub enum Error {
7	#[error("Length of the input vector is incorrect, expected {expected}")]
8	IncorrectVectorLen { expected: usize },
9	#[error("Index exceeds Merkle tree base size: {max}")]
10	IndexOutOfRange { max: usize },
11	#[error("values length must be a multiple of the batch size")]
12	IncorrectBatchSize,
13	#[error("The argument length must be a power of two.")]
14	PowerOfTwoLengthRequired,
15	#[error("The layer does not exist in the Merkle tree")]
16	IncorrectLayerDepth,
17	#[error("transcript error: {0}")]
18	Transcript(#[from] transcript::Error),
19	#[error("verification failure: {0}")]
20	Verification(#[from] VerificationError),
21}
22
23#[derive(Debug, thiserror::Error)]
24pub enum VerificationError {
25	#[error("the length of the vector does not match the committed length")]
26	IncorrectVectorLength,
27	#[error("the shape of the proof is incorrect")]
28	IncorrectProofShape,
29	#[error("the proof is invalid")]
30	InvalidProof,
31}
binius_core/merkle_tree/errors.rs

binius_core/merkle_tree/
errors.rs
