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).☆56Mar 22, 2016Updated 10 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 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 10 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.
- ☆19Mar 28, 2017Updated 9 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Jul 13, 2017Updated 9 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆119Nov 1, 2016Updated 9 years ago
- A GPU Miner for Sia☆12Sep 20, 2016Updated 9 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- Recursive SNARKs based on Plonk and Halo☆119Oct 19, 2021Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆25Feb 3, 2024Updated 2 years ago
- Implementation of incrementally verifiable ledger system☆18Aug 12, 2026Updated last month
- An independent reimplementation of (vn)TinyRAM☆38Dec 14, 2016Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 years ago
- Low-level language for encoding AIR of computations☆37May 7, 2023Updated 3 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 7 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆23Feb 28, 2018Updated 8 years ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 4 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Dec 7, 2019Updated 6 years ago
- Java library for distributed zero knowledge proof systems☆243Apr 13, 2022Updated 4 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Jun 1, 2021Updated 5 years ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Dec 14, 2017Updated 8 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.
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- An implementation of the axolotl ratchet based on libsodium.☆23Oct 4, 2022Updated 3 years ago
- An authenticated data structure based on a red-black tree.☆55Jul 27, 2015Updated 11 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆240Oct 28, 2024Updated last year
- A library for generating zk-STARKs.☆149Jul 29, 2022Updated 4 years ago
- A Java library for zk-SNARK circuits☆216Dec 17, 2022Updated 3 years ago
- How to generated and verify ring signatures in monero☆13Mar 27, 2016Updated 10 years ago
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 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.
- ☆13Jul 28, 2016Updated 10 years ago
- ☆79Nov 1, 2016Updated 9 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆77Feb 10, 2020Updated 6 years ago
- A set of resources provided for the Bitcoin community.☆10Apr 19, 2021Updated 5 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆54Aug 21, 2024Updated 2 years ago
- ☆12Jun 29, 2022Updated 4 years ago
- C++ library for zkSNARKs☆1,931Jun 12, 2025Updated last year