Alex Beregszaszi

What do you mean by error here? This function has no error reporting. It can fail if the topic pointers are out of bounds or the the number of topics...

One benefit of requiring them be zero is it could aid static analysers. An alternative solution is to require all topics to be laid out in linear memory and in...

A relevant old issue: https://github.com/ewasm/wasm-metering-old/issues/1

I actually propose that the current version is revision 3, because it was mistakenly not bumped by #77. Proposed fix: #118. As a result, I think we are currently discussion...

Can you give a short example of what format you'd like it to have? (There are so many versions of the "WAMS spec", I'm not entirely sure which one do...

> 1. Assert: due to validation, that the top element of the stack is a value of type i64. > 2. Pop the value i64.const g from the top of...

I think we should check the latest decision on the EVM (there's an EIP from Yoichi regarding this). Proposal is to codify what Hera is doing (I think that matches...

Agreed to codify what is currently implemented: contract verification failure results in OOG. Need to document this.

> Considering logistics, what changes to existing VM implementations would this require? You wouldn't change a general VM to do this. A specialised VM in a consensus client would have...

> What would happen with memory.grow and memory.size? Will they still operate (return / receive) on 64k pages? ~~Yes,~~ No, all pages would be the specified size. > But this...