通用的 zkVM 可以證明以太坊區塊並非憑空出現——它們是數十年理論和工程的結晶。