For tracking purposes, a list of all topics here, marking the ones that were covered in the v2 report (or defined as out of scope):
- balancing signature
- distributed partial evaluation
- non-linear resources
- IFC
- clarify calling conventions
- prettify the definitions
- examples
- non-linear resources
- IFC
- account abstraction (that was renamed into identity isolation)
- counter
- PoS
- post- and pre- ordering
- applications
- distributed state synchronisation (controllers)