Generate block and witness for stateless verification:

cd bw-gen && RPC_URL={RPC_URL} cargo run -r

Compile to native target, and run stateless verification:

make run_native

Compile to riscv64 for Linux user space using tamago, and run stateless verification using qemu-riscv64:

make run_tamago_linux_riscv64

Need to patch geth to disable some syscall for GOOS=tamago, the diff can be found here.

Also need compile geth with tag appengine to disable mmap in fastcache.