2 ms·
constructs must leave the stack at the same height with the same types That's easy to 'document' and harder to do. It's what the JVM did, again, in the 90s. No
by CalChris 10y ago
constructs must leave the stack at the same height with the same types
That's easy to 'document' and harder to do. It's what the JVM did, again, in the 90s. Now the verifier chapter in the JVM spec is now about 160 pages long.
- titzer 10y agoWe learned our lessons from the JVM, and the verification algorithm for WASM is vastly simpler. It's even been formalized and fits in about 3/4 a page.