Standard Simplicity Script Pubkey

IN PROGRESS

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

let e0 = Word <32-byte x-only-public-key>     -- : 𝟙 ⊢ 𝟚^256
let e1 = iden                                 -- : 𝟚^256 × 𝟙 ⊢ 𝟚^256 × 𝟙
let e2 = Jet sigAllHash                       -- : 𝟙 ⊢ 𝟚^256
let e3 = disconnect e1 e2                     -- : 𝟙 ⊢ 𝟚^512
let e4 = pair e0 e3                           -- : 𝟙 ⊢ 𝟚^256 × 𝟚^512
let e5 = witness <64-byte BIP-0340-signature> -- : 𝟙 ⊢ 𝟚^512
let e6 = pair e4 e5                           -- : 𝟙 ⊢ (𝟚^256 × 𝟚^512) × 𝟚^512
let e7 = Jet checkSigVerify                   -- : (𝟚^256 × 𝟚^512) × 𝟚^512 ⊢ 𝟙
      in comp e6 e7                           -- : 𝟙 ⊢ 𝟙

For each subexpression we have given a comment showing the inferred type of every subexpression.