Sergei Shulepov

1. What do you mean by `unbounded loops`? Is there bounded loops, and if so do you have an idea how to detect them? 2. Do functions that contain conditional...

@axic ok thanks it makes sense now. Although, for non-leafs it might be more complicated since they can form cycles.

> This is simpler, but might waste some memory when contract is not interested in all data is this really an issue? memory size is neglegible and the copy cost...

> I believe that's not enough. If you deploy a contract that supports the current version 1 there is no way to support future version 2. Could you explain me...

> Previously, I though you meant to return the format version number as a part of the account structure. Ah sorry for that, I was writting on the go back...

Nope, we don't!

What would happen with `memory.grow` and `memory.size`? Will they still operate (return / receive) on 64k pages? > I think in a well design VM changing the page size shouldn't...

IMO, I don't think that it is worth a hastle. First, I do think that this is effectively forking of the specification. The specification [states](https://webassembly.github.io/spec/core/exec/runtime.html#memory-instances) that memory instance size is...

Note, that I don't argue that changing the page size constant will be hard (indeed, I would expect that this would be just a constant in most implementation), just that...

> A possible solution: maintain instantiated contracts which are ready to call, and, at each call, zero the memory and globals. I'm not sure that I follow you here. Do...