Everett Hildenbrandt

Pinging @dwightguth and @gtrepta for visibility.

@noloader I think this signature should be OK, we can build a `BLAKE2b_State` ourselves, but I don't think you can assume that `R % 12 == 0` is true. Different...

Was just informed that a single-round option is not feasible because of setup/teardown that needs to happen before/after rounds. So I guess the only thing I have to add to...

Note, I think we have agreed prior to call the actual underlying computational thing the "execution engine", and the combination of that + the client the "VM". So, I would...

https://github.com/WebAssembly/spec/blob/master/document/core/exec/instructions.rst Looking at `SELECT` as a template. So right now we have: ### `useGas` Subtracts an amount to the gas counter *Parameters* - amount `i64` the amount to subtract to...

Would the following make more sense? Note that I've switched `(i32.const g) (useGas)` to `call EEI.useGas i64.const g` to reflect that this is a function call. ### `call EEI.useGas i64.const...

https://docs.google.com/document/d/1z_u-hmQ6kF50rXbBEmT_tLOnyBGaBplpoOIe0FPEZ3s/edit?usp=sharing

How `static` mode is decided is here: https://github.com/kframework/evm-semantics/blame/master/evm.md#L447 Looks like the one tricky case is that `CALL` only is considered to change state if the `VALUE` is non-zero. To implement...

Yeah, the EEI would make the check if the current namespace allows for accessing those methods, and the namespace `evm_static` would not have access to `EEI.log`, `EEI.setAccountStorage`, `EEI.transferCall`, `eei.create`, or...

@axic and I had a similar discussion about this yesterday (adding a seperate EEI method `transferFunds` and using that for the various call/selfdestruct). I think the concern was that then...