binius_core/protocols/greedy_evalcheck/
error.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// Copyright 2024 Irreducible Inc.

use crate::protocols::{evalcheck, sumcheck};

#[derive(Debug, thiserror::Error)]
pub enum Error {
	#[error("proof contains an extra initial evalcheck proof")]
	ExtraInitialEvalcheckProof,
	#[error("proof is missing an initial evalcheck proof")]
	MissingInitialEvalcheckProof,
	#[error("proof contains an extra virtual opening proof")]
	ExtraVirtualOpeningProof,
	#[error("proof is missing a virtual opening proof")]
	MissingVirtualOpeningProof,
	#[error("proof contains an extra batch opening proof")]
	ExtraBatchOpeningProof,
	#[error("proof is missing a batch opening proof")]
	MissingBatchOpeningProof,
	#[error("evalcheck error: {0}")]
	Evalcheck(#[from] evalcheck::Error),
	#[error("sumcheck error: {0}")]
	Sumcheck(#[from] sumcheck::Error),
	#[error("transcript error: {0}")]
	TranscriptError(#[from] crate::transcript::Error),
}