pub struct VerificationKey { /* private fields */ }Expand description
Groth16 verification key for BN254 curve
Implementations§
Source§impl VerificationKey
impl VerificationKey
Sourcepub fn from_json(json: &str) -> Result<Self, SdkError>
pub fn from_json(json: &str) -> Result<Self, SdkError>
Load verification key from snarkjs JSON format
Sourcepub fn from_snarkjs(vk_json: &VerificationKeyJson) -> Result<Self, SdkError>
pub fn from_snarkjs(vk_json: &VerificationKeyJson) -> Result<Self, SdkError>
Load from parsed snarkjs JSON
Sourcepub fn from_bytes(bytes: &[u8]) -> Result<Self, SdkError>
pub fn from_bytes(bytes: &[u8]) -> Result<Self, SdkError>
Load from ark-serialized binary format
Sourcepub fn num_public_inputs(&self) -> usize
pub fn num_public_inputs(&self) -> usize
Number of public inputs expected
Trait Implementations§
Source§impl Clone for VerificationKey
impl Clone for VerificationKey
Source§fn clone(&self) -> VerificationKey
fn clone(&self) -> VerificationKey
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for VerificationKey
impl RefUnwindSafe for VerificationKey
impl Send for VerificationKey
impl Sync for VerificationKey
impl Unpin for VerificationKey
impl UnsafeUnpin for VerificationKey
impl UnwindSafe for VerificationKey
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more