Lib.rs

flaub created 43 crates

• risc0-tools

  Founded in Dec 2022. Last updated 2 months ago.

• cargo-risczero

  8.8K Founded in Mar 2023. Last updated 2 months ago.

• risc0-r0vm

  Founded in Aug 2022. Last updated 2 months ago.

• risc0-zkvm

  7.5K Founded in Aug 2022. Last updated 2 months ago.

• risc0-circuit-rv32im

  7.5K Founded in Dec 2022. Last updated 2 months ago.

• risc0-circuit-rv32im-sys

  4.1K Founded in Mar 2023. Last updated 2 months ago.

• risc0-circuit-recursion

  7.3K Founded in Oct 2023. Last updated 2 months ago.

• risc0-circuit-recursion-sys

  4.0K Founded in Oct 2023. Last updated 2 months ago.

• bonsai-sdk

  6.2K Founded in Jun 2023. Last updated 2 months ago.

• risc0-build

  5.4K Founded in May 2022. Last updated 2 months ago.

• risc0-binfmt

  7.6K Founded in Aug 2023. Last updated 2 months ago.

• risc0-zkp

  7.8K Founded in Aug 2022. Last updated 2 months ago.

• risc0-zkvm-platform

  7.8K Founded in May 2022. Last updated 2 months ago.

• risc0-sys

  4.1K Founded in Feb 2023. Last updated 2 months ago.

• risc0-build-kernel

  4.2K Founded in Feb 2023. Last updated 2 months ago.

• risc0-core

  7.8K Founded in May 2022. Last updated 2 months ago.

• bonsai-ethereum-relay

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

• bonsai-rest-api-mock

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

• bonsai-ethereum-contracts

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

• risc0-zeroio

  Founded in Dec 2022. Last updated a year ago.

• risc0-zeroio-derive

  Founded in Dec 2022. Last updated a year 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-sppark

  Sole owner since Dec 2023. Last updated 4 months 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.