Alternatives and similar repositories for powdr-brainfuck

Users that are interested in powdr-brainfuck are comparing it to the libraries listed below

• nikkolasg / halo2-circuits
  ☆28Updated 4 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• EchoAlice / my_kademlia
  Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.
  ☆10Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 4 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated 2 years ago
• S1nus / blevm
  celestia blobs, evm execution
  ☆19Updated 10 months ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Updated 2 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆35Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆13Updated last year
• clabby / brisc
  A simple RISC-V runtime.
  ☆33Updated 3 months ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆15Updated 2 weeks ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated last week
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆24Updated 8 months ago
• freelerobot / thaler
  ☆27Updated 3 years ago
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated 2 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆29Updated 2 years ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated last year
• 0xprames / nitro-revm
  PoC of Revm execution in a Nitro Enclave
  ☆29Updated 2 years ago