flaub created 44 crates

• cargo-risczero

  18K Founded in Mar 2023. Updated 3 days ago.

• risc0-zkvm

  31K Founded in Aug 2022. Updated 3 days ago.

• risc0-circuit-rv32im

  31K Founded in Dec 2022. Updated 3 days ago.

• risc0-circuit-keccak

  15K Founded in Dec 2024. Updated 3 days ago.

• risc0-circuit-recursion

  31K Founded in Oct 2023. Updated 3 days ago.

• risc0-build

  27K Founded in May 2022. Updated 3 days ago.

• risc0-binfmt

  31K Founded in Aug 2023. Updated 3 days ago.

• risc0-zkp

  32K Founded in Aug 2022. Updated 3 days ago.

• risc0-zkvm-platform

  32K Founded in May 2022. Updated 3 days ago.

• risc0-core

  32K Founded in May 2022. Updated 3 days ago.

• bonsai-sdk

  24K Founded in Jun 2023. Updated 3 days ago.

• risc0-tools

  Founded in Dec 2022. Updated 3 days ago.

• risc0-r0vm

  Founded in Aug 2022. Updated 3 days ago.

• risc0-circuit-rv32im-sys

  7.9K Founded in Mar 2023. Updated 3 days ago.

• risc0-circuit-recursion-sys

  7.9K Founded in Oct 2023. Updated 3 days ago.

• risc0-sys

  8.2K Founded in Feb 2023. Updated 3 days ago.

• risc0-build-kernel

  8.2K Founded in Feb 2023. Updated 3 days ago.

• bonsai-ethereum-relay

  ‼️ Founded in Nov 2023. Last updated a year ago.

• bonsai-rest-api-mock

  ‼️ Founded in Nov 2023. Last updated a year ago.

• bonsai-ethereum-contracts

  ‼️ Founded in Nov 2023. Last updated a year 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-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.