eDSL: Wishes

[Robbepop]

Wishes for the upcoming eDSL

This issue tracks a list of all the wishes for the upcoming Rust eDSL for smart contracts.

Capital Importance

• Deterministic execution and free of endless loops, e.g. using gas.
• A standard contract library as in EOS.
• Linking of external contracts (libraries) statically and dynamically.
  • Important: No serialization overhead between external contract calls!
• Reusability, modularity and encapsulation of code, e.g. as enabled via inheritance or better.
• Efficient built-in cryptographic functions
  • Example: RSA signature verification in Wasm ~0.15s is a lot slower compared to native routine.

Important

• Pure contract routines that guarantee to not modify storage.
• Ability to reason about gas cost and performance of smart contract routines.
• Flexible account system featuring human-readable names.
• Receive full trace of a contract execution.
  • During a "debug mode"
• Off-chain environment for contract execution emulation.

Useful

• Consensus mechanisms for common time of execution.
• A counterpart for the create2 EVM instruction
  • Rational: "... to fight front running and to have state channels (like counterfactual)"
• Solidity decorators for functions and methods
  • Rationals:
    • Contract systems are often split in "owners only" and public interface.
    • More natural and clean (elegant) way to express requirements.
  • Examples:
    • https://github.com/mixbytes/ico-fund-prototype/blob/master/contracts/DAOFund.sol#L163
• Solidity decorators for storage variables (fields)
  - Example: @observable for automatically storing and getting from storage

[Robbepop]

Closing this as a means to archive this topic.