ControlCplusControlV / Scribe

Related projects: ⓘ

• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated 8 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆57Updated last year
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆73Updated 7 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated this week
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆78Updated 10 months ago
• primitivefinance / arbiter-template
  Minimal template for simulating contracts with arbiter.
  ☆45Updated 3 months ago
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆49Updated 9 months ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 2 years ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated last year
• axiom-crypto / axiom-apps
  ☆33Updated last year
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆57Updated last month
• flashbots / suave-std
  Collection of helpful smart contracts to build Suapps
  ☆42Updated this week
• axiom-crypto / uniswap-v3-oracles
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆126Updated 2 years ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 8 months ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆31Updated last year
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• colinnielsen / dark-safe
  under construction 🚧
  ☆30Updated 5 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆30Updated 6 months ago
• michaelneuder / optimistic-relay-documentation
  ☆31Updated last year
• meoawtistic / ruff
  ☆37Updated 2 years ago
• shunkakinoki / foundry-simulator
  Simulate txs to human readable format
  ☆28Updated last year