Aspis ZK: native Circle STARK verification and private payments on Solana, with Lean 4 proofs and finalized mainnet evidence.
rust cryptography privacy stark formal-verification zero-knowledge zk-starks solana zero-knowledge-proofs zkp m31 lean4 poseidon2 circle-stark on-chain-verifier trusted-setup-free transparent-zk solana-zk solana-stark stark-verifier
-
Updated
Oct 1, 2026 - Lean