poseidon2

Gas efficient Poseidon2 hash on EVM

Privacy-preserving ZK payment pool on Stellar. Noir circuits, Soroban smart contract, and SEP-10/12 KYC integration.

Diff two Plonky3 trees on Poseidon2 NEON correctness oracles + PMU cycle benches

ZirForge Finance — post-quantum private institutional finance & RegTech subsystem on ZirOS. Artifact-only verification release: ZK proofs, verifier, Compact contracts, evidence, integrity spine.

Transparent, Post-Quantum Anonymous Set Membership from FRI-STARKs over BabyBear and Mersenne-31

Incremental Poseidon2 Merkle tree over BN254. Frontier-based appends and inclusion proofs that match the Noir circuit convention, for zero-knowledge note commitments.

Pure-Go Poseidon2 hash over BN254. First standalone Go implementation. Matches Noir stdlib, Barretenberg, and poseidon2-evm.

Vayyl is a privacy-focused settlement application for Stellar Soroban. It uses shielded pools, commitments, nullifiers, Circom/Groth16 proofs, Poseidon2 hashing, and Soroban's native BN254 host functions

Private-spend research on Solana, with Lean-checked mathematics, selected Rust linked to the models through Aeneas, reproducible builds, and a finalized mainnet execution.

Research from ParanO(1)d Lab: proof-native systems, cryptographic protocols, verifiable-state architectures, and reproducible engineering results.

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.