【声明：研究进行中】【原文作者系CasperLabs经济学家Onur Solmaz】智能合约平台（如Ethereum）的网络参数控制出块频率、块算力或块大小。配置这些参数可决定全网每秒最大算力。我们希望通过选取合适的参数，使算力最大化。协议执行由被称为轮（rounds）的循环组成。每轮都由一个领导者（验证器）负责在该轮开始时出块。我们用区块周期来表示每轮时长，记为 Δ 。区块周期包含执行首批交易并