Merge pull request #48 from BP-WG/baid58

Update with new id string representation
BP-WG · Jul 24, 2023 · 1587f75 · 1587f75
2 parents 5fc99ca + af07394
commit 1587f75
Show file tree

Hide file tree

Showing 11 changed files with 111 additions and 95 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -52,7 +52,7 @@ required-features = ["stl"]
 [dependencies]
 amplify = { workspace = true }
 strict_encoding = { workspace = true }
-strict_types = { version = "1.5.0", optional = true }
+strict_types = { version = "1.6.0", optional = true }
 commit_verify = { workspace = true }
 single_use_seals = { workspace = true }
 bp-primitives = { version = "0.10.5", path = "./primitives" }

diff --git a/primitives/Cargo.toml b/primitives/Cargo.toml
@@ -19,7 +19,7 @@ name = "bc"
 amplify = { workspace = true }
 secp256k1 = { version = "0.27.0", features = ["global-context"] }
 strict_encoding = { workspace = true }
-strict_types = { version = "1.5.0", optional = true }
+strict_types = { version = "1.6.0", optional = true }
 commit_verify = { workspace = true }
 serde_crate = { package = "serde", version = "1", features = ["derive"], optional = true }
 

diff --git a/primitives/src/stl.rs b/primitives/src/stl.rs
@@ -24,7 +24,8 @@ use strict_types::{CompileError, LibBuilder, TypeLib};
 
 use crate::{Tx, LIB_NAME_BITCOIN};
 
-pub const LIB_ID_BITCOIN: &str = "race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi";
+pub const LIB_ID_BITCOIN: &str =
+    "urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi#money-pardon-parody";
 
 fn _bitcoin_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_BITCOIN), None)

diff --git a/seals/Cargo.toml b/seals/Cargo.toml
@@ -21,7 +21,7 @@ amplify = { workspace = true }
 single_use_seals = { workspace = true }
 commit_verify = { workspace = true }
 strict_encoding = { workspace = true }
-baid58 = "0.3.0"
+baid58 = "0.4.1"
 bp-primitives = { version = "0.10.5", path = "../primitives" }
 bp-dbc = { version = "0.10.5", path = "../dbc" }
 rand = "0.8.5"

diff --git a/seals/src/txout/blind.rs b/seals/src/txout/blind.rs
@@ -340,7 +340,7 @@ where Self: TxoSeal
 #[strict_type(lib = dbc::LIB_NAME_BPCORE)]
 #[derive(CommitEncode)]
 #[commit_encode(strategy = strict)]
-#[display(Self::to_baid58)]
+#[display(Self::to_baid58_string)]
 #[cfg_attr(
     feature = "serde",
     derive(Serialize, Deserialize),
@@ -357,11 +357,15 @@ impl ToBaid58<32> for SecretSeal {
     fn to_baid58_payload(&self) -> [u8; 32] { self.0.into_inner() }
 }
 impl FromBaid58<32> for SecretSeal {}
-
 impl FromStr for SecretSeal {
     type Err = Baid58ParseError;
     fn from_str(s: &str) -> Result<Self, Self::Err> { SecretSeal::from_baid58_str(s) }
 }
+impl SecretSeal {
+    /// Returns Baid58 string representation of the secret seal. Equal to
+    /// `Display`
+    pub fn to_baid58_string(&self) -> String { format!("{:0^}", self.to_baid58()) }
+}
 
 impl From<Outpoint> for SecretSeal {
     #[inline]
@@ -379,7 +383,7 @@ mod test {
     use super::*;
 
     #[test]
-    fn outpoint_hash_is_sha256d() {
+    fn secret_seal_is_sha256d() {
         let reveal = BlindSeal {
             method: CloseMethod::TapretFirst,
             blinding: 54683213134637,
@@ -393,8 +397,8 @@ mod test {
     }
 
     #[test]
-    fn outpoint_hash_bech32() {
-        let outpoint_hash = BlindSeal {
+    fn secret_seal_baid58() {
+        let seal = BlindSeal {
             method: CloseMethod::TapretFirst,
             blinding: 54683213134637,
             txid: TxPtr::Txid(
@@ -405,17 +409,15 @@ mod test {
         }
         .to_concealed_seal();
 
-        let baid58 = "FZJtr2egUEqFbTtL6BWhyTnbLbh6B46BbQHDnUuZj6cL";
-        assert_eq!(baid58, outpoint_hash.to_string());
-        assert_eq!(outpoint_hash.to_string(), outpoint_hash.to_baid58().to_string());
-        /* TODO: uncomment when Baid58::from_str would work
-           let reconstructed = ConcealedSeal::from_str(bech32).unwrap();
-           assert_eq!(reconstructed, outpoint_hash);
-        */
+        let baid58 = "utxob02eFrirURjqLnqR74AKRfdnc9MDpvSRjmZGmFPrw7nvuTe1wy83";
+        assert_eq!(baid58, seal.to_string());
+        assert_eq!(seal.to_string(), seal.to_baid58_string());
+        let reconstructed = SecretSeal::from_str(baid58).unwrap();
+        assert_eq!(reconstructed, seal);
     }
 
     #[test]
-    fn outpoint_reveal_str() {
+    fn blind_seal_str() {
         let mut outpoint_reveal = BlindSeal {
             method: CloseMethod::TapretFirst,
             blinding: 0x31bbed7e7b2d,

diff --git a/src/stl.rs b/src/stl.rs
@@ -29,7 +29,8 @@ 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 = "cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2";
+pub const LIB_ID_BPCORE: &str =
+    "urn:ubideco:stl:2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2#sultan-data-copy";
 
 fn _bp_core_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_BPCORE), tiny_bset! {

diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,10 +1,10 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2
+Id: urn:ubideco:stl:2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2
 Name: BPCore
 Dependencies: 
-  CommitVerify@melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V,
-  Bitcoin@race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi,
-  Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
+  urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V,
+  urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi,
+  urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
 
 BkJQQ29yZQMIbJMpP1Zo7NnfnUB1CNehMyMWREFWAosurAm/5d+NQgxDb21taXRW
 ZXJpZnlOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3VwdCaXRjb2lue4SA

diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,5 +1,5 @@
 {-
-  Id: cuba_caesar_yellow_2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2
+  Id: urn:ubideco:stl:2YsxMW6xygK2FxFSbbBLqmzaUSytmLHHNF9DRio5zNr2#sultan-data-copy
   Name: BPCore
   Version: 0.1.0
   Description: Bitcoin client-side-validation library
@@ -10,83 +10,83 @@
 
 typelib BPCore
 
-import melody_arctic_labor_ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V as CommitVerify
+import urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V#rhino-cover-frog as CommitVerify
 -- Imports:
--- MerkleProof := HazardPedroSplit04E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC
--- ProtocolId := IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz
--- Message := LondonMagnetCake04ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA
--- TreeNode := AlertMadamTelex06c2cKiQFpcyVntm5aKHV3hoi2eBd8Ts9dtDzU3ccryw4
--- MerkleNode := BazaarOrchidJacket06kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R
--- MerkleBlock := EricSeniorFlag0EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko
--- MerkleTree := RespectVoodooAroma0EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8
+-- MerkleProof := urn:ubideco:semid:4E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC#carol-alamo-denver
+-- ProtocolId := urn:ubideco:semid:4GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz#gamma-banjo-corona
+-- Message := urn:ubideco:semid:4ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA#shampoo-bishop-morgan
+-- TreeNode := urn:ubideco:semid:6c2cKiQFpcyVntm5aKHV3hoi2eBd8Ts9dtDzU3ccryw4#buenos-galaxy-editor
+-- MerkleNode := urn:ubideco:semid:6kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R#iceberg-rocket-velvet
+-- MerkleBlock := urn:ubideco:semid:EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko#proxy-catalog-byte
+-- MerkleTree := urn:ubideco:semid:EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8#puzzle-quick-madrid
 
-import race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi as Bitcoin
+import urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi#money-pardon-parody as Bitcoin
 -- Imports:
--- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk
--- ScriptBytes := PeacePrinceTarget03Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR
--- TapNodeHash := LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC
--- LeafScript := DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4
--- Txid := TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs
--- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY
--- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ
+-- Vout := urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop
+-- ScriptBytes := urn:ubideco:semid:3Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR#maestro-source-jackson
+-- TapNodeHash := urn:ubideco:semid:4M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC#crash-culture-jamaica
+-- LeafScript := urn:ubideco:semid:7SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4#brenda-round-micro
+-- Txid := urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty
+-- LeafVer := urn:ubideco:semid:DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY#tunnel-lagoon-cowboy
+-- InternalPk := urn:ubideco:semid:G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ#horse-major-vienna
 
-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
 
 
 
--- AlmondFantasySelect0HXreMRXsXhE6goE2JsF8g9jy4rZ7p7AEeYmxYgfPF2tN
+-- urn:ubideco:semid:HXreMRXsXhE6goE2JsF8g9jy4rZ7p7AEeYmxYgfPF2tN#dinner-single-alarm
 data AnchorId         :: [Byte ^ 32]
--- MamaSpendGreen07HujjND7Q5rhgxpFahWKCjgGCGeXfyxH64PBCz6JmFoF
-data AnchorMerkleBlock :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleBlock {- EricSeniorFlag0EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko -}
+-- urn:ubideco:semid:7HujjND7Q5rhgxpFahWKCjgGCGeXfyxH64PBCz6JmFoF#wonder-liberal-trumpet
+data AnchorMerkleBlock :: txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
+                       , mpcProof CommitVerify.MerkleBlock {- urn:ubideco:semid:EEbVZBjaYQWCQA7uRBe8hFkxV6U1uvpH2dT4PafmJ1ko#proxy-catalog-byte -}
                        , dbcProof Proof
--- PokerMouseSailor0428qpLJeMokDc2Eh94AZRG9mHCS727NpCPym7ohP4Vy2
-data AnchorMerkleProof :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleProof {- HazardPedroSplit04E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC -}
+-- urn:ubideco:semid:428qpLJeMokDc2Eh94AZRG9mHCS727NpCPym7ohP4Vy2#king-maestro-comrade
+data AnchorMerkleProof :: txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
+                       , mpcProof CommitVerify.MerkleProof {- urn:ubideco:semid:4E7NDL8Nm1EXtcenS9idAx1LAXvTu2wRdYsxT8Q2hgRC#carol-alamo-denver -}
                        , dbcProof Proof
--- KermitQualityGeorge0AcDVabVfyhFYG1Bx3uNfDmb6tMc64oz2JGWwwFRhGasZ
-data AnchorMerkleTree :: txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , mpcProof CommitVerify.MerkleTree {- RespectVoodooAroma0EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8 -}
+-- urn:ubideco:semid:AcDVabVfyhFYG1Bx3uNfDmb6tMc64oz2JGWwwFRhGasZ#lemon-camel-hexagon
+data AnchorMerkleTree :: txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
+                       , mpcProof CommitVerify.MerkleTree {- urn:ubideco:semid:EhTy77DCCxuuKR1ixPLPRna1yc8LjDREYyxCcfdkQGo8#puzzle-quick-madrid -}
                        , dbcProof Proof
--- TargetCasinoPenguin09CaqxtyKgdyBbm5EQF2JWEQshsrgteDDjhv1sAPVNWwJ
+-- urn:ubideco:semid:9CaqxtyKgdyBbm5EQF2JWEQshsrgteDDjhv1sAPVNWwJ#john-hydro-sport
 data BlindSealTxPtr   :: method CloseMethod
                        , txid TxPtr
-                       , vout Bitcoin.Vout {- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk -}
+                       , vout Bitcoin.Vout {- urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop -}
                        , blinding U64
--- LolaHeavyLion06d2rxUg3JDxJFdpYQwFoqQrxSPvd9tqJ6Uy2oxbRaDqD
+-- urn:ubideco:semid:6d2rxUg3JDxJFdpYQwFoqQrxSPvd9tqJ6Uy2oxbRaDqD#russian-empty-alfonso
 data BlindSealTxid    :: method CloseMethod
-                       , txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , vout Bitcoin.Vout {- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk -}
+                       , txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
+                       , vout Bitcoin.Vout {- urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop -}
                        , blinding U64
--- AlertCloudArchive0FA1JhsEFKi2LLpuAjuvLA3qiBuEJrwpKyypB9J2aPicr
+-- urn:ubideco:semid:FA1JhsEFKi2LLpuAjuvLA3qiBuEJrwpKyypB9J2aPicr#july-salmon-contact
 data CloseMethod      :: opretFirst:0 | tapretFirst:1
 
--- MiamiMonoFiber0ECRgZ1GreJifMMSP4kFSGyLsGZdoaxRRwd1GSUnaMa6S
+-- urn:ubideco:semid:ECRgZ1GreJifMMSP4kFSGyLsGZdoaxRRwd1GSUnaMa6S#drum-broken-numeric
 data ExplicitSealTxPtr :: method CloseMethod
                        , txid TxPtr
-                       , vout Bitcoin.Vout {- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk -}
--- SlangAmbientWinter045y2f3J6HbYzQLMP8HEgW6TK3m9HRomMcXMxHah8dozW
+                       , vout Bitcoin.Vout {- urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop -}
+-- urn:ubideco:semid:45y2f3J6HbYzQLMP8HEgW6TK3m9HRomMcXMxHah8dozW#perfume-pierre-inca
 data ExplicitSealTxid :: method CloseMethod
-                       , txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
-                       , vout Bitcoin.Vout {- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk -}
--- PokerBalletEconomy0Esn2xjQNUYszBEt7VTMfCigPWkdCSeTgPzYQfqNJAGNr
+                       , txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
+                       , vout Bitcoin.Vout {- urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop -}
+-- urn:ubideco:semid:Esn2xjQNUYszBEt7VTMfCigPWkdCSeTgPzYQfqNJAGNr#method-galileo-economy
 data Proof            :: opretFirst ()
                        | tapretFirst TapretProof
--- VocalWinterMango081NKrdc9pBoBjsKaGBVN9wXLG4tKjkK4f8DLj7TNMZxh
+-- urn:ubideco:semid:81NKrdc9pBoBjsKaGBVN9wXLG4tKjkK4f8DLj7TNMZxh#santana-domingo-needle
 data SecretSeal       :: [Byte ^ 32]
--- DemandCheeseTwist03PZAAzvizihvnS1LB4QY3Ly3S2Va7Y4bt361mGcJ4qbp
-data TapretNodePartner :: leftNode Bitcoin.TapNodeHash {- LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC -}
-                       | rightLeaf Bitcoin.LeafScript {- DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4 -}
+-- urn:ubideco:semid:3PZAAzvizihvnS1LB4QY3Ly3S2Va7Y4bt361mGcJ4qbp#tribal-voltage-object
+data TapretNodePartner :: leftNode Bitcoin.TapNodeHash {- urn:ubideco:semid:4M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC#crash-culture-jamaica -}
+                       | rightLeaf Bitcoin.LeafScript {- urn:ubideco:semid:7SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4#brenda-round-micro -}
                        | rightBranch TapretRightBranch
--- NylonUraniumRebel0BPYcTtbxvzWp8h7SMapT14FzLCnrnGzSShHTWGHCSD4C
+-- urn:ubideco:semid:BPYcTtbxvzWp8h7SMapT14FzLCnrnGzSShHTWGHCSD4C#clark-magic-salon
 data TapretPathProof  :: partnerNode TapretNodePartner?, nonce U8
--- KitchenQuebecWedding07QQkknWxkJLkef2AJrPSH3q165rB8ZTAUofNwW3ia5im
-data TapretProof      :: pathProof TapretPathProof, internalPk Bitcoin.InternalPk {- TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ -}
--- LocalElementForever04nZtVVw7QJaMDHYffkHBWhxXSkLXLcJ89qTLZH4Z3xck
-data TapretRightBranch :: leftNodeHash Bitcoin.TapNodeHash {- LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC -}, rightNodeHash Bitcoin.TapNodeHash {- LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC -}
--- FastIgorStyle0CyRtMpPJkKLX3AdhgY7ZyA7PnYAzCo7yFTeYwwGsUBhn
+-- urn:ubideco:semid:7QQkknWxkJLkef2AJrPSH3q165rB8ZTAUofNwW3ia5im#helena-wizard-podium
+data TapretProof      :: pathProof TapretPathProof, internalPk Bitcoin.InternalPk {- urn:ubideco:semid:G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ#horse-major-vienna -}
+-- urn:ubideco:semid:4nZtVVw7QJaMDHYffkHBWhxXSkLXLcJ89qTLZH4Z3xck#basket-prelude-bridge
+data TapretRightBranch :: leftNodeHash Bitcoin.TapNodeHash {- urn:ubideco:semid:4M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC#crash-culture-jamaica -}, rightNodeHash Bitcoin.TapNodeHash {- urn:ubideco:semid:4M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC#crash-culture-jamaica -}
+-- urn:ubideco:semid:CyRtMpPJkKLX3AdhgY7ZyA7PnYAzCo7yFTeYwwGsUBhn#strange-source-father
 data TxPtr            :: witnessTx ()
-                       | txid Bitcoin.Txid {- TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs -}
+                       | txid Bitcoin.Txid {- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty -}
 
diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,5 +1,5 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi
+Id: urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi
 Name: Bitcoin
 Dependencies: ~