Design Proposals Proposals for language and VM design changes. Not spec — these are desires documented for future consideration. Each proposal is a standalone markdown file. Status is tracked in the frontmatter. Status values | Status | Meaning | |--------|---------| | `draft` | Idea captured, open…

zheng proposals design proposals for zheng proof system evolution. zheng-2 is the integrated architecture — all other proposals feed into it. architecture | proposal | status | target | |----------|--------|--------| | zheng-2 | draft | dual-algebra proof architecture: 2 PCS, 1 IOP, 1 hash, 14…

hemera proposals design proposals for hemera hash function evolution. hemera-2 (pre-genesis upgrade) | proposal | status | target | |----------|--------|--------| | inversion-sbox | draft | x⁻¹ partial S-box + 16 rounds: 36% fewer constraints, 5.4× MPC depth, 2^1046 algebraic degree | |…

bbg proposals design proposals for bbg authenticated state layer evolution. proposals compose with zheng-2 proof architecture and hemera-2 hash. polynomial state | proposal | status | target | |----------|--------|--------| | algebraic-nmt | draft | 9 NMT trees → 1 polynomial, 30× fewer constraints…