ignotusnemo

0 followers · 0 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• Joined on 2026-09-07

Repositories

7

Projects Public activity Starred repositories

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

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-09-07 11:03:47 +00:00

parano1d-site

JavaScript 0 0

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-09-07 11:03:45 +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-09-07 11:03:42 +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-09-07 11:03:39 +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-09-07 11:03:36 +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