https://a16zcrypto.com/posts/article/getting-bugs-out-of-snarks/
a16z 是如何保证 #zkVM Jolt 安全的