Re:Build your own WebAssembly Compiler (2019)
by tsegratis on Sunday December 03, 2023 @05:48PM
(#38511571)
Maybe something like signed compilations is an answer -- a trusted source signs and verifies pre-compiled code
Then browsers can skip verification+jit etc if they trust the signature
Re:Build your own WebAssembly Compiler (2019)
by AgentME on Sunday December 03, 2023 @06:11PM
(#38511751)
You could use zero-knowledge proofs to prove that a given native binary was created from a specific compilation process and WASM binary. No privileged trusted authority necessary.
Though any pre-compiled binaries would be browser version specific and CPU architecture specific, so it might be too much of a pain for browsers and websites to bother with yet for small gains.
https://v8.dev/docs/wasm-compilation-pipeline
This may actually introduce visible "warmup-stutter" in rendering applications which is very unfortunate, but AFAIK the tiering was introduced to accommodate massive WASM blobs such as created by Unity which otherwise might take tens of seconds to AOT-compile.