-
Notifications
You must be signed in to change notification settings - Fork 51
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
024ed01 Add segwit version field element consts (Tobin C. Harding) 6c1379b Add segwit API (Tobin C. Harding) Pull request description: Add a `segwit` API with the aim that "typical" modern bitcoin usage is easy and correct. Done in a separate module so as not to impact the main crate API. ACKs for top commit: apoelstra: ACK 024ed01 Tree-SHA512: 169e1a836f122fa3344857eec5945034afc2c727d1d6df57d5f3c5cde7a994d79398060cca5561a3706af0c835efafebaaa619df7b49f5c64acee01587259832
- Loading branch information
Showing
7 changed files
with
397 additions
and
62 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,103 @@ | ||
// SPDX-License-Identifier: MIT | ||
|
||
//! Segregated Witness functionality - useful for enforcing parts of [`BIP-173`] and [`BIP-350`]. | ||
//! | ||
//! [BIP-173]: <https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki> | ||
//! [BIP-350]: <https://github.com/bitcoin/bips/blob/master/bip-0350.mediawiki> | ||
|
||
use core::fmt; | ||
|
||
use crate::primitives::gf32::Fe32; | ||
|
||
/// The field element representing segwit version 0. | ||
pub const VERSION_0: Fe32 = Fe32::Q; | ||
/// The field element representing segwit version 1 (taproot). | ||
pub const VERSION_1: Fe32 = Fe32::P; | ||
|
||
/// Returns true if given field element represents a valid segwit version. | ||
pub fn is_valid_witness_version(witness_version: Fe32) -> bool { | ||
validate_witness_version(witness_version).is_ok() | ||
} | ||
|
||
/// Returns true if `length` represents a valid witness program length for `witness_version`. | ||
pub fn is_valid_witness_program_length(length: usize, witness_version: Fe32) -> bool { | ||
validate_witness_program_length(length, witness_version).is_ok() | ||
} | ||
|
||
/// Checks that the given field element represents a valid segwit witness version. | ||
pub fn validate_witness_version(witness_version: Fe32) -> Result<(), InvalidWitnessVersionError> { | ||
if witness_version.to_u8() > 16 { | ||
Err(InvalidWitnessVersionError(witness_version)) | ||
} else { | ||
Ok(()) | ||
} | ||
} | ||
|
||
/// Validates the segwit witness program `length` rules for witness `version`. | ||
pub fn validate_witness_program_length( | ||
length: usize, | ||
version: Fe32, | ||
) -> Result<(), WitnessLengthError> { | ||
use WitnessLengthError::*; | ||
|
||
if length < 2 { | ||
return Err(TooShort); | ||
} | ||
if length > 40 { | ||
return Err(TooLong); | ||
} | ||
if version == VERSION_0 && length != 20 && length != 32 { | ||
return Err(InvalidSegwitV0); | ||
} | ||
Ok(()) | ||
} | ||
|
||
/// Field element does not represent a valid witness version. | ||
#[derive(Debug, Clone, Copy, PartialEq, Eq)] | ||
pub struct InvalidWitnessVersionError(Fe32); | ||
|
||
impl fmt::Display for InvalidWitnessVersionError { | ||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { | ||
write!(f, "field element does not represent a valid witness version") | ||
} | ||
} | ||
|
||
#[cfg(feature = "std")] | ||
impl std::error::Error for InvalidWitnessVersionError { | ||
fn source(&self) -> Option<&(dyn std::error::Error + 'static)> { None } | ||
} | ||
|
||
/// Witness program invalid because of incorrect length. | ||
#[derive(Debug, Clone, Copy, PartialEq, Eq)] | ||
#[non_exhaustive] | ||
pub enum WitnessLengthError { | ||
/// The witness data is too short. | ||
TooShort, | ||
/// The witness data is too long. | ||
TooLong, | ||
/// The segwit v0 witness is not 20 or 32 bytes long. | ||
InvalidSegwitV0, | ||
} | ||
|
||
impl fmt::Display for WitnessLengthError { | ||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { | ||
use WitnessLengthError::*; | ||
|
||
match *self { | ||
TooShort => write!(f, "witness program is less than 2 bytes long"), | ||
TooLong => write!(f, "witness program is more than 40 bytes long"), | ||
InvalidSegwitV0 => write!(f, "the segwit v0 witness is not 20 or 32 bytes long"), | ||
} | ||
} | ||
} | ||
|
||
#[cfg(feature = "std")] | ||
impl std::error::Error for WitnessLengthError { | ||
fn source(&self) -> Option<&(dyn std::error::Error + 'static)> { | ||
use WitnessLengthError::*; | ||
|
||
match *self { | ||
TooShort | TooLong | InvalidSegwitV0 => None, | ||
} | ||
} | ||
} |
Oops, something went wrong.