Skip to content

Commit 091824b

Browse files
authored
Update bip-0379.md
1 parent 6312ae3 commit 091824b

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

bip-0379.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -83,10 +83,10 @@ Miniscript is not a separate language, but rather a significant expansion of the
8383
| | `pkh(key)` = `c:pk_h(key)` | `DUP HASH160 <HASH160(key)> EQUALVERIFY CHECKSIG`
8484
| nSequence ≥ n (and compatible) | `older(n)` | `<n> CHECKSEQUENCEVERIFY`
8585
| nLockTime ≥ n (and compatible) | `after(n)` | `<n> CHECKLOCKTIMEVERIFY`
86-
| len(x) = 32 and SHA256(x) = h | `sha256(h)` | `SIZE 32 EQUALVERIFY SHA256 <h> EQUAL`
87-
| len(x) = 32 and HASH256(x) = h | `hash256(h)` | `SIZE 32 EQUALVERIFY HASH256 <h> EQUAL`
88-
| len(x) = 32 and RIPEMD160(x) = h | `ripemd160(h)` | `SIZE 32 EQUALVERIFY RIPEMD160 <h> EQUAL`
89-
| len(x) = 32 and HASH160(x) = h | `hash160(h)` | `SIZE 32 EQUALVERIFY HASH160 <h> EQUAL`
86+
| len(x) = 32 and SHA256(x) = h | `sha256(h)` | `SIZE <0x20> EQUALVERIFY SHA256 <h> EQUAL`
87+
| len(x) = 32 and HASH256(x) = h | `hash256(h)` | `SIZE <0x20> EQUALVERIFY HASH256 <h> EQUAL`
88+
| len(x) = 32 and RIPEMD160(x) = h | `ripemd160(h)` | `SIZE <0x20> EQUALVERIFY RIPEMD160 <h> EQUAL`
89+
| len(x) = 32 and HASH160(x) = h | `hash160(h)` | `SIZE <0x20> EQUALVERIFY HASH160 <h> EQUAL`
9090
| (X and Y) or Z | `andor(X,Y,Z)` | `[X] NOTIF [Z] ELSE [Y] ENDIF`
9191
| X and Y | `and_v(X,Y)` | `[X] [Y]`
9292
| | `and_b(X,Y)` | `[X] [Y] BOOLAND`

0 commit comments

Comments
 (0)