Alternatives and similar repositories for powdr-brainfuck

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

• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• privacy-ethereum / zkspecs

  View on GitHub
  ☆24Mar 2, 2025Updated 11 months ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• hyli-org / verifiers-for-hyle

  View on GitHub
  ☆11Aug 11, 2024Updated last year
• 0xClandestine / uniswap-gas

  View on GitHub
  A comprehensive gas report comparing all four versions of Uniswap, a popular decentralized exchange protocol.
  ☆11Jun 16, 2023Updated 2 years ago
• bbuhrow / avx512_modexp

  View on GitHub
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Dec 18, 2023Updated 2 years ago
• unbalancedparentheses / learning

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago
• Maddiaa0 / honk-verifier

  View on GitHub
  Honk Verifier in Solidity
  ☆50Oct 14, 2024Updated last year
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• asm-nop / lemma

  View on GitHub
  ZK Theorem Proving
  ☆10Aug 11, 2024Updated last year
• Maddiaa0 / solidity-circuits

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Feb 10, 2026Updated last week
• DelphinusLab / zkWasm-rust

  View on GitHub
  rust sdk for zkWasm
  ☆11Updated this week
• althea-net / serde-rlp

  View on GitHub
  Ethereum's RLP encoding implemented as a Serde data format
  ☆13Oct 10, 2022Updated 3 years ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• olehmisar / nodash

  View on GitHub
  A Swiss knife for Noir
  ☆17Updated this week
• obliviouslabs / oram

  View on GitHub
  Oblivious key-value store based on Circuit ORAM
  ☆36Mar 22, 2025Updated 10 months ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• shaih / cpp-lwevss

  View on GitHub
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Oct 18, 2021Updated 4 years ago
• MozillaSecurity / nss-fuzzing-corpus

  View on GitHub
  Corpora used to seed NSS' fuzzing targets
  ☆10Feb 1, 2026Updated 2 weeks ago
• argumentcomputer / FFaCiL.lean

  View on GitHub
  Finite Fields and Curves in Lean
  ☆14Apr 6, 2023Updated 2 years ago
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• lightclient / 4788asm

  View on GitHub
  Assembly implementation of EIP-4788 system contract.
  ☆24Aug 20, 2024Updated last year
• rodrigoherrerai / huff-deployer

  View on GitHub
  A Hardhat plugin to test Huff contracts
  ☆14Jan 8, 2024Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• tintinweb / vscode-circom-pro

  View on GitHub
  👩‍💻 Circom compiler, snippets, hover and language support for Visual Studio Code
  ☆16Apr 20, 2023Updated 2 years ago
• ICME-Lab / zkEngine_dev

  View on GitHub
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆40Oct 28, 2025Updated 3 months ago
• privacy-ethereum / webauth-circom

  View on GitHub
  ☆19Feb 2, 2024Updated 2 years ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• zkmove / halo2-verifier.move

  View on GitHub
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Feb 4, 2026Updated last week
• bitwiseshiftleft / ladder_formulas

  View on GitHub
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆22Jul 1, 2020Updated 5 years ago
• matter-labs / zksync-crypto-gpu

  View on GitHub
  GPU-acceselerated cryptography libraries for ZKsync
  ☆22Updated this week