Private-spend research on Solana, with Lean-checked mathematics, selected Rust linked to the models through Aeneas, reproducible builds, and a finalized mainnet execution.
privacy stark formal-verification zero-knowledge solana aeneas m31 lean4 poseidon2 circle-stark whir trusted-setup-free
-
Updated
Jul 26, 2026 - Lean