a C++ embedded domain specific language for zero knowledge proofs
☆59Dec 9, 2016Updated 9 years ago
Alternatives and similar repositories for snarkfront
Users that are interested in snarkfront 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 C++ template library for zero knowledge proofs☆49Dec 8, 2015Updated 10 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆55Mar 22, 2016Updated 10 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- ☆22Sep 6, 2016Updated 9 years 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.
- ☆19Mar 28, 2017Updated 9 years ago
- Elliptic Curve Implementation in Solidity☆25Feb 3, 2024Updated 2 years ago
- A GPU Miner for Sia☆12Sep 20, 2016Updated 9 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆103Jul 13, 2017Updated 8 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- Recursive SNARKs based on Plonk and Halo☆118Oct 19, 2021Updated 4 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Nov 1, 2016Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An independent reimplementation of (vn)TinyRAM☆38Dec 14, 2016Updated 9 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 6 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 3 years ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 4 years ago
- Java library for distributed zero knowledge proof systems☆243Apr 13, 2022Updated 4 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Dec 7, 2019Updated 6 years ago
- An implementation of the axolotl ratchet based on libsodium.☆23Oct 4, 2022Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Jun 1, 2021Updated 5 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.
- Parallel Byzantine Fault Tolerance (R&D)☆11Dec 14, 2017Updated 8 years ago
- A set of resources provided for the Bitcoin community.☆10Apr 19, 2021Updated 5 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆241Oct 28, 2024Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆42Jun 18, 2021Updated 5 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated 2 years ago
- A library for generating zk-STARKs.☆148Jul 29, 2022Updated 3 years ago
- A Java library for zk-SNARK circuits☆218Dec 17, 2022Updated 3 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- How to generated and verify ring signatures in monero☆14Mar 27, 2016Updated 10 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.
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 years ago
- ☆13Jul 28, 2016Updated 9 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆11Nov 20, 2018Updated 7 years ago
- C++ library for zkSNARKs☆1,927Jun 12, 2025Updated last year
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆54Aug 21, 2024Updated last year
- ☆79Nov 1, 2016Updated 9 years ago