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 for discussion
accepted Approved — ready to implement and move to spec
rejected Decided against, kept for rationale
implemented Done — migrated to the relevant reference/ spec file

Dimensions

hemera/reference/props
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/reference/props
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…
nox/reference/props
props
zheng/reference/props
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…

Pages in this namespace

Local Graph