Skip to content

@powdr-labs powdr labs

Change the repository type filter

All

    Repositories list

    34 repositories

    • bench-results

      Public
      0•0•0•0•Updated Aug 25, 2026Aug 25, 2026

    • powdr

      Public
      Performance and security acceleration for zkVMs.
      Rust
      •
      Apache License 2.0
      •136•503•36•20•Updated Aug 24, 2026Aug 24, 2026

    • eip8200-challenges

      Public
      Verified EVM bytecode replacements for Ethereum precompiles (EIP-8200): proofs of equivalence to the precompile spec, plus a gas leaderboard. SHA-256 pilot.
      Lean
      •
      Apache License 2.0
      •3•1•2•1•Updated Aug 24, 2026Aug 24, 2026

    • yul-compiler

      Public
      Verified yul to evm bytecode compiler
      Lean
      •
      Apache License 2.0
      •1•5•5•8•Updated Aug 23, 2026Aug 23, 2026

    • yul-semantics

      Public
      Semantics of the Yul language in lean
      Lean
      •
      Apache License 2.0
      •1•5•0•0•Updated Aug 21, 2026Aug 21, 2026

    • evm-semantics

      Public
      Lean
      •
      Apache License 2.0
      •2•8•6•2•Updated Aug 18, 2026Aug 18, 2026

    • apc-optimizer

      Public
      Lean
      •
      MIT License
      •3•10•3•7•Updated Aug 18, 2026Aug 18, 2026

    • powdr-wasm

      Public
      WebAssembly
      •
      Apache License 2.0
      •5•18•18•14•Updated Aug 7, 2026Aug 7, 2026

    • openvm-eth

      Public
      Rust
      •14•0•0•6•Updated Jul 31, 2026Jul 31, 2026

    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      C++
      •
      GNU General Public License v3.0
      •6.2k•0•0•0•Updated Jul 30, 2026Jul 30, 2026

    • openvm

      Public
      A performant and modular zkVM framework built for customization and extensibility.
      Rust
      •
      Apache License 2.0
      •125•1•0•13•Updated Jul 17, 2026Jul 17, 2026

    • sp1

      Public
      SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
      Rust
      •
      Apache License 2.0
      •690•0•0•0•Updated Jul 16, 2026Jul 16, 2026

    • website

      Public
      Source for powdr.org
      MDX
      •
      MIT License
      •0•1•1•0•Updated Jul 9, 2026Jul 9, 2026

    • crush

      Public
      Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
      Rust
      •
      Apache License 2.0
      •6•29•6•7•Updated Jun 16, 2026Jun 16, 2026

    • elf-opt

      Public
      Lean
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • stark-backend

      Public
      Proof system backends for OpenVM.
      Rust
      •
      Apache License 2.0
      •22•0•0•7•Updated Jun 3, 2026Jun 3, 2026

    • elliptic-curves-k256

      Public
      Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
      Rust
      •292•0•0•0•Updated May 26, 2026May 26, 2026

    • riscv-interpreter

      Public
      A riscv elf executor that supports openvm's custom instructions
      Rust
      •0•0•0•0•Updated May 26, 2026May 26, 2026

    • openvm-reth-benchmark

      Public
      Rust
      •14•0•0•6•Updated Apr 6, 2026Apr 6, 2026

    • go-ethereum

      Public
      Go implementation of the Ethereum protocol
      Go
      •
      GNU Lesser General Public License v3.0
      •22k•0•0•0•Updated Mar 16, 2026Mar 16, 2026

    • crepe

      Public
      Datalog compiler embedded in Rust as a procedural macro
      Rust
      •
      Apache License 2.0
      •21•0•0•1•Updated Dec 11, 2025Dec 11, 2025

    • oracle_map

      Public
      A map that relies on the prover to do the search.
      Rust
      •0•0•0•0•Updated Nov 21, 2025Nov 21, 2025

    • struct-reflection-rs

      Public
      A Rust library for obtaining struct field names at runtime through reflection-like capabilities
      Rust
      •1•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • powdr-legacy

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

    • signatures

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

    • PetraVM

      Public
      A verifiable supercomputer
      Rust
      •
      Apache License 2.0
      •7•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
      •2.5k•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
      •93•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
      •106•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
      •63•0•0•0•Updated Jan 13, 2025Jan 13, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.