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.

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.

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.

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

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