Skip to content

Commit d450ebf

Browse files
committed
docs: add logbook entry for cddl draft
1 parent 8ff5484 commit d450ebf

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

Logbook.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,18 @@
22

33
## 2025-06-20
44

5+
### CDDL Specification Draft
6+
7+
Created initial CDDL specifications for core Leios components:
8+
9+
- Input Blocks with VRF lottery and single IB/slot limits
10+
- Endorser Blocks as new aggregation block type
11+
- Ranking Blocks as Conway extension with optional certificates
12+
- BLS voting system with persistent/non-persistent voters and key registration
13+
- Follows crypto-benchmarks implementation approach, maintains Conway CDDL compatibility
14+
- First draft establishing foundational structures - incomplete but covers common base components
15+
- Upcoming iterations will add detailed specifications for design variants (full sharding, overcollateralization, protocol extensions)
16+
517
### Formal methods
618

719
- Added support for `Late IB inclusion` to the formal spec of Full-Short Leios

0 commit comments

Comments
 (0)