Executable soundness analysis for ParanO(1)d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.
-
Updated
Jul 31, 2026 - Rust
Executable soundness analysis for ParanO(1)d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.
Research from ParanO(1)d Lab: proof-native systems, cryptographic protocols, verifiable-state architectures, and reproducible engineering results.
Official website for Parano1d, a proof-native Layer 1 secured by proof of work.
FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.
Technical documentation for ParanO(1)d: architecture, protocol, proof stack, mining, networking, wallet, RPC, CLI, and operations.
Add a description, image, and links to the parano1d topic page so that developers can more easily learn about it.
To associate your repository with the parano1d topic, visit your repo's landing page and select "manage topics."