Member of GitHub orgs
risc0Frank Laub created 33 crates
-
risc0-tools
Founded in Dec 2022. Last updated a week ago. -
risc0-r0vm
Founded in Aug 2022. Last updated a week ago. -
risc0-build
Founded in May 2022. Last updated a week ago. -
risc0-zkvm
Founded in Aug 2022. Last updated a week ago. -
risc0-circuit-rv32im
Founded in Dec 2022. Last updated a week ago. -
risc0-zkp
Founded in Aug 2022. Last updated a week ago. -
risc0-zeroio
Founded in Dec 2022. Last updated a week ago. -
risc0-zkvm-platform
Founded in May 2022. Last updated a week ago. -
risc0-zeroio-derive
Founded in Dec 2022. Last updated a week ago. -
risc0-sys
Founded in Feb 2023. Last updated a week ago. -
risc0-build-kernel
Founded in Feb 2023. Last updated a week ago. -
risc0-core
Founded in May 2022. Last updated a week ago. -
risc0-zkvm-guest
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-circuit
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-sys
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-circuit-gen
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-circuit-sys
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-platform-sys
Founded in May 2022. Last updated 6 months ago. -
risc0-zkp-sys
Founded in May 2022. Last updated 6 months ago. -
risc0-core-sys
Founded in May 2022. Last updated 6 months ago. -
risc0-zkvm-verify
Founded in Apr 2022. Last updated 8 months ago. -
risc0-zkp-hal
Founded in Jun 2022. Last updated 8 months ago. -
risc0-zkvm-core
Founded in Apr 2022. Last updated 8 months ago. -
risc0-zkp-core
Founded in Apr 2022. Last updated 8 months ago. -
risc0-zkvm-host
Founded in May 2022. Last updated 8 months ago. -
risc0-zkvm-serde
Founded in Apr 2022. Last updated 8 months ago. -
tbb-sys
Founded in May 2022. Last updated 9 months ago. -
tbb
Founded in May 2022. Last updated 9 months ago. -
risc0-zkvm-host-sys
Founded in May 2022. Last updated 9 months ago. -
risc0-zkvm-prove
Founded in May 2022. Last updated 9 months ago. -
risc0-zkp-proveFounded in May 2022. -
risc0-zkp-verify
Founded in Apr 2022. Last updated 9 months ago. -
risc0-zkp-accelFounded in May 2022.