zkLinkProtocol / groth16-sol-verifierView external linksLinks
☆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
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 2 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
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jan 20, 2025Updated last year
- ☆15Nov 18, 2024Updated last year
- 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 6 months ago
- ☆13Dec 3, 2022Updated 3 years ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Feb 13, 2024Updated 2 years ago
- groth16 verifier implementation with solana altbn syscalls☆58Oct 25, 2025Updated 3 months ago
- ☆10Jun 23, 2022Updated 3 years ago
- A simple CLI for creating and managing Solana Lookup Tables.☆16Jan 10, 2025Updated last year
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- EraVM specification.☆18Updated this week
- ☆12Nov 18, 2023Updated 2 years ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 4 months ago
- A protocol for subscription payments on Solana☆30Jun 10, 2022Updated 3 years ago
- The example anchor implementation for solana-swap☆12May 18, 2024Updated last year
- Z4: multiplayer real-time decentralized game framework (zk powered)☆18Nov 27, 2024Updated last year
- ☆31May 20, 2025Updated 8 months ago
- Library and gadget to do regex string matches in halo2☆35Jul 25, 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
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Example demonstrating the usage of Verifiable Randomness Function☆16Nov 28, 2022Updated 3 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
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆11May 26, 2023Updated 2 years ago
- ☆40Sep 23, 2022Updated 3 years ago
- The ZK Compression Protocol For Solana☆317Updated this week
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- Hammster Next.js and Halo2 web app.☆17May 21, 2023Updated 2 years ago
- The application website of Aptoswap that hosts on github☆16Sep 20, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago