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

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

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/zippiehq/rv32i-to-bitvm
• Owner: zippiehq
• License: apache-2.0
• Created: 2023-12-28T10:25:17.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-02-14T08:56:38.000Z (about 1 year ago)
• Last Synced: 2024-08-01T21:42:09.715Z (7 months ago)
• Language: TypeScript
• Size: 98.6 KB
• Stars: 15
• Watchers: 4
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-bitvm - rv32i to BitVM

README

        
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

0. 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

2. 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 ../..

3. install npm dependendencies:

yarn

4. run tests

bash run-tests.sh

fence_i test doesn't work