#[repr(C)]pub struct FeeSigmaProofContext {
pub fee_commitment: PedersenCommitment,
pub delta_commitment: PedersenCommitment,
pub claimed_commitment: PedersenCommitment,
pub max_fee: PodU64,
}
Expand description
The context data needed to verify a pubkey validity proof.
We refer to ZK Token proof
for the formal details on how the fee sigma proof is computed.
Fields§
§fee_commitment: PedersenCommitment
The Pedersen commitment to the transfer fee
delta_commitment: PedersenCommitment
The Pedersen commitment to the real delta fee.
claimed_commitment: PedersenCommitment
The Pedersen commitment to the claimed delta fee.
max_fee: PodU64
The maximum cap for a transfer fee
Trait Implementations§
source§impl Clone for FeeSigmaProofContext
impl Clone for FeeSigmaProofContext
source§fn clone(&self) -> FeeSigmaProofContext
fn clone(&self) -> FeeSigmaProofContext
Returns a copy 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 moresource§impl ZkProofData<FeeSigmaProofContext> for FeeSigmaProofData
impl ZkProofData<FeeSigmaProofContext> for FeeSigmaProofData
const PROOF_TYPE: ProofType = ProofType::FeeSigma
fn context_data(&self) -> &FeeSigmaProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for FeeSigmaProofContext
impl Pod for FeeSigmaProofContext
Auto Trait Implementations§
impl Freeze for FeeSigmaProofContext
impl RefUnwindSafe for FeeSigmaProofContext
impl Send for FeeSigmaProofContext
impl Sync for FeeSigmaProofContext
impl Unpin for FeeSigmaProofContext
impl UnwindSafe for FeeSigmaProofContext
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> CheckedBitPattern for Twhere
T: AnyBitPattern,
impl<T> CheckedBitPattern for Twhere
T: AnyBitPattern,
source§type Bits = T
type Bits = T
Self
must have the same layout as the specified Bits
except for
the possible invalid bit patterns being checked during
is_valid_bit_pattern
.source§fn is_valid_bit_pattern(_bits: &T) -> bool
fn is_valid_bit_pattern(_bits: &T) -> bool
If this function returns true, then it must be valid to reinterpret
bits
as &Self
.source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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