Merge pull request #18 from nervina-labs/header-deps

Impl header deps
nervina-labs · Jun 16, 2022 · e4565d0 · e4565d0
2 parents 8b1742d + 222da0b
commit e4565d0
Show file tree

Hide file tree

Showing 15 changed files with 3,557 additions and 7,559 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cota-smt"
-version = "0.4.0"
+version = "0.5.0"
 edition = "2018"
 
 [dependencies]

diff --git a/src/common.mol b/src/common.mol
@@ -1,15 +1,19 @@
-// Uint16/Uint32: big endian
+// The `UintN` is used to store a `N` bits unsigned integer
+// as a byte array in big endian.
 
-array Byte32 [byte; 32];
 array Uint16 [byte; 2];
 array Uint32 [byte; 4];
 array Uint64 [byte; 8];
-vector Bytes <byte>;
+array Byte32 [byte; 32];
 
 array CotaId [byte; 20];
 array Characteristic [byte; 20];
 array OutPointSlice [byte; 24];
 
+vector Bytes <byte>;
+vector Uint32Vec <Uint32>;
+vector Byte32Vec <Byte32>;
+
 struct CotaNFTId {
   smt_type: Uint16,
   cota_id: CotaId,
@@ -22,6 +26,16 @@ struct CotaNFTInfo {
   characteristic: Characteristic,
 }
 
+table MerkleProof {
+  indices: Uint32Vec,
+  lemmas: Byte32Vec,
+}
+
+table TransactionProof {
+  witnesses_root: Byte32,
+  proof: MerkleProof,
+}
+
 struct DefineCotaNFTId {
   smt_type: Uint16,
   cota_id: CotaId,