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 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆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 2 weeks ago
- An independent reimplementation of (vn)TinyRAM☆38Dec 14, 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.
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 years ago
- Low-level language for encoding AIR of computations☆38May 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.☆24Feb 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆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,932Jun 12, 2025Updated last year