...态根存储在 L1 上。它是[更深入探讨文章中概述的 ZK-SNARK 证明解决方案](https://learnblockchain.cn/article/6026#how-would-zk-snark-proofs-work)的实现。 如果用户想要更改他们的 SCW 签名者，他们可以提交一个 SNARK，证明他们有权访问他们 SCW ...
...建议学习 [@SquadsProtocol](https://x.com/SquadsProtocol) v4 的基础知识。[https://github.com/Squads-Protocol/v4](https://t.co/Mhh2JdCfxW) 对于优秀的非 Anchor 代码，阅读 [@sanctumso](https://x.com/sanctumso) 的 S，以及 Ellipsis Labs 的 Plasma/gavel ## Solana 技巧 4 ...
...新成立的 Hoodi 网络成功激活了 Electra 分叉，显著改变了证明（attestation）被打包到信标块（beacon block）中的方式，详情参见 [EIP-7549](https://eips.ethereum.org/EIPS/eip-7549)。本文回顾了之前证明聚合的工作方式，以及最近的分叉如何改...
...义反复，但大家花了很长时间才意识到这一点。Rollup 的知识历史经历了 plasma 和状态通道的曲折发展，我们所有人都有些迷失方向。在比特币基础的原型 Rollup 的早期，没有排序器。用户只是将他们的交易发布到宿主链。在那之...
...ockchain.cn/article/16594/) - [了解 RWA 背后的技术：区块链基础知识](https://learnblockchain.cn/article/16605/) - [驾驭 RWA 投资的法律环境](https://learnblockchain.cn/article/16609/) - [区块链对来源和真实性的影响](https://learnblockchain.cn/article/16607/) - [区...
...TypeScript 框架，可让你在 Web 浏览器中创建任意语句的 [零知识证明](https://vitalik.ca/general/2021/01/26/snarks.html)。创建 zk 证明的重型机械位于 [Rust 库](https://github.com/o1-labs/proof-systems) 中。Rust 被编译为 Wasm，以将该机械引入 JS 运行时...
...结果放到链上的过程，这个过程最大的问题就是在于怎么证明这个结果是有效的，两种证明方式也就产生了两种主流的 rollups 方案：Optimistic rollups 和 zk rollups。 人如其名，Optimistic 的英文含义是乐观的，即 Optimistic rollups 使用...
... - [了解加密货币中的质押：全面了解质押与挖矿的基础知识](https://blockapps.net/blog/understanding-staking-in-crypto-a-comprehensive-look-at-staking-vs-mining-basics/) - [加密货币中的质押：探索 2024 年顶级流动性质押平台](https://learnblockchain.cn/article...
_查克·诺里斯不会生成 KZG 证明。宇宙只是简单地调整以匹配他的计算。_ ## 关于 KZG 承诺和 KZG 证明 ### 介绍 之前，我们看到一个携带 blob 的区块同时包含一个 KZG 承诺和一个 KZG 证明。 [例子](https://beaconcha.in/slot/10433465#blobs): ...
## 实时证明已到来 上周，Succinct 宣布他们实现了实时证明：  我们应该将此视为一个了不起的成功，以及以太坊在 ZK 上下的大赌...
...usenix.org/system/files/usenixsecurity24-zhang-mingfei.pdf) 是最近针对证明激励的一种攻击。楼梯攻击旨在使诚实验证者遭受惩罚，即使他们在 Capella 升级后的同步网络中严格遵守协议。在楼梯攻击中，拜占庭验证者扣留他们的证明，以防止...
...ssion-with-zeroknowledge-validity-proofs) 了一种在比特币中使用零知识有效性证明进行状态压缩的方法。这极大地减少了客户端为无需信任地验证系统中未来的操作而需要下载的状态量，例如，只需相对较少的有效性证明即可启动一个新...
...深度。 理解价值或风险如何转移所需的关注和领域专业知识越多，可以预期的阻力就越小，并且获得说服核心开发人员纳入更改所需的社区情绪临界质量就越容易。 一个公然的 EIP 说“每个区块给我们的阴谋集团 X ETH”将很快...
...系统(GR1CS)设计, 其核心流程可分为**Setup(参数生成), Prove(证明生成), Verify(证明验证)** 三个阶段, 具体步骤如下: ### **1. Setup** 生成公共参数, 供证明者和验证者后续使用, 依赖电路特定的可信设置(Trusted Setup). **输入**: GR1CS...
**TL;DR（太长不看）** - 通过 EIP-4844，交易发送者计算 KZG 证明，并将其与 blob 交易一起发送。 - 在当前的 PeerDAS 设计下，验证样本需要在样本（单元格）级别进行 KZG 证明，目前这些证明是在 CL 中计算的，以避免将 DAS 密码学泄...