Struct plonk_wasm::plonk_proof::fp::WasmFpProverProof

pub struct WasmFpProverProof {
    pub commitments: WasmFpProverCommitments,
    pub proof: WasmFpOpeningProof,
    pub evals: WasmFpProofEvaluations,
    pub ft_eval1: WasmPastaFp,
    pub public: WasmFlatVector<WasmPastaFp>,
    pub prev_challenges_scalars: Vec<Vec<Fp>>,
    pub prev_challenges_comms: WasmVector<WasmPolyComm>,
}

Fields

commitments: WasmFpProverCommitments

proof: WasmFpOpeningProof

evals: WasmFpProofEvaluations

ft_eval1: WasmPastaFp

public: WasmFlatVector<WasmPastaFp>

prev_challenges_scalars: Vec<Vec<Fp>>

prev_challenges_comms: WasmVector<WasmPolyComm>

Implementations

impl WasmFpProverProof

pub fn new( commitments: WasmFpProverCommitments, proof: WasmFpOpeningProof, evals: WasmFpProofEvaluations, ft_eval1: WasmPastaFp, public_: WasmFlatVector<WasmPastaFp>, prev_challenges_scalars: WasmVecVecFp, prev_challenges_comms: WasmVector<WasmPolyComm> ) -> Self

pub fn commitments(&self) -> WasmFpProverCommitments

pub fn proof(&self) -> WasmFpOpeningProof

pub fn evals(&self) -> WasmFpProofEvaluations

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

pub fn prev_challenges_scalars(&self) -> WasmVecVecFp

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

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

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

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

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

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

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

pub fn serialize(&self) -> String

Trait Implementations

impl From<&WasmFpProverProof> for (ProverProof<GAffine, OpeningProof<GAffine>>, Vec<Fp>)

fn from(x: &WasmFpProverProof) -> Self

Converts to this type from the input type.

impl From<(&ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, &Vec<Fp<MontBackend<FqConfig, 4>, 4>, Global>)> for WasmFpProverProof

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

Converts to this type from the input type.

impl From<(ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, Vec<Fp<MontBackend<FqConfig, 4>, 4>, Global>)> for WasmFpProverProof

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

Converts to this type from the input type.

impl From<WasmFpProverProof> for (ProverProof<GAffine, OpeningProof<GAffine>>, Vec<Fp>)

fn from(x: WasmFpProverProof) -> Self

Converts to this type from the input type.

impl From<WasmFpProverProof> for JsValue

fn from(value: WasmFpProverProof) -> Self

Converts to this type from the input type.

impl FromWasmAbi for WasmFpProverProof

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 WasmFpProverProof

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 WasmFpProverProof

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = Ref<'static, WasmFpProverProof>

Same as RefFromWasmAbi::Anchor

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

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for WasmFpProverProof

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 WasmFpProverProof

fn none() -> Self::Abi

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

impl RefFromWasmAbi for WasmFpProverProof

type Abi = u32

The wasm ABI type references to Self are recovered from.

type Anchor = Ref<'static, WasmFpProverProof>

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 WasmFpProverProof

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RefMut<'static, WasmFpProverProof>

Same as RefFromWasmAbi::Anchor

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

Same as RefFromWasmAbi::ref_from_abi

impl WasmDescribe for WasmFpProverProof

fn describe()