Skip to content

@powdr-labs powdr labs

Change the repository type filter

All

    Repositories list

    20 repositories

    • bench-results

      Public
      0•0•0•0•Updated Sep 26, 2025Sep 26, 2025

    • powdr

      Public
      A modular stack for zkVMs, with a focus on productivity, security and performance.
      Rust
      •
      Apache License 2.0
      •113•470•17•19•Updated Sep 26, 2025Sep 26, 2025

    • womir

      Public
      Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
      WebAssembly
      •
      Apache License 2.0
      •3•15•1•2•Updated Sep 25, 2025Sep 25, 2025

    • womir-openvm

      Public
      Rust
      •
      Apache License 2.0
      •2•5•2•5•Updated Sep 25, 2025Sep 25, 2025

    • openvm

      Public
      A performant and modular zkVM framework built for customization and extensibility.
      Rust
      •
      Apache License 2.0
      •69•0•0•3•Updated Sep 25, 2025Sep 25, 2025

    • website

      Public
      Source for powdr.org
      TypeScript
      •
      MIT License
      •2•3•0•0•Updated Sep 22, 2025Sep 22, 2025

    • stark-backend

      Public
      Proof system backends for OpenVM.
      Rust
      •
      Apache License 2.0
      •11•0•0•0•Updated Sep 17, 2025Sep 17, 2025

    • openvm-reth-benchmark

      Public
      Rust
      •5•0•0•4•Updated Sep 16, 2025Sep 16, 2025

    • elliptic-curves-k256

      Public
      Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
      Rust
      •238•0•0•0•Updated Sep 10, 2025Sep 10, 2025

    • powdr-legacy

      Public
      A modular stack for zkVMs, with a focus on productivity, security and performance.
      Rust
      •
      Apache License 2.0
      •113•0•0•0•Updated Aug 28, 2025Aug 28, 2025

    • signatures

      Public
      Cryptographic signature algorithms: DSA, ECDSA, Ed25519
      Rust
      •157•0•0•1•Updated Aug 15, 2025Aug 15, 2025

    • PetraVM

      Public
      A verifiable supercomputer
      Rust
      •
      Apache License 2.0
      •6•0•0•0•Updated Jun 3, 2025Jun 3, 2025

    • reth

      Public
      Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
      Rust
      •
      Apache License 2.0
      •1.9k•0•0•0•Updated May 25, 2025May 25, 2025

    • crypto-bigint

      Public
      Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
      Rust
      •
      Apache License 2.0
      •69•0•0•1•Updated Jan 22, 2025Jan 22, 2025

    • zeth

      Public
      A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
      Rust
      •
      Apache License 2.0
      •97•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • tiny-keccak

      Public
      An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •60•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • raiko

      Public
      Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
      Rust
      •
      Apache License 2.0
      •124•0•0•0•Updated Nov 12, 2024Nov 12, 2024

    • raki

      Public
      RISC-V instruction decoder written in Rust.
      Rust
      •
      MIT License
      •6•0•0•0•Updated Jul 3, 2024Jul 3, 2024

    • powdr-revme

      Public
      powdr application running Ethereum tests via revm
      Rust
      •8•17•0•0•Updated Jun 24, 2024Jun 24, 2024

    • jobs

      Public
      Open roles @ powdr labs
      0•0•0•0•Updated May 13, 2024May 13, 2024