Harald Hoyer

Tracking: Implement sock_accept and basic networking

4

With the addition of `sock_accept()` in [`wasi-0.11.0`](https://github.com/bytecodealliance/wasi/commit/984fa4fc17a074e8ea720cf319ad5e0357a991c7), wasmtime can now implement basic networking for pre-opened sockets. ### Todo * [x] https://github.com/bytecodealliance/wasmtime/pull/3711 * [x] https://github.com/bytecodealliance/wasmtime/pull/3729 * [x] Rust: https://github.com/rust-lang/rust/pull/93158 * [...

generate an `app` per Rust workspace binary

4

``` $ nix run 'github:rvolosatovs/nixify?dir=examples/rust-hello-multibin' [...] error: unable to execute '/nix/store/gm2sj4fii5pfyj0ghlfs5h2d5adg4bkx-rust-hello-multibin-0.1.0/bin/rust-hello-multibin': No such file or directory ```

`dotnet build` failed to compile

1

with: ``` > dotnet --version 7.0.100-preview.4.22252.9 ``` I get: ``` > dotnet build […] 189/190 Bundling Grpc.AspNetCore.Server.pdb... 190/190 Bundling Grpc.Net.Common.pdb... C:\Users\harald\.nuget\packages\wasi.sdk\0.2.0-preview.10027\build\Wasi.Sdk.targets(220,3): error MSB3073: The command ""C:\Users\harald\.wasi-sdk\wasi-sdk-12.0\bin\clang.ex e" C:\Users\harald\.nuget\packages\wasi.sdk\0.2.0-preview.10027\build\..\native\main.c C:\Users\harald\.nuget\packages\wasi.sdk\0.2.0-preview.10027\build\..\packs\wasi-wasm\ native\libmono-ee-interp.a...

How to test luks setup with `--vm-test`

5

Is there any trick how I can test a luks setup with `--vm-test`. Doing so always fails to unlock the luks device in the `booted_machine` stage of course, because the...

Other crates like https://github.com/matter-labs/franklin-crypto are depending on this crate on multiple branches. Because those branches, namely `dev` and `snark-wrapper` are using the same crate name and version, this prevents a...

Other crates are depending on this crate on multiple branches. Because those branches, namely `dev` and `snark-wrapper` are using the same crate name and version, this prevents a `cargo vendor`...

## What ❔ Only do a hex string conversion if serializer/deserializer `.is_human_readable()`. ## Why ❔ bincode does not need a hex string presentation. ## Checklist - [x] PR title corresponds...

feat: make more structs serializable

8

## What ❔ Make more structs serializable. ## Why ❔ Needed for the TEE verifier as input. These structs will be serialized for intercloud data exchange. ## Checklist - [x]...

Seems like https://hub.docker.com/r/tamasfe/taplo is outdated. Might benefit from a github action to automatically push new release versions. Thank you for taplo!

## What ❔ Shrink the enclave size of `zksync-tee-prover`. ## Why ❔ 32G was a bit of safe guard while testing. 8G seems to be enough and will fit better...