distaff:用Rust编写的零知识虚拟机 源码

迪斯塔夫 Distaff是用Rust编写的零知识虚拟机。对于在Distaff VM上执行的任何程序,将自动生成基于STARK的执行证明。然后,任何人都可以使用此证明来验证程序是否已正确执行,而无需重新执行程序,甚至无需知道程序是什么。 状态 请勿在生产中使用。 Distaff处于Alpha阶段。这意味着当前功能不完整,并且存在已知和未知的错误以及安全漏洞。 用法 Distaff crate公开了execute()和verify()函数,这些函数可用于执行程序和验证其执行。两者都在下面说明,但是您也可以在查看几个工作示例。 执行程序 要在Distaff VM上执行程序,可以使用execute()函数。该函数采用以下参数: program: &Program要执行的程序。可以通过构建程序执行图来手动构建程序,也可以通过Distaff程序集进行编译(请参见)。 inputs: &Progra