Roadmap for flexEmu Development #68
Description
Title: Roadmap for flexEmu Development
Description:
This issue outlines the roadmap for the development of flexEmu, our flexible emulator. The development will be divided into three main stages:
Stage 1: Off-chain Emulator
Objective: To develop an off-chain emulator with the ability to manage memory, support multi-development environments, and add RISC-V support. A complete Instruction Set Architecture (ISA) test will also be implemented during this stage.
Key Tasks:
- Implement memory management.
- Provide support for multiple development environments.
- Add RISC-V support.
- Implement a complete ISA test.
Stage 2: On-chain Emulator
Objective: To develop an on-chain emulator using Solidity.
Key Task:
- Implement on-chain emulator using Solidity.
Stage 3: Challenge Workflow
Objective: To implement a challenge workflow, which includes the generation and verification of witnesses. The witnesses will encapsulate state (process), memory tree (side-effect), and oracle (I/O). In addition, on-chain arbitration will also be implemented during this stage.
Key Tasks:
- Generate and verify witnesses.
- Implement state (process), memory tree (side-effect), and oracle (I/O) within the witness.
- Implement on-chain arbitration.
By following this roadmap, we aim to develop flexEmu into an efficient and robust emulator that can cater to different development environments and requirements. We welcome feedback and contribution from the community to help us achieve these objectives.