This repository contains the work in progress implementation of the CPU for BitVMX.
The architecture adopted for this first version is RISCV-32i.
The repository contains three main components.
- Docker Image: This image allows the compilation of C programs into the RISCV-32i architecture. Currently, the programs must follow specific rules regarding memory access and do not support stdlib.
- RISCV Emulator: Implemented in Rust, this emulator produces the hash list and execution trace of the program.
- Bitcoin Script Generator: A Rust project responsible for generating Bitcoin scripts that validate the execution of RISCV instructions on-chain
Follow the instructions in the docker folder
Run the compiled sample C program on the emulator.
cargo run -p emulator docker-riscv32/plainc.elf 01
Run the step by step validation of the addi instruction on bitcoin script.
cargo run -p bitcoin-script-riscv