Skip to content
@powdr-labs

powdr labs

Popular repositories Loading

  1. powdr powdr Public

    Performance and security acceleration for zkVMs.

    Rust 491 127

  2. crush crush Public

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

    Rust 24 6

  3. powdr-revme powdr-revme Public

    powdr application running Ethereum tests via revm

    Rust 18 8

  4. powdr-wasm powdr-wasm Public

    WebAssembly 16 4

  5. leanr leanr Public

    Lean 9

  6. website website Public

    Source for powdr.org

    TypeScript 1

Repositories

Showing 10 of 24 repositories
  • stark-backend Public Forked from openvm-org/stark-backend

    Proof system backends for OpenVM.

    powdr-labs/stark-backend’s past year of commit activity
    Rust 0 Apache-2.0 17 0 5 Updated Apr 8, 2026
  • powdr Public

    Performance and security acceleration for zkVMs.

    powdr-labs/powdr’s past year of commit activity
    Rust 491 Apache-2.0 127 37 (1 issue needs help) 27 Updated Apr 8, 2026
  • leanr Public
    powdr-labs/leanr’s past year of commit activity
    Lean 9 MIT 0 0 0 Updated Apr 8, 2026
  • bench-results Public
    powdr-labs/bench-results’s past year of commit activity
    0 0 0 0 Updated Apr 8, 2026
  • openvm Public Forked from openvm-org/openvm

    A performant and modular zkVM framework built for customization and extensibility.

    powdr-labs/openvm’s past year of commit activity
    Rust 1 Apache-2.0 99 0 9 Updated Apr 7, 2026
  • openvm-reth-benchmark Public Forked from axiom-crypto/openvm-eth
    powdr-labs/openvm-reth-benchmark’s past year of commit activity
    Rust 0 11 0 6 Updated Apr 6, 2026
  • crush Public

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

    powdr-labs/crush’s past year of commit activity
    Rust 24 Apache-2.0 6 5 4 Updated Apr 5, 2026
  • powdr-wasm Public
    powdr-labs/powdr-wasm’s past year of commit activity
    WebAssembly 16 Apache-2.0 4 18 9 Updated Apr 2, 2026
  • elliptic-curves-k256 Public Forked from RustCrypto/elliptic-curves

    Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

    powdr-labs/elliptic-curves-k256’s past year of commit activity
    Rust 0 288 0 0 Updated Mar 20, 2026
  • website Public

    Source for powdr.org

    powdr-labs/website’s past year of commit activity
    TypeScript 1 MIT 0 1 0 Updated Mar 17, 2026
View all repositories

Most used topics

Loading…