我对这部分的看法略有不同。vprogs 内部的工作(特别是 @hus_qy 和我)协调得很好,尽管它们仍处于某种程度的“探索”阶段,因此耦合度较低(例如,他正在构建一个全面的跨 vprog 执行运行时;我正在探索底层 Cairo,以了解特定虚拟机实例化的具体形式)。将之前已知的 Sparkle 实现中的元素与 vprog 研究概念融合起来,这确实是更难的部分,而且目前仍然缺乏协调,但我们正在朝着这个方向努力。昨天在 Discord 上以及私下里,我们都就此进行了很好的讨论。我很高兴地说,两种观点正在迅速融合,我们都拥有同一个宏伟愿景:构建一个完全可组合的 ZK 程序空间。