binius_core/protocols/v2/greedy_evalcheck_v2/
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
// Copyright 2024 Ulvetanna Inc.

use crate::protocols::{evalcheck_v2, sumcheck_v2};

#[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_v2::Error),
	#[error("sumcheck error: {0}")]
	Sumcheck(#[from] sumcheck_v2::Error),
}