本文介绍了以太坊区块证明的过程，包括获取区块信息、将信息转换为prover可理解的格式（witness generation），以及运行prover。Prover可以在GPU或CPU上运行，文中提供了在GPU和CPU上运行prover的具体步骤和命令，以及验证最终证明的方法。
matter-labs