Automata Proof of Build 与 @brevis_zk
Brevis 充当 zk 证明引擎,使 Automata Proof of Build 能在链上验证,且无需高成本或任何信任假设。
首先,构建软件,然后构建过程会生成来源数据,即描述以下内容的数据;
• 精确使用了哪个 Git 提交
• 哪位构建者执行了构建
• 产生最终产物所采取的步骤
通常,这些来源数据过于庞大且复杂,无法直接在以太坊网络上验证。
随后,zkVM 在链下检查来源数据,验证编译产物确实来自所声明的源代码且构建遵循了精准的流程。
Brevis 随后生成简洁的 zk-证明,以验证该过程,而不是发送日志数据、签名或完整的 SLSA/Sigstore 包。
Brevis 将所有信息压缩成一个微小的证明,以验证以下声明:该构建是正确的,且可从给定源代码复现。
最后,生成的证明由以太坊上的智能合约进行验证;由于只需检查 Brevis 发送的证明,而不再需要整个构建过程,这一链上验证在以太坊上更快且成本更低。
