Struct plonkup::proof_system::Proof

source · [−]

pub struct Proof { /* private fields */ }

Expand description

A Proof is a composition of Commitments to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as the ProofEvaluations.

It’s main goal is to allow the Verifier to formally verify that the secret witnesses used to generate the Proof satisfy a circuit that both Prover and Verifier have in common succintly and without any capabilities of adquiring any kind of knowledge about the witness used to construct the Proof.

Struct plonkup::proof_system::Proof

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

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

impl Debug for Proof

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

impl Default for Proof

fn default() -> Proof

impl PartialEq<Proof> for Proof

fn eq(&self, other: &Proof) -> bool

fn ne(&self, other: &Proof) -> bool

impl Serializable<{ 15 * Commitment::SIZE + ProofEvaluations::SIZE }> for Proof

type Error = Error

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

fn from_bytes(buf: &[u8; 1488]) -> Result<Self, Self::Error>

const SIZE: usize =

impl Eq for Proof

impl StructuralEq for Proof

impl StructuralPartialEq for Proof

Auto Trait Implementations

impl RefUnwindSafe for Proof

impl Send for Proof

impl Sync for Proof

impl Unpin for Proof

impl UnwindSafe for Proof

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, const N: usize> DeserializableSlice<N> for T where T: Serializable<N>,

fn from_slice(buf: &[u8]) -> Result<Self, Self::Error> where Self::Error: BadLength,

fn from_reader<R>(buf: &mut R) -> Result<Self, Self::Error> where R: Read, Self::Error: BadLength,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T, const N: usize> ParseHexStr<N> for T where T: Serializable<N>,

fn from_hex_str(s: &str) -> Result<Self, Self::Error> where Self::Error: BadLength, Self::Error: InvalidChar,

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::()

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

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

fn from_bytes(buf: &[u8 ; 1488]) -> Result<Self, Self::Error>

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, const N: usize> DeserializableSlice<N> for T where
T: Serializable<N>,

fn from_slice(buf: &[u8]) -> Result<Self, Self::Error> where
Self::Error: BadLength,

fn from_reader<R>(buf: &mut R) -> Result<Self, Self::Error> where
R: Read,
Self::Error: BadLength,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, const N: usize> ParseHexStr<N> for T where
T: Serializable<N>,

fn from_hex_str(s: &str) -> Result<Self, Self::Error> where
Self::Error: BadLength,
Self::Error: InvalidChar,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,