Alex Beregszaszi

Standard library brainstorming

16

This was recently mentioned in the EthOnline [Future of Solidity](https://axic.github.io/notes/summit/future_of_solidity/#/31) talk, but we have been discussing this here and there for the past months, and goes back as early as...

stdlib prototype

16

Part of #10282. TODO: - [ ] provide a way to export the standard library as a directory hierarchy from the commandline interface (or standard-json - then it would be...

Getters returning structs can not be defined in interfaces

6

```solidity interface I { struct S { uint a; } function s() external returns (S memory); } contract C is I { S public override s; } ``` The function...

Constant expression evaluation at compile time

10

Variables can be declared `constant` which allows: - literals - (arithmetic) expressions - and function calls to "pure" functions, which is a hardcoded list of: `keccak256`, `ecrecover`, `sha256`, `ripemd160`, `addmod`,...

System/standard library for bignumbers

19

EVM supports 256-bit operations "natively". While that precision is not needed in a lot of cases it does come as very useful for certain operations, such as handling token balances,...

Inlined metering

6

This idea has been independently suggested by @chfast, @poemm, @jwasinger and me. Currently the metering injection inserts a call to an imported method (`ethereum::useGas`) at every check, which comes with...

Shared memory between instances

1

This is related to #17 and #188 / #181 to some extent. If doing runtime linking, where libraries are spawned as separate instances with their own memory, there is a...

Versioning in contracts

12

As we are making changes to the API it would make sense thinking about how to version imports in contracts. Immediately an option comes to mind where either the namespace...

WASM modules as libraries

11

EVM doesn't have a real concept of libraries, rather it was added retroactively with DELEGATECALL and that Solidity ensures a _contract_ defined as a _library_ cannot make use of `SSTORE`/`SLOAD`....

Linear storage design

4

Memory-mapped linear storage in Ethereum was proposed IIRC by @AlexeyAkhunov. Here we give a potential implementation of that in ewasm. The proposal is that instead of fixed-length/fixed-key storage values, storage...