Struct oberon::Proof

pub struct Proof { /* private fields */ }

A zero-knowledge proof of a valid token

Implementations

impl Proof

pub const BYTES: usize = 96usize

The number of bytes in a proof

pub fn new<B: AsRef<[u8]>, N: AsRef<[u8]>>( token: &Token, blindings: &[Blinding], id: B, nonce: N, rng: impl RngCore + CryptoRng ) -> Option<Self>

Create a new ZKP based proof

Works like this

m = H_s(id) m’ = H_s(m) A = H_G(m’) r = random scalar t = random scalar or H_s(A || timestamp) U = r.A Z = -(r + t).(\sigma + blindings)

Verified e(U + t.A, W + m.X + m’.Y).e(Z, P) == 1

pub fn open<B: AsRef<[u8]>, N: AsRef<[u8]>>( &self, pk: PublicKey, id: B, nonce: N ) -> Choice

Check whether this proof is valid

pub fn to_bytes(&self) -> [u8; 96]

Convert this proof into a byte sequence

pub fn from_bytes(data: &[u8; 96]) -> CtOption<Self>

Convert a byte sequence to a proof

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Proof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Proof

fn default() -> Proof

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Proof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Proof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Proof