Ethereum lessons from a live end-to-end PQ proof-native protocol

Architecture
,
7

A source update, since I can no longer edit the opening post: its old GitHub links no longer resolve.

Canonical repository: ignotusnemo/parano1d: Proof-native Layer 1 ordered by proof of work. State validated from genesis in O(1). Provable end-to-end post-quantum soundness from genesis at NIST PQC Category 1. - Parano1d Git

GitHub mirror: GitHub - proof-native/parano1d: Proof-native Layer 1 ordered by proof of work. State validated from genesis in O(1). Provable end-to-end post-quantum soundness from genesis at NIST PQC Category 1. · GitHub

GitLab mirror: ignotus nemo / parano1d · GitLab

Since that post, Parano1d has launched on mainnet https://parano1d.org. The latest upgrade extends recursively authenticated live State to programmable rights: a live output commits to a bounded program, policy and persistent counters, and each authorized transition is checked in the recursive block proof. The upgrade also changes block capacity and updates the end-to-end soundness accounting. Its new rules are published but have not yet activated on mainnet.

Current release: Parano1d v2.0.0 - ignotusnemo/parano1d - Parano1d Git

Security model: parano1d/docs/protocol/security-model.md at main - ignotusnemo/parano1d - Parano1d Git

Vitalik’s new essay now describes recursive proofs, quantum-safe cryptography and moving beyond the familiar blockchain model as central to Ethereum’s future:

The title of this thread is aging rather well. :slight_smile: