Research repository for distributed GPU based zkSNARKs prover
☆23Oct 11, 2018Updated 8 years ago
Alternatives and similar repositories for snarkyGPU
Users that are interested in snarkyGPU are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 7 years ago
- zk Library☆12May 5, 2023Updated 3 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆81Nov 26, 2019Updated 6 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Nov 21, 2023Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 5 years ago
- 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.
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 4 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated last year
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 8 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- ☆21Mar 27, 2022Updated 4 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- Astrape: Anonymous Payment Channels with Boring Cryptography (extended version)☆13Apr 9, 2022Updated 4 years ago
- Library for interacting with Access List☆18Sep 13, 2022Updated 4 years ago
- 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.
- ☆34Mar 27, 2024Updated 2 years ago
- ☆20Nov 30, 2022Updated 3 years ago
- ☆16Jun 21, 2021Updated 5 years ago
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 years ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Sep 6, 2021Updated 5 years ago
- Notes on cryptographic schemes and attacks☆25Dec 13, 2018Updated 7 years ago
- ☆48Dec 10, 2025Updated 10 months ago
- circom runtime☆21Oct 18, 2024Updated 2 years ago
- A starter template to kickstart your next (awesome) web app☆12Sep 29, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An implementation of the Groth-Sahai NIZK protocol☆13Oct 19, 2016Updated 10 years ago
- ☆10Aug 12, 2026Updated 2 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 8 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Personal notes about ZKP☆31Jun 12, 2024Updated 2 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- IPC implementation atop CometBFT☆17Jan 11, 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.
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆34Mar 27, 2022Updated 4 years ago
- go-ima is a tool that checks if a file has been tampered with. It is useful in ensuring integrity in CI systems☆14Sep 28, 2023Updated 3 years ago
- Argument systems for inner pairing products☆46Jul 31, 2024Updated 2 years ago
- Extended-precision modular arithmetic library that targets CUDA.☆40Apr 24, 2023Updated 3 years ago
- Simplifying FPGA management in Docker☆13Mar 20, 2024Updated 2 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Feb 21, 2023Updated 3 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 3 years ago