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

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

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

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

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

创世文档：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
  • 阅读 ( 8792 )
  • ( 41 )

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线
zkSync 2.0 
  • EthFans
  • 发布于 2021-09-21
  • 阅读 ( 4105 )

受信任第三方与安全漏洞

本文作者Nick Szabo作为密码学专家，认为安全协议设计中引入受信任第三方(TTP)会引入安全漏洞，增加成本和风险。文章提出了一种设计安全协议的方法论，即并行设计受信第三方和需要这些第三方的协议，并且探讨了通过分发TTP资格来降低成本和风险的安全机制，强调了最小化对受信任第三方依赖的重要性，并讨论了私有财产保护中避免依赖TTP的策略。
受信任第三方  安全协议  密码学  风险管理  隐私保护  拜占庭容错 

权益证明，私钥攻击与无法伪造的奢侈

本文作者 Hugo Nguyen 深入探讨了权益证明（PoS）机制中存在的私钥攻击问题，将私钥攻击分为旧私钥攻击和现有私钥攻击两类，并分析了 Tendermint、Casper 和 DFINITY 等 PoS 实现方案在面对此类攻击时的不足之处。作者强调了“无法伪造的奢侈消耗”在比特币中的重要性，并指出 PoS 协议设计者常常忽视这一点。
权益证明  PoS  私钥攻击  拜占庭容错  无法伪造的奢侈消耗  共识机制 

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.
零知识证明  zkSNARK  PLONK  Halo2 

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。
零知识证明  Layer2  zkEVM  zkSNARK  ZK Rollup 
  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 5111 )

ZKopru：结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成，本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。
Layer2  零知识证明  扩容  OP Rollup  zkopru 
  • EthFans
  • 发布于 2021-08-19
  • 阅读 ( 4008 )

Dark Forest - 采用零知识证明技术的游戏

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。
零知识证明  Dark Forest 
  • Star Li
  • 发布于 2021-08-17
  • 阅读 ( 4778 )

加密基础

加密货币是基于密码学构建起来的，要理解加密货币需要先理解加密学的一些基本知识，本文将介绍加密学的几个基本概念。
  • wonesky
  • 发布于 2021-08-13
  • 阅读 ( 5564 )
  • ( 29 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。
零知识证明  Layer2  zkEVM  Polygon zkEVM 
  • Star Li
  • 发布于 2021-08-11
  • 阅读 ( 4215 )

基于哈希的密码学：通往量子安全的数学路径（上）

基于哈希(hash-based)的密码学是最古老的量子安全密码学领域之一，数字签名算法可以追溯到1979年，比椭圆曲线密码学发明还早。
密码学  区块链安全 

区块链中的数学 - Baby Jubjub Elliptic Curve

本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
椭圆曲线  zkSNARK  密码学