密码学文章 - 第37页

SNARK 与区块链的未来

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

SNARK 零知识证明区块链 UTXO 非交互式见证聚合 NIWA

BTCStudy
发布于 2021-11-12
阅读 ( 603 )

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

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

Volition 以太坊 Layer

Unitimes
发布于 2021-11-10
阅读 ( 4784 )

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

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

增量验证 SNARKs Halo协议内部乘积参数递归证明 Zcash

Vitalik Buterin
发布于 2021-11-07
阅读 ( 688 )

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

KZG 零知识证明

Star Li
发布于 2021-10-15
阅读 ( 4662 )

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

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

David Chaum Ecash 盲签名 DigiCash 密码朋克数字货币

BTCStudy
发布于 2021-10-03
阅读 ( 351 )

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

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

加密经济学治理机制怀疑论区块链系统加密思想

Vitalik Buterin
发布于 2021-09-28
阅读 ( 688 )

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

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

零知识证明 DECO Chainlink 预言机

Chainlink
发布于 2021-09-23
阅读 ( 8416 )
( 41 )

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线

zkSync 2.0

EthFans
发布于 2021-09-21
阅读 ( 3921 )

受信任第三方与安全漏洞

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

受信任第三方安全协议密码学风险管理隐私保护拜占庭容错

BTCStudy
发布于 2021-09-11
阅读 ( 305 )

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

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

权益证明 PoS 私钥攻击拜占庭容错无法伪造的奢侈消耗共识机制

BTCStudy
发布于 2021-09-11
阅读 ( 282 )

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.

零知识证明 zkSNARK PLONK Halo2

blocksight
发布于 2021-09-06
阅读 ( 5428 )
( 4 )

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。

零知识证明 Layer2 zkEVM zkSNARK ZK Rollup

Star Li
发布于 2021-09-02
阅读 ( 4792 )

ZKopru：结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成，本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。

Layer2 零知识证明扩容 OP Rollup zkopru

EthFans
发布于 2021-08-19
阅读 ( 3708 )

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

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况，还能证明星球的移动正确，引入了零知识证明技术。

零知识证明 Dark Forest

Star Li
发布于 2021-08-17
阅读 ( 4480 )

加密基础

加密货币是基于密码学构建起来的，要理解加密货币需要先理解加密学的一些基本知识，本文将介绍加密学的几个基本概念。

wonesky
发布于 2021-08-13
阅读 ( 5155 )
( 29 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。

零知识证明 Layer2 zkEVM Polygon zkEVM

Star Li
发布于 2021-08-11
阅读 ( 3976 )

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

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

密码学区块链安全

xxnetworkcn
发布于 2021-08-10
阅读 ( 4610 )

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

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

椭圆曲线 zkSNARK 密码学

blocksight
发布于 2021-08-01
阅读 ( 7428 )

零知识证明 - Plookup算法介绍

最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约束方式，降低约束的个数，提高了电路效率。

零知识证明 Plookup

Star Li
发布于 2021-07-26
阅读 ( 4909 )

简明理解零知识证明历史、原理与发展现状

零知识证明已在区块链领域大放异彩，包括第一个实现 zkSNARK 的匿名加密货币 Zcash 和 Layer 2 的主要解决方案 ZK Rollup。

零知识证明密码学

链闻
发布于 2021-07-15
阅读 ( 8293 )
( 8 )