https://mpost.io/risc-zero-releases-zkvm-1-2-introducing-app-defined-precompiles-feature/