groth16 verifier implementation with solana altbn syscalls
☆62Oct 11, 2026Updated this week
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 2 years ago
- ☆44Oct 24, 2025Updated 11 months ago
- r1cs file format parser☆25Sep 2, 2026Updated last month
- a reference on testing and constraining circom☆21Oct 2, 2024Updated 2 years ago
- The ZK Compression Protocol For Solana☆338Sep 29, 2026Updated 2 weeks 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.
- 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☆12Mar 23, 2026Updated 6 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆285Apr 26, 2026Updated 5 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆23Feb 8, 2026Updated 8 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 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sensei IR's old home. Now to be found in the monorepo.☆19Feb 26, 2026Updated 7 months ago
- ☆13Aug 15, 2024Updated 2 years ago
- ☆65Aug 24, 2026Updated last month
- ☆14Dec 13, 2024Updated last year
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- solana + risc0☆97Apr 21, 2026Updated 5 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Oct 4, 2026Updated last 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☆22Updated this week
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 8 months ago
- Finite Field Library in Javascript☆57Sep 2, 2026Updated last month
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated last year
- ZK ElGamal Proof Program on Solana☆34Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tutorial for writing constraints in the `arkworks` framework☆264Jun 21, 2024Updated 2 years ago
- implentation of Ligerito☆20Apr 16, 2026Updated 5 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 8 months ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆148Updated this week
- ☆45Oct 6, 2026Updated last week
- A testing & development environment for Circom.☆118Jul 23, 2026Updated 2 months ago