erhant / zkbrainfuck
A Brainfuck zkVM with Circom.
☆58Updated last year
Alternatives and similar repositories for zkbrainfuck:
Users that are interested in zkbrainfuck are comparing it to the libraries listed below
- Export Circom verifier to Cairo☆49Updated 2 years ago
- My personal notebook for various zk-related topics☆47Updated last month
- an introduction to noir, with simple examples☆43Updated last year
- ☆51Updated this week
- Provides tools for testing circom circuits.☆58Updated 7 months ago
- A Noir circuit that mimics Solidity's ecrecover☆48Updated 2 months ago
- ☆36Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated last year
- ☆53Updated last year
- Email verification circuit in halo2☆67Updated 7 months ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆52Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆65Updated 6 months ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated last year
- Like Safe... but secret 🥷🏽☆57Updated last month
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- Poseidon hash function implemented in Solidity☆47Updated 6 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 2 months ago
- CLI tool to develop Starknet projects written in Cairo☆56Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆39Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆78Updated 2 weeks ago
- Minimal template for using the Arbiter framework for simulations.☆45Updated last month