From 091824b3bbba90e639c1b193173b8bb049c48daf Mon Sep 17 00:00:00 2001 From: Skylar Ray <137945430+sky-coderay@users.noreply.github.com> Date: Fri, 28 Feb 2025 20:52:42 +0200 Subject: [PATCH] Update bip-0379.md --- bip-0379.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/bip-0379.md b/bip-0379.md index e46bba16..02268921 100644 --- a/bip-0379.md +++ b/bip-0379.md @@ -83,10 +83,10 @@ Miniscript is not a separate language, but rather a significant expansion of the | | `pkh(key)` = `c:pk_h(key)` | `DUP HASH160 EQUALVERIFY CHECKSIG` | nSequence ≥ n (and compatible) | `older(n)` | ` CHECKSEQUENCEVERIFY` | nLockTime ≥ n (and compatible) | `after(n)` | ` CHECKLOCKTIMEVERIFY` -| len(x) = 32 and SHA256(x) = h | `sha256(h)` | `SIZE 32 EQUALVERIFY SHA256 EQUAL` -| len(x) = 32 and HASH256(x) = h | `hash256(h)` | `SIZE 32 EQUALVERIFY HASH256 EQUAL` -| len(x) = 32 and RIPEMD160(x) = h | `ripemd160(h)` | `SIZE 32 EQUALVERIFY RIPEMD160 EQUAL` -| len(x) = 32 and HASH160(x) = h | `hash160(h)` | `SIZE 32 EQUALVERIFY HASH160 EQUAL` +| len(x) = 32 and SHA256(x) = h | `sha256(h)` | `SIZE <0x20> EQUALVERIFY SHA256 EQUAL` +| len(x) = 32 and HASH256(x) = h | `hash256(h)` | `SIZE <0x20> EQUALVERIFY HASH256 EQUAL` +| len(x) = 32 and RIPEMD160(x) = h | `ripemd160(h)` | `SIZE <0x20> EQUALVERIFY RIPEMD160 EQUAL` +| len(x) = 32 and HASH160(x) = h | `hash160(h)` | `SIZE <0x20> EQUALVERIFY HASH160 EQUAL` | (X and Y) or Z | `andor(X,Y,Z)` | `[X] NOTIF [Z] ELSE [Y] ENDIF` | X and Y | `and_v(X,Y)` | `[X] [Y]` | | `and_b(X,Y)` | `[X] [Y] BOOLAND`