Don't be lazy, write your own proof!

ZK compilers and virtual machines are amazing pieces of technology. Here is why not to use them.