Struct plonk_pallet::Proof[−][src]

pub struct Proof { /* fields omitted */ }

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 plonk_pallet::Proof[−][src]

Trait Implementations

impl Clone for Proof

pub fn clone(&self) -> Proof

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

impl Debug for Proof

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

impl Decode for Proof

pub fn decode<__CodecInputEdqy>( __codec_input_edqy: &mut __CodecInputEdqy) -> Result<Proof, Error> where __CodecInputEdqy: Input,

fn skip<I>(input: &mut I) -> Result<(), Error> where I: Input,

fn encoded_fixed_size() -> Option<usize>

impl Default for Proof

pub fn default() -> Proof

impl Encode for Proof

pub fn encode_to<__CodecOutputEdqy>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy) where __CodecOutputEdqy: Output + ?Sized,

fn size_hint(&self) -> usize

fn encode(&self) -> Vec<u8, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where A: Allocator,

fn using_encoded<R, F>(&self, f: F) -> R where F: FnOnce(&[u8]) -> R,

fn encoded_size(&self) -> usize

impl PartialEq<Proof> for Proof

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

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

impl Serializable<{_: usize}> for Proof

type Error = Error

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

pub fn from_bytes( buf: &[u8; 1488]) -> Result<Proof, <Proof as Serializable<{_: usize}>>::Error>

const SIZE: usize

impl EncodeLike<Proof> for Proof

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,

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> CheckedConversion for T

fn checked_from<T>(t: T) -> Option<Self> where Self: TryFrom<T>,

fn checked_into<T>(self) -> Option<T> where Self: TryInto<T>,

impl<T> Clear for T where T: Default + Eq + PartialEq<T>,

pub fn is_clear(&self) -> bool

pub fn clear() -> T

impl<T> DecodeAll for T where T: Decode,

pub fn decode_all(input: &[u8]) -> Result<T, Error>

impl<T> DecodeLimit for T where T: Decode,

pub fn decode_all_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>

pub fn decode_and_advance_with_depth_limit<I>( limit: u32, input: &mut I) -> Result<T, Error> where I: Input,

pub fn decode_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>

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> DynClone for T where T: Clone,

pub fn __clone_box(&self, Private) -> *mut ()

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T> Hashable for T where T: Codec,

pub fn blake2_128(&self) -> [u8; 16]

pub fn blake2_256(&self) -> [u8; 32]

pub fn blake2_128_concat(&self) -> Vec<u8, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where A: Allocator,

pub fn twox_128(&self) -> [u8; 16]

pub fn twox_256(&self) -> [u8; 32]

pub fn twox_64_concat(&self) -> Vec<u8, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where A: Allocator,

pub fn identity(&self) -> Vec<u8, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where A: Allocator,

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

pub fn into(self) -> U

impl<T> IsType<T> for T

pub fn from_ref(t: &T) -> &T

pub fn into_ref(&self) -> &T

pub fn from_mut(t: &mut T) -> &mut T

pub fn decode<CodecInputEdqy>(
codec_input_edqy: &mut CodecInputEdqy
) -> Result<Proof, Error> where
CodecInputEdqy: Input,

fn skip<I>(input: &mut I) -> Result<(), Error> where
I: Input,

pub fn encode_to<CodecOutputEdqy>(
&self,
codec_dest_edqy: &mut CodecOutputEdqy
) where
CodecOutputEdqy: Output + ?Sized,

fn encode(&self) -> Vec<u8, Global>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

fn using_encoded<R, F>(&self, f: F) -> R where
F: FnOnce(&[u8 ]) -> R,

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

pub fn from_bytes(
buf: &[u8 ; 1488]
) -> Result<Proof, <Proof as Serializable<{_: usize}>>::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,

fn checked_from<T>(t: T) -> Option<Self> where
Self: TryFrom<T>,

fn checked_into<T>(self) -> Option<T> where
Self: TryInto<T>,

impl<T> Clear for T where
T: Default + Eq + PartialEq<T>,

impl<T> DecodeAll for T where
T: Decode,

pub fn decode_all(input: &[u8 ]) -> Result<T, Error>

impl<T> DecodeLimit for T where
T: Decode,

pub fn decode_all_with_depth_limit(limit: u32, input: &[u8 ]) -> Result<T, Error>

pub fn decode_and_advance_with_depth_limit<I>(
limit: u32,
input: &mut I
) -> Result<T, Error> where
I: Input,

pub fn decode_with_depth_limit(limit: u32, input: &[u8 ]) -> Result<T, Error>

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> DynClone for T where
T: Clone,

impl<T> Hashable for T where
T: Codec,

pub fn blake2_128(&self) -> [u8 ; 16]

pub fn blake2_256(&self) -> [u8 ; 32]

pub fn blake2_128_concat(&self) -> Vec<u8, Global>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

pub fn twox_128(&self) -> [u8 ; 16]

pub fn twox_256(&self) -> [u8 ; 32]

pub fn twox_64_concat(&self) -> Vec<u8, Global>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

pub fn identity(&self) -> Vec<u8, Global>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

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

impl<T, Outer> IsWrappedBy<Outer> for T where
Outer: AsRef<T> + AsMut<T> + From<T>,
T: From<Outer>,

impl<T> KeyedVec for T where
T: Codec,

pub fn to_keyed_vec(&self, prepend_key: &[u8 ]) -> Vec<u8, Global>ⓘ
Notable traits for Vec<u8, A>
`impl<A> Write for Vec<u8, A> where A: Allocator,`

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,

fn saturated_from<T>(t: T) -> Self where
Self: UniqueSaturatedFrom<T>,

fn saturated_into<T>(self) -> T where
Self: UniqueSaturatedInto<T>,

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>,

impl<S, T> UncheckedInto<T> for S where
T: UncheckedFrom<S>,

impl<T, S> UniqueSaturatedInto<T> for S where
T: Bounded,
S: TryInto<T>,

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

impl<S> Codec for S where
S: Decode + Encode,

impl<'_, '_, T> EncodeLike<&'_ &'_ T> for T where
T: Encode,

impl<'_, T> EncodeLike<&'_ T> for T where
T: Encode,

impl<'_, T> EncodeLike<&'_ mut T> for T where
T: Encode,

impl<T> EncodeLike<Arc<T>> for T where
T: Encode,

impl<T> EncodeLike<Box<T, Global>> for T where
T: Encode,

impl<'a, T> EncodeLike<Cow<'a, T>> for T where
T: ToOwned + Encode,

impl<T> EncodeLike<Rc<T>> for T where
T: Encode,

impl<S> FullCodec for S where
S: Decode + FullEncode,

impl<S> FullEncode for S where
S: Encode + EncodeLike<S>,

impl<T> MaybeDebug for T where
T: Debug,

impl<T> MaybeDebug for T where
T: Debug,

impl<T> MaybeRefUnwindSafe for T where
T: RefUnwindSafe,

impl<T> Member for T where
T: 'static + Send + Sync + Debug + Eq + PartialEq<T> + Clone,

impl<T> Parameter for T where
T: Codec + EncodeLike<T> + Clone + Eq + Debug,