☆29Aug 17, 2022Updated 3 years ago
Alternatives and similar repositories for groth16-sol-verifier
Users that are interested in groth16-sol-verifier are comparing it to the libraries listed below
Sorting:
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated 8 months ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- zklink starknet core contracts, cairo1.0 compatible☆15Dec 23, 2023Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- zklink core contract, EVM compatible.☆102Jun 18, 2024Updated last year
- Bridging ecosystems by storing Zero-knowledge proofs of Solana votes on the Aleo blockchain.☆21Mar 14, 2024Updated last year
- Chess game on Solana (WIP)☆13Oct 14, 2020Updated 5 years ago
- A minimal proof‑of‑concept that shows how Solana apps can react at runtime when their transaction is routed to a malicious validator.☆19Jul 25, 2025Updated 7 months ago
- ☆13Dec 3, 2022Updated 3 years ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jan 20, 2025Updated last year
- ☆15Nov 18, 2024Updated last year
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Feb 13, 2024Updated 2 years ago
- A simple CLI for creating and managing Solana Lookup Tables.☆16Jan 10, 2025Updated last year
- EraVM specification.☆18Updated this week
- ☆10Jun 23, 2022Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 5 months ago
- groth16 verifier implementation with solana altbn syscalls☆60Oct 25, 2025Updated 4 months ago
- ☆12Nov 18, 2023Updated 2 years ago
- A protocol for subscription payments on Solana☆30Jun 10, 2022Updated 3 years ago
- Z4: multiplayer real-time decentralized game framework (zk powered)☆18Nov 27, 2024Updated last year
- ☆31May 20, 2025Updated 9 months ago
- The example anchor implementation for solana-swap☆12May 18, 2024Updated last year
- plonky2 recursion framework handling different circuits in unified way.☆16Mar 22, 2024Updated last year
- A set of useful Rust libraries for Solana development.☆15Feb 4, 2025Updated last year
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆11May 26, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆40Sep 23, 2022Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- The ZK Compression Protocol For Solana☆319Feb 27, 2026Updated last week
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Mar 5, 2023Updated 3 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- 🛠 An SDK for building applications on top of AnimeSwap v1☆14May 3, 2023Updated 2 years ago