Skip to content

@powdr-labs powdr labs

Change the repository type filter

All

    Repositories list

    27 repositories

    • powdr

      Public
      A modular stack for zkVMs, with a focus on productivity, security and performance.
      Rust
      •
      Apache License 2.0
      •82•422•206•32•Updated Dec 11, 2024Dec 11, 2024

    • elliptic-curves

      Public
      Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
      Rust
      •195•0•0•1•Updated Dec 11, 2024Dec 11, 2024

    • zkvm-perf

      Public
      Rust
      •15•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • raiko

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

    • website

      Public
      Source for powdr.org
      TypeScript
      •
      MIT License
      •2•3•0•1•Updated Nov 8, 2024Nov 8, 2024

    • powdr-template

      Public
      A template for basic powdrVM host/guest projects
      Rust
      •
      MIT License
      •0•2•1•2•Updated Nov 5, 2024Nov 5, 2024

    • powdr-hello-world

      Public
      A small example using powdr as a library to generate proofs.
      Rust
      •
      MIT License
      •1•2•0•0•Updated Oct 27, 2024Oct 27, 2024

    • halo2-solidity-verifier

      Public
      A set of tooling related to halo2 circuits verification inside Solidity contracts
      Rust
      •
      MIT License
      •19•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •142•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • halo2wrong

      Public
      Rust
      •89•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • Plonky3

      Public archive
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •198•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • blog

      Public
      Ruby
      •0•3•0•0•Updated Sep 23, 2024Sep 23, 2024

    • pil-stark-prover

      Public
      Helper rust library to generate eSTARK proofs using Polygon Hermez command line tools.
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jul 8, 2024Jul 8, 2024

    • raki

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

    • powdr-revme

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

    • 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
      •56•0•0•0•Updated May 27, 2024May 27, 2024

    • jobs

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

    • eigen-zkvm

      Public
      A zkVM basing on layered proof system
      Rust
      •
      Apache License 2.0
      •36•1•0•0•Updated May 3, 2024May 3, 2024

    • zkevm-prover

      Public
      zkEVM prover in C++
      C++
      •
      Other
      •155•1•1•2•Updated Apr 18, 2024Apr 18, 2024

    • pil-stark

      Public
      Generates a stark from a pil
      Circom
      •
      Other
      •29•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • goldilocks

      Public
      C++
      •
      Other
      •23•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •155•0•0•0•Updated Mar 29, 2024Mar 29, 2024

    • snark-verifier-axiom

      Public
      Rust
      •
      Apache License 2.0
      •142•0•0•0•Updated Mar 22, 2024Mar 22, 2024

    • revm

      Public
      Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
      Rust
      •
      MIT License
      •577•0•0•0•Updated Mar 2, 2024Mar 2, 2024

    • halo2

      Public
      Rust
      •
      Other
      •500•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • riscv-tests

      Public
      C
      •
      Other
      •467•0•0•0•Updated Jan 29, 2024Jan 29, 2024

    • evmone

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated May 24, 2023May 24, 2023