Struct HashLockedForfeitBundle

Source
pub struct HashLockedForfeitBundle {
    pub vtxo_id: VtxoId,
    pub unlock_hash: UnlockHash,
    pub user_nonces: HashLockedForfeitNonces,
    pub forfeit_tx_part_sig: PartialSignature,
    pub forfeit_claim_tx_part_sig: PartialSignature,
}
Expand description

A bundle of signatures that forfeits a user’s VTXO conditional on the server revealing a secret preimage

In hArk, the forfeit protocol actually consists of two steps. First there is a tx that sends the money to an output that the server can claim if he provides the preimage, but that still has a timeout back to the user, to force the server to actually reveal the preimage before the new hArk VTXO expires. This output policy also has to contain the user’s pubkey, so the user that forfeits will have to provide a partial signature for both the spend from his VTXO to the forfeit tx and on a tx that spends the forfeit tx to the server’s wallet.

Fields§

§vtxo_id: VtxoId§unlock_hash: UnlockHash§user_nonces: HashLockedForfeitNonces§forfeit_tx_part_sig: PartialSignature

User’s partial signature on the forfeit tx

§forfeit_claim_tx_part_sig: PartialSignature

User’s partial signature on the forfeit claim tx

Implementations§

Source§

impl HashLockedForfeitBundle

Source

pub fn forfeit_vtxo( vtxo: &Vtxo, unlock_hash: UnlockHash, user_key: &Keypair, server_nonces: &HashLockedForfeitNonces, ) -> Self

Create a new HashLockedForfeitBundle for the given VTXO

Source

pub fn verify( &self, vtxo: &Vtxo, server_nonces: &HashLockedForfeitNonces, ) -> Result<(), &'static str>

Used by the server to verify if the partial signatures in the bundle are valid

Source

pub fn finish( self, vtxo: &Vtxo, server_pub_nonces: &HashLockedForfeitNonces, [ff_sec_nonce, claim_sec_nonce]: [SecretNonce; 2], server_key: &Keypair, ) -> [Signature; 2]

Used by the server to finish the forfeit signatures using its own nonces.

NB users don’t need to know these signatures.

Trait Implementations§

Source§

impl Clone for HashLockedForfeitBundle

Source§

fn clone(&self) -> HashLockedForfeitBundle

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for HashLockedForfeitBundle

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl PartialEq for HashLockedForfeitBundle

Source§

fn eq(&self, other: &HashLockedForfeitBundle) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl ProtocolEncoding for HashLockedForfeitBundle

Source§

fn encode<W: Write + ?Sized>(&self, w: &mut W) -> Result<(), Error>

Encode the object into the writer.
Source§

fn decode<R: Read + ?Sized>(r: &mut R) -> Result<Self, ProtocolDecodingError>

Decode the object from the writer.
Source§

fn serialize(&self) -> Vec<u8>

Serialize the object into a byte vector.
Source§

fn deserialize(byte_slice: &[u8]) -> Result<Self, ProtocolDecodingError>

Deserialize object from the given byte slice.
Source§

fn serialize_hex(&self) -> String

Serialize the object to a lowercase hex string.
Source§

fn deserialize_hex(hex_str: &str) -> Result<Self, ProtocolDecodingError>

Deserialize object from hex slice.
Source§

impl Eq for HashLockedForfeitBundle

Source§

impl StructuralPartialEq for HashLockedForfeitBundle

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

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

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> ErasedDestructor for T
where T: 'static,