水滴云链
zk-SNARK的编程语言潜伏可以在很多方面支持Filecoin协议的开发，比如虚拟机(FVM)。
潜伏编程语言库现在对公众开放。潜伏是递归zk-SNARK(零知识简明非交互知识演示)的图灵完整编程语言，将有SNARK证明、区块链共识、Filecoin虚拟机(FVM)、去中心化应用、IPFS和IPLD等。
什么是潜伏？
潜伏是一种静态的Lisp方言，受Scheme和Common Lisp的影响。与大多数编程语言相比，zk-SNARKs可以用来直接证明潜伏程序的正确执行。生成的证明相对较小，可以快速验证，并且它们只揭示了要证明的语句中明确包含的信息。
总之，潜伏是一种简单易用的语言，它使得程序的开发变得更加简单。它将使SNARK编程更容易访问——不仅因为可以编写的程序比传统的SNARK程序更“强大”，还因为那些不是领域专家的人也可以编写这些程序。
潜伏由协议实验室高级研究工程师Chhi\’md Knzang创建，作为Filecoin认证实施的延伸。在其证明构造中，Filecoin使用了SNARK，这是一种用于证明知识的高效且加密的机制。“ZK”(零知识)，虽然不是Filecoin SNARKs的必要部分，但意味着证明者可以在不透露任何关于被证明内容的信息的情况下生成证明。Filecoin使用SNARK进行防复制(PoRep)和防时空(PoSt)，这是网络所依赖的核心加密协议。FileProofs的需求要求我们把上一代的SNARK扩展到它的——的极限，同时也让我们去寻找、认识、发现下一代的可能性。
加入潜伏
与大多数zk-SNARK创作语言不同，潜伏是图灵完备的，因此它可以提出和证明任意计算语句(受资源限制)。因为潜伏是Lisp，它的代码就是潜伏数据，任何潜伏数据都可以直接评估为潜伏程序。潜伏使用SNARK的友好的Poseidon hash(由Neptune提供)来构造复合数据，因此其数据自然是内容可寻址的。
潜伏目前支持各种后端证明系统，特别是Groth16与SnarkPack和Nova，并支持许多关键功能：
可验证计算零知识的简洁证明图灵完备性内容可寻址数据的任意遍历高阶函数(例如作为计算的常用输入的函数，有证明)用于内容可寻址数据自然集成了IPFS和IPLD。
潜伏x Filecoin
潜伏可以在很多方面支持Filecoin协议的开发。例如，潜伏与Filecoin虚拟机(FVM)的集成将允许在Filecoin区块链上验证潜伏程序和应用程序。这将为Filecoin智能合约(或参与者)提供对特定应用零知识可证明计算的一流本地访问。Filecoin参与者可以用来代表、协调和激励长期运行的潜伏工作，以获取存储在Filecoin网络中的数据。此外，它将允许结合来自多个来源的公共和私人数据的证据，包括Filecoin部门、私人存储或链本身。
在更长的时间内，潜伏将能够改善Filecoin中的分层共识。分级共识是一种水平扩展区块链网络的框架，可提高其吞吐量和灵活性。在分层一致性中，一些用户可以生成具有独立状态和一致性算法的新子网，同时保持与系统中任何其他子网无缝交互的能力。子网通过定期向父链提交子网状态证书来利用其父链的安全性。这确保了最新的全局共识，并将消息传播到层次结构中的其他子网。在当前的分级共识实现中，子网认证的验证需要完全访问子网的状态。通过为子网中执行的状态更改建立可自我验证的证据，
潜伏生态系统中的其他关键角色
潜伏生态系统包括由协议实验室和Filecoin基金会支持的研究人员和开发团队。
哈佛大学SEAS分校计算机科学助理教授纳达阿明正在努力将潜伏的Lisp实现转化为一个可用的引导式编程系统。关于潜伏，她说，“我找到了创建通用电路的项目，它实现了递归零知识证明的Lisp，因为这是一个优雅的Lisp映射，适合zk-SNARKs(例如，cons的hash-cons)，并有可能使zk-SNARKs民主化。”
Glow是一种开发中的编程语言，它与潜伏的集成是由Filecoin基金会资助的。它的研究人员和开发人员正在开发一种简单的领域特定语言，用于构建分散式应用程序(DApps)。“通常，一些Glow代码在链下执行(即由DApp的用户执行)，而其他代码在链上执行(即通过共享共识)，”该公司的Mutual Knowledge Systems总裁Fran ois-renride au解释说。“通过将Glow代码编译到潜伏中，我们可以在链下构建证明，并将共识仅用于验证，从而减少气体成本，增加隐私，并提高用Glow编写的DApp的安全性和可扩展性。”
同样由Filecoin基金会资助的Yatima是一种类型依赖的函数式编程语言和定理证明器，在Rust中实现，通过IPFS实现子结构类型、元编程和内容寻址。Yatima的AST以IPLD格式编码，这使得Yatima程序很容易通过IPFS网络共享，存储在Filecoin中，并在任何WASM平台(包括Web和区块链运行时)上进行确定性评估。
Yatima正在与潜伏合作，以允许对任意编译时计算进行零知识验证。正式的证明很有表现力，但是验证起来可能很昂贵。通过将这些形式证明的验证器编译成潜伏再到zk-SNARKs，Yatima可以实现形式证明的恒时恒空验证。
凭借一支由研究人员和工程师组成的才华横溢的团队，以及不断增长的贡献者生态系统，我们对潜伏的未来感到兴奋。
更多即将到来。
在接下来的几个月里，我们将推出一个潜伏网站和博客，更深入地探索潜伏的技术特性和历史背景。为了跟上这些发展，一定要关注Twitter上的@Filecoin和@ProtoResearch。
要了解更多信息，请访问GitHub上的潜伏库。
