b-chiang / schnorr-nizk

Related projects ⓘ

Alternatives and complementary repositories for schnorr-nizk

• hrkrshnn / solmate-math-fuzz
  ☆34Updated 2 years ago
• devtooligan / bit-magic-huff-speedrun
  Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html
  ☆21Updated 2 years ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 3 months ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated 5 months ago
• kadenzipfel / huff-tools
  A set of tools for use with the huff language.
  ☆21Updated 2 years ago
• clabby / op-reth
  ☆17Updated last year
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• oana-barbu / mev-bootee
  Partial Block Building with TEEs
  ☆17Updated 7 months ago
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated last year
• jtriley-eth / libhuff
  optimized huff snippets
  ☆20Updated last year
• hrkrshnn / ethccgame
  ☆13Updated 2 years ago
• rkrasiuk / op-reth
  ☆23Updated last year
• ricobank / multifab-draft
  SUPERCEDED by ricobank/multifab
  ☆20Updated 2 years ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• karmacoma-eth / snow-computer-club
  ☆17Updated 2 years ago
• pepyakin / rusty-cannon
  Fork of cannon that supports Rust
  ☆15Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 2 years ago
• trianglesphere / rnode
  ☆21Updated last year
• ncitron / op-e2e
  An end to end test suite for the OP Stack
  ☆17Updated last year
• 0xPhaze / clones-with-immutable-args-comparison
  ☆12Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• refcell / orbits
  A collection of practical circom circuits
  ☆14Updated 2 years ago
• leonardoalt / hevm_paper
  ☆12Updated 2 years ago
• rkrasiuk / reth-light
  ☆23Updated last year
• xJonathanLEI / starkware-crypto-rs
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Updated 2 years ago
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆26Updated 3 weeks ago
• refcell / huffplate
  Robust, Extensible Template for Huff Projects
  ☆27Updated 2 years ago