全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

ZK与以太坊扩容的未来

Arbitrum 最近发布了一篇精彩的文章：认为 Optimistic Rollups (OR) 代表了以太坊的未来，而我们有不同的观点
Polygon  OP Rollup 
  • Luna Lau
  • 发布于 2022-01-25
  • 阅读 ( 3488 )
  • ( 10 )

零知识证明 - Halo2电路构建源代码导读

理解[Halo2](https://learnblockchain.cn/article/2945)，可以从两部分着手：1/ 电路构建 2/ 证明系统
零知识证明  Halo2 
  • Star Li
  • 发布于 2022-01-18
  • 阅读 ( 6168 )

Plonky2入门指南 ——关于全世界最快的ZK技术

[Plonky2](https://learnblockchain.cn/article/3697)入门指南 ——关于全世界最快的ZK技术
Polygon  Plonky2  零知识证明 
  • Luna Lau
  • 发布于 2022-01-13
  • 阅读 ( 5887 )
  • ( 23 )

Schnorr 签名系列：Schnorr 盲签名

本文介绍了Schnorr盲签名及其在构建“木讷”服务器中的应用，探讨了如何使用盲签名实现token服务器、品牌证书服务器和CoinSwap服务器，以保护用户隐私并实现无需信任的交易。文章还详细解释了Schnorr盲签名的工作原理，并讨论了其安全性。
Schnorr签名  盲签名  木讷服务器  CoinSwap  密码学  隐私 

Schnorr 签名系列：最优轮次的灵活 Schnorr 门限签名（FROST）

本文深入探讨了FROST（Flexible Round-Optimized Schnorr Threshold）签名方案，FROST 可以被认为是 MuSig 利用分布式的密钥生成延伸成了门限签名。
FROST  Schnorr签名  门限签名  多项式插值法  Shamir密钥分割  分布式密钥生成 

zkSNARK实践（四）—— merkle证明

merkle树在区块中应用非常广泛，比如比特币SPV节点，使用merkle树来验证一笔交易是否在区块中。
zkSNARK 
  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 6183 )
  • ( 7 )

zkSNARK实践（三）—— 哈希函数的证明

哈希是一种常用的密码学工具，它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性，常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。
零知识证明  zkSNARK 
  • stirlingx
  • 发布于 2021-12-03
  • 阅读 ( 5895 )
  • ( 10 )

Schnorr 签名系列：从 ID 到签名

本文是Schnorr签名安全系列文章的第二部分，主要讲解了如何将Schnorr身份证明协议转化为签名方案，并论证转换后的签名协议的正确性。文章详细解释了Fiat-Shamir变换，以及如何通过将 Schnorr 签名的攻击化约为对 Schnorr ID 协议的攻击来证明Schnorr签名的安全性。
Schnorr签名  Fiat-Shamir变换  数字签名  密码学  安全性证明  离散对数问题 

Schnorr 签名系列：Schnorr 身份证明协议

本文是schnorr签名安全系列的第一篇文章，主要介绍了Schnorr身份认证协议。文章从零知识证明的角度，探讨了Schnorr身份协议的完整性、可靠性和诚实验证者零知识性，并论证了该协议在离散对数问题上的安全性，为后续将身份证明协议转化为签名协议奠定了基础。
Schnorr签名  身份认证协议  零知识证明  离散对数问题  密码学  安全性 

Schnorr 签名系列：简介

本文介绍了 Schnorr 签名及其工作原理，并与 ECDSA 签名进行了比较。Schnorr 签名具有体积更小、计算和验证速度更快的优点，并且具有线性特性，这使得它能够支持多种签名方案。文章还讨论了 Schnorr 签名的安全性和特性。
Schnorr 签名  ECDSA  数字签名  椭圆曲线  公钥  私钥 

zkRollup 赛道，有何可期？

请关注StarkNet和zkSync 2.0 的主网版本，因为这是我们所知道的区块链扩容的未来。
以太坊  ZK Rollup  zkSync 

zkSNARK实践（二）——指数方程的证明

zkSNARK实践（二）——指数方程的证明
零知识证明  zkSNARK 
  • stirlingx
  • 发布于 2021-11-19
  • 阅读 ( 4139 )
  • ( 7 )

zkSNARK实践（一）——多项式方程的证明

zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge，翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多，几乎都只讲解它的数学原理。因为它实在太难了，...
零知识证明  zkSNARK 
  • stirlingx
  • 发布于 2021-11-18
  • 阅读 ( 7280 )
  • ( 41 )

SNARK 与区块链的未来

本文介绍了SNARK技术在区块链中的应用，它作为一种简洁的非交互式知识证明，可以实现非交互式见证数据压缩（NIWA），从而提高验证效率并保护隐私。文章解释了SNARK如何通过聚合见证数据来优化区块链的状态转换验证，并讨论了SNARK在带宽约束方面的局限性，强调虽然SNARK能有效压缩和聚合数据，但仍然需要传播非见证数据以更新UTXO集合。
SNARK  零知识证明  区块链  UTXO  非交互式见证聚合  NIWA 

读懂 ZK-Rollups：如何带来 Crypto 生态系统的范式转变？

“对于其他L1区块链而言，未来的实现主义方案是放弃其多余的共识机制和数据可用性，转而成为一个ZK-Rollup或者Volition”
Volition  以太坊  Layer 

Halo 及和更多：探索无需配对的增量验证与SNARKs技术

本文深入探讨了增量验证和无配对SNARKs技术，重点介绍了Halo协议及其在Zcash中的应用。文章详细解释了内部乘积参数（IPA）的工作原理，以及如何通过合并多个IPA证明来提高验证效率。此外，还介绍了如何将R1CS证明与增量验证技术结合，以及这些技术在递归SNARKs中的应用。
增量验证  SNARKs  Halo协议  内部乘积参数  递归证明  Zcash 

零知识证明 - KZG多项式承诺

零知识证明 - KZG多项式承诺
KZG  零知识证明 
  • Star Li
  • 发布于 2021-10-15
  • 阅读 ( 4677 )

创世文档：David Chaum 的 eCash 如何催生一个密码朋克的梦

本文介绍了密码学专家David Chaum及其开创性的数字现金系统eCash。eCash通过盲签名技术实现交易隐私，启发了密码朋克运动，并对后来的比特币发展产生影响。虽然DigiCash公司最终失败，但Chaum的贡献为数字货币领域奠定了基础。
David Chaum  Ecash  盲签名  DigiCash  密码朋克  数字货币 

关于 Nathan Schneider 对加密经济学的局限性

Nathan Schneider的文章探讨了加密经济学在治理方面的局限性，并提供了对其可能改进方式的见解。他讨论了新自由主义的批评及其对区块链系统的相关性，强调了在设计区块链系统时结合经济与政治思想的重要性。作者认为，通过引入政治层面，加密经济学能够更好地服务于公共利益，而不仅仅是经济激励的循环。
加密经济学  治理机制  怀疑论  区块链系统  加密思想 

一文读懂零知识证明（ZKP）

本文将详细探讨零知识证明如何保障隐私，而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例，以及如何利用Chainlink的DECO​技术建立保护隐私的预言机网络，证明数据来自某一web服务器的同时保护数据隐私，并实现向后兼容。
零知识证明  DECO  Chainlink  预言机 
  • Chainlink
  • 发布于 2021-09-23
  • 阅读 ( 8436 )
  • ( 41 )