斯塔克内特证明者 现在到了书呆子的部分。Prover接收所有这些交易并生成STARK证明——一个保证一切公平发生的数学收据。 把它想象成一个防篡改的审计日志，发送到以太坊，确保没有可疑的业务倒闭。如果出现任何问题，以太坊会立即拒绝。