ControlCplusControlV / Scribe
Minimal Yul Transpilation to the Miden VM
☆53Updated 2 years ago
Alternatives and similar repositories for Scribe:
Users that are interested in Scribe are comparing it to the libraries listed below
- an introduction to noir, with simple examples☆45Updated last year
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Noir implementation of RSA-verify☆43Updated last year
- ☆38Updated last year
- ☆40Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆36Updated this week
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆46Updated 3 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Collection of helpful smart contracts to build Suapps☆44Updated 5 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- ☆33Updated 2 years ago
- ☆42Updated 9 months ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 3 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Implementation of Plonk by Hand in rust☆61Updated last year