Lightprotocol / groth16-solana
groth16 verifier implementation with solana altbn syscalls
☆29Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for groth16-solana
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- ☆21Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- solana + risc0☆59Updated this week
- Smart contracts for on-chain anonymous settlement.☆95Updated this week
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Crypto Gadgets for Plonky2☆71Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- ☆26Updated 2 years ago
- ☆30Updated 3 weeks ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- Email verification circuit in halo2☆63Updated 4 months ago
- PoC of Revm execution in SGX☆81Updated last year
- Fast implementation of Ethereum RLP serialization☆88Updated last month
- ☆31Updated 8 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Sidecar to Enable Rollup Extensions☆55Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆40Updated 6 months ago
- ☆27Updated this week
- uniswap sdk core in rust☆47Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- On-chain Ethereum light client built with SP1☆20Updated 2 weeks ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 7 months ago
- OS for next iteration of the world computer☆45Updated last year
- Minimal template for using the Arbiter framework for simulations.☆45Updated last week