Struct NapiFpProverProof 

pub struct NapiFpProverProof {
    pub commitments: NapiFpProverCommitments,
    pub proof: NapiFpOpeningProof,
    pub evals: NapiFpProofEvaluations,
    pub ft_eval1: NapiPastaFp,
    pub public: NapiFlatVector<NapiPastaFp>,
    pub prev_challenges_scalars: NapiVecVecFp,
    pub prev_challenges_comms: NapiVector<NapiFpPolyComm>,
}

Fields

commitments: NapiFpProverCommitments

proof: NapiFpOpeningProof

evals: NapiFpProofEvaluations

ft_eval1: NapiPastaFp

public: NapiFlatVector<NapiPastaFp>

prev_challenges_scalars: NapiVecVecFp

prev_challenges_comms: NapiVector<NapiFpPolyComm>

Implementations

impl NapiFpProverProof

pub fn new( commitments: NapiFpProverCommitments, proof: NapiFpOpeningProof, evals: NapiFpProofEvaluations, ft_eval1: NapiPastaFp, public_: NapiFlatVector<NapiPastaFp>, prev_challenges_scalars: NapiVecVecFp, prev_challenges_comms: NapiVector<NapiFpPolyComm>, ) -> Self

pub fn commitments(&self) -> NapiFpProverCommitments

pub fn proof(&self) -> NapiFpOpeningProof

pub fn evals(&self) -> NapiFpProofEvaluations

pub fn ft_eval1(&self) -> NapiPastaFp

pub fn public_(&self) -> NapiFlatVector<NapiPastaFp>

pub fn prev_challenges_scalars(&self) -> NapiVecVecFp

pub fn prev_challenges_comms(&self) -> NapiVector<NapiFpPolyComm>

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

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

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

pub fn set_ft_eval1(&mut self, ft_eval1: NapiPastaFp)

pub fn set_public_(&mut self, public_: NapiFlatVector<NapiPastaFp>)

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

pub fn set_prev_challenges_comms( &mut self, prev_challenges_comms: NapiVector<NapiFpPolyComm>, )

pub fn serialize(&self) -> String

Trait Implementations

impl Clone for NapiFpProverProof

fn clone(&self) -> NapiFpProverProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl From<&NapiFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>)

fn from(x: &NapiFpProverProof) -> Self

Converts to this type from the input type.

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

fn from( (proof, public): (&ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, &Vec<Fp>), ) -> Self

Converts to this type from the input type.

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

fn from( (proof, public): (ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>), ) -> Self

Converts to this type from the input type.

impl From<NapiFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>)

fn from(x: NapiFpProverProof) -> Self

Converts to this type from the input type.

impl FromNapiMutRef for NapiFpProverProof

unsafe fn from_napi_mut_ref( env: napi_env, napi_val: napi_value, ) -> Result<&'static mut Self>

Safety

impl FromNapiRef for NapiFpProverProof

unsafe fn from_napi_ref( env: napi_env, napi_val: napi_value, ) -> Result<&'static Self>

Safety

impl FromNapiValue for NapiFpProverProof

unsafe fn from_napi_value(env: napi_env, napi_val: napi_value) -> Result<Self>

Safety

fn from_unknown(value: Unknown<'_>) -> Result<Self, Error>

impl JavaScriptClassExt for NapiFpProverProof

fn into_instance<'scope>( self, env: &'scope Env, ) -> Result<ClassInstance<'scope, Self>>

fn into_reference(self, env: Env) -> Result<Reference<Self>>

fn instance_of<'env, V: JsValue<'env>>(env: &Env, value: &V) -> Result<bool>

impl ObjectFinalize for NapiFpProverProof

fn finalize(self, env: Env) -> Result<(), Error>

impl ToNapiValue for NapiFpProverProof

unsafe fn to_napi_value( env: napi_env, val: NapiFpProverProof, ) -> Result<napi_value>

Safety

fn into_unknown(self, env: &Env) -> Result<Unknown<'_>, Error>

impl TypeName for &NapiFpProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for &mut NapiFpProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for NapiFpProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl ValidateNapiValue for &NapiFpProverProof

unsafe fn validate(env: napi_env, napi_val: napi_value) -> Result<napi_value>

Safety

impl ValidateNapiValue for &mut NapiFpProverProof

unsafe fn validate(env: napi_env, napi_val: napi_value) -> Result<napi_value>

Safety