Skip to content

Latest commit

 

History

History
51 lines (26 loc) · 893 Bytes

README.md

File metadata and controls

51 lines (26 loc) · 893 Bytes
Raw

This is a (not very developer friendly) rv32i to BitVM (some mods to be done on BitVM bitcoin script side still!) transpiler

Need: wget, node, npm, yarn, linux/ubuntu container

  1. Clone this repo:

git clone https://github.com/zippiehq/rv32i-to-bitvm

cd rv32i-to-bitvm

  1. Get a toolchain: (still in rv32i-to-bitvm/ )

wget https://github.com/stnolting/riscv-gcc-prebuilt/releases/download/rv32i-4.0.0/riscv32-unknown-elf.gcc-12.1.0.tar.gz

mkdir -p toolchain

cd toolchain

tar xf ../riscv32-unknown-elf.gcc-12.1.0.tar.gz

cd ..

export PATH=$PWD/toolchain/bin:$PATH

  1. get & build the riscv test suite:

git clone https://github.com/zippiehq/riscv-tests -b bitvm

cd riscv-tests

git submodule init

git submodule update

./configure --with-xlen=32

cd isa

make XLEN=32 rv32ui

cd ../..

  1. install npm dependendencies:

yarn

  1. run tests

bash run-tests.sh

fence_i test doesn't work