Transition to SVM

[noamnelke]

The transition to SVM will be performed in 3 major phases:

Phase 1

• Identify all components that should be replaced by SVM functionality.
• Create issues on the SVM side to implement any missing functionality:
  • Expose Get Account in the FFI layer svm#373
  • Expose Commit in the FFI layer svm#374
  • Return Touched Accounts inside the Spawn and Call Receipts svm#375
  • Expose Rewind in the FFI layer svm#376
  • Implement Increase Balance for an Account svm#377
• Write and test a Template for Genesis Accounts (Simple Coin transfer) svm#426

Phase 2

• Transition state package into svm package go-spacemesh#2827
• Implement SVM API methods go-spacemesh#2828
• Move code for generating transactions and addresses in tests into SVM package go-spacemesh#2829

The last two issues can be worked on in parallel, although minor conflicts are to be expected.

Phase 3

Prerequisites

go-svm being fully implemented and exposing the following functions (click to expand)

• validate_deploy(message) -> validation_error
• validate_spawn(message) -> validation_error
• validate_call(message) -> validation_error
• deploy(envelope, message, context) -> deploy_receipt
• spawn(envelope, message, context) -> spawn_receipt
• verify(envelope, message, context) -> call_receipt
• call(envelope, message, context) -> call_receipt
• Expose Get Account in the FFI layer svm#373
• Expose Commit in the FFI layer svm#374
• Return Touched Accounts inside the Spawn and Call Receipts svm#375
• Expose Rewind in the FFI layer svm#376
• Implement Increase Balance for an Account svm#377

SVM codec for encoding transactions implemented and ready (click to expand)

Should be exposed by go-svm as a utility, for go-spacemesh and sm-repl to use.

SVM codec instantiation boilerplate code: https://github.com/spacemeshos/go-svm-old/tree/master/codec

Tasks

• Add go-svm to go-spacemesh as a dependency (mostly about getting the build/linkage to work).
• Encode transactions using SVM codec.
• Create an SVM package replacement with identical method signature and re-implement all methods using go-svm exposed methods.
• Ensure all unit tests and system tests pass.

[lrettig]

largely done, and what's remaining here will be obviated by new VM design.