Standard Simplicity Script Pubkey

Jump to bottom

roconnor-blockstream edited this page Feb 15, 2023 · 13 revisions

IN PROGRESS

The DAG of the standard Simplicity program for a single public key looks as follows.

let e0 = Word <32-byte x-only-public-key>
let e1 = iden
let e2 = Jet sigAllHash
let e3 = disconnect e1 e2
let e4 = pair e0 e3
let e5 = witness <64-byte BIP-0340-signature>
let e6 = pair e4 e5
let e7 = Jet checkSigVerify
      in comp e6 e7

Core Language Overview