Alex Beregszaszi

Please note there is a proposed precompile instead of a host function: https://github.com/ewasm/design/blob/master/system_contracts.md#keccak256

Can you split this into two PRs? One codifies what is happening in Hera right now, the other one changes to signed types.

> Looks like a lot of unnecessary work. Yeah but it would be nice to merge what's going on right now, and then we can review the proposed changes and...

Needs to be rebased. We also need to make a decision about this and implement it in Hera. @jakelang @poemm @gballet can you please review?

There seems to be strong opinions on this one. @chfast can you reflect on @poemm's points? Do you think we can make a resolution in the next few days? If...

I like the pedantic option.

I think we should add all 256-bit methods to the host interface: `add`, `sub`, `mul`, `div`, `mulmod`, `cmp`. Also need to consider support for signed numbers. We could argue that...

Potentially we could make use of the references proposal for Wasm. Let assume the following example is for fixed 256-bit long bignums: ``` bignum.load(memOffset: i32) -> anyref bignum.store(memOffset: i32, v:...

Let's agree on this first basic API, which isn't using a bignum stack: - `addu256(a: i32ptr, b: i32ptr, c: i32ptr)` where `c = a + b` - `subu256(a, b, c)`...

I thought about having output as the first operand, but wasn't sure of the merit. Some POSIX functions do that, but find some of them confusing. What would be the...