Struct plonk_pallet::PublicParameters[−][src]

pub struct PublicParameters { /* fields omitted */ }

Expand description

The Public Parameters can also be referred to as the Structured Reference String (SRS). It is available to both the prover and verifier and allows the verifier to efficiently verify and make claims about polynomials up to and including a configured degree.

Struct plonk_pallet::PublicParameters[−][src]

Implementations

impl PublicParameters

pub fn commit_key(&self) -> &CommitKey

pub fn opening_key(&self) -> &OpeningKey

pub fn setup( max_degree: usize, rng: impl RngCore) -> Result<PublicParameters, Error>

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

Note

pub unsafe fn from_slice_unchecked(bytes: &[u8]) -> PublicParameters

Safety

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

pub fn from_slice(bytes: &[u8]) -> Result<PublicParameters, Error>

Note

pub fn trim( &self, truncated_degree: usize) -> Result<(CommitKey, OpeningKey), Error>

pub fn max_degree(&self) -> usize

Trait Implementations

impl Clone for PublicParameters

pub fn clone(&self) -> PublicParameters

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

impl Debug for PublicParameters

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

impl Decode for PublicParameters

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

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

fn encoded_fixed_size() -> Option<usize>

impl<'de> Deserialize<'de> for PublicParameters

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

impl Encode for PublicParameters

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<PublicParameters> for PublicParameters

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

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

impl Serialize for PublicParameters

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

impl EncodeLike<PublicParameters> for PublicParameters

impl StructuralPartialEq for PublicParameters

Auto Trait Implementations

impl RefUnwindSafe for PublicParameters

impl Send for PublicParameters

impl Sync for PublicParameters

impl Unpin for PublicParameters

impl UnwindSafe for PublicParameters

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> 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> 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 setup(
max_degree: usize,
rng: impl RngCore
) -> Result<PublicParameters, Error>

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

pub unsafe fn from_slice_unchecked(bytes: &[u8 ]) -> PublicParameters

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

pub fn from_slice(bytes: &[u8 ]) -> Result<PublicParameters, Error>

pub fn trim(
&self,
truncated_degree: usize
) -> Result<(CommitKey, OpeningKey ), Error>

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

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

pub fn deserialize<D>(
deserializer: D
) -> Result<PublicParameters, <D as Deserializer<'de>>::Error> where
__D: Deserializer<'de>,

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 serialize<S>(
&self,
serializer: S
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error> where
S: Serializer,

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

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> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,

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> MaybeSerialize for T where
T: Serialize,

impl<T> MaybeSerializeDeserialize for T where
T: DeserializeOwned + Serialize,