对 BSV 上的零知识证明感兴趣? 加入 BSV sCrypt 零知识证明黑客马拉松

您想成为构建安全数据世界的运动的一部分吗? sCrypt 和 BSV区块链协会合作组织了 BSV sCrypt 零知识黑客马拉松,面向希望进入具有挑战性的零知识证明 (ZKP) 领域的开发人员。 该竞赛还旨在展示这些证明在比特币 (BSV) 世界中的适用程度,增加可扩展区块链上数字合约领域的隐私。

该竞赛面向对 ZKP 和密码学感兴趣的开发人员开放,无论他们是否活跃于 BSV 或区块链世界。 第一轮将于 2022 年 10 月 26 日至 11 月 25 日进行,现已开始报名。 参赛者必须超过所有地区的法定成年年龄。 有兴趣的可以在这里找到更多信息。

评审团将包括 nChain 首席科学家 Craig S. Wright 博士、sCrypt Inc. 创始人兼首席执行官刘晓辉、埃克塞特大学经济学高级讲师 Jack Rogers 博士、DFINITY 研究主任和伦敦大学学院荣誉教授计算机科学博士 Jens Groth 和 BSV区块链协会工程总监 Jad Wahab。

比特币合约中的零知识证明

虽然比特币是一个强大的点对点电子现金系统,为数字支付提供了巨大的改进,但它还提供了检查和验证数据完整性的能力。 这在业务和记录保存世界中至关重要,在这种情况下,通常需要在不查看信息本身的情况下知道一条信息或数据是否有效。

零知识证明允许这种情况发生。 虽然 ZKP 涉及高端数学和深奥的密码学概念,但 zk-SNARK 框架使非密码学家能够将其编程到更广泛的应用程序和用例中,许多业务用例还有待发现。

在不公开密钥本身的情况下证明你拥有比特币私钥是 ZKP 的一个例子,但是否有可能在其他合约中拥有这种能力——这些合约本身在 BSV区块链上运行? sCrypt 的 Xiaohui Liu 说是的,他的公司设计了一个演示教程,供程序员通过构建经典猜谜游戏 Battleship 的版本来学习。

ZKP 可能是计算密集型的,因此有必要拥有一个具有无限可扩展性的区块链网络,并且使用这些资源的成本不会太高。 BSV就是这样一条链。

“比特币可以运行 ZKP,这是目前最复杂的智能合约。 而且成本只是其他区块链的一小部分,”刘说。

存在多种 ZK 编程语言,但 sCrypt 为其学习者提供了 Circom 和 ZoKrates 两种最流行的选择。 它的 zkBattleship 页面将 Circom 描述为一种低级语言,给予程序员更大的控制权; ZoKrates 是现代开发人员更熟悉的一种更高级别的类 Python 语言。

ZKP 在需要隐私的应用中是可取的。 这在 Battleship 游戏中更容易理解,玩家需要知道他们是否击中,但这些信息仍然不能揭示船的精确方向(或大小)。 这在数据经济中有更广泛的应用,其中一方需要确认必须保密的信息。

BSV区块链协会和 sCrypt 打算使用零知识证明黑客松将这些概念介绍给新的开发人员,同时发展 BSV 社区并为区块链寻找新的应用程序。 参与者将获得有关如何在现实世界中应用 ZKP 的新知识,而无需学习高端数学理论。

观看:BSV 全球区块链大会演示、BSV 上的智能合约和计算

width=”560″ height=”315″ frameborder=”0″ allowfullscreen=”allowfullscreen”>

比特币新手? 查看 CoinGeek 的初学者比特币部分,这是了解更多关于比特币(如中本聪最初设想)和区块链的终极资源指南。


资讯来源:由0x资讯编译自COINGEEK。版权归作者所有,未经许可,不得转载
提示:投资有风险,入市需谨慎,本资讯不作为投资理财建议。请理性投资,切实提高风险防范意识;如有发现的违法犯罪线索,可积极向有关部门举报反映。
你可能还喜欢