[Cryptography] A working post-quantum proof-carrying state system over binary fields

[dev]

I built a system where every accepted state carries a recursive proof of valid execution from genesis. The implementation is public and the protocol is now running as a public testnet.

The proof system uses transparent recursion over binary tower fields. Transaction authorization is a zero knowledge proof of knowledge of a 256 bit address preimage. No public key or digital signature appears in the consensus authorization path.

Each block proves the current state transition and verifies the recursive proof carried by its parent. Proof of work only establishes canonical order among proof valid transitions.

A new node downloads the live state and permanent compact headers. It authenticates the transferred state using a recursive terminal instead of replaying transaction execution from genesis or trusting a checkpoint. Full block bodies are pruned once they leave the 18 block reorganization window. State validity verification is constant in chain height, although state transfer still scales with the live state.

The post quantum claim is end to end and applies to the complete verification path, not just to the cryptographic primitives used within it. It covers wallet authorization, state transitions, recursive verification and the complete path from genesis under one adversarial resource budget. The exact statement against the NIST PQC Category 1 resource envelope, including its fixed Poseidon2b quantum premises is encoded in the executable soundness model linked below.

Source and implementation:

https://github.com/ignotusnemo/parano1d (https://github.com/ignotusnemo/parano1d)

Current public testnet release:

https://github.com/ignotusnemo/parano1d/releases/tag/v2.1.0 (https://github.com/ignotusnemo/parano1d/releases/tag/v2.1.0)

Source linked executable soundness certificate:

https://github.com/ignotusnemo/parano1d/tree/v2.1.0/noid_soundness (https://github.com/ignotusnemo/parano1d/tree/v2.1.0/noid_soundness)





Ignotus


----

Sent securely from Private Email (https://www.namecheap.com/hosting/email/?utm_source=def_email_sign&utm_medium=email&utm_campaign=def_email_sign)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.metzdowd.com/pipermail/cryptography/attachments/20260818/b08fba8e/attachment.htm>