Victor Snyder-Graf
Victor Snyder-Graf
Packets with a VLAN tag are dropped in the current configuration. Customizations to OpenVPN must be done to properly handle (through additional tagging most likely) traffic which is tagged coming...
Adding comments with "DO NOT MERGE" is a personal practice that is supposed to remind myself and reviewers that something of importance needs to taken care of before merging the...
A third party review of our smart contracts recommended an updated Solidity version. This PR updates the Solidity version on all smart contracts in this repository to 0.8.20. 0.8.20 was...
Throughout our repo we apply optimizations to Cargo build scripts (i.e. binaries built to run as part of the build process). This was introduced to make calculation of control IDs...
Verifying image IDs by building from source is part of the security model for many zkVM applications. In particular, applications integrating with smart contracts will generally need to provide users...
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...
We currently have two I/O mechanisms between the host and guest. One is `slice_io` and the other is POSIX I/O. POSIX I/O was created after `slice_io` and should be able...
In addition to assumptions added to the added to the `ExecutorEnv` directly, it is desirable to have a callback by which assumptions can be resolved at runtime to provide my...
With proof composition, there is the concept of a "conditional receipt". A conditional receipt is a receipt that is valid only if any assumptions made by the guest during execution...