...low 通过消除 Solana 的几个遗留组件来简化共识，包括历史证明、Tower BFT 和基于 gossip 的投票传播。Alpenglow 引入了 400 毫秒的固定区块时间来代替历史证明，这与拥有全局同步区块**并不**相同，目的是协调整个网络的时序。 - 该...
...名字叫 Nervos CKB 。CKB 是 Common Knowledge Base ，也就是”共同知识库“的意思。名字中就可以看出，链上保存的就是共识数据。CKB 采用的是跟比特币一样的 POW 算法，最大程度保证了安全和共识范围。但是[比特币](https://learnblockchain....
...api/utils/cryptography#SignerZKEmail): 使用电子邮件权限签名的零知识证明，为智能合约启用基于电子邮件的身份验证。 - [`MultiSignerERC7913`](https://docs.openzeppelin.com/community-contracts/0.0.1/api/utils/cryptography#MultiSignerERC7913): 允许使用具有基于...
内存检查在zkVM中，用于使证明者能够向验证者证明读/写内存的操作是正确的。在内存系统中，值 $v$ 可以被写入地址 $a$，随后程序可以通过地址 $a$ 检索值 $v$。该技术允许验证者高效地确认证明者遵守了内存的规则（即，任何...
## 我们对故障证明组件的基准测试总结，以确保它们在我们的扩展工作中保持稳定 ## OP Stack 中的故障证明 Base 最近在主网上[启动了](https://learnblockchain.cn/article/16021)故障证明，这标志着我们在逐步去中心化道路上的一个重要里...
...开始 ## 椭圆曲线 首先是一些关于椭圆曲线的前置知识。以太坊的签名是根据$y^{2}=x^{3}+7(mod\ p)$这个椭圆曲线方程（SECP256K1）来计算公、私钥的。这里的 * `P`是一个非常非常大的质数 * `N`是这个群的阶(本质上是椭圆曲...
...笔记中，我们将关注**协议角色（protocol roles）**，例如 **证明者（attester）** 或 **构建者（builder）**，这些是协议期望履行的职能。负责履行角色的参与方是**服务提供商（service provider）**，最终由以太坊网络上的一个 **节点（no...
...起问题：出现记账不一致的问题，比特币系统引入工作量证明来解决这个问题，规则如下： * 一段时间内（10分钟左右，具体时间会与密码学难题难度相互影响）只有一人可以记账成功 * 通过解决密码学难题（即工作量证明）...
...诺领域：将 KZG 承诺 (需要配对) 的简单性与更复杂的内积证明 (inner product arguments，不需要配对) 的内部逻辑进行比较。 ### 密码学 vs. 加密经济学 在许多区块链设计中出现的一个重要设计选择是密码学 (cryptography) 与加密经济...
.../339/)了使交易更私密甚至受保护的想法，但当时实用的零知识技术尚未广泛可用或准备好部署。 随着越来越多的资金存入链上，用户（尤其是机构）开始质疑他们是否真的希望自己的整个加密货币余额对公众可见。 无论是完全...
...态转换函数的输出，要验证它们的有效性，需要等待 ZK 证明。ZK 证明的生成需要时间，此外，还存在延迟的动机，以便在一个证明中包含更多交易，从而更好地摊销证明生成和验证的成本。 证明聚合技术提供了一种解决确认...
...线，我认为我们应该更深入地探讨一些 Berachain 和流动性证明 (Proof of Liquidity) 背后的机制。 让我们首先讨论一下 Berachain 的三代代币模型。 三代代币模型由以下组成： \- GasCoin $BERA， \- 治理代币 $BGT， \- 以及稳定币 $HONEY。 ...
...、t-1 阶的多项式。下一步，每一方都被要求提供对 ai0 的知识证明，因为这是他们对共有私钥的贡献。这是使用 [非交互式 Schnorr ID 协议](https://suredbits.com/schnorr-security-part-1-schnorr-id-protocol/) 来证明的，使用一个随机 nonce 值 ki，...
...nd.foundation/news/what-are-real-world-assets-rwas)等实物，以及诸如知识产权、书籍、音乐和消费品等数字资产。RWAs 代表了全球金融价值的很大一部分，其中[2020 年全球房地产的价值为 326.5 万亿美元，黄金市值 为 12.39 万亿美元](https://www...
...IL 通过使用下一个区块的提议者来消除此假设，并保持与证明者委员会的检查中的故障点。但是，依赖证明者会带来很多问题。证明者没有动力进行验证； 只要他们与其他证明者一起投票，他们就可以获得奖励而没有受到惩罚...