Struct CtWitness

Source

pub struct CtWitness {Show 14 fields
    pub s_old_bal: u128,
    pub s_new_bal: u128,
    pub r_old_bal: u128,
    pub r_new_bal: u128,
    pub amount: u128,
    pub s_old_nonce: u128,
    pub s_new_nonce: u128,
    pub r_old_nonce: u128,
    pub r_new_nonce: u128,
    pub amt_nonce: u128,
    pub ct_hash_s_old: [u8; 16],
    pub ct_hash_s_new: [u8; 16],
    pub ct_hash_r_old: [u8; 16],
    pub ct_hash_r_new: [u8; 16],
}

Expand description

Private witness for a confidential transfer.

Balance and amount values are currently encoded as one Goldilocks element in the AIR. The prover rejects values above u64::MAX, and the AIR enforces that all high limbs are zero at the conservation row.

Fields§

§s_old_bal: u128§s_new_bal: u128§r_old_bal: u128§r_new_bal: u128§amount: u128§s_old_nonce: u128§s_new_nonce: u128§r_old_nonce: u128§r_new_nonce: u128§amt_nonce: u128§ct_hash_s_old: [u8; 16]

blake3(sender_old_ciphertext)[0..16] - used in commitment preimage

§ct_hash_s_new: [u8; 16]§ct_hash_r_old: [u8; 16]§ct_hash_r_new: [u8; 16]

Auto Trait Implementations§

§

CtWitness

Struct CtWitness Copy item path

Fields§

Auto Trait Implementations§

impl Freeze for CtWitness

impl RefUnwindSafe for CtWitness

impl Send for CtWitness

impl Sync for CtWitness

impl Unpin for CtWitness

impl UnsafeUnpin for CtWitness

impl UnwindSafe for CtWitness

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct CtWitness

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,