对证明系统 STARK 的深入技术分析。 它大致包括 3 个主要步骤，构建跟踪、跟踪证明和验证证明。第 2 步，“Prover for Trace”由 9 个子步骤组成，从“AIR 实例化”到“建立证明对象”。 步骤 3，“验证证明”由 4 个子步骤组成，即“Ood 一致性检查”、“实例化 FRI ...