poseidon2

Gas efficient Poseidon2 hash on EVM

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

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

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

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

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

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

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

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

Research-stage Rust protocol for privacy-preserving, multi-asset settlement: deterministic state transitions, CometBFT integration, STARK/Poseidon2 and post-quantum design work.

Aspis ZK: native Circle STARK verification and private payments on Solana, with Lean 4 proofs and finalized mainnet evidence.

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