未来几年内，每秒生成的证明数量将增加一倍以上，然后渐近地接近底层通用计算增益。