enclave

The devcontainer presently does not use our docker scripts (scripts/docker_run, and scripts/fix_docker_user_and_run), instead mirroring their behavior in regards to user permissions: https://github.com/project-oak/oak/blob/bd071bad6822ec83d7b27a4abd0c2ee78a4d8915/.devcontainer.json#L23

It would be nice if the docker container would instead use (parts of) these scripts. This would allow it to ma

Summary of Bug

The group by operation does n

Various bits of the Veracruz codebase are quite opinionated about the relative sizes of various Rust types, e.g. conversions between usize and u64 are quite common. Technically speaking, these conversions can fail at runtime due to usize not being a fixed-width type in Rust, and these conversions mark one of the few places we still have calls to expect() and unwrap() in the runtime's co

We currently offer a Docker image with necessary dependencies, but the image is quite large (~5GB) and takes a while to download. Consequently, we should also provide a Dockerfile as part of this repo to enable users to build the container much faster locally.