groth16 verifier implementation with solana altbn syscalls
☆63Jul 12, 2026Updated last month
Alternatives and similar repositories for groth16-solana
Users that are interested in groth16-solana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- ☆43Oct 24, 2025Updated 10 months ago
- r1cs file format parser☆25Updated this week
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- The ZK Compression Protocol For Solana☆339Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Solana list of zk shiz☆26Dec 14, 2023Updated 2 years ago
- client side proving☆40Mar 12, 2025Updated last year
- First decentralized & private Battleships game on Solana. Honorable Mention recognition in Solana Grizzlython Hackathon☆32Mar 20, 2023Updated 3 years ago
- Noir support for Zed☆11Mar 23, 2026Updated 5 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆285Apr 26, 2026Updated 4 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆23Feb 8, 2026Updated 6 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Dec 2, 2024Updated last year
- A month-long zkp study group, one topic at a time.☆190Mar 6, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sensei IR's old home. Now to be found in the monorepo.☆19Feb 26, 2026Updated 6 months ago
- ☆13Aug 15, 2024Updated 2 years ago
- ☆64Aug 24, 2026Updated last week
- plonky2 proving over paladin☆22Jun 19, 2024Updated 2 years ago
- ☆36Aug 14, 2025Updated last year
- iden3 documentation☆15Jan 23, 2024Updated 2 years ago
- ☆25Dec 18, 2024Updated last year
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- solana + risc0☆98Apr 21, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Web Assembly low level implementation of pairing friendly curves.☆16Updated this week
- Basic implementation of Borromean ring signatures in Python, for learning☆17Dec 14, 2017Updated 8 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Client-side proving benchmarks☆22Aug 20, 2026Updated 2 weeks ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 6 months ago
- Finite Field Library in Javascript☆57Updated this week
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated last year
- ZK ElGamal Proof Program on Solana☆33Updated this week
- Tutorial for writing constraints in the `arkworks` framework☆264Jun 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- implentation of Ligerito☆20Apr 16, 2026Updated 4 months ago
- A guild to build simple zk rollup☆59Aug 23, 2022Updated 4 years ago
- On-chain Ed25519 and Secp256k1 signature verification using instruction introspection☆82Jan 21, 2026Updated 7 months ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆148Updated this week
- ☆45Aug 26, 2026Updated last week
- Command-line tool that simplifies the development and testing of Solana blockchain programs.☆92Apr 21, 2025Updated last year
- A testing & development environment for Circom.☆117Jul 23, 2026Updated last month