Pinned Repositories
blog
eigen-zkvm
A zkVM basing on layered proof system
elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
pil-stark-prover
Helper rust library to generate eSTARK proofs using Polygon Hermez command line tools.
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
powdr-hello-world
A small example using powdr as a library to generate proofs.
powdr-revme
powdr application running Ethereum tests via revm
powdr-template
A template for basic powdrVM host/guest projects
website
Source for powdr.org
zkevm-prover
zkEVM prover in C++
powdr-labs's Repositories
powdr-labs/powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
powdr-labs/powdr-revme
powdr application running Ethereum tests via revm
powdr-labs/website
Source for powdr.org
powdr-labs/blog
powdr-labs/powdr-hello-world
A small example using powdr as a library to generate proofs.
powdr-labs/powdr-template
A template for basic powdrVM host/guest projects
powdr-labs/eigen-zkvm
A zkVM basing on layered proof system
powdr-labs/jobs
Open roles @ powdr labs
powdr-labs/pil-stark-prover
Helper rust library to generate eSTARK proofs using Polygon Hermez command line tools.
powdr-labs/zkevm-prover
zkEVM prover in C++
powdr-labs/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
powdr-labs/evmone
powdr-labs/goldilocks
powdr-labs/halo2
powdr-labs/halo2-lib
Monorepo of halo2 crates
powdr-labs/pil-stark
Generates a stark from a pil
powdr-labs/Plonky3
A toolkit for polynomial IOPs (PIOPs)
powdr-labs/raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
powdr-labs/revm
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
powdr-labs/riscv-tests
powdr-labs/snark-verifier-axiom
powdr-labs/zkvm-perf
powdr-labs/crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
powdr-labs/halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
powdr-labs/halo2wrong
powdr-labs/raki
RISC-V instruction decoder written in Rust.
powdr-labs/snark-verifier
powdr-labs/tiny-keccak
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
powdr-labs/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM