flexEmu
flexEmu copied to clipboard
General purpose bytecode emulator with per-step proof
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:...
OMO: **O**perating system for **M**ultichain **O**ptimistic rollup with fraud proofs A compatibility layer is added on the basis of OMO to act as a bridge between the system and the...
Maintaining a Unicorn wrapper is a purely laborious and risky task. Implementing it in pure Rust doesn't entail a substantial workload
syscalls: stdlib: ``` cat std_sys_list | tr ' ' '\n' | sort -u 4001 4005 4006 4045 4076 4078 4085 4091 4116 4119 4125 4140 4146 4167 4188 4193 4194...
- [x] lw - [ ] sw - [x] addiu - [x] sll - [x] or - [x] addu - [x] beq - [x] jalr - [x] sltu - [x]...
Wasm has the most popular community, and simple enough to implement onchain
Something need to be clarified: 1. Background of this project (why develop it) 2. Role of omo (what can it do) 3. Features and implementation (how it works) Development Docs:...
after long run(commit: https://github.com/starcoinorg/omo/pull/37/commits/00d75c270b814e8fc727d3b986a2bdbc59dc09ee): ``` ➜ omo git:(fix.ucerr) ✗ ./omob --config omo/config.toml.example run mvm -- "-b" "0x89e573289fc8b29dd728490a5fd45b6bbf783fb2352b3a70f58b21f508593ff2" [2022-11-05T11:00:04Z INFO omo] load info: LoadInfo { entrypoint: 4406816, elf_mem_start: 4194304, elf_entry: 4406816,...
phase1: For testing soon using host's filesystem directly phase2: For providing ordered fd for challenge 1. using a counter as fd generator, fd+1 when there is new file 2. using...