ignotusnemo

parano1d-site

Official website for Parano1d, a proof-native Layer 1 ordered by proof of work.

blockchain cryptocurrency cryptography parano1d post-quantum-cryptography proof-of-work proof-systems statechain static-site wallet zero-knowledge-proofs

Updated 2026-10-21 12:04:20 +00:00

parano1d-soundness

TypeScript 0 0

Executable soundness analysis for Parano1d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.

basefold binary-fields cryptographic-proofs cryptography fri gkr interactive-oracle-proofs parano1d proof-systems reproducible-research rust security-analysis soundness zero-knowledge-proofs

Updated 2026-10-18 07:51:21 +00:00

parano1d

Rust 0 0

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.

blockchain layer-1 post-quantum-cryptography proof-of-work recursive-proofs rust zero-knowledge-proofs

Updated 2026-10-16 08:31:23 +00:00

parano1d-docs

TypeScript 0 0

Technical documentation for Parano1d: architecture, protocol, proof stack, mining, networking, wallet, RPC, CLI, and operations.

blockchain cryptography documentation gkr libp2p nextjs parano1d poseidon2 post-quantum-cryptography proof-of-work proof-systems recursive-proofs statechain technical-documentation typescript utxo zero-knowledge-proofs

Updated 2026-10-13 08:55:58 +00:00

o1-lab

HTML 0 0

Research from Parano1d Lab: proof-native systems, cryptographic protocols, verifiable-state architectures, and reproducible engineering results.

binary-fields blockchain-research cryptographic-research cryptography gkr parano1d polynomial-commitments poseidon2 post-quantum-cryptography proof-systems reproducible-research sumcheck verifiable-computation zero-knowledge-proofs

Updated 2026-10-12 19:28:18 +00:00

agcore

Rust 0 0

Agent Core: native Parano1d State and receipt verification for agents.

Updated 2026-09-30 13:18:34 +00:00

ignotusnemo

0 0

Updated 2026-09-07 11:03:34 +00:00

frost-gkr

Rust 0 0

FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.

arithmetization binary-fields binary-tower-fields cryptography fiat-shamir gkr multilinear-polynomials parano1d polynomial-commitments poseidon2 proof-systems reproducible-research rust sumcheck verifiable-computation zero-knowledge-proofs

Updated 2026-09-07 11:03:32 +00:00