flaub created 44 crates
-
risc0-zkvm
‼️ 34K Founded in Aug 2022. Updated a week ago. -
risc0-circuit-rv32im
‼️ 33K Founded in Dec 2022. Updated a week ago. -
risc0-circuit-keccak
‼️ 31K Founded in Dec 2024. Updated a week ago. -
risc0-circuit-recursion
‼️ 33K Founded in Oct 2023. Updated a week ago. -
risc0-build
29K Founded in May 2022. Updated a week ago. -
risc0-binfmt
‼️ 34K Founded in Aug 2023. Updated a week ago. -
risc0-zkp
35K Founded in Aug 2022. Updated a week ago. -
risc0-zkvm-platform
‼️ 35K Founded in May 2022. Updated a week ago. -
risc0-circuit-recursion-sys
16K Founded in Oct 2023. Last updated a month ago. -
risc0-circuit-rv32im-sys
15K Founded in Mar 2023. Last updated a month ago. -
risc0-sys
‼️ 16K Founded in Feb 2023. Last updated a month ago. -
risc0-build-kernel
17K Founded in Feb 2023. Last updated a month ago. -
risc0-core
‼️ 35K Founded in May 2022. Last updated a month ago. -
bonsai-sdk
26K Founded in Jun 2023. Last updated a month ago. -
cargo-risczero
7.8K Founded in Mar 2023. Updated a week ago. -
risc0-r0vm
1.1K Founded in Aug 2022. Updated a week ago. -
risc0-tools
Founded in Dec 2022. Last updated a month 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-proveSole owner since May 2022. -
risc0-zkp-accelSole owner since May 2022.