NotesNotes要点

• Traditional reproducible builds require matching toolchains and environments, making implementation difficult.
• zkVM compilation executes compilers within zkVMs to produce outputs and cryptographic proofs.
• Proofs verify compilation was performed on claimed source code with claimed compiler.
• Proof-of-concept implemented using RISC Zero zkVM and ChibiCC C compiler.
• Evaluated on 200 synthetic programs and real-world software like OpenSSL and libsodium.
• Successfully blocks adversarial tests including compiler substitution, source tampering, output manipulation, and replay attacks.

• 传统可复现构建技术依赖工具链和环境匹配，实施困难
• zkVM编译方法通过在zkVM中执行编译器，生成编译输出和密码学证明
• 证明能验证编译是否在声明的源代码和编译器上执行
• 使用RISC Zero zkVM和ChibiCC C编译器实现概念验证
• 在200个合成程序及OpenSSL、libsodium等真实软件上评估
• 成功阻止编译器替换、源代码篡改、输出操纵和重放攻击等对抗性测试

• 再現可能なビルドにはツールチェーンと環境の一致が必要であり、実装が困難である。
• zkVMコンパイルは、zkVM内でコンパイラを実行し、出力と暗号学的証明書を生成する。
• 証明書は、主張されたソースコードと主張されたコンパイラでコンパイルが行われたことを検証する。
• Proof-of-conceptはRISC Zero zkVMとChibiCC Cコンパイラを使用して実装された。
• 200の合成プログラムおよびOpenSSLやlibsodiumのような実世界のソフトウェアで評価された。
• コンパイラ置換、ソース改ざん、出力操作、リプレイ攻撃を含む敵対的テストを正常にブロックした。