File tree Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Original file line number Diff line number Diff line change 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
You can’t perform that action at this time.
0 commit comments