Research repository for distributed GPU based zkSNARKs prover
☆23Oct 11, 2018Updated 7 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
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 4 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆80Nov 26, 2019Updated 6 years ago
- ☆12Mar 15, 2021Updated 5 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆97Nov 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 10 months ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- ☆33Mar 27, 2024Updated 2 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 7 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 3 years ago
- ☆20Nov 30, 2022Updated 3 years ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Sep 6, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Astrape: Anonymous Payment Channels with Boring Cryptography (extended version)☆13Apr 9, 2022Updated 4 years ago
- ☆16Jun 21, 2021Updated 5 years ago
- ☆21Mar 27, 2022Updated 4 years ago
- Notes on cryptographic schemes and attacks☆25Dec 13, 2018Updated 7 years ago
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 years ago
- ☆47Dec 10, 2025Updated 7 months ago
- ☆20Mar 15, 2016Updated 10 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- Personal notes about ZKP☆31Jun 12, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 2 years ago
- circom runtime☆21Oct 18, 2024Updated last year
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 5 years ago
- Official Code Repo for the paper "Learning to Play Atari in a World of Tokens" accepted at ICML, 2024☆11Jun 6, 2024Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Argument systems for inner pairing products☆45Jul 31, 2024Updated last year
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 8 years ago
- 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.
- Simplifying FPGA management in Docker☆13Mar 20, 2024Updated 2 years ago
- Extended-precision modular arithmetic library that targets CUDA.☆40Apr 24, 2023Updated 3 years ago
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆10Aug 29, 2021Updated 4 years ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Notary: A Device for Secure Transaction Approval 📟☆30Feb 1, 2025Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 3 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Feb 21, 2023Updated 3 years ago