powdr labs

Popular repositories Loading

1. powdr powdr Public

   Performance and security acceleration for zkVMs.

   Rust 503 136

2. crush crush Public

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

   Rust 29 6

3. powdr-wasm powdr-wasm Public

   WebAssembly 18 4

4. apc-optimizer apc-optimizer Public

   Lean 10 3

5. evm-semantics evm-semantics Public

   Lean 8 3

6. yul-semantics yul-semantics Public

   Semantics of the Yul language in lean

   Lean 5 2