Popular repositories Loading
-
-
powdr-hello-world
powdr-hello-world PublicA small example using powdr as a library to generate proofs.
-
-
eigen-zkvm
eigen-zkvm PublicForked from 0xEigenLabs/eigen-zkvm
A zkVM basing on layered proof system
Rust 1
Repositories
- raiko Public Forked from taikoxyz/raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
powdr-labs/raiko’s past year of commit activity - pil-stark-prover Public
Helper rust library to generate eSTARK proofs using Polygon Hermez command line tools.
powdr-labs/pil-stark-prover’s past year of commit activity - elliptic-curves 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’s past year of commit activity - crypto-bigint Public Forked from RustCrypto/crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
powdr-labs/crypto-bigint’s past year of commit activity