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
- ☆22Sep 6, 2016Updated 10 years ago
- ☆19Mar 28, 2017Updated 9 years ago
- NORX implementation in Rust☆17Apr 8, 2015Updated 11 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.
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆101Jul 13, 2017Updated 9 years ago
- Python wrapper for http://nacl.cace-project.eu/☆30Nov 8, 2021Updated 4 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆19Apr 19, 2016Updated 10 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- Low-level language for encoding AIR of computations☆37May 7, 2023Updated 3 years ago
- ☆13Jul 28, 2016Updated 10 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Nov 1, 2016Updated 9 years ago
- An implementation of the axolotl ratchet based on libsodium.☆23Oct 4, 2022Updated 4 years ago
- Keyname format for public-key fingerprints☆23Jun 4, 2014Updated 12 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 GPU Miner for Sia☆12Sep 20, 2016Updated 10 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆19Jan 24, 2021Updated 5 years ago
- Fujisaki-Suzuki Ring Signatures in Rust☆20Feb 22, 2021Updated 5 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆25Feb 3, 2024Updated 2 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 7 years ago
- An independent reimplementation of (vn)TinyRAM☆38Dec 14, 2016Updated 9 years ago
- A Java library for zk-SNARK circuits☆216Dec 17, 2022Updated 3 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.
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 7 years ago
- SF Devs build a Bitcoinjs-lib deterministic wallet forked from Carbon Wallet☆19Jun 19, 2014Updated 12 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Jun 1, 2021Updated 5 years ago
- ☆79Nov 1, 2016Updated 9 years ago
- ☆59Apr 17, 2022Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- These testcases are generated by running afl-fuzz against libbitcoinconsensus.☆15May 22, 2015Updated 11 years ago
- Masterchest Wallet☆14Jul 1, 2014Updated 12 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An authenticated data structure based on a red-black tree.☆56Jul 27, 2015Updated 11 years ago
- Alternative to POW for maintaining consensus.☆13Nov 4, 2015Updated 10 years ago
- A compiler for secure multiparty computation☆50Sep 4, 2016Updated 10 years ago
- How to generated and verify ring signatures in monero☆13Mar 27, 2016Updated 10 years ago
- Recursive SNARKs based on Plonk and Halo☆119Oct 19, 2021Updated 5 years ago
- An implementation of publicly verifiable proofs of retrievability☆31Feb 24, 2018Updated 8 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆49Apr 5, 2020Updated 6 years ago