dbc: remove Anchor type, which is now TxOut seal-specific

Signed-off-by: Dr Maxim Orlovsky <[email protected]>

dbc/src/lib.rs

@@ -51,12 +51,10 @@ extern crate commit_verify;
 /// Name of the strict type library generated from the data types in this crate.
 pub const LIB_NAME_BPCORE: &str = "BPCore";
 
-pub mod anchor;
 pub mod keytweak;
 pub mod opret;
 pub mod sigtweak;
 pub mod tapret;
 mod proof;
 
-pub use anchor::Anchor;
 pub use proof::{Method, MethodParseError, Proof};

seals/src/txout.rs

@@ -100,6 +100,8 @@ pub mod mmb {
     }
 }
 
+/// Anchor is a set of data required for the client-side validation of a Bitcoin Txout single-use
+/// seal, which can't be recovered from the transaction and other public information itself.
 #[derive(Clone, Ord, PartialOrd, Eq, PartialEq, Hash, Debug)]
 #[derive(StrictType, StrictDumb, StrictEncode, StrictDecode)]
 #[strict_type(lib = dbc::LIB_NAME_BPCORE)]
@@ -118,6 +120,7 @@ pub struct Anchor<D: dbc::Proof> {
     pub fallback_proof: ReservedBytes<1>,
 }
 
+/// Proof data for verification of deterministic bitcoin commitment produced from anchor.
 pub struct Proof<D: dbc::Proof> {
     pub mpc_commit: mpc::Commitment,
     pub dbc_proof: D,

src/bin/bpcore-stl.rs

@@ -121,15 +121,9 @@ Seals vesper lexicon=types+commitments
     let tt = sys.type_tree("BPCore.TxoSealOpretProof").unwrap();
     writeln!(file, "{tt}").unwrap();
 
-    let tt = sys.type_tree("BPCore.AnchorMerkleTreeTapretProof").unwrap();
-    fs::write(format!("{dir}/Anchor.MerkleTree.Tapret.vesper"), format!("{tt}")).unwrap();
+    let tt = sys.type_tree("BPCore.AnchorTapretProof").unwrap();
+    fs::write(format!("{dir}/Anchor.Tapret.vesper"), format!("{tt}")).unwrap();
 
-    let tt = sys.type_tree("BPCore.AnchorMerkleTreeOpretProof").unwrap();
-    fs::write(format!("{dir}/Anchor.MerkleTree.Opret.vesper"), format!("{tt}")).unwrap();
-
-    let tt = sys.type_tree("BPCore.AnchorMerkleBlockTapretProof").unwrap();
-    fs::write(format!("{dir}/Anchor.MerkleBlock.Tapret.vesper"), format!("{tt}")).unwrap();
-
-    let tt = sys.type_tree("BPCore.AnchorMerkleProofTapretProof").unwrap();
-    fs::write(format!("{dir}/Anchor.MerkleProof.Tapret.vesper"), format!("{tt}")).unwrap();
+    let tt = sys.type_tree("BPCore.AnchorOpretProof").unwrap();
+    fs::write(format!("{dir}/Anchor.Opret.vesper"), format!("{tt}")).unwrap();
 }

src/stl.rs

@@ -21,7 +21,6 @@
 
 //! Strict types library generator methods.
 
-use commit_verify::mpc;
 use dbc::opret::OpretProof;
 use dbc::tapret::TapretProof;
 use dbc::LIB_NAME_BPCORE;
@@ -30,20 +29,14 @@ 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 =
-    "stl:shT3puxD-pguyIQF-lMwkHEo-oASAiSm-s6zQH6s-AqbOAOg#bruno-belgium-shelf";
+    "stl:3xUSwL0a-VuYPFl2-Cdk3L21-yX8c1Kg-~wRzG1T-B2FgGWg#pastel-voice-binary";
 
 fn _bp_core_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_BPCORE), tiny_bset! {
         strict_types::stl::std_stl().to_dependency(),
         bc::stl::bp_tx_stl().to_dependency(),
         commit_verify::stl::commit_verify_stl().to_dependency()
     })
-    .transpile::<dbc::Anchor<mpc::MerkleTree, TapretProof>>()
-    .transpile::<dbc::Anchor<mpc::MerkleBlock, TapretProof>>()
-    .transpile::<dbc::Anchor<mpc::MerkleProof, TapretProof>>()
-    .transpile::<dbc::Anchor<mpc::MerkleTree, OpretProof>>()
-    .transpile::<dbc::Anchor<mpc::MerkleBlock, OpretProof>>()
-    .transpile::<dbc::Anchor<mpc::MerkleProof, OpretProof>>()
     .transpile::<seals::TxoSeal<OpretProof>>()
     .transpile::<seals::TxoSeal<TapretProof>>()
     .transpile::<seals::Anchor<OpretProof>>()

stl/Anchor.Opret.vesper

@@ -0,0 +1,14 @@
+rec AnchorOpretProof
+  rec mmbProof, BundleProof
+    map map, len 0..MAX8
+      is key, U32
+      bytes value, len 32
+  bytes mpcProtocol, len 32, aka ProtocolId
+  rec mpcProof, MerkleProof
+    enum method, Method, sha256t 0
+    is pos, U32
+    is cofactor, U16
+    list path, len 0..32
+      bytes element, len 32, aka MerkleHash
+  is dbcProof, Unit, aka OpretProof
+  bytes fallbackProof, len 1, aka ReservedBytes1

stl/Anchor.MerkleProof.Tapret.vesper → stl/Anchor.Tapret.vesper

@@ -1,4 +1,9 @@
-rec AnchorMerkleProofTapretProof
+rec AnchorTapretProof
+  rec mmbProof, BundleProof
+    map map, len 0..MAX8
+      is key, U32
+      bytes value, len 32
+  bytes mpcProtocol, len 32, aka ProtocolId
   rec mpcProof, MerkleProof
     enum method, Method, sha256t 0
     is pos, U32
@@ -10,3 +15,4 @@ rec AnchorMerkleProofTapretProof
       union some, TapretNodePartner, option, wrapped, tag 1
         rec rightBranch, TapretRightBranch, wrapped, tag 2
       is nonce, U8
+  bytes fallbackProof, len 1, aka ReservedBytes1