...也不需要 调用其他额外的Tendermint Core API来获得进一步的证明。 注意在下面的代码中我们没有包含证明数据。 ``` func (app *KVStoreApplication) Query(reqQuery abcitypes.RequestQuery) (resQuery abcitypes.ResponseQuery) { resQuery.Key = reqQuery.Data err :=...
## 草稿计算：去中心化证明的通信复杂度 **本笔记着眼于在 1000 台机器的集群上并行化 10 亿指令周期的计算证明所需的通信复杂度。** **我们首先讨论[在 RISC Zero 的 Bonsai 上，我们的递归架构中的通信复杂度](#Parallelizing-recursive...
...不断发展，能够快速匹配不断变化的生态系统。Linea 将零知识证明的力量与完整的以太坊虚拟机 (EVM) 等效性相结合，允许构建者创建可扩展的 dapps 或迁移现有的 dapps，而无需更改代码或重写智能合约的麻烦。 就 NFTScan 数...
...。 ## 智能合约审计入门 审计智能合约需要技术专业知识、安全意识和正确的工具。 以下是如何开始： ## 先决条件 - **以太坊和 EVM 知识**：了解以太坊的架构、以太坊虚拟机 (EVM)、gas 机制和交易生命周期。 - **Solidity ...
...供不可篡改和伪造机制，我们可以用近乎零成本的方式去证明一枚代币的真伪，并对产生这枚代币需要耗费的能源的价值达成共识，这个共识的成本极低。这个时候通过 PoW 产生的代币具有了储藏价值的资产属性，当我们基于代...
在本指南中，我们探讨了工作量证明 (PoW) 和权益证明 (PoS) 之间的区别，这两种 Sybil 抗性机制被用于区块链网络。 **工作量证明 (PoW) 和权益证明 (PoS)** 是任何区块链共识算法中 **最流行的 Sybil 抵抗机制** 之一。 我们并没有...
...具（如 [Certora Prover](https://www.certora.com/#About)）进行静态证明。 Notional Finance 团队编写并在其代码中检查的不变量不幸地没有描述开发者所设想的属性。由于逻辑错误，该不变量是**空洞的**，即没有办法违反它。因此，它在 Certo...
...们甚至可以以一种半可否认的方式来做到这一点：从每个证明者的贡献来看，没有明确的证据表明他们包含了哪些交易，因为一个单独的数据可能来自多个可能的交易。 这篇文章提出了实现这一目标的一种可能方式。 ### 机制 ...
...了另一个从 `Alice` 收到 ecash 的用户 `Carol` 如何执行 DLEQ 证明。这是通过离散对数等式 (DLEQ) 证明实现的。以前，`Bob` 的签名只能由他自己使用他自己的私钥来检查 ([NUT-00][00])。 ## DLEQ 证明 DLEQ 的目的是证明 mint 使用了相同的私...
...一篇文章中](https://learnblockchain.cn/article/6548)，我们提到了证明者需要让验证者相信TLS响应是从某个特定服务器发送的。 DECO包含以下三个部分，即：证明者（Alice或简称“她”）、验证者（Bob或简称“他”）以及TLS服...
.../learnblockchain.cn/article/17460) 本书是关于在 Plonk/Honk/PlonkISH 证明系统中执行高效递归证明组合的方法规范。 核心技术包括使用曲线循环，以避免执行类似 Halo2 的昂贵的非原生群运算。 我们通过引入指令机来委派昂贵的非原生群...
...必须在求解网络中实施加密机制，例如私有待处理池、零知识证明和公平订单排序。例如，CoW Protocol 的批量拍卖模型通过以减少对抗性交易策略的方式执行交易，最小化了 MEV 的影响。类似地，Particle Network 的跨链执行框架结合...
## 从零到英雄：OP Stack 欺诈证明系列 1 ### Optimism 多重证明架构中的欺诈证明机制 > Tokamak Network 旨在为当前对 Optimism 和 Ethereum 生态系统的发展感兴趣的开发者提供有价值的信息。 ![](https://img.learnblockchain.cn/2025/06/26/1mQyeWf2MD...