spongefish 0.5.1

An implementation of the Fiat--Shamir transformation from Duplex Sponges.
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
26
27
28

use core::fmt::Display;

/// An error signaling that verification failed.
#[derive(Debug, Copy, Clone, Default)]
pub struct VerificationError;

/// A [`Result`] wrapper that can either return `T` or a [`VerificationError`].
pub type VerificationResult<T> = Result<T, VerificationError>;

impl Display for VerificationError {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "Invalid proof")
    }
}

impl core::ops::Deref for VerificationError {
    type Target = VerificationResult<()>;

    fn deref(&self) -> &Self::Target {
        &Err(Self)
    }
}

#[cfg(feature = "std")]
extern crate std;

#[cfg(feature = "std")]
impl std::error::Error for VerificationError {}