Struct plonk_wasm::plonk_proof::fq::WasmFqProverProof

pub struct WasmFqProverProof {
    pub commitments: WasmFqProverCommitments,
    pub proof: WasmFqOpeningProof,
    pub evals: WasmFqProofEvaluations,
    pub ft_eval1: WasmPastaFq,
    pub public: WasmFlatVector<WasmPastaFq>,
    pub prev_challenges_scalars: Vec<Vec<Fq>>,
    pub prev_challenges_comms: WasmVector<WasmPolyComm>,
}

Fields

commitments: WasmFqProverCommitments

proof: WasmFqOpeningProof

evals: WasmFqProofEvaluations

ft_eval1: WasmPastaFq

public: WasmFlatVector<WasmPastaFq>

prev_challenges_scalars: Vec<Vec<Fq>>

prev_challenges_comms: WasmVector<WasmPolyComm>

Implementations

impl WasmFqProverProof

pub fn new( commitments: WasmFqProverCommitments, proof: WasmFqOpeningProof, evals: WasmFqProofEvaluations, ft_eval1: WasmPastaFq, public_: WasmFlatVector<WasmPastaFq>, prev_challenges_scalars: WasmVecVecFq, prev_challenges_comms: WasmVector<WasmPolyComm> ) -> Self

pub fn commitments(&self) -> WasmFqProverCommitments

pub fn proof(&self) -> WasmFqOpeningProof

pub fn evals(&self) -> WasmFqProofEvaluations

pub fn public_(&self) -> WasmFlatVector<WasmPastaFq>

pub fn prev_challenges_scalars(&self) -> WasmVecVecFq

pub fn prev_challenges_comms(&self) -> WasmVector<WasmPolyComm>

pub fn set_commitments(&mut self, commitments: WasmFqProverCommitments)

pub fn set_proof(&mut self, proof: WasmFqOpeningProof)

pub fn set_evals(&mut self, evals: WasmFqProofEvaluations)

pub fn set_public_(&mut self, public_: WasmFlatVector<WasmPastaFq>)

pub fn set_prev_challenges_scalars( &mut self, prev_challenges_scalars: WasmVecVecFq )

pub fn set_prev_challenges_comms( &mut self, prev_challenges_comms: WasmVector<WasmPolyComm> )

pub fn serialize(&self) -> String

Trait Implementations

impl From<&WasmFqProverProof> for (ProverProof<GAffine, OpeningProof<GAffine>>, Vec<Fq>)

fn from(x: &WasmFqProverProof) -> Self

Converts to this type from the input type.

impl From<(&ProverProof<Affine<PallasParameters>, OpeningProof<Affine<PallasParameters>>>, &Vec<Fp<MontBackend<FrConfig, 4>, 4>, Global>)> for WasmFqProverProof

fn from( (x, public): (&ProverProof<GAffine, OpeningProof<GAffine>>, &Vec<Fq>) ) -> Self

Converts to this type from the input type.

impl From<(ProverProof<Affine<PallasParameters>, OpeningProof<Affine<PallasParameters>>>, Vec<Fp<MontBackend<FrConfig, 4>, 4>, Global>)> for WasmFqProverProof

fn from( (x, public): (ProverProof<GAffine, OpeningProof<GAffine>>, Vec<Fq>) ) -> Self

Converts to this type from the input type.

impl From<WasmFqProverProof> for (ProverProof<GAffine, OpeningProof<GAffine>>, Vec<Fq>)

fn from(x: WasmFqProverProof) -> Self

Converts to this type from the input type.

impl From<WasmFqProverProof> for JsValue

fn from(value: WasmFqProverProof) -> Self

Converts to this type from the input type.

impl FromWasmAbi for WasmFqProverProof

type Abi = u32

The wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for WasmFqProverProof

type Abi = u32

The wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for WasmFqProverProof

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = Ref<'static, WasmFqProverProof>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for WasmFqProverProof

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for WasmFqProverProof

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for WasmFqProverProof

type Abi = u32

The wasm ABI type references to Self are recovered from.

type Anchor = Ref<'static, WasmFqProverProof>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for WasmFqProverProof

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RefMut<'static, WasmFqProverProof>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl WasmDescribe for WasmFqProverProof

fn describe()