simplicityhl-as-rust 0.2.0

Tools for working with SimplicityHL as literal Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/* This file has been automatically generated. */

//! # Digital signatures
//!
//! This module defines jets for verifying digital signatures.

#![allow(unused)]
#![allow(clippy::complexity)]

use super::*;

/// Assert that a Schnorr signature matches a public key and message.
///
/// ## Panics
/// The assertion fails.
///
/// ## Cost
///
/// 49087 mWU _(milli weight units)_
pub fn bip_0340_verify(a: (Pubkey, Message), b: Signature) {
    todo!()
}