STARK验证效率优化

RecodeX 重构消息，一项开放数学挑战提出三个目标，其中包括将已知的二次界替换为线性界，以及把二次界扩展到更广的适用范围，旨在为更小的STARK证明寻求更紧的边界。相关证明需在Lean中接受独立审查。

RecodeX 重构消息，零知识证明项目provably.fast在其官方课题页面公开三项数学课题，目标是减少STARK证明所需的检查次数。页面给出的计算示例显示，在特定条件下，达到100比特安全所需的检查次数可从200次降至148次，但该数字以目标证明和完整安全性分析为前提。

三项命题均已固定在数学定理证明工具Lean中，只有经过独立审查的证明才被认定为解题成功。目前三项课题均处于开放状态。STARK是基于哈希函数的零知识证明体系，其中里德-所罗门码用于处理待验证数据的可靠性，验证者通过随机组合抽样进行检查。