在接下来一个系列的文章中将为你一一介绍,从零知识证明的概念一直到零知识证明背后的密码学实现。
零知识证明使用场景分析,在 Rollup 之外,还可以应用在哪?
谈到ZKP算法,大伙可能听过一些,比如zk-snark,zk-stark, bulletproof, aztec, plonk等等。今天,咱就给大伙聊聊这一对“表面兄弟”,zk-stark和zk-snark算法的异同之处。
这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同,这一期的题目都是基于STARK算法。STARK算法,AIR,FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。
这篇文章记录一下团队解题的思路以及学习STARK的过程。方便更多的小伙伴学习零知识证明相关技术。
安全可靠-深入了解STARK安全
通过stark简单证明实操python-01
通过stark简单证明实操python-02
通过stark简单证明实操python-03
在今天的文章中,我将剖析有史以来最强大但经常被误解的密码学工具之一:零知识证明 。此外,我将重点介绍未来实现的用例和建议,并展示为什么零知识证明是crypto未来的关键。
通过stark证明实操python实现04
密码学 101:STARKs
zk-stark意为零知识—可拓展的—透明的—知识论证,在区块链上的应用前景备受瞩目。它不仅能提供隐私功能,还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践
ZK Rollup 可扩展性解决方案的基础是让大的计算任务(或者一大批小的计算任务)在链下执行,链下的计算资源富足得多;然后生成出计算执行过程的有效性证明并发送到区块链上(伴随着一个对新状态的承诺);然后由一个验证者智能合约来验证这些证明。通过验证之后,网络参与者就能相信整个计算是有效的。
stark数学概念和翻译