Popular repositories Loading

1. powdr powdr Public

   Performance and security acceleration for zkVMs.

   Rust 499 136

2. crush crush Public

   Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

   Rust 29 6

3. powdr-revme powdr-revme Public

   powdr application running Ethereum tests via revm

   Rust 18 8

4. powdr-wasm powdr-wasm Public

   WebAssembly 18 5

5. leanr leanr Public

   Lean 9

6. evm-semantics evm-semantics Public

   Lean 3 1