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
- 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.
- ☆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☆117Oct 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 6 years ago
- An independent reimplementation of (vn)TinyRAM☆38Dec 14, 2016Updated 9 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 2 years ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago
- Java library for distributed zero knowledge proof systems☆247Apr 13, 2022Updated 3 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☆145Jun 1, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A set of resources provided for the Bitcoin community.☆10Apr 19, 2021Updated 4 years ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Dec 14, 2017Updated 8 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☆41Jun 18, 2021Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- A library for generating zk-STARKs.☆147Jul 29, 2022Updated 3 years ago
- A Java library for zk-SNARK circuits☆216Dec 17, 2022Updated 3 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆11Nov 20, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- How to generated and verify ring signatures in monero☆14Mar 27, 2016Updated 10 years ago
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 years ago
- ☆13Jul 28, 2016Updated 9 years ago
- C++ library for zkSNARKs☆1,920Jun 12, 2025Updated 9 months ago
- 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☆53Aug 21, 2024Updated last year
- ☆79Nov 1, 2016Updated 9 years ago