Earlier I posted about Elftrace, a tool for creating Bitcoin Scripts to verify RISC-V execution: Verification of RISC-V execution using OP_CCV
Since then it has had some updates, and I wanted to share that the toolchain has had some additions making it easier to compile Rust without having to write custom assembly for every new program. It now also support doing input/output to the program using standard IO.
With this in place we are able to compile the Winterfell STARK library as a dependency, making it possible to verify-the-verification of ZK proofs in Bitcoin Script (this still requires CAT and a covenant).
A more detailed writeup is here, with example code: elftrace/docs/zk_verifier.md at 831f537bc1509bd45c350e103f7fc73aa818f7dd · halseth/elftrace · GitHub