hsyodyssey
零知识证明 - zkHack mini挑战赛第一名
这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同，这一期的题目都是基于STARK算法。STARK算法，AIR，FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。
- Star Li
- 发布于 2022-03-21
- 阅读 ( 2127 )
Star Li
Plonky2 简介
两个零知识库Plonky2和Starky，代表了构建更高性能 SNARKs/STARKs 的新方法。Plonky2 是一个结合了Plonk和FRI的库，Starky 专注于运行基于AIR的STARKs，且支持对其的递归验证。该方法可以总结为，使用小域，然后使用递归FRI。
- XPTY
- 发布于 2022-03-16
- 阅读 ( 2955 )
XPTY
聊一聊 zkMove （二）
本文是 zkMove 系列的第二篇文章，我们以 zkMove 最典型的使用场景 zk-rollup 为例来说明其工作原理。
- Young Rocks
- 发布于 2022-01-26
- 阅读 ( 2155 )
- ( 6 )
Young Rocks
ZK与以太坊扩容的未来
Arbitrum 最近发布了一篇精彩的文章：认为 Optimistic Rollups (OR) 代表了以太坊的未来，而我们有不同的观点
- Luna Lau
- 发布于 2022-01-25
- 阅读 ( 2105 )
- ( 10 )
Luna Lau
zkSNARK实践（四）—— merkle证明
merkle树在区块中应用非常广泛，比如比特币SPV节点，使用merkle树来验证一笔交易是否在区块中。
- stirlingx
- 发布于 2021-12-03
- 阅读 ( 3484 )
- ( 7 )
stirlingx
zkSNARK实践（三）—— 哈希函数的证明
哈希是一种常用的密码学工具，它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性，常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。
- stirlingx
- 发布于 2021-12-03
- 阅读 ( 3796 )
- ( 10 )
zkRollup 赛道，有何可期？
请关注StarkNet和zkSync 2.0 的主网版本，因为这是我们所知道的区块链扩容的未来。
- Unitimes
- 发布于 2021-11-19
- 阅读 ( 2430 )
Unitimes
zkSNARK实践（一）——多项式方程的证明
zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge，翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多，几乎都只讲解它的数学原理。因为它实在太难了，...
- stirlingx
- 发布于 2021-11-18
- 阅读 ( 4350 )
- ( 41 )
读懂 ZK-Rollups：如何带来 Crypto 生态系统的范式转变？
“对于其他L1区块链而言，未来的实现主义方案是放弃其多余的共识机制和数据可用性，转而成为一个ZK-Rollup或者Volition”
- Unitimes
- 发布于 2021-11-10
- 阅读 ( 2987 )
一文读懂零知识证明（ZKP）
本文将详细探讨零知识证明如何保障隐私，而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例，以及如何利用Chainlink的DECO技术建立保护隐私的预言机网络，证明数据来自某一web服务器的同时保护数据隐私，并实现向后兼容。
- Chainlink
- 发布于 2021-09-23
- 阅读 ( 5549 )
- ( 41 )
Chainlink
EthFans
零知识证明 - zkEVM解读
AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。
- Star Li
- 发布于 2021-09-02
- 阅读 ( 3230 )
ZKopru：结合 ZKP 和 Optimistic Rollup
Zkopru 已临近完成，本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。
- EthFans
- 发布于 2021-08-19
- 阅读 ( 1962 )
Dark Forest - 采用零知识证明技术的游戏
Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。
- Star Li
- 发布于 2021-08-17
- 阅读 ( 2881 )
zkEVM - Hermez设计思路
Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。
- Star Li
- 发布于 2021-08-11
- 阅读 ( 2442 )
