prototype pipeline for verifying zkVM-related Rust code in Lean 4, with Hax and ArkLib - View it on GitHub