该项目旨在分析和模拟zk-rollup网络中Prover的选择、管理和激励机制。通过对现有方法和激励措施的评估,找出潜在的低效、漏洞和改进机会。项目将建立经济模型和仿真环境,提出Prover选择和激励的优化策略,从而提高网络的性能、安全性和可扩展性。