bp-core 0.12.0

Bitcoin protocol core library (BP Core Lib)
Documentation
-----BEGIN STRICT TYPE LIB-----
Id: stl:CaK1Puml-gQpFSBK-E06s9O3-W27jJMu-fcpa21K-6AQ2FZc#extend-crimson-cable
Name: Bitcoin
Dependencies: Std#delete-roman-hair
Check-SHA256: c7b7fac651fa512a6d182421e592f255b17761cab03cffed3fd758a85b3097f9

2SRCdV{d700fLF^O%DrjRIhYP1?a)oog)LLTw}}6rDvG=`c^zKY6DYrWB~(HbYuYlVTK~nd#><i0^jF#
$$;RqYi_#e2@QaC_fb3SOOy6Z1VV3bY&ZZ3LTPX_G%!<XX9fZTb7^M)2LJ#-KmZJLX=i9*b7)_5d2nR_
1OfmAZf|a7000011aog~WdH>M0oxa3K6eQdC+Gy3B!Si3U=<?>l~Xz8i!-0pOiyx1Dg{DpZ)0l)0tRSh
VPs`;0qKi+TWoj0hi4wLtB^{HXH3N#a?V=fQ<UZ-wQ2havJ7-`VQzC_V{~b6ZgT(#0mXYEn!oosZgNI|
twmNZeC(lYZa*g7-2eQ3Yy;-pL;wH)000000RR90{{R3000}~DZ)0mnVRL8&0RRU806-uB3qovfV{1rd
VPs`;1_lRqWpZ<AZ*BkpL=A9qWp+YrZ)0mnVRL8!*M65M-w?;)$xnZvyu1fR5>jN#K1#*-lS0J*$jY?0
3T<U_YiwmwZ*Oz~wi|hDFIFKyrtkBRuG!(|OYw@RBDJA6rY$e91P5x51axU_WdHyK1Y&7)a{vGY1#WL{
V`TsU1P?-NZ)0msWpZn5Wm0c%bOiwb2LJ#-AOHtKd30q{baDj&00;m8KmY&$000000RR90{{R3001QKK
ZE$jBb8}^6P-_JN00#g7Kp_AOLvL<$a&K%xY;R+01_TRiWnpGkWpZ<AZ*Bp$GYP2}zqXPMZpc`qB!?qL
T4_IWLkGYA9oIT@flkQ}Z*_EVb#zN*c~D_;X>@r3kIE(^qE$pAm5-)+r)@)O72ag)5VQ38nG_-~l@Vr$
3TbY1WpZv|Y*1?fsfC1hQ=Vx1u)prdnjyqjL%~$|`n^Ax;M0*k=eIX_3~gm{Yiwmga$#;`XaVj69%fNc
Xts12Tv2!Q3WLM|Qd_~KFccU7X-~cIbEFMMb#!%dWlUvZW>#f#1pxp60SZZObY*gGVQf%q1pxv4qNggp
k^aqssIi!kV<N&%cB-m1@+8r71!JHXE{ItQOl4taQ)6;zaC8O&2X<w0b7^mG0k$&<sTjYuk_~RiSfnI}
BSu<jKXO9{zyBTAI&*<e$p&*{a%pgM0VS*Txe^o?x}!PNUwajGr*TW+dUY6G&@nZ7)X6RBh6hY#VP;lk
as>eZ009V0WoKbyc~ENx0t#bqZE$jBb8}^60)mO_O%DrjRIhYP1?a)oog)LLTw}}6rDvG=`c^zKYGH;V
(R;4&W&+>mb;*F>vukd;=m`ygb@x#_>`RmOO$KmvVryl200#g7Kp_ALOl4<bV|i0)X9fZTb7^M)2mk;;
0000000000{{R300000040CB`Xkl|`UvznJWdYk4WIlHZ6DQ~dnIwVL++Y<W2$fSg<%=_))J#uuNGb|U
Z)0mnWoc(<bOiwb00an3Z)0mzX>DZ%0RR954NPxiYgB1%Wpi|4ZEytv000CAPjEwTWMu=p3UGCEXhL~(
Wpgk93UGCEXhL~(WpgnB3UGCEXhL~(WpgqD3UGCEXhL~(WpgtF3UGCEXhL~(WpgwH3UGCEXhL~(WpgzJ
3UGCEXhL~(Wpg$L3UGCEXhL~(Wpg(N3UGCEXhL~(Wpg+P3UGCEXhL~(Wpg<R3vhLFXhL~(Wpgnw3JY*`
b7(?&bY*ifF$)WDb#rJ!d30rSF)|DbaCLKNLV0v$b1^dw3vhLFXhL~(Wpgn!4hwK~b7(?&bY*ifH4h7L
b#rJ!d30rSF*XnjaCLKNLV0v$b1^p&3vhLFXhL~(Wpgn&5({v3b7(?&bY*ifITH(Tb#rJ!d30rSGB6Yi
aCLKNLV0v$b22d%3vhLFXhL~(Wpgqz77K87b7(?&bY*igGZzbRb#rJ!d30rSGBg+qaCLKNLV0v$b22p<
3vhLFXhL~(Wpgq%8VhiBb7(?&bY*igHyaCZb#rJ!d30rSGB_LyaCLKNLV0v$b22#{3vhLFXhL~(Wpgty
9t&`Fb7(?&bY*ihF&_(Xb#rJ!d30rSGcq6xaCLKNLV0v$b2Bp`3vhLFXhL~(Wpgt$A`5VJb7(?&bY*ih
H6sgfb#rJ!d30rSGd3g(aCLKNLV0v$b2B$33vhLFXhL~(Wpgt)CJS(Nb7(?&bY*ihIVTHnb#rJ!d30rS
G%zR&aCLKNLV0v$b2Kq23vhLFXhL~(Wpgw#DhqIRb7(?&bY*iiGb;;lb#rJ!d30rSG&C#=aCLKNLV0v$
b2K$A3vhLFXhL~(Wpgw(E(>sVb7(?&bY*iiH!lltb#rJ!d30rSG&nE|aCLKNLV0v$b2K?I3vhLFXhL~(
Wpgz!G7E5Zb7(?&bY*ijF*6Hrb#rJ!d30rSH8L~{aCLKNLV0v$b2T$H3vhLFXhL~(Wpgz&HVbfdb7(?&
bY*ijH8%@zb#rJ!d30rSH8wa4aCLKNLV0v$b2T?P3vhLFXhL~(Wpgz+Ity@hb7(?&bY*ijIXeq*b#rJ!
d30rSHZVL3aCLKNLV0v$b2c$O3vhLFXhL~(Wpg$%J_~Slb7(?&bY*ikGd~M(b#rJ!d30rSHZ(vBaCLKN
LV0v$b2c?W3vhLFXhL~(Wpg$*LJM$pb7(?&bY*ikH$w|>b#rJ!d30rSHaJ8JaCLKNLV0v$b2d3e3vhLF
XhL~(Wpg($MhkFtb7(?&bY*ilF-Hq<b#rJ!d30rSH!?^IaCLKNLV0v$b2l?d3vhLFXhL~(Wj8i7N(*px
b7(?&bY*ilHA@L_b#rJ$VRT_JObKvxb7(|ibYU`032=3DXhdOjVKhz)aCLKNPIYZgWoI!@2y$g}WpZ|9
WKaljb#rJ=b!{<G2yk_CXijx)GExX|b#rJ=b!{_K2yk_CXijx)G*k$1b#rJ=b!|0O2yk_CXijx)HdY95
b#rJ=b!|6S2yk_CXijx)I9Ld9b#rJ=b!|CW32=3DXijx)F)&&QaCLKNPIYZDF<S|6b#rJ=b!{;+TnTV>
b7)R=Z80-l32=3DXijx)F*IHYaCLKNPIYZDHD3vEb#rJ=b!{;=U;}P%aA5;>WpZKyX=Y;uZf|r+W@H6+
WpYVoWe9d<a!zk_NoHmQWo&b0X9Z<$WJzXd26km~X=Zt826AO|b#iWM3UqHlY;;p}VPk7+3}$j~Z9!~w
Q*>ctYitE%a&K@lZ3JX>a58QLWOZ;eZv}65WpXlb1afb5GI0fScVTccas_E-M0Id;1!QG#bZB%0WO8qC
bpvE|aCQT3X>fN0Z+2yJcm!~1V{3T?a&K&GdINHAbbADIcVTdR1ax&{YkdP_VRU{5b9G`<baH<LY-MJ2
fCX}CXJ~YR1aoP6Wr7B2ZgypIbb|w7Ze)Z4Z*qkLcyDrs1!Zw{VQhyBWpQ<3Y*uA*X=Ztd336p~WpZ|9
WHE^ea%FR6a&~28GKvIYWMnam1aoy_F^mLlb!;+?1Y~J;GL8mrWoKb@Wsd`4VsnrKZf|sv32tw6MR9du
Y%r1oVPs^J19Np^lml&bY?T9KX?B(aZEs|k25eJkX=Zeo269tqX=Zep2V!q;Y(Z{hng(KTZ){I;n+R@o
ZAEc)VQicZZgp)%adlyAR%LQ&W_g_pZgp)=Z*)a*bzy9t2yA6@b5v+yZl4Qha%Ew3WpY$#VQ!!gY-MwE
RA^ytPjW?Zbzy9w5@&K{VRU73RA^ytPjW?Zbzy9x18r$;qXTVWc%%k*X>@35ZlwuwX>et2WHB}{rUY|n
VKJu$b7)~QH8!XRXkl|`F*Y!%2WVk)Xfic6stsdrWMxxjaA9&`bZ>I22xDkvV{21sXRHomXk}w-Q)y>b
WpZg|d94j&Xk}w-O?7N^X;W!ut`lQuWn*hib!>ELb7^N*WpZg|d9MU+Z*VcN1Y>M;cCiCvb9S->Zf|fj
vjlE$a5c09Zf|flwFGW&a5uIDZf|fnw*+o)a5=aIZf|fgFu4tBZgyd8X=G1uLvLhd{|HZYbZ~EJZgd6$
1ax?5WC5dsLi5Yl(a@n1+Ku60FILp}Zw|!7cE!MGSxid=WmW`sZ*_D5A>%$n#j0HLDJN5-IKgM_J7b(p
+0MPGk2Gl)y2(Rz2v2o%aCLN0YXt!T{Gz8SzLEaTf~c{WkYggkPIjuQHS#3Ua|L6d7%qre22f#gX>@r5
0t97tWo`fiZ)9Wv3Q%=oYh`&zVRL8&0RRU806-J~3{queWo2zsV{&P5bOiwcC9Czh5)>D@qdC-Hdlhx3
aZBNPbr@aHF*SPB$t~%I1XE#ja|Hna00;|HV{&P5bV7M_Wpf1q00;m8KmY&$000000RR90{{R30018uM
a%pgMNMUnm1pxpD002M~01Q)Oa%pgMP<3K!WqAbw0VS*Txe^o?x}!PNUwajGr*TW+dUY6G&@nZ7)X6RB
h6Ph)aZYaq0RR952~%ljQ)6;zaC8L$0VS*Txe^o?x}!PNUwajGr*TW+dUY6G&@nZ7)X6RBh6__^XJ}z_
Xhv*dX9EKRVQg#x1a5C`Wda6sX>Mn1WdjRSX=i9*b7)j~aAgJp1ZHeuX952{YJbSbg+osKj^}i<0I{3w
m~o<-9`OK+?-1)K)iexYZh3ERWkX?ZP+@rjf{E)*4-0TquXIZV=)u>WBLk*fW6RH_XPEi=Ry;9kVTK~n
d#><i0^jF#$$;RqYi_#e2@QaC_fb3SOOy6Z4OC%pLULhlV`xZWb7%zt00#g7Kp+4IRAF#KZ)9Zyx(aZ0
b7(?&bY*ie019w*b7(?&bY*if0Sa(+b7(?&bY*ig0t#?-b7(?&bY*ih0}60;b7(?&bY*ii1PX9<b7(?&
bY*ij1qyI=b7(?&bY*ik1`2R>b7(?&bY*il2MTa?b7(?&bY*im2nuj@b7(?&bY*in2@7y_b7(?&bY*if
FbWHBb#rJ!d30rSF)<4ZaCLKNLV0v$b1^au3vhLFXhL~(Wpgnz4GVB}b7(?&bY*ifG!6@Jb#rJ!d30rS
F*OehaCLKNLV0v$b1^m$3vhLFXhL~(Wpgn%5esm2b7(?&bY*ifI1&qRb#rJ!d30rSF*y?paCLKNLV0v$
b22a#3vhLFXhL~(Wpgqy6$@~6b7(?&bY*igG8PMPb#rJ!d30rSGBXzoaCLKNLV0v$b22m-3vhLFXhL~(
Wpgq$84GZAb7(?&bY*igHW~|Xb#rJ!d30rSGB+CwaCLKNLV0v$b22y_3vhLFXhL~(Wpgq)9Sd-Eb7(?&
bY*ihFdhqVb#rJ!d30rSGcg|vaCLKNLV0v$b2Bm^3vhLFXhL~(Wpgt#Aq#MIb7(?&bY*ihG$IRdb#rJ!
d30rSGc_X%aCLKNLV0v$b2Bz13vhLFXhL~(Wpgt(B@1wMb7(?&bY*ihI3^2lb#rJ!d30rSGdU*<aCLKN
LV0v$b2Kn03vhLFXhL~(Wpgw!DGP9Qb7(?&bY*iiGAavjb#rJ!d30rSG&3s;aCLKNLV0v$b2Kz83vhLF
XhL~(Wpgw&EemjUb7(?&bY*iiHZBWrb#rJ!d30rSG&e5`aCLKNLV0v$b2K<G3vhLFXhL~(Wpgw+F$-{Y
b7(?&bY*ijFft2pb#rJ!d30rSH8C>_aCLKNLV0v$b2TzF3vhLFXhL~(Wpgz%H4AWcb7(?&bY*ijG&T!x
b#rJ!d30rSH8nR2aCLKNLV0v$b2T<N3vhLFXhL~(Wpgz*ISX)gb7(?&bY*ijI64b(b#rJ!d30rSH90#A
aCLKNLV0v$b2czM3vhLFXhL~(Wpg$$JqvJkb7(?&bY*ikGCm7%b#rJ!d30rSHZwm9aCLKNLV0v$b2c<U
3vhLFXhL~(Wpg$)K?`tob7(?&bY*ikHbM(<b#rJ!d30rSHa9~HaCLKNLV0v$b2d0c3vhLFXhL~(Wpg$;
MGJ6sb7(?&bY*ilFh&b-b#rJ!d30rSH!(*GaCLKNLV0v$b2l<b3vhLFXhL~(Wpg((Neggwb7(?&bY(X-
G)fC_b#rJ!d30rSH#JKMaCLKNL}7GcF-!??b#rJ$VRT_KO$l&yb7(|ibYV133vhLFXijx)PGx5?PYH8%
V`F7=b2u<i2yk_CXijx)F;NI`b#rJ=b!{?I2yk_CXijx)GgAm~b#rJ=b!{|M2yk_CXijx)HB|_3b#rJ=
b!|3Q2yk_CXijx)H&+O7b#rJ=b!|9U2yk_CXijx)IavvCb#rJ=b!{;)S_yD<b7)R=Z80%h32=3DXijx)
F)~~UaCLKNPIYZDGhGRAb#rJ=b!{;;UI}n@b7)R=Z80@p32=3DXijx)F*aZWZf|g533GL0V`X!5IXGeh
X=Y;uZf|r+W@H6+WpYVoWe9d<a!zk_NoHmQWo&b0X9Z<$WJzXd26km~X=Zt826AO|b#iWM3UqHlY;;p}
VPk7+3}$j~Z9!~wQ*>ctYitE%a&K@lZ3JX>a58QLWOZ;eZv}65WpXlb1afb5GI0fScVTccas_E-M0Id;
1!QG#bZB%0WO8qCbpvE|aCQT3X>fN0Z+2yJcm!~1V{3T?a&K&GdINHAbbADIcVTdR1ax&{YkdlHbz@^?
b8|5=Hhv0obz@^?b8|5=H-8Fqbz@^?b8|5=IDiUsbz@^?b8|5=Ie`RoX?kUX3UhU1V`X!5F*7lP3UhU1
V`X!5F*7oR3UhU1V`X!5F*7rT3UhU1V`X!5F*7uV1!Zw{VQhyBWpQ<3Y*uA*X=Ztd3UhU1V`X!5F*7%b
3UhU1V`X!5F*7)d1Yu-kF^dFqbz(7$3UhU1V`X!5F*Gra3UhU1V`X!5F*Guc25x0%VRU7W17TuwkOOXS
bdd>eZ*)a*bzy8Uk^^C6WRnAPbz+nXb9G~5Wpi^eG&z+Db9G~5Wpi^eH87S6b9G~5Wpi^eH8Gb8b9G~5
Wpi^eH8PkAb9G~5Wpi^eH8Yt9VsCG3L2hK424Zh-Y)^8V2yS(4MR9duY@7~mb!|m)bzy8)WpZg|d7TSx
b!|>>bVYG>VQiiVY-MwERA^ytp9^PlWnpw>a#UzxZlDirWpi^>Xkl(oaz$}<VQiriXL4m>bY*f>Xkl(o
az$}<VQiuUZE0?!18re=qy~3sbZBXAr3rFraAj>|F*Y!!1aoL%F{cJ|XkjunHmC<^VRL9PHZZ9NXkl|`
GBq};4P$R)Wm9EvVRB(~Z*r>$V`yb#Yg1`wtPW#nWn*hoX=heta%pCHtpsjwa51n1V{CMGu>)gscCrL+
Z*VlT1a5C|HM9h7Z*VrX1a5C|H?{<BZ*Vxb1a5C|Ik*LGZ*Va%xeH@xWn*hoX=g!XWV#J$Zgyd8X=G1u
LvLhd{|i)Ma7<-kW=LUkXaxZP2LJ#-AOH<iVQ@`la%*g5P+@dv1pxpE0k7-Do!I?QM;(}5!a*o5tEr4g
it=P*!FGO81|q_e*Z=?k000000Du4h0000001H%Ma87SzWk_LjXaxZP2LJ#-AOHzeVQ^Dpa%pgM1pxsi
tM$1O6c@UqIn-Z!6?La^OW}HT7+ugYHG0&^E$N03RB3HxOmAarNp5sya&}>C1OfmCXk}?<XmkJt0RR93
0R(huZDjxj0RR930#tYg1P69ya&u{KZULx##(89C<yY54<;h|?;0()^*%}Qm1K)JObrMg$$DRghZg6#U
a{ved3K@{sQ}POxW*-wf^&?6pkN!)@-3ce88{`DNj-p1Y0000000000|NsC0000002XA$BaCLNZ00;q)
J7jQqgpV60Q!3=n#-@oxpi@}5@PW%Fv%B~$o;&jZ0000000030|Ns9000008Y;R+0RB3Hx0X5nk6*(Yo
yWQNR!##&F>hhbX+H~JN$bujoP8PMf90XK&Np1!N3UG2|c29M5aCLM6=xRXCTqXIv;)MTcr4cfxK`S9u
y$)6q!N22#m0-mN33F*@Q)6;zaC8AUbp)|Xd=5r!N1hi)eI#@wfA|Ar>^)1W_c|c=L3C>fb7gULWo~0-
0Rb6pg(=AP+C)tiPK}(5y`B$^i2_<Xu#q9gJyNh9hX;3QbZ%vHa{--IldQV=&ET6jM)-pXanm@-FK%_b
eB&TRo~t++rXB@Ucu#e71_A|kVQh6}0hjgH212eXGm<4cs7@Wu#FOK{KGSirhjWHCPRxjcYYcN^a%pgM
P<3K!WqAR<{2u&fr5XKXQffLAhd}4?5G@P7|2n}&PV@Ibc63|?RCrcpas>eZ07L{-cxhw>0RRU806-uB
4pnYrZ*6dLWpi_7WKe4b0RRU806;+i23A6ObY*h|0RR9523BEmNp5rn0RR991Xgc#bOiwb00awHP<3K!
WqC+pb7%zt00#g7KokHAS5sqhX>fE%VRL8&0RRU806-uB3s+@nXJ~X)ZfSIL1pxp61P51XbZ%vHa|Hna
2m!=$Ymbj8(R#s`$Q_Oip_^hvoaWGEUH-@Ecs#X-@uL6$0000000960|Nj60000hGX>@L7b8}E~Z)b90
Z3Y4dc4cyNX>V=;(d^oGXXHZdO%iFQX9G6n{`5DmUd}6NuDT3HR>b<P2XJz4XL4a}00;m8Kmq^&00000
04M+e0000001a1ZbZ%vHb5mn-X>fD}0Rbhe^|=xh7rLW4)L(lQb*FJl;d*r#UC=Q#deq4+>4pkdX>@L7
b8}W@asv?pb}#?}b}>-`b}~`|b~94~b~IE1b~RN3b~aW5b~jf7b~so9b~#xCb}=wo19mYnTLX46GF$_8
F*98Qb}=+w19mYrUjueAHedx;ba-iG1pxpD002NB00&r4Zfto_YXt!S2LJ#-AOH

-----END STRICT TYPE LIB-----