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<WasmFpPolyComm>,
}
Fields§
§commitments: WasmFpProverCommitments
§proof: WasmFpOpeningProof
§evals: WasmFpProofEvaluations
§ft_eval1: WasmPastaFp
§public: WasmFlatVector<WasmPastaFp>
§prev_challenges_scalars: Vec<Vec<Fp>>
§prev_challenges_comms: WasmVector<WasmFpPolyComm>
Implementations§
Source§impl WasmFpProverProof
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§
Source§impl From<&WasmFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta>>, Vec<Fp>)
impl From<&WasmFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta>>, Vec<Fp>)
Source§fn from(x: &WasmFpProverProof) -> Self
fn from(x: &WasmFpProverProof) -> Self
Converts to this type from the input type.
Source§impl From<(&ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, &Vec<Fp<MontBackend<FqConfig, 4>, 4>>)> for WasmFpProverProof
impl From<(&ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, &Vec<Fp<MontBackend<FqConfig, 4>, 4>>)> for WasmFpProverProof
Source§impl From<(ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, Vec<Fp<MontBackend<FqConfig, 4>, 4>>)> for WasmFpProverProof
impl From<(ProverProof<Affine<VestaParameters>, OpeningProof<Affine<VestaParameters>>>, Vec<Fp<MontBackend<FqConfig, 4>, 4>>)> for WasmFpProverProof
Source§impl From<WasmFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta>>, Vec<Fp>)
impl From<WasmFpProverProof> for (ProverProof<Vesta, OpeningProof<Vesta>>, Vec<Fp>)
Source§fn from(x: WasmFpProverProof) -> Self
fn from(x: WasmFpProverProof) -> Self
Converts to this type from the input type.
Source§impl From<WasmFpProverProof> for JsValue
impl From<WasmFpProverProof> for JsValue
Source§fn from(value: WasmFpProverProof) -> Self
fn from(value: WasmFpProverProof) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for WasmFpProverProof
impl FromWasmAbi for WasmFpProverProof
Source§impl IntoWasmAbi for WasmFpProverProof
impl IntoWasmAbi for WasmFpProverProof
Source§impl RefFromWasmAbi for WasmFpProverProof
impl RefFromWasmAbi for WasmFpProverProof
Source§type Anchor = Ref<'static, WasmFpProverProof>
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.Source§impl TryFromJsValue for WasmFpProverProof
impl TryFromJsValue for WasmFpProverProof
Source§impl VectorFromWasmAbi for WasmFpProverProof
impl VectorFromWasmAbi for WasmFpProverProof
type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[WasmFpProverProof]>
Source§impl VectorIntoWasmAbi for WasmFpProverProof
impl VectorIntoWasmAbi for WasmFpProverProof
type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[WasmFpProverProof]>) -> Self::Abi
Source§impl WasmDescribeVector for WasmFpProverProof
impl WasmDescribeVector for WasmFpProverProof
Auto Trait Implementations§
impl Freeze for WasmFpProverProof
impl RefUnwindSafe for WasmFpProverProof
impl Send for WasmFpProverProof
impl Sync for WasmFpProverProof
impl Unpin for WasmFpProverProof
impl UnwindSafe for WasmFpProverProof
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
Source§type Abi = <T as IntoWasmAbi>::Abi
type Abi = <T as IntoWasmAbi>::Abi
Same as
IntoWasmAbi::Abi
Source§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as
IntoWasmAbi::into_abi
, except that it may throw and never
return in the case of Err
.