对 BSV 上的零知识证明感兴趣? 加入 BSV sCrypt 零知识证明黑客马拉松
您想成为构建安全数据世界的运动的一部分吗? sCrypt 和 BSV区块链协会合作组织了 BSV sCrypt 零知识黑客马拉松,面向希望进入具有挑战性的零知识证明 (ZKP) 领域的开发人员。 该竞赛还旨在展示这些证明在比特币 (BSV) 世界中的适用程度,增加可扩展区块链上数字合约领域的隐私。
该竞赛面向对 ZKP 和密码学感兴趣的开发人员开放,无论他们是否活跃于 BSV 或区块链世界。 第一轮将于 2022 年 10 月 26 日至 11 月 25 日进行,现已开始报名。 参赛者必须超过所有地区的法定成年年龄。 有兴趣的可以在这里找到更多信息。
迎接挑战?#sCrypt 推出了 #BSV 零知识 #黑客马拉松:https://t.co/RAYXjN2Wz5
零知识证明让声称知道秘密的一方(证明者)在不泄露秘密的情况下说服另一方(验证者)该声明是有效的。
—比特币协会(@BitcoinAssn) 2022 年 10 月 4 日
评审团将包括 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 的初学者比特币部分,这是了解更多关于比特币(如中本聪最初设想)和区块链的终极资源指南。