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.

Challenges I ran into

I wasn't sure how implement the pallet given that the verifier pallets require the macro, and that Valida requires the usage of docker at the moment as well as the binary and proof present as files. I ended up wrapping the docker workflow, which seems fine because its the best support Valida has right now, and there is a precedent in that RISC 0 has a similar docker within Rust flow.