Enum TapretFirst

pub enum TapretFirst {}

Marker non-instantiable enum defining LNPBP-12 taproot OP_RETURN (tapret) protocol.

Trait Implementations

impl CommitVerify<TapretCommitment, TapretFirst> for TapScript

fn commit(commitment: &TapretCommitment) -> Self

Tapret script consists of 29 OP_NOP pushes, followed by OP_RETURN, OP_PUSHBYTES_33 and serialized commitment data (MPC commitment + nonce as a single slice).

fn verify(&self, msg: &Msg) -> Result<(), VerifyError>

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self.

impl ConvolveCommit<Commitment, TapretProof, TapretFirst> for InternalPk

type Commitment = OutputPk

Commitment type produced as a result of Self::convolve_commit procedure.

type CommitError = TapretKeyError

Error type that may be reported during Self::convolve_commit procedure. It may also be returned from ConvolveCommitProof::verify in case the proof data are invalid and the commitment can’t be re-created.

fn convolve_commit( &self, supplement: &TapretPathProof, msg: &Commitment, ) -> Result<(OutputPk, TapretProof), Self::CommitError>

Takes the supplement to unparse the content of this container (self) (“convolves” these two data together) and uses them to produce a final Self::Commitment to the message msg.

impl ConvolveCommit<Commitment, TapretProof, TapretFirst> for ScriptPubkey

type Commitment = ScriptPubkey

Commitment type produced as a result of Self::convolve_commit procedure.

type CommitError = TapretKeyError

Error type that may be reported during Self::convolve_commit procedure. It may also be returned from ConvolveCommitProof::verify in case the proof data are invalid and the commitment can’t be re-created.

fn convolve_commit( &self, supplement: &TapretProof, msg: &Commitment, ) -> Result<(ScriptPubkey, TapretProof), Self::CommitError>

Takes the supplement to unparse the content of this container (self) (“convolves” these two data together) and uses them to produce a final Self::Commitment to the message msg.

impl ConvolveCommit<Commitment, TapretProof, TapretFirst> for Tx

type Commitment = Tx

Commitment type produced as a result of Self::convolve_commit procedure.

type CommitError = TapretError

Error type that may be reported during Self::convolve_commit procedure. It may also be returned from ConvolveCommitProof::verify in case the proof data are invalid and the commitment can’t be re-created.

fn convolve_commit( &self, supplement: &TapretProof, msg: &Commitment, ) -> Result<(Tx, TapretProof), Self::CommitError>

Takes the supplement to unparse the content of this container (self) (“convolves” these two data together) and uses them to produce a final Self::Commitment to the message msg.

impl ConvolveCommit<Commitment, TapretProof, TapretFirst> for TxOut

type Commitment = TxOut

Commitment type produced as a result of Self::convolve_commit procedure.

type CommitError = TapretKeyError

Error type that may be reported during Self::convolve_commit procedure. It may also be returned from ConvolveCommitProof::verify in case the proof data are invalid and the commitment can’t be re-created.

fn convolve_commit( &self, supplement: &TapretProof, msg: &Commitment, ) -> Result<(TxOut, TapretProof), Self::CommitError>

Takes the supplement to unparse the content of this container (self) (“convolves” these two data together) and uses them to produce a final Self::Commitment to the message msg.

impl ConvolveCommitProof<Commitment, InternalPk, TapretFirst> for TapretProof

type Suppl = TapretPathProof

Supplement is a part of the proof data provided during commitment procedure.

fn restore_original(&self, _: &OutputPk) -> InternalPk

Restores the original source before the commitment from the supplement (the self) and commitment.

fn extract_supplement(&self) -> &Self::Suppl

Extract supplement from the proof.

fn verify( &self, msg: &Msg, commitment: &<Source as ConvolveCommit<Msg, Self, Protocol>>::Commitment, ) -> Result<(), ConvolveVerifyError>

where Self: VerifyEq,

Verifies commitment using proof (the self) against the message.

impl ConvolveCommitProof<Commitment, ScriptPubkey, TapretFirst> for TapretProof

type Suppl = TapretProof

Supplement is a part of the proof data provided during commitment procedure.

fn restore_original(&self, _: &ScriptPubkey) -> ScriptPubkey

Restores the original source before the commitment from the supplement (the self) and commitment.

fn extract_supplement(&self) -> &Self::Suppl

Extract supplement from the proof.

fn verify( &self, msg: &Msg, commitment: &<Source as ConvolveCommit<Msg, Self, Protocol>>::Commitment, ) -> Result<(), ConvolveVerifyError>

where Self: VerifyEq,

Verifies commitment using proof (the self) against the message.

impl ConvolveCommitProof<Commitment, Tx, TapretFirst> for TapretProof

type Suppl = TapretProof

Supplement is a part of the proof data provided during commitment procedure.

fn restore_original(&self, commitment: &Tx) -> Tx

Restores the original source before the commitment from the supplement (the self) and commitment.

fn extract_supplement(&self) -> &Self::Suppl

Extract supplement from the proof.

fn verify( &self, msg: &Msg, commitment: &<Source as ConvolveCommit<Msg, Self, Protocol>>::Commitment, ) -> Result<(), ConvolveVerifyError>

where Self: VerifyEq,

Verifies commitment using proof (the self) against the message.

impl ConvolveCommitProof<Commitment, TxOut, TapretFirst> for TapretProof

type Suppl = TapretProof

Supplement is a part of the proof data provided during commitment procedure.

fn restore_original(&self, commitment: &TxOut) -> TxOut

Restores the original source before the commitment from the supplement (the self) and commitment.

fn extract_supplement(&self) -> &Self::Suppl

Extract supplement from the proof.

fn verify( &self, msg: &Msg, commitment: &<Source as ConvolveCommit<Msg, Self, Protocol>>::Commitment, ) -> Result<(), ConvolveVerifyError>

where Self: VerifyEq,

Verifies commitment using proof (the self) against the message.

impl CommitmentProtocol for TapretFirst