leonardoalt / powdr-brainfuckLinks
ZK proofs for Brainfuck execution using powdr
☆17Updated last year
Alternatives and similar repositories for powdr-brainfuck
Users that are interested in powdr-brainfuck are comparing it to the libraries listed below
Sorting:
- ☆28Updated 3 years ago
 - powdr application running Ethereum tests via revm☆17Updated last year
 - Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
 - A tool for single Ethereum archival block state proofs.☆35Updated 2 years ago
 - Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Updated 2 years ago
 - a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
 - A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
 - Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
 - zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
 - Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
 - ☆19Updated 3 weeks ago
 - ☆41Updated 2 years ago
 - Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
 - KZG commitments over BLS12-381☆36Updated 3 years ago
 - Andromeda revm execution service☆31Updated last year
 - celestia blobs, evm execution☆19Updated 8 months ago
 - Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
 - Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Updated last year
 - C++ SSZ library☆28Updated last year
 - ☆19Updated 3 years ago
 - calculate new mpt root without loading entire trie☆16Updated last year
 - EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 6 months ago
 - ☆33Updated 2 years ago
 - Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 5 months ago
 - Delve into low-level RISC Zero machine☆28Updated last year
 - openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
 - This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
 - ☆49Updated 2 years ago
 - ☆18Updated last year
 - BN254 Pairing Implementation in Noir☆23Updated 2 years ago