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 6 years ago
- ☆13Mar 15, 2021Updated 5 years ago
- ☆46Dec 10, 2025Updated 4 months ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Nov 21, 2023Updated 2 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Jun 7, 2022Updated 3 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.
- ☆33Mar 27, 2024Updated 2 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Sep 6, 2021Updated 4 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- ☆16Jun 21, 2021Updated 4 years ago
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 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.
- Notes on cryptographic schemes and attacks☆25Dec 13, 2018Updated 7 years ago
- Astrape: Anonymous Payment Channels with Boring Cryptography (extended version)☆13Apr 9, 2022Updated 4 years ago
- ☆21Mar 27, 2022Updated 4 years ago
- Personal notes about ZKP☆30Jun 12, 2024Updated last year
- ☆21Mar 15, 2016Updated 10 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- circom runtime☆20Oct 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 last year
- 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.
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Simple git "smart HTTP" protocol server (mirror of https://gitorious.org/gitorious/git-http-multi-backend)☆10Sep 24, 2014Updated 11 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Ethereum zkEVM book☆83Sep 30, 2025Updated 6 months ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- ☆10May 29, 2018Updated 7 years ago
- Machine Learning Algorithms to predict overall movie gross using IMDB dataset from kaggle☆11Dec 14, 2016Updated 9 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 3 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.
- Notary: A Device for Secure Transaction Approval 📟☆28Feb 1, 2025Updated last year
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆35Jan 23, 2018Updated 8 years ago
- Truebit appliance☆15Oct 18, 2021Updated 4 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Feb 21, 2023Updated 3 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago