水滴云链是一种编程语言Lurk,支持Filecoin协议的开发。Lurk可以通过虚拟机(FVM)等多种方式支持Filecoin协议开发。
Lurk编程语言存储库已对公众开放。Lurk是一种递归zk-SNARK的图灵完备编程语言,可用于SNARK证明、
区块链共识、Filecoin虚拟机(FVM)、去中心化应用程序以及与IPFS和IPLD等相关领域。
相对于大多数编程语言,Lurk编程语言可使用zk-SNARKs直接证明程序的正确执行。Lurk生成的证明比较小,可快速验证,且仅揭示证明的要求。
Lurk是易于使用的语言,使程序开发更为简单。它使SNARK编程更易于访问,并且人们不需要是领域专家就可以编写这些程序。
Lurk由ProtocolLabs高级研究工程师Chhi"mèdKünzang创建,并且支持多种关键特性,如可验证的计算、简洁的证明、零知识、图灵完备、内容可寻址的数据任意遍历、高阶函数、用于与IPFS和IPLD自然集成的内容可寻址数据等。
Lurk可以通过多种方式支持Filecoin协议的开发,例如,与Filecoin虚拟机(FVM)的集成,可以在Filecoin区块链上验证Lurk程序和应用程序。它还可以帮助代理、协调,并激励长期运行的Lurk作业,从而便于存储在Filecoin网络中的数据等。
Lurk生态系统包括由ProtocolLabs和Filecoin Foundation支持的研究人员和开发团队,如哈佛SEAS计算机科学助理教授Nada Amin,Glow以及Yatima。
未来几个月内,将推出Lurk网站和博客,深入探讨Lurk技术特征和历史背景。请随时关注Twitter上的相关信息,或登录GitHub上的Lurk存储库获取更多信息。
热点:ipfs