refactor(add block types and cddl tests): verifcation and refactor

Author: cong-or

rust/immutable-ledger/Cargo.toml

@@ -16,7 +16,7 @@ ulid = { version = "1.1.3", features = ["serde", "uuid"] }
 hex = "0.4.3"
 blake2b_simd = "1.0.2"
 blake3 = "=0.1.3"
-
+cddl = "0.9.4"
 
 
 

rust/immutable-ledger/src/cddl/block.cddl

@@ -0,0 +1,33 @@
+block = [
+    block_header,
+    block_data: metadata,
+    validator_signature:metadata,
+]
+
+block_header = [
+    chain_id: ULID,
+    height: int,
+    timestamp: #6.1(uint .ge 1722470400), ; Epoch-based date/time
+    prev_block_id: hash_bytes, ; hash of the previous block
+    ledger_type: UUID,
+    purpose_id: ULID / UUID,
+    validator: validator,
+    metadata: metadata,
+]
+
+ULID = #6.32780(bytes) ; ULID type
+UUID = #6.37(bytes) ; UUID type
+
+BLAKE_3 = #6.32781(bytes) ; Blake3 hash
+BLAKE_2B = #6.32782(bytes) ; Blake2b hash
+BLAKE_2S = #6.32783(bytes) ; Blake2s hash
+
+hash_bytes = BLAKE_2B / BLAKE_3 / BLAKE_2S
+
+kid = hash_bytes ; hash of the x509/c509 certificate
+
+validator = (kid / [2* kid])
+
+metadata = [ *any ]
+
+validator_signature = (bytes / [2* bytes])

rust/immutable-ledger/src/cddl/block_header.cddl

@@ -0,0 +1,26 @@
+block_header = [
+    chain_id: ULID,
+    height: int,
+    timestamp: #6.1(uint .ge 1722470400), ; Epoch-based date/time
+    prev_block_id: hash_bytes, ; hash of the previous block
+    ledger_type: UUID,
+    purpose_id: ULID / UUID,
+    validator: validator,
+    metadata: metadata,
+]
+
+ULID = #6.32780(bytes) ; ULID type
+UUID = #6.37(bytes) ; UUID type
+
+BLAKE_3 = #6.32781(bytes) ; Blake3 hash
+BLAKE_2B = #6.32782(bytes) ; Blake2b hash
+BLAKE_2S = #6.32783(bytes) ; Blake2s hash
+
+hash_bytes = BLAKE_2B / BLAKE_3 / BLAKE_2S
+
+kid = hash_bytes ; hash of the x509/c509 certificate
+
+validator = (kid / [2* kid])
+
+metadata = [ *any ]
+

rust/immutable-ledger/src/lib.rs

@@ -4,8 +4,8 @@
 //!
 //! Spec: `<https://input-output-hk.github.io/catalyst-voices/architecture/08_concepts/immutable_ledger/ledger>`
 
-/// Block validation logic
-pub mod validate;
-
-/// Block encoding decoding
+/// Block encoding decoding and validation
 pub mod serialize;
+
+/// ac
+pub mod ser;