stl: update to new Baid58 id string representations

Author: dr-orlovsky

Cargo.lock

@@ -25,7 +25,7 @@ required-features = ["stl"]
 amplify = { version = "4.0.0", features = ["hex", "apfloat"] }
 commit_encoding_derive = { version = "0.10.0", path = "derive" }
 strict_encoding = "2.5.0"
-strict_types = { version = "1.5.0", optional = true }
+strict_types = { version = "1.6.0", optional = true }
 sha2 = "0.10.6"
 rand = { version = "0.8.5", optional = true }
 serde_crate = { version = "1.0", package = "serde", optional = true }

commit_verify/Cargo.toml

@@ -24,7 +24,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib};
 use crate::{mpc, LIB_NAME_COMMIT_VERIFY};
 
 pub const LIB_ID_COMMIT_VERIFY: &str =
-    "melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V";
+    "urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V#rhino-cover-frog";
 
 fn _commit_verify_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_COMMIT_VERIFY), tiny_bset! {

commit_verify/src/stl.rs

@@ -1,8 +1,8 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V
+Id: urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V
 Name: CommitVerify
 Dependencies: 
-  Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
+  urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
 
 DENvbW1pdFZlcmlmeQF7hIA8nvriESWnfCw5vHDS/ej5Q64N/Zz05oLtx2bKcANT
 dGQBA1N0ZAEAIuTglum9fVyG9eHfXXcBav45xzzZNIVQlECJjKijeV4CVTUIAApD

stl/CommitVerify@0.1.0.sta

@@ -1,5 +1,5 @@
 {-
-  Id: melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V
+  Id: urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V#rhino-cover-frog
   Name: CommitVerify
   Version: 0.1.0
   Description: Client-side-validation deterministic commitments
@@ -10,36 +10,36 @@
 
 typelib CommitVerify
 
-import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as Std
+import urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#justice-rocket-type as Std
 -- Imports:
--- U5 := CafeAverageCompass03MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf
+-- U5 := urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer
 
 
 
--- ComplexSecondJason0F8mU5NPc8Z5CMnkSFGdF5UxrPsdcBS6B5DCyP5kJPgWc
+-- urn:ubideco:semid:F8mU5NPc8Z5CMnkSFGdF5UxrPsdcBS6B5DCyP5kJPgWc#ventura-equal-think
 data Commitment       :: [Byte ^ 32]
--- CannonFreddieRodeo0qp6pMjMCcukxxZdkM2PtfNWfJjXKoVHXtXSBCsYjQwY
-data MerkleBlock      :: depth Std.U5 {- CafeAverageCompass03MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf -}
+-- urn:ubideco:semid:qp6pMjMCcukxxZdkM2PtfNWfJjXKoVHXtXSBCsYjQwY#transit-bogart-nissan
+data MerkleBlock      :: depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -}
                        , cofactor U16
                        , crossSection [TreeNode ^ ..0xffffffff]
                        , entropy U64?
--- BazaarOrchidJacket06kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R
+-- urn:ubideco:semid:6kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R#iceberg-rocket-velvet
 data MerkleNode       :: [Byte ^ 32]
--- MillionTruckWeather09FbrjZLnMDfbrN9gEbWij5HNkxqAVaZBkoW2UvKdYw4B
+-- urn:ubideco:semid:9FbrjZLnMDfbrN9gEbWij5HNkxqAVaZBkoW2UvKdYw4B#canyon-exhibit-ravioli
 data MerkleProof      :: pos U32
                        , cofactor U16
                        , path [MerkleNode ^ ..0x20]
--- IngridSincereNavy057jCv2LWrdn89GzuSYaH17f21N3su76uM2tEaG1dwwoT
-data MerkleTree       :: depth Std.U5 {- CafeAverageCompass03MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf -}
+-- urn:ubideco:semid:57jCv2LWrdn89GzuSYaH17f21N3su76uM2tEaG1dwwoT#russian-wedding-florida
+data MerkleTree       :: depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -}
                        , entropy U64
                        , cofactor U16
                        , messages {ProtocolId -> ^ ..0xffffff Message}
                        , map {U32 -> ^ ..0xffffff ProtocolId, Message}
--- LondonMagnetCake04ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA
+-- urn:ubideco:semid:4ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA#shampoo-bishop-morgan
 data Message          :: [Byte ^ 32]
--- IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz
+-- urn:ubideco:semid:4GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz#gamma-banjo-corona
 data ProtocolId       :: [Byte ^ 32]
--- AxiomPenguinTicket0D7Q2eTnYyjN6gMZnZYrMG6gmRwmtnxyGLeqBbki8DFLv
-data TreeNode         :: concealedNode (depth Std.U5 {- CafeAverageCompass03MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf -}, hash MerkleNode)
+-- urn:ubideco:semid:D7Q2eTnYyjN6gMZnZYrMG6gmRwmtnxyGLeqBbki8DFLv#greek-decimal-quiz
+data TreeNode         :: concealedNode (depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -}, hash MerkleNode)
                        | commitmentLeaf (protocolId ProtocolId, message Message)