Skip to main content

LockTime

Enum LockTime 

Source
pub enum LockTime {
    Blocks(NumberOfBlocks),
    Time(NumberOf512Seconds),
}
Expand description

A relative lock time value, representing either a block height or time (512 second intervals).

Used for sequence numbers (nSequence in Bitcoin Core and TxIn::sequence in rust-bitcoin) and also for the argument to opcode OP_CHECKSEQUENCEVERIFY.

§Note on ordering

Locktimes may be height- or time-based, and these metrics are incommensurate; there is no total ordering on locktimes. In order to compare locktimes, instead of using < or > we provide the LockTime::is_satisfied_by API.

§Relevant BIPs

Variants§

§

Blocks(NumberOfBlocks)

A block height lock time value.

§

Time(NumberOf512Seconds)

A 512 second time interval value.

Implementations§

Source§

impl LockTime

Source

pub const ZERO: Self

A relative locktime of 0 is always valid, and is assumed valid for inputs that are not yet confirmed.

Source

pub const SIZE: usize = 4

The number of bytes that the locktime contributes to the size of a transaction.

Source

pub fn from_consensus(n: u32) -> Result<Self, DisabledLockTimeError>

Constructs a new LockTime from an nSequence value or the argument to OP_CHECKSEQUENCEVERIFY.

This method will not round-trip with Self::to_consensus_u32, because relative locktimes only use some bits of the underlying u32 value and discard the rest. If you want to preserve the full value, you should use the Sequence type instead.

§Errors

If n, interpreted as a Sequence number does not encode a relative lock time.

§Examples

// Values with bit 22 set to 0 will be interpreted as height-based lock times.
let height: u32 = 144; // 144 blocks, approx 24h.
let lock_time = relative::LockTime::from_consensus(height)?;
assert!(lock_time.is_block_height());
assert_eq!(lock_time.to_consensus_u32(), height);

// Values with bit 22 set to 1 will be interpreted as time-based lock times.
let time: u32 = 168 | (1 << 22) ; // Bit 22 is 1 with time approx 24h.
let lock_time = relative::LockTime::from_consensus(time)?;
assert!(lock_time.is_block_time());
assert_eq!(lock_time.to_consensus_u32(), time);
Source

pub fn to_consensus_u32(self) -> u32

Returns the u32 value used to encode this locktime in an nSequence field or argument to OP_CHECKSEQUENCEVERIFY.

§Warning

Locktimes are not ordered by the natural ordering on u32. If you want to compare locktimes, use Self::is_implied_by or similar methods.

Source

pub fn from_sequence(n: Sequence) -> Result<Self, DisabledLockTimeError>

Constructs a new LockTime from the sequence number of a Bitcoin input.

This method will not round-trip with Self::to_sequence. See the docs for Self::from_consensus for more information.

§Errors

If n does not encode a relative lock time.

§Examples

// Interpret a sequence number from a Bitcoin transaction input as a relative lock time
let sequence_number = Sequence::from_consensus(144); // 144 blocks, approx 24h.
let lock_time = relative::LockTime::from_sequence(sequence_number)?;
assert!(lock_time.is_block_height());
Source

pub fn to_sequence(self) -> Sequence

Encodes the locktime as a sequence number.

Source

pub const fn from_height(n: u16) -> Self

Constructs a new LockTime from n, expecting n to be a 16-bit count of blocks.

Source

pub const fn from_512_second_intervals(intervals: u16) -> Self

Constructs a new LockTime from n, expecting n to be a count of 512-second intervals.

This function is a little awkward to use, and users may wish to instead use Self::from_seconds_floor or Self::from_seconds_ceil.

Source

pub const fn from_seconds_floor(seconds: u32) -> Result<Self, TimeOverflowError>

Constructs a new LockTime from seconds, converting the seconds into 512 second interval with truncating division.

§Errors

Will return an error if the input cannot be encoded in 16 bits.

Source

pub const fn from_seconds_ceil(seconds: u32) -> Result<Self, TimeOverflowError>

Constructs a new LockTime from seconds, converting the seconds into 512 second interval with ceiling division.

§Errors

Will return an error if the input cannot be encoded in 16 bits.

Source

pub const fn is_same_unit(self, other: Self) -> bool

Returns true if both lock times use the same unit i.e., both height based or both time based.

Source

pub const fn is_block_height(self) -> bool

Returns true if this lock time value is in units of block height.

Source

pub const fn is_block_time(self) -> bool

Returns true if this lock time value is in units of time.

Source

pub fn is_satisfied_by( self, chain_tip_height: BlockHeight, chain_tip_mtp: BlockMtp, utxo_mined_at_height: BlockHeight, utxo_mined_at_mtp: BlockMtp, ) -> Result<bool, IsSatisfiedByError>

Returns true if this relative::LockTime is satisfied by the given chain state.

If this function returns true then an output with this locktime can be spent in the next block.

§Errors

If chain_tip as not after utxo_mined_at i.e., if you get the args mixed up.

Source

pub fn is_satisfied_by_height( self, chain_tip: BlockHeight, utxo_mined_at: BlockHeight, ) -> Result<bool, IsSatisfiedByHeightError>

Returns true if an output with this locktime can be spent in the next block.

If this function returns true then an output with this locktime can be spent in the next block.

§Errors

Returns an error if this lock is not lock-by-height.

Source

pub fn is_satisfied_by_time( self, chain_tip: BlockMtp, utxo_mined_at: BlockMtp, ) -> Result<bool, IsSatisfiedByTimeError>

Returns true if an output with this locktime can be spent in the next block.

If this function returns true then an output with this locktime can be spent in the next block.

§Errors

Returns an error if this lock is not lock-by-time.

Source

pub fn is_implied_by(self, other: Self) -> bool

Returns true if satisfaction of other lock time implies satisfaction of this relative::LockTime.

A lock time can only be satisfied by n blocks being mined or n seconds passing. If you have two lock times (same unit) then the larger lock time being satisfied implies (in a mathematical sense) the smaller one being satisfied.

This function is useful when checking sequence values against a lock, first one checks the sequence represents a relative lock time by converting to LockTime then use this function to see if satisfaction of the newly created lock time would imply satisfaction of self.

Can also be used to remove the smaller value of two OP_CHECKSEQUENCEVERIFY operations within one branch of the script.

§Examples


let satisfied = match test_sequence.to_relative_lock_time() {
    None => false, // Handle non-lock-time case.
    Some(test_lock) => lock.is_implied_by(test_lock),
};
assert!(satisfied);
Source

pub fn is_implied_by_sequence(self, other: Sequence) -> bool

Returns true if satisfaction of the sequence number implies satisfaction of this lock time.

When deciding whether an instance of <n> CHECKSEQUENCEVERIFY will pass, this method can be used by parsing n as a LockTime and calling this method with the sequence number of the input which spends the script.

§Examples

let sequence = Sequence::from_consensus(1 << 22 | 168); // Bit 22 is 1 with time approx 24h.
let lock_time = relative::LockTime::from_sequence(sequence)?;
let input_sequence = Sequence::from_consensus(1 << 22 | 336); // Approx 48h.
assert!(lock_time.is_block_time());

assert!(lock_time.is_implied_by_sequence(input_sequence));

Trait Implementations§

Source§

impl<'a> Arbitrary<'a> for LockTime

Available on crate feature arbitrary only.
Source§

fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data. Read more
Source§

fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>

Generate an arbitrary value of Self from the entirety of the given unstructured data. Read more
Source§

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself. Read more
Source§

fn try_size_hint( depth: usize, ) -> Result<(usize, Option<usize>), MaxRecursionReached>

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself. Read more
Source§

impl Clone for LockTime

Source§

fn clone(&self) -> LockTime

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 LockTime

Source§

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

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

impl<'de> Deserialize<'de> for LockTime

Available on crate feature serde only.
Source§

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Display for LockTime

Source§

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

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

impl From<LockTime> for Sequence

Source§

fn from(lt: LockTime) -> Self

Converts to this type from the input type.
Source§

impl From<NumberOf512Seconds> for LockTime

Source§

fn from(t: NumberOf512Seconds) -> Self

Converts to this type from the input type.
Source§

impl From<NumberOfBlocks> for LockTime

Source§

fn from(h: NumberOfBlocks) -> Self

Converts to this type from the input type.
Source§

impl Hash for LockTime

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for LockTime

Source§

fn eq(&self, other: &LockTime) -> 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 Serialize for LockTime

Available on crate feature serde only.
Source§

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl TryFrom<Sequence> for LockTime

Source§

type Error = DisabledLockTimeError

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

fn try_from(seq: Sequence) -> Result<Self, DisabledLockTimeError>

Performs the conversion.
Source§

impl Copy for LockTime

Source§

impl Eq for LockTime

Source§

impl StructuralPartialEq for LockTime

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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> 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> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. 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<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,