Matheus Cardoso

Results 19 issues of Matheus Cardoso

**Is your feature request related to a problem? Please describe.** It's not related to a problem _per si_, just a workflow improvement. It's somewhat boring to always bring `ncspot` to...

enhancement

[rendered] This PR seeks to add a new page on the docs site addressing how to handle I/O in the zkVM. It covers the basics on how to perform input...

documentation

Closes #1301

enhancement

## Feature Add a new command under `cargo risczero` called `benchmark` that will be responsible to prove a predefined guest code ([`bench`][bench-example]) and report timings on execution, proving and lifting...

enhancement

## Bug Report When proving large proofs on metal (proofs of size 4M cycles or more), the prover constantly panics. It's possible to reproduce the error when running the prover...

bug

## Bug Report When running the [`loop` example](https://github.com/risc0/risc0/blob/e6e45e7922ca1e8fd94f20f5eb37c237b0dada0f/risc0/zkvm/examples/loop.rs), a warning is reported for proofs larger than 1k cycles, with the message `Context leak detected, msgtracer returned -1`. The proving seems...

bug

We can currently compile the [tfhe-rs crate](https://github.com/tfhe/tfhe), but we fail to fully use the crate as we are not able to directly pass the generated keys and input values from...

enhancement
rust guest workarounds

#### Task Integrate the UI with the existing versioning system to enable users to select and view previous versions of data from the `outputs/` directory. #### Requirements for Definition of...

enhancement