波卡生态｜Starks Network 项目获得 Web3 基金会资助

9月18日，由冰链科技公司申请的 Starks Network 项目，获得 Web3 基金会的审核通过，正式进入 Web3 第三季度资助名单。从申请书提交到项目被批准，只用了2天时间，充分体现了 Web3 基金会对本项目的重视与支持。

Starks Network 项目的定位是基于 zk-STARK 技术的零知识证明平行链，致力于为波卡生态内的其它平行链提供零知识证明服务。所使用的核心技术与以色列 StarkWare 公司为以太坊设计的 Cairo 项目有相似之处，都是使用 zk-STARK 虚拟机为通用计算提供零知识证明的验证服务。

对于零知识证明的简单解释是：可以向别人证明你知道某个某个信息，但又不必出示该信息本身。但现代零知识证明技术的核心作用，是计算完整性（computational integrity）的证明。即我可以证明我完成了某个计算，但是计算的输入和细节都可以不告诉你。这个计算可能是数字凭证信息的查验，比如证明个人的年收入在某个范围内；也可以是供应链金融的供销存合约，比如证明两个公司完成了一笔交易；也可以是 DeFi 上的某种资产的隐秘质押或兑换。

目前，使用零知识证明技术进行计算完整性证明存在一大阻碍，那就是需要为每种计算逻辑都定制一套特定的证明和验证算法。这种定制性的方式，严重阻碍了零知识证明技术的广泛使用。Starks Network 项目使用了最先进的 zk-STARK 虚拟机的概念，可以用一套计算设施为通用计算完成零知识证明验证工作。相当于实现了从专用集成电路 ASIC 到通用计算设备 CPU 的转换。未来在波卡区块链上，某条平行链的智能合约只需要用通用的方式书写自己的计算逻辑，就能通过跨链机制去 Starks Network 平行链获得零知识证明服务。 

众所周知，zk-STARK 零知识证明技术具有伸缩性好、无需信任设置、天然抗量子计算等卓越优点，曾被 V 神称作是“以太坊3.0”的核心技术之一。但是 zk-STARK 技术也有个天生的问题，那就是证明的尺寸比较大，不适合在区块链上直接存储使用。Starks Network 项目通过灵活使用波卡开发框架 Substrate 的链下工作机（off-chain worker）功能，完美地解决了该问题，为 zk-STARK 技术在波卡生态的广泛使用铺平了道路。

下一步，项目组成员将全力推进相关的开发工作，并将适时获取波卡和 Kusama 网络的平行链槽位，争取早日为波卡生态提供零知识证明服务。

据悉，Starks Network 也是国内首个以高校成员为主的 Web3 资助项目。项目组成员中有2人是山东工商学院计算机科学与技术学院2017级的在读本科生。未来，该项目将继续支持山东工商学院学生的创新创业活动，拓宽学生的国际视野，鼓励学生尽早参与国际开源社区合作。

点击 “阅读原文”，查看完整的 Web3 资助名单。

• 欢迎学习 Substrate: 

  https://substrate.dev/

• 关注 Substrate 进展:

  https://github.com/paritytech/substrate

• 关注 Polkadot 进展:

  https://github.com/paritytech/polkadot

更多内容：

扫码关注公众号，回复 “1” 加入波卡群

关注 PolkaWorld

发现 Web 3.0 时代新机遇

点个 “在看” 再走吧！