Pinned Loading

1. risc0/risc0 risc0/risc0 Public

   RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

   C++ 1.9k 580

2. risc0/zeth risc0/zeth Public

   A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

   Rust 421 94

3. cargo-lambda/cargo-lambda cargo-lambda/cargo-lambda Public

   Cargo Lambda is a Cargo subcommand to help you work with AWS Lambda.

   Rust 813 97

4. boundless-xyz/boundless boundless-xyz/boundless Public

   Monorepo for Boundless, the universal ZK protocol

   Rust 68 63