The problem zkvmmaxi solves: It makes sense that adoption for ZKVerify probably fits with being able to support formats of proofs generated by as many proof systems as possible. This helps the ZKVerify ecosystem get a cutting edge on a new ZKVM that devs will begin experimenting with soon.