PVM research

[asmie]

Description

The task is to check and analyze a way of implementing a Polka Virtual Machine.

It involves analyzing GrayPaper Appendix A and Appendix B to get a full view of what PolkaVM should be and how it be invoked.

During the analysis, two paths should be checked:

1. MVP
   2)The fully functional VM

The priority is set to the first point, so we're aiming to build MVP by the end of Milestone 1.

MVP should include:

• ability to invoke the Virtual Machine
• instruction set described in the Appendixes
• simple interpreter taking the instructions and doing something (that something need to be defined).

Deliverable

The output should be a high-level design with Go modules outlined and described with clear points where MVP should end.
The overall design of a fully functional PVM should be provided.