binius_core/protocols/greedy_evalcheck/
error.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3use crate::protocols::{evalcheck, sumcheck};
4
5#[derive(Debug, thiserror::Error)]
6pub enum Error {
7	#[error("proof contains an extra initial evalcheck proof")]
8	ExtraInitialEvalcheckProof,
9	#[error("proof is missing an initial evalcheck proof")]
10	MissingInitialEvalcheckProof,
11	#[error("proof contains an extra virtual opening proof")]
12	ExtraVirtualOpeningProof,
13	#[error("proof is missing a virtual opening proof")]
14	MissingVirtualOpeningProof,
15	#[error("proof contains an extra batch opening proof")]
16	ExtraBatchOpeningProof,
17	#[error("proof is missing a batch opening proof")]
18	MissingBatchOpeningProof,
19	#[error("evalcheck error: {0}")]
20	Evalcheck(#[from] evalcheck::Error),
21	#[error("sumcheck error: {0}")]
22	Sumcheck(#[from] sumcheck::Error),
23	#[error("transcript error: {0}")]
24	TranscriptError(#[from] crate::transcript::Error),
25}