Lightprotocol / groth16-solana
groth16 verifier implementation with solana altbn syscalls
☆41Updated 5 months ago
Alternatives and similar repositories for groth16-solana:
Users that are interested in groth16-solana are comparing it to the libraries listed below
- ☆28Updated 3 weeks ago
- solana + risc0☆69Updated this week
- ☆29Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- First decentralized & private Battleships game on Solana. Honorable Mention recognition in Solana Grizzlython Hackathon☆27Updated last year
- ☆74Updated this week
- Solana list of zk shiz☆19Updated last year
- ☆22Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆78Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 6 months ago
- ☆35Updated 3 months ago
- Solana SVM, modularized.☆52Updated 10 months ago
- ZKM Development Template/Framework☆24Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Reference implementation of a sandwich-resistant AMM for the Solana blockchain☆50Updated 3 months ago
- Off-chain SVM payment channel.☆38Updated 3 months ago
- ☆37Updated this week
- Typestate interface for revm☆71Updated 2 weeks ago
- A monorepo of reusable crates for zero-knowledge technologies.☆12Updated last month
- Sidecar to Enable Rollup Extensions☆70Updated this week
- uniswap sdk core in rust☆48Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆103Updated 2 months ago
- A monorepo of reusable Noir circuits.☆28Updated last week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- A curated list of awesome things related to learning Circle STARK.☆27Updated 4 months ago
- Breathe air☆22Updated 9 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago