#
on-chain-verifier
Here are 2 public repositories matching this topic...
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
Add this topic to your repo
To associate your repository with the on-chain-verifier topic, visit your repo's landing page and select "manage topics."