Lib.rs

flaub created 44 crates

• risc0-zkvm

  17K Founded in Aug 2022. Updated 4 weeks ago.

• risc0-circuit-rv32im

  16K Founded in Dec 2022. Updated 4 weeks ago.

• risc0-circuit-recursion

  15K Founded in Oct 2023. Updated 4 weeks ago.

• risc0-build

  12K Founded in May 2022. Updated 4 weeks ago.

• risc0-binfmt

  16K Founded in Aug 2023. Updated 4 weeks ago.

• risc0-zkp

  16K Founded in Aug 2022. Updated 4 weeks ago.

• risc0-zkvm-platform

  16K Founded in May 2022. Updated 4 weeks ago.

• risc0-core

  16K Founded in May 2022. Updated 4 weeks ago.

• bonsai-sdk

  10K Founded in Jun 2023. Updated 4 weeks ago.

• risc0-tools

  Founded in Dec 2022. Updated 4 weeks ago.

• cargo-risczero

  9.3K Founded in Mar 2023. Updated 4 weeks ago.

• risc0-r0vm

  Founded in Aug 2022. Updated 4 weeks ago.

• risc0-circuit-rv32im-sys

  6.1K Founded in Mar 2023. Updated 4 weeks ago.

• risc0-circuit-recursion-sys

  5.8K Founded in Oct 2023. Updated 4 weeks ago.

• risc0-sys

  5.7K Founded in Feb 2023. Updated 4 weeks ago.

• risc0-build-kernel

  5.7K Founded in Feb 2023. Updated 4 weeks ago.

• bonsai-ethereum-relay

  ‼️ Founded in Nov 2023. Last updated 11 months ago.

• bonsai-rest-api-mock

  ‼️ Founded in Nov 2023. Last updated 11 months ago.

• bonsai-ethereum-contracts

  ‼️ Founded in Nov 2023. Last updated 11 months ago.

• risc0-zeroio

  Founded in Dec 2022. Last updated 2 years ago.

• risc0-zeroio-derive

  Founded in Dec 2022. Last updated 2 years ago.

• risc0-zkvm-guest

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-circuit

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-sys

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-circuit-gen

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-circuit-sys

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-platform-sys

  Founded in May 2022. Last updated 2 years ago.

• risc0-core-sys

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-verify

  Founded in Apr 2022. Last updated 2 years ago.

• risc0-zkp-hal

  Founded in Jun 2022. Last updated 2 years ago.

• risc0-zkvm-core

  Founded in Apr 2022. Last updated 2 years ago.

• risc0-zkp-core

  Founded in Apr 2022. Last updated 2 years ago.

• risc0-zkvm-host

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-serde

  Founded in Apr 2022. Last updated 2 years ago.

• tbb-sys

  Founded in May 2022. Last updated 2 years ago.

• tbb

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-host-sys

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkvm-prove

  Founded in May 2022. Last updated 2 years ago.

• risc0-zkp-verify

  Founded in Apr 2022. Last updated 2 years ago.

• risc0-circuit-keccak

  Sole owner since Dec 2024. Updated 4 weeks ago.

• risc0-sppark

  Sole owner since Dec 2023. Last updated a year ago.

• risc0-zkp-sys

  Sole owner since May 2022. Last updated 2 years ago.

• risc0-zkp-prove

  Sole owner since May 2022.

• risc0-zkp-accel

  Sole owner since May 2022.