...跨链交互的基础设施协议，为比特币生态系统提供跨链零知识证明（ZKP）。传统的 BTC 跨链桥通常依赖于多重签名托管人或中心化中介机构，引入了额外的信任假设，并将用户资产置于单个实体或一小群体的控制之下。这种中心...
...作原理。读者或许已经了解过相关内容，但重温这些基础知识有助于理解本系列的余下文章。 ## 状态通道有什么用？ 状态通道往往被视为一种扩容方案。自状态通道问世以来，Layer 2 扩容也有了许多进展。（“Layer 2” 指在...
理解Halo2，可以从两部分着手：1/ 电路构建 2/ 证明系统。从开发者的角度看，电路构建是接口。如何通过Halo2构建建电路，这些电路在Halo2的内部如何表示是理解电路构建的关键。本文就从源代码的角度深入浅出讲解Halo2的电路构...
...。 * 然后你学习 Solidity。 * 然后你学习安全基础知识。 * 之后，你花更少的时间学习，而花更多的时间练习。 * 最终，你开始建立你的技能证明，只有这样，工作、自由职业或赏金才有意义。 ## 7\. 第一步：区...
...20 主要是围绕这一痛点来展开的，以及如何通过强化的零知识证明（如无小因子证明、Blum 模数证明）和原子性签名来封堵这一漏洞。即使采用 GG20，Paillier 参数验证和密钥管理仍是审计重点。 以前的文章 - [VSS、DKG、Threshold-S...
...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...
...计算到隐私保护的加密货币各种用例的一种通用简洁的零知识证明技术。你可能不知道的是，ZK-SNARKs有一个更新、更闪亮的表亲：ZK-STARKs。ZK-STARKs中的“T”代表“透明”，它解决了ZK-SNARKs主要的一个弱点：对“受信任设置”的...
...造假除了加强监管一直没有很好的解决办法，但是随着零知识证明技术逐渐成熟，我们可以看到一种新的解决思路。 如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组...
...道抵抗优先于性能。 椭圆曲线密码学的新应用，如零知识证明或基于权益证明的区块链协议，都受到密码学的限制。 ### 在区块链中 以太坊 2 客户端花费或者曾经花费其 30% 到 99% 的处理时间来验证研发测试网络上区块验...
...kchain.cn/2025/04/26/1kCCOs0VH2a2fIgaayk-euw.jpeg) ## 背景和动机 零知识证明在区块链中蓬勃发展。 [Plonky2](https://github.com/0xPolygonZero/plonky2) 是 ZK 开发者最受欢迎的 STARK 框架之一。但众所周知，在智能合约中使用基于 FRI 的多项式承诺和 F...
...拙的协议。 如今，**PLONK 被认为是最雄心勃勃的通用零知识证明结构之一。** 许多项目，如 Zcash、Polygon Zero（以前称为 Mir Protocol）、Aztec 网络、Dusk、MatterLabs（zksync）、Astar 和 anoma，都有自己的证明系统实现。 ## 但首先，...
...函数进行承诺是我们将在将来的文章中要关注的一些_零知识证明_的关键成分。  > 此外，回想一下，当我们谈论门限密码学时，我们提到过某些情况需要**可验证的秘密共...
...安全**——VRF 用于帮助保护域名系统（DNS）消息。 - **零知识技术**——VRF 用于零知识证明和零知识数据库的协议设计中。 - **非交互式彩票系统**——VRF 为彩票实现可证明的公平有效的开奖结果。 - **可验证的交易托管方案**—...
...出。 ## MPC 钱包简介 现在我们已经了解了 MPC 的基础知识，我们可以开始理解它是如何纳入 MPC 钱包中的。加密钱包有很多不同类型。大多数加密钱包可以分为以下两类： 1. 冷钱包：冷存储钱包是将用户的私钥存储在离线...