Trait plonk_pallet::Plonk

pub trait Plonk<AccountId> {
    type CustomCircuit: Circuit;
    fn trusted_setup(
        who: &AccountId, 
        val: u32, 
        rng: FullcodecRng
    ) -> DispatchResultWithPostInfo;
    fn verify(
        who: &AccountId, 
        vd: VerifierData, 
        proof: Proof, 
        public_inputs: Vec<PublicInputValue>, 
        transcript_init: Transcript
    ) -> DispatchResultWithPostInfo;
}

Abstraction over a plonk zk-SNARKs system

Associated Types

type CustomCircuit: Circuit

The plonk circuit customized by developer

Required methods

fn trusted_setup(
    who: &AccountId,
    val: u32,
    rng: FullcodecRng
) -> DispatchResultWithPostInfo

The public parameters generation function This is the dispatchable function and assumed to be called by other pallet as API

fn verify(
    who: &AccountId,
    vd: VerifierData,
    proof: Proof,
    public_inputs: Vec<PublicInputValue>,
    transcript_init: Transcript
) -> DispatchResultWithPostInfo

The proof verify function This is the dispatchable function and assumed to be called by other pallet as API

Implementors

impl<T: Config> Plonk<<T as Config>::AccountId> for Pallet<T>

type CustomCircuit = T::CustomCircuit