risc0
risc0 copied to clipboard
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
## Bug Report Running `cargo` commands fail on `1.73-aarch64-apple-darwin` toolchain. Error produced: ``` error: the 'cargo' binary, normally provided by the 'cargo' component, is not applicable to the '1.73-aarch64-apple-darwin' toolchain...
Prior discussion: > I think there's instructions for how to run the tool, but not good documentation about why it's necessary, what the limitations are, etc. Current plan is to...
Currently our [zkvm benchs](https://github.com/risc0/risc0/blob/main/risc0/zkvm/benches/fib.rs) only differentiate between execution and total succint proving. We'd like to split them so that we can track each part alone: - execute - prove segment...
## Feature The ability to upload guest images to Bonsai from the command line. This could be a flag to the `build` command (ala `cargo risczero build --deploy`), or could...
When checking out a rust project, one of the first things I do is clone & try and build everything. This yields an issue: ```sh Compiling bonsai-ethereum-contracts v0.6.1 (/home/nuke/git/risc0/bonsai/ethereum) error:...
## Bug Report [ExecutorEnvBuilder::segment_path](https://docs.rs/risc0-zkvm/latest/risc0_zkvm/struct.ExecutorEnvBuilder.html#method.segment_path) seems to be completely ignored when using an `ExternalProver`. Unclear if this is intentional, but if intentional, at least checking the env in those provers and...
- Use `sccache` in Docker build within `stark2snark` jobs - Create template for using `sccache` in any Docker builds running on our CI
Building on https://github.com/risc0/risc0/pull/1372 , this PR adjusts the type system to try to systematically prevent misuse casting into the `Elem` type. Core to this is that the `Elem` type actually...
## Feature Users have requested a mechanism by which they can prove the invalidity of a given RISC Zero receipt. Note that this is not verifying the _validity_ of a...