mitrid_core 0.9.4

Core library of the Mitrid framework
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! # Provable
//!
//! `provable` is the module providing the trait used to implement cryptographic proof-systems.

use base::Result;
use base::Datable;

/// Trait used by types that implements cryptographic proof.
pub trait Prove<P>
    where   P: Datable,
            Self: 'static + Sized
{
    /// Proves cryptographically a message, returning a proof.
    fn prove(&mut self, msg: &[u8]) -> Result<P>;

    /// Verifies a proof against a message.
    fn verify(&mut self, msg: &[u8], proof: &P) -> Result<bool>;

    /// Checks a proof against a message.
    fn check(&mut self, msg: &[u8], proof: &P) -> Result<()>;
}