Any contributors have bandwidth to chat sync/async about implementing this feature/what the interface could look like (do we want to be similar to hardhat, vite, tailwind, etc). My understanding is that @phated has limited bandwidth these days but I am extremely down to at least scaffold an implementation out.

Judging by the sheer number of alternative verifier codegens that have been requested and implemented (vyper, solana, NEAR, etc) this would be a greatly appreciated feature by the community. I for one am extremely interested in exploring implementing a verifier in Huff (someone has already done groth16, so targeting PLONK and FFLONK)