Struct plonk_pallet::pallet::Pallet [−][src]
pub struct Pallet<T>(_);
Implementations
pub fn trusted_setup(
origin: OriginFor<T>,
val: u32,
rng: FullcodecRng
) -> DispatchResultWithPostInfo
pub fn trusted_setup(
origin: OriginFor<T>,
val: u32,
rng: FullcodecRng
) -> DispatchResultWithPostInfo
The function called when we setup the parameters
pub fn verify(
origin: OriginFor<T>,
vd: VerifierData,
proof: Proof,
public_inputs: Vec<PublicInputValue>,
transcript_init: Transcript
) -> DispatchResultWithPostInfo
pub fn verify(
origin: OriginFor<T>,
vd: VerifierData,
proof: Proof,
public_inputs: Vec<PublicInputValue>,
transcript_init: Transcript
) -> DispatchResultWithPostInfo
The function called when we verify the statement
The setup parameter referred to as SRS
The RPC method to get public parameters
Trait Implementations
Returns the current version of the pallet.
Returns the version of the pallet that is stored in storage. Read more
The block is being finalized. Implement to have something happen.
The block is being initialized. Implement to have something happen. Read more
Perform a module upgrade. Read more
Implementing this function on a module allows you to perform long-running tasks that make (by default) validators generate transactions that feed results of those long-running computations back on chain. Read more
Run integrity test. Read more
Run integrity test. Read more
This function is being called after every block import (when fully synced). Read more
The block is being finalized. Implement to have something happen. Read more
Something that should happen at genesis.
The block is being initialized. Implement to have something happen. Read more
Perform a module upgrade. Read more
type CustomCircuit = T::CustomCircuit
type CustomCircuit = T::CustomCircuit
The circuit customized by developer
fn trusted_setup(
_who: &T::AccountId,
val: u32,
rng: FullcodecRng
) -> DispatchResultWithPostInfo
fn trusted_setup(
_who: &T::AccountId,
val: u32,
rng: FullcodecRng
) -> DispatchResultWithPostInfo
The API method to setup public parameters
fn verify(
_who: &T::AccountId,
vd: VerifierData,
proof: Proof,
public_inputs: Vec<PublicInputValue>,
transcript_init: Transcript
) -> DispatchResultWithPostInfo
fn verify(
_who: &T::AccountId,
vd: VerifierData,
proof: Proof,
public_inputs: Vec<PublicInputValue>,
transcript_init: Transcript
) -> DispatchResultWithPostInfo
The API method to verify the proof validity
Auto Trait Implementations
impl<T> RefUnwindSafe for Pallet<T> where
T: RefUnwindSafe,
impl<T> UnwindSafe for Pallet<T> where
T: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
fn checked_from<T>(t: T) -> Option<Self> where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self> where
Self: TryFrom<T>,
Convert from a value of T
into an equivalent instance of Option<Self>
. Read more
fn checked_into<T>(self) -> Option<T> where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T> where
Self: TryInto<T>,
Consume self to return Some
equivalent value of Option<T>
. Read more
fn saturated_from<T>(t: T) -> Self where
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Self where
Self: UniqueSaturatedFrom<T>,
Convert from a value of T
into an equivalent instance of Self
. Read more
fn saturated_into<T>(self) -> T where
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> T where
Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of T
. Read more
pub fn unchecked_into(self) -> T
pub fn unchecked_into(self) -> T
The counterpart to unchecked_from
.
pub fn unique_saturated_into(self) -> T
pub fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of T
.
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more