Struct NapiFqProverProof 

pub struct NapiFqProverProof {
    pub commitments: NapiFqProverCommitments,
    pub proof: NapiFqOpeningProof,
    pub evals: NapiFqProofEvaluations,
    pub ft_eval1: NapiPastaFq,
    pub public: NapiFlatVector<NapiPastaFq>,
    pub prev_challenges_scalars: NapiVecVecFq,
    pub prev_challenges_comms: NapiVector<NapiFqPolyComm>,
}

Fields

commitments: NapiFqProverCommitments

proof: NapiFqOpeningProof

evals: NapiFqProofEvaluations

ft_eval1: NapiPastaFq

public: NapiFlatVector<NapiPastaFq>

prev_challenges_scalars: NapiVecVecFq

prev_challenges_comms: NapiVector<NapiFqPolyComm>

Implementations

impl NapiFqProverProof

pub fn new( commitments: NapiFqProverCommitments, proof: NapiFqOpeningProof, evals: NapiFqProofEvaluations, ft_eval1: NapiPastaFq, public_: NapiFlatVector<NapiPastaFq>, prev_challenges_scalars: NapiVecVecFq, prev_challenges_comms: NapiVector<NapiFqPolyComm>, ) -> Self

pub fn commitments(&self) -> NapiFqProverCommitments

pub fn proof(&self) -> NapiFqOpeningProof

pub fn evals(&self) -> NapiFqProofEvaluations

pub fn ft_eval1(&self) -> NapiPastaFq

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

pub fn prev_challenges_scalars(&self) -> NapiVecVecFq

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

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

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

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

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

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

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

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

pub fn serialize(&self) -> String

Trait Implementations

impl Clone for NapiFqProverProof

fn clone(&self) -> NapiFqProverProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl From<&NapiFqProverProof> for (ProverProof<Pallas, OpeningProof<Pallas, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fq>)

fn from(x: &NapiFqProverProof) -> Self

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl From<NapiFqProverProof> for (ProverProof<Pallas, OpeningProof<Pallas, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fq>)

fn from(x: NapiFqProverProof) -> Self

Converts to this type from the input type.

impl FromNapiMutRef for NapiFqProverProof

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

Safety

impl FromNapiRef for NapiFqProverProof

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

Safety

impl FromNapiValue for NapiFqProverProof

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 NapiFqProverProof

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 NapiFqProverProof

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

impl ToNapiValue for NapiFqProverProof

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

Safety

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

impl TypeName for &NapiFqProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for &mut NapiFqProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl TypeName for NapiFqProverProof

fn type_name() -> &'static str

fn value_type() -> ValueType

impl ValidateNapiValue for &NapiFqProverProof

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

Safety

impl ValidateNapiValue for &mut NapiFqProverProof

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

Safety