stl: update with new commit-verify library

src/stl.rs

@@ -29,7 +29,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib};
 
 /// Strict types id for the library providing data types from [`dbc`] and
 /// [`seals`] crates.
-pub const LIB_ID_BPCORE: &str = "cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk";
+pub const LIB_ID_BPCORE: &str = "cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2";
 
 fn _bp_core_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_BPCORE), tiny_bset! {

stl/BPCore@0.1.0.sta

@@ -1,40 +1,40 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk
+Id: cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2
 Name: BPCore
 Dependencies: 
+  CommitVerify@melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V,
   Bitcoin@race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi,
-  CommitVerify@boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6,
   Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
 
-BkJQQ29yZQNOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3VwdCaXRjb2lu
-aP6FqsUD0QDe1/EL7+/pOWg44LajNM0i//sAFPnk3p0MQ29tbWl0VmVyaWZ5e4SA
+BkJQQ29yZQMIbJMpP1Zo7NnfnUB1CNehMyMWREFWAosurAm/5d+NQgxDb21taXRW
+ZXJpZnlOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3VwdCaXRjb2lue4SA
 PJ764hElp3wsObxw0v3o+UOuDf2c9OaC7cdmynADU3RkAwdCaXRjb2luBwAh4z5D
 xapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdQRWb3V0Jav1uRIUF7qjOdRfexV1
 p3FL4Xp1GF3QMTV61Mkt6YYLU2NyaXB0Qnl0ZXMxu67ohIl3xbAHMXIxzZL2MLYp
 Lc2Jf9y63sW6xOl/2QtUYXBOb2RlSGFzaF+s2W3lP07FFNmxjWeA2gqr6y0mC/03
 LaPAeqRdOZ9NCkxlYWZTY3JpcHSjgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXAaFlM
 SwRlVgRUeGlktjMJqRi/tpINbshYpCSHI0ZaaT9yQwe//x3XOnOBTskHTGVhZlZl
 ct/4ADyB/kf8VCOx0sbiDw3fqma9zPN9dBPJH2XaADyICkludGVybmFsUGsMQ29t
-bWl0VmVyaWZ5BwAwlX7mHWE0WbsFCOThrz1qIb/W+/sdMYKneeVFdOBWsQpQcm90
-b2NvbElkNTepURXI6oXcUvergfJxZVEFJlOUQleviRPoe9SbsdMHTWVzc2FnZULF
-GsLNiIkRwDTnS2SnO9m9AucbTUghk+HZQVVfxTdrC01lcmtsZUJsb2NrS9qXoPsY
-ttNO+pcHPmQs47ijtI/lDRNM8l/VSsMmYOcKTWVya2xlVHJlZVWNNwf4RYZTgO7M
-QVUk6KSZYFHTlIJD8ZT38ZFXI+nmCk1lcmtsZU5vZGWA/T104s1Rr+RbtC60yXg0
-bEQpt7maI6swqRsWaZRxhAtNZXJrbGVQcm9vZsu7H9dn+A6jR9rXfd7AM9xvuZ0B
-U4Va/+b/4miWdDClCFRyZWVOb2RlA1N0ZAEAoTHP5XeUUAFo4NmpHwcEk7tGqCfe
-/NiHyNf6fEN3efECVTQQAAhBbmNob3JJZAUBAAcAAEAgABFBbmNob3JNZXJrbGVC
+bWl0VmVyaWZ5BwAv7s8eRNKhKbmKFDhHSzlxlSsoHKIBktUTJviyNmBeZwtNZXJr
+bGVQcm9vZjCVfuYdYTRZuwUI5OGvPWohv9b7+x0xgqd55UV04FaxClByb3RvY29s
+SWQ1N6lRFcjqhdxS96uB8nFlUQUmU5RCV6+JE+h71Jux0wdNZXNzYWdlU0OVD0Qz
+KiP/6IDPUOfPCAahBM3gSGsT4Qz8GINDsNcIVHJlZU5vZGVVjTcH+EWGU4DuzEFV
+JOikmWBR05SCQ/GU9/GRVyPp5gpNZXJrbGVOb2RlxKN7LSxSbrVJWtXZihWIvHNJ
+7AFaxfUJdqdV7py7D1QLTWVya2xlQmxvY2vLhaeLEqU3TP/7I/XLv5m2ZEsplYZ9
+cReJIjVZ/HuLVwpNZXJrbGVUcmVlA1N0ZAEAIuTglum9fVyG9eHfXXcBav45xzzZ
+NIVQlECJjKijeV4CVTUQAAhBbmNob3JJZAUBAAcAAEAgABFBbmNob3JNZXJrbGVC
 bG9jawYDBHR4aWQCTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLz
-y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X
-8Qvv7+k5aDjgtqM0zSL/+wAU+eTenULFGsLNiIkRwDTnS2SnO9m9AucbTUghk+HZ
-QVVfxTdrCGRiY1Byb29mAapKxGjifpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/
+y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVghtcGNQcm9vZgIIbJMpP1Zo7Nnf
+nUB1CNehMyMWREFWAosurAm/5d+NQsSjey0sUm61SVrV2YoViLxzSewBWsX1CXan
+Ve6cuw9UCGRiY1Byb29mAapKxGjifpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/
 EUFuY2hvck1lcmtsZVByb29mBgMEdHhpZAJOToT0cBbJ5dJifL/D9Day3WzU0bmw
 RFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWCG1wY1By
-b29mAmj+harFA9EA3tfxC+/v6TloOOC2ozTNIv/7ABT55N6dgP09dOLNUa/kW7Qu
-tMl4NGxEKbe5miOrMKkbFmmUcYQIZGJjUHJvb2YBqkrEaOJ+lLbWAyqWnbpW+11l
+b29mAghskyk/Vmjs2d+dQHUI16EzIxZEQVYCiy6sCb/l341CL+7PHkTSoSm5ihQ4
+R0s5cZUrKByiAZLVEyb4sjZgXmcIZGJjUHJvb2YBqkrEaOJ+lLbWAyqWnbpW+11l
 gVwJelAEcCXtiLMDlL8QQW5jaG9yTWVya2xlVHJlZQYDBHR4aWQCTk6E9HAWyeXS
 Yny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXA
-aFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X8Qvv7+k5aDjgtqM0zSL/+wAU+eTe
-nUval6D7GLbTTvqXBz5kLOO4o7SP5Q0TTPJf1UrDJmDnCGRiY1Byb29mAapKxGji
+aFlMSwRlVghtcGNQcm9vZgIIbJMpP1Zo7NnfnUB1CNehMyMWREFWAosurAm/5d+N
+QsuFp4sSpTdM//sj9cu/mbZkSymVhn1xF4kiNVn8e4tXCGRiY1Byb29mAapKxGji
 fpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/DkJsaW5kU2VhbFR4UHRyBgQGbWV0
 aG9kAdJSMHx9cZA19zB+6Cgl7BuBK6GH3Z2YSYtKjRb6btVDBHR4aWQBseU4ORQK
 OL7wbxrPvhxgpW/h4fR9eAgoeb/R+tMQId0Edm91dAJOToT0cBbJ5dJifL/D9Day

stl/BPCore@0.1.0.sty

@@ -1,5 +1,5 @@
 {-
-  Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk
+  Id: cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2
   Name: BPCore
   Version: 0.1.0
   Description: Bitcoin client-side-validation library
@@ -10,6 +10,16 @@
 
 typelib BPCore
 
+import melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V as CommitVerify
+-- Imports:
+-- MerkleProof := HazardPedroSplit04E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC
+-- ProtocolId := IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz
+-- Message := LondonMagnetCake04ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA
+-- TreeNode := AlertMadamTelex06c2cKiQFpcyVntm5aKHV3hoi2eBd8Ts9dtDzU3ccryw4
+-- MerkleNode := BazaarOrchidJacket06kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R
+-- MerkleBlock := EricSeniorFlag0EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko
+-- MerkleTree := RespectVoodooAroma0EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8
+
 import race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi as Bitcoin
 -- Imports:
 -- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk
@@ -20,35 +30,25 @@ import race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi as Bitcoin
 -- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY
 -- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ
 
-import boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6 as CommitVerify
--- Imports:
--- ProtocolId := IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz
--- Message := LondonMagnetCake04ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA
--- MerkleBlock := TotalHexagonBronze05VeEF1VRddLmjUHBWeV15bEiCJSE4pvDo2DKTu7j6Cjt
--- MerkleTree := BalloonVocalBanana0676uHYhjkRabmtNkoRoGGcVFzZu4hgRmzzX8FZ32Q2bg
--- MerkleNode := BazaarOrchidJacket06kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R
--- MerkleProof := LearnHelloJordan09gX9phaxeLVgMDb7pgjzh5N2KiAPQyYA7eLDzQKStxfd
--- TreeNode := FridayVeronaLunar0EiHFsX12iMEA4y2Z37y8eRzKq68LpwLMpYGyZHUguKfJ
-
 import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as Std
 -- Imports:
--- U4 := CaesarLolaToyota0BrEhDdRPrktqBgsNbgsmUagRz9b5n5csfbmif8Y7Bcc8
+-- U5 := CafeAverageCompass03MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf
 
 
 
 -- AlmondFantasySelect0HXreMRXsXhE6goE2JsF8g9jy4rZ7p7AEeYmxYgfPF2tN
 data AnchorId         :: [Byte ^ 32]
--- WaterQuotaVideo05sdmazTk3JEe7agrFBthUusZ2HnY6dCxi7t8iP48JUTV
+-- MamaSpendGreen07HujjND7Q5rhgxpFahWKCjgGCGeXfyxH64PBCz6JmFoF
 data AnchorMerkleBlock :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleBlock {- TotalHexagonBronze05VeEF1VRddLmjUHBWeV15bEiCJSE4pvDo2DKTu7j6Cjt -}
+                       , mpcProof CommitVerify.MerkleBlock {- EricSeniorFlag0EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko -}
                        , dbcProof Proof
--- VictorJanetDavid0HG9TQb5soJcp85VzBUeXggCv9mKUyT9GQgymATcEE5cz
+-- PokerMouseSailor0428qpLJeMokDc2Eh94AZRG9mHCS727NpCPym7ohP4Vy2
 data AnchorMerkleProof :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleProof {- LearnHelloJordan09gX9phaxeLVgMDb7pgjzh5N2KiAPQyYA7eLDzQKStxfd -}
+                       , mpcProof CommitVerify.MerkleProof {- HazardPedroSplit04E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC -}
                        , dbcProof Proof
--- AudioShelterMatch03JAVgdDJMfExuiAhEnVRqDzin2yd7zXyrkTmCkckA4H2
+-- KermitQualityGeorge0AcDVabVfyhFYG1Bx3uNfDmb6tMc64oz2JGWwwFRhGasZ
 data AnchorMerkleTree :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleTree {- BalloonVocalBanana0676uHYhjkRabmtNkoRoGGcVFzZu4hgRmzzX8FZ32Q2bg -}
+                       , mpcProof CommitVerify.MerkleTree {- RespectVoodooAroma0EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8 -}
                        , dbcProof Proof
 -- TargetCasinoPenguin09CaqxtyKgdyBbm5EQF2JWEQshsrgteDDjhv1sAPVNWwJ
 data BlindSealTxPtr   :: method CloseMethod