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

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