groth16 verifier implementation with solana altbn syscalls
☆62Jul 12, 2026Updated 2 months ago
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 11 months ago
- r1cs file format parser☆25Sep 2, 2026Updated 3 weeks ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- The ZK Compression Protocol For Solana☆337Sep 10, 2026Updated 2 weeks 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.
- 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 6 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 7 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.☆189Mar 6, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Sensei IR's old home. Now to be found in the monorepo.☆19Feb 26, 2026Updated 6 months ago
- ☆13Aug 15, 2024Updated 2 years ago
- ☆65Aug 24, 2026Updated 3 weeks ago
- ☆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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- solana + risc0☆98Apr 21, 2026Updated 5 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Sep 3, 2026Updated 3 weeks ago
- 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 7 months ago
- Finite Field Library in Javascript☆57Sep 2, 2026Updated 3 weeks ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated last year
- ZK ElGamal Proof Program on Solana☆33Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- ☆45Aug 26, 2026Updated 3 weeks ago
- A testing & development environment for Circom.☆118Jul 23, 2026Updated 2 months ago