通用的 zkVM 可以证明以太坊区块并非凭空出现——它们是数十年理论和工程的结晶。