Bulletproofs Inner Product Argument (IPA) recursive halving reduction proving inner product satisfiability without trusted setup.
-
Updated
Sep 9, 2026 - Python
#
transparent-zk
Here are 3 public repositories matching this topic...
Bulletproofs Inner Product Argument (IPA) recursive halving reduction proving inner product satisfiability without trusted setup.
-
Updated
Sep 9, 2026 - Python
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
Sep 28, 2026 - Lean
Add this topic to your repo
To associate your repository with the transparent-zk topic, visit your repo's landing page and select "manage topics."