首先了解，目前零知识证明主要是用于计算证明（如以太坊的Layer2扩容，如跨链dex的交易计算证明）以及隐私保护，而未来包括在预言机领域的应用，游戏领域（Dark Forest)应用会非常有想象空间。一切才刚刚开始。这里我分享，我看过的非常容易入门的文章，以及一些项目采用的技术方向，目前来看零知识证明应用的主要算法是zk-snark（这里有很多变种，应用比较多的实现是PLONK）和 zk-stark算法，每个方向下的一些技术资料分享给各位。
从零开始学习zk-SNARK(一)-多项式的性质与证明
https://learnblockchain.cn/article/287
从零开始学习zk-SNARK(二)-多项式的非交互式零知识证明
从零开始学习zk-SNARK(三)—从程序到多项式的构造
从零开始学习zk-SNARK(四)—多项式的约束
从零开始学习zk-SNARK(五)—Pinocchio 协议
浅谈零知识证明：背景与起源
浅谈零知识证明之二：简短无交互证明（SNARK）
浅谈零知识证明之三：zkSNARK证明体系的实现
http://blog.higashi.tech/2020/03/15/zkpub_03.html
浅谈零知识证明之四：zkSNARK证明体系的实现（下）
零知识证明实践教程，第一部分
零知识证明实践教程，第二部分
零知识证明实践教程，第三部分
Step1. 理解零知识证明算法之Zk-stark
Step2. 理解零知识证明算法之Zk-stark -- Arithmetization
Step3. 深入理解零知识证明算法之Zk-stark -- Low Degree Testing
Step4. 深入理解零知识证明算法之Zk-stark -- FRI协议
STARKs, Part I: 多项式证明
STARKs, Part II
STARKs，Part-3：攻坚（上）
STARKs，Part-3：攻坚（下）
https://medium.com/starkware/tagged/stark-math
stark虚拟机早期的设计草稿 - 介绍 Distaff：一个用 Rust 编写的基于 STARK 的 VM
https://ethresear.ch/t/introducing-distaff-a-stark-based-vm-written-in-rust/7318
stark虚拟机的早期指令集 - Distaff VM 的扩展指令集
https://ethresear.ch/t/expanding-instruction-set-of-distaff-vm/7504/5
stark算法实现的虚拟机，这个作者之后在facebook钱包团队实现了stark算法的证明器和验证器算法，现在被matic招入负责
@bobbinth 是distaff的作者，开发与两年前，几乎是一个人的实现，非常强悍
https://github.com/GuildOfWeavers/distaff/tree/master/src/stark
@bobbinth （twitter）后实现的兼容eth的stark算法的虚拟机
Miden的视频介绍 - a STARK based ZK
facebook实现的stark算法的证明器和验证
stark算法实现的细节教学，有python代码和详细的文章解读，非常棒的stark资料
垂直rollups dex ：
DEX Loopring 路印（去中心化dex和支付系统）
fluidex （去中心化订单薄dex）应用零知识证明 PlonK算法
zkswap （去中心化dex）
zklink （跨链去中心化dex）（应用零知识证明，算法没有在github上公开）
Dusk Network（零知识证明游戏）
zkSync
AZTEC 刚拿了 @paradigm 的1700万美金
aleo （a16z投资2800万美金的隐私优先的独立公链）
Mina Protocol （隐私公链）
https://zhuanlan.zhihu.com/p/442832584
mir-protocol 递归零知识证明公链 （现已被MATIC并购，4亿美金）
https://github.com/mir-protocol
Step1. 理解零知识证明算法之Bulletproofs --Range Proof I
Step2. 理解零知识证明算法之Bulletproofs --Range Proof II
Step3. 理解零知识证明算法之Bulletproofs --Range Proof III
https://zhuanlan.zhihu.com/p/97676457
Step4. 理解零知识证明算法之Bulletproofs--Arithmetic Circuits
https://zhuanlan.zhihu.com/p/98157476
零知识证明算法之PLONK --- 电路
https://zhuanlan.zhihu.com/p/343954730
零知识证明算法之PLONK --- 协议
https://zhuanlan.zhihu.com/p/345641784
Plookup原理详解
https://zhuanlan.zhihu.com/p/366693663
Halo2：原理剖析
https://zhuanlan.zhihu.com/p/385134321
（电路描述高级语言 circom文档）docs.circom.io/circom-language/data-types/
看V神如何巧妙讲解 https://zhuanlan.zhihu.com/p/429253463
未来前景分析
作者是aleo的投资人（a16z投资了2800万美金给aleo隐私优先的公链系统）
https://mirror.xyz/fdao.eth/f0VmaA_NOznHGtywVuuj0YBgtIvNw-k33UNOw0V7V2E
Github上面的资料：Awesome zero knowledge proofs (zkp)
https://github.com/matter-labs/awesome-zero-knowledge-proofs/blob/master/README.md
zkp.science 零知识证明索引：
StarkNet CEO 分享
首先了解，目前零知识证明主要是用于计算证明（如以太坊的Layer2扩容，如跨链dex的交易计算证明）以及隐私保护，而未来包括在预言机领域的应用，游戏领域（Dark Forest)应用会非常有想象空间。一切才刚刚开始。这里我分享，我看过的非常容易入门的文章，以及一些项目采用的技术方向，目前来看零知识证明应用的主要算法是zk-snark（这里有很多变种，应用比较多的实现是PLONK）和 zk-stark算法，每个方向下的一些技术资料分享给各位。
从零开始学习zk-SNARK(一)-多项式的性质与证明
https://learnblockchain.cn/article/287
从零开始学习zk-SNARK(二)-多项式的非交互式零知识证明
从零开始学习zk-SNARK(三)—从程序到多项式的构造
从零开始学习zk-SNARK(四)—多项式的约束
从零开始学习zk-SNARK(五)—Pinocchio 协议
浅谈零知识证明：背景与起源
浅谈零知识证明之二：简短无交互证明（SNARK）
浅谈零知识证明之三：zkSNARK证明体系的实现
http://blog.higashi.tech/2020/03/15/zkpub_03.html
浅谈零知识证明之四：zkSNARK证明体系的实现（下）
零知识证明实践教程，第一部分
零知识证明实践教程，第二部分
零知识证明实践教程，第三部分
Step1. 理解零知识证明算法之Zk-stark
Step2. 理解零知识证明算法之Zk-stark -- Arithmetization
Step3. 深入理解零知识证明算法之Zk-stark -- Low Degree Testing
Step4. 深入理解零知识证明算法之Zk-stark -- FRI协议
STARKs, Part I: 多项式证明
STARKs, Part II
STARKs，Part-3：攻坚（上）
STARKs，Part-3：攻坚（下）
https://medium.com/starkware/tagged/stark-math
stark虚拟机早期的设计草稿 - 介绍 Distaff：一个用 Rust 编写的基于 STARK 的 VM
https://ethresear.ch/t/introducing-distaff-a-stark-based-vm-written-in-rust/7318
stark虚拟机的早期指令集 - Distaff VM 的扩展指令集
https://ethresear.ch/t/expanding-instruction-set-of-distaff-vm/7504/5
stark算法实现的虚拟机，这个作者之后在facebook钱包团队实现了stark算法的证明器和验证器算法，现在被matic招入负责
@bobbinth 是distaff的作者，开发与两年前，几乎是一个人的实现，非常强悍
https://github.com/GuildOfWeavers/distaff/tree/master/src/stark
@bobbinth （twitter）后实现的兼容eth的stark算法的虚拟机
Miden的视频介绍 - a STARK based ZK
facebook实现的stark算法的证明器和验证
stark算法实现的细节教学，有python代码和详细的文章解读，非常棒的stark资料
垂直rollups dex ：
DEX Loopring 路印（去中心化dex和支付系统）
fluidex （去中心化订单薄dex）应用零知识证明 PlonK算法
zkswap （去中心化dex）
zklink （跨链去中心化dex）（应用零知识证明，算法没有在github上公开）
Dusk Network（零知识证明游戏）
zkSync
AZTEC 刚拿了 @paradigm 的1700万美金
aleo （a16z投资2800万美金的隐私优先的独立公链）
Mina Protocol （隐私公链）
https://zhuanlan.zhihu.com/p/442832584
mir-protocol 递归零知识证明公链 （现已被MATIC并购，4亿美金）
https://github.com/mir-protocol
Step1. 理解零知识证明算法之Bulletproofs --Range Proof I
Step2. 理解零知识证明算法之Bulletproofs --Range Proof II
Step3. 理解零知识证明算法之Bulletproofs --Range Proof III
https://zhuanlan.zhihu.com/p/97676457
Step4. 理解零知识证明算法之Bulletproofs--Arithmetic Circuits
https://zhuanlan.zhihu.com/p/98157476
零知识证明算法之PLONK --- 电路
https://zhuanlan.zhihu.com/p/343954730
零知识证明算法之PLONK --- 协议
https://zhuanlan.zhihu.com/p/345641784
Plookup原理详解
https://zhuanlan.zhihu.com/p/366693663
Halo2：原理剖析
https://zhuanlan.zhihu.com/p/385134321
（电路描述高级语言 circom文档）docs.circom.io/circom-language/data-types/
看V神如何巧妙讲解 https://zhuanlan.zhihu.com/p/429253463
未来前景分析
作者是aleo的投资人（a16z投资了2800万美金给aleo隐私优先的公链系统）
https://mirror.xyz/fdao.eth/f0VmaA_NOznHGtywVuuj0YBgtIvNw-k33UNOw0V7V2E
Github上面的资料：Awesome zero knowledge proofs (zkp)
https://github.com/matter-labs/awesome-zero-knowledge-proofs/blob/master/README.md
zkp.science 零知识证明索引：
StarkNet CEO 分享
stark算法V神的用例版本实现
satrkware 官方从数学角度解释了stark算法的理论逻辑，非常重要的文章
零知识证明 隐私 & 应用场景 & 知识汇总
https://three-recorder-52a.notion.site/ZK-12-9-bddfb03890af43ea8fc8b9c116be894b
知乎上零知识证明内容汇总
安比实验室零知识证明合集
stark算法V神的用例版本实现
satrkware 官方从数学角度解释了stark算法的理论逻辑，非常重要的文章
零知识证明 隐私 & 应用场景 & 知识汇总
https://three-recorder-52a.notion.site/ZK-12-9-bddfb03890af43ea8fc8b9c116be894b
知乎上零知识证明内容汇总
安比实验室零知识证明合集
头雁区块链免费撸空投网站合集
作者：头雁区块链小组Twitter：头雁区块链 www.twitter.com/alachenghttps://coinowo.com/active-airdrop （空投）https://earni.fi/ （空投）https://www.bitmmp.com/ （空投社区论坛）https://chainbroker.io/ （ido聚集）https://airdrops.io/（空投）airdropbob.com（空投）https://defillama.com/airdrops（空投）https://airdropalert.com/（空投）https://dropsearn.com/airdrops/（空投）https://coinmarketcap.com/airdrop/（空投）pinoffers.com/（空投）airdropking.io/en/（空投）grabairdrop.com/（空投）www.terradrops.io/（空投）dappradar.com/hub/airdrops（空投）https://dappradar.com/hub/airdrops（...
头雁区块链LayerZero：无需信任的全链互操作性协议
原文作者： Ryan Zarick Bryan Pellegrino Caleb Banister时间： May 26, 2021翻译：头雁区块链投资研究头雁区块链twitter：https://www.twitter.com/alacheng摘要区块链的普及给开发者带来了根据应用程序功能和要求来满足吞吐量、安全性和成本等多方面的需求的运行智能合约的各种平台。然而，一个后果这种自由是严重的分裂；每条链是隔离的，迫使用户孤立他们的流动性，并限制在围墙之间移动流动性和状态的生态系统。 本文介绍了第一个无需信任的全链互操作性协议 LayerZero，它提供了一个强大的低级通信原语，在此基础上，可以构建不同的跨链应用程序。使用这个新原语，开发人员可以实现无缝的跨链应用程序，如跨链 DEX 或 多链收益聚合器，无需依赖受信任的托管人或中间交易。简单地也就是说，LayerZero 是第一个无需信任启用的系统跨所有链的直接交易。允许交易在链之间自由流动为用户提供了整合分散的流动性口袋的机会，同时也充分利用了单独的应用程序链。通过 LayerZero，我们提供网络结构全连接的全链生态系统的基础设...
头雁区块链扩容-分片专题near系列 - aurora 以太坊兼容EVM虚拟机
而作为目前市面上唯一还在发展的几个围绕分片扩容的方向像NEAR，DOT，ONE，EGLD，而ETH中短期核心扩容还是会围绕LAYER2方案（这个后面我会专门有一期内容来分享LAYER2生态的发展现状），而首先会先从NEAR开始，会分几期来写NEAR生态，最开始介绍的是near生态兼容EVM虚拟机的aurora，主要有彩虹桥跨链资产交换产品和兼容EVM的虚拟机产品，这个项目是NEAR的核心开发者做的项目。 以太坊开发社区和生态太强大了，可以这么说，他的的EVM合约虚拟机虽然早先设计的有这样那样的问题，但是新的链基本都要想办法兼容EVM，包括像SOL，AVAX，BSC，HECO等都要兼容EVM，目的很简单，就是这样其生态的开发者的迁移合约成本和开发者门槛较低。 aurora项目的CEO 的twitter @AlexAuroraDev 官方网站： https://aurora.dev/ 项目也吸引了一些老牌ETH链上的项目过来，比如聚合DEX 1inch，DEX DODO，钱包imtoken图-0代币信息图-1https://coinmarketcap.com/currencies/a...
头雁区块链免费撸空投网站合集
作者：头雁区块链小组Twitter：头雁区块链 www.twitter.com/alachenghttps://coinowo.com/active-airdrop （空投）https://earni.fi/ （空投）https://www.bitmmp.com/ （空投社区论坛）https://chainbroker.io/ （ido聚集）https://airdrops.io/（空投）airdropbob.com（空投）https://defillama.com/airdrops（空投）https://airdropalert.com/（空投）https://dropsearn.com/airdrops/（空投）https://coinmarketcap.com/airdrop/（空投）pinoffers.com/（空投）airdropking.io/en/（空投）grabairdrop.com/（空投）www.terradrops.io/（空投）dappradar.com/hub/airdrops（空投）https://dappradar.com/hub/airdrops（...
头雁区块链LayerZero：无需信任的全链互操作性协议
原文作者： Ryan Zarick Bryan Pellegrino Caleb Banister时间： May 26, 2021翻译：头雁区块链投资研究头雁区块链twitter：https://www.twitter.com/alacheng摘要区块链的普及给开发者带来了根据应用程序功能和要求来满足吞吐量、安全性和成本等多方面的需求的运行智能合约的各种平台。然而，一个后果这种自由是严重的分裂；每条链是隔离的，迫使用户孤立他们的流动性，并限制在围墙之间移动流动性和状态的生态系统。 本文介绍了第一个无需信任的全链互操作性协议 LayerZero，它提供了一个强大的低级通信原语，在此基础上，可以构建不同的跨链应用程序。使用这个新原语，开发人员可以实现无缝的跨链应用程序，如跨链 DEX 或 多链收益聚合器，无需依赖受信任的托管人或中间交易。简单地也就是说，LayerZero 是第一个无需信任启用的系统跨所有链的直接交易。允许交易在链之间自由流动为用户提供了整合分散的流动性口袋的机会，同时也充分利用了单独的应用程序链。通过 LayerZero，我们提供网络结构全连接的全链生态系统的基础设...
头雁区块链扩容-分片专题near系列 - aurora 以太坊兼容EVM虚拟机
而作为目前市面上唯一还在发展的几个围绕分片扩容的方向像NEAR，DOT，ONE，EGLD，而ETH中短期核心扩容还是会围绕LAYER2方案（这个后面我会专门有一期内容来分享LAYER2生态的发展现状），而首先会先从NEAR开始，会分几期来写NEAR生态，最开始介绍的是near生态兼容EVM虚拟机的aurora，主要有彩虹桥跨链资产交换产品和兼容EVM的虚拟机产品，这个项目是NEAR的核心开发者做的项目。 以太坊开发社区和生态太强大了，可以这么说，他的的EVM合约虚拟机虽然早先设计的有这样那样的问题，但是新的链基本都要想办法兼容EVM，包括像SOL，AVAX，BSC，HECO等都要兼容EVM，目的很简单，就是这样其生态的开发者的迁移合约成本和开发者门槛较低。 aurora项目的CEO 的twitter @AlexAuroraDev 官方网站： https://aurora.dev/ 项目也吸引了一些老牌ETH链上的项目过来，比如聚合DEX 1inch，DEX DODO，钱包imtoken图-0代币信息图-1https://coinmarketcap.com/currencies/a...
做中文最好的投资研究和投资工具
做中文最好的投资研究和投资工具
Share Dialog
Share Dialog
Subscribe to 头雁区块链
Subscribe to 头雁区块链
<100 subscribers
<100 subscribers
No activity yet