...行证明递归。在此设置下也很难使用其他专用协议。验证算法必须是EVM 友好的。 2. EVM 字长为256 位。 EVM 基于256 位整数运行(就像大多数常规VM 基于32-64 位整数运行那样)，而zk 证明” 天然“地基于素域运作。在电路内进行” 不...
...从某人身下拉出地毯，导致他们意外摔倒的行为。 在去中心化金融（[DeFi](https://learnblockchain.cn/tags/decentralized-finance-defi)）中，**rug pull 是指** [**诈骗**](https://learnblockchain.cn/article/13751)，其中开发者推广一种新的代币或平台，只...
...2Qm4YM/edit#heading=h.7xd9vku19q4u)。 ##### KADEMLIA 一种用于去中心化点对点网络的分布式哈希表(DHT)。Mina使用Kademlia发现对等节点，这样节点就可以找到邻居节点来共享关于网络状态的信息。 ##### KEYPAIR密钥对 一个[私钥](https://do...
...持或提出新特性。它对于 Web3 是至关重要的，因为它为去中心化应用、基础设施和 NFT 提供支持。 本指南将涵盖区块链数据的各个方面，从链上数据和链下数据，到区块链索引和子图。到本指南结束时，你应该能更深入地理解...
...eb2 应用程序不同，Web2 应用程序依赖于由单一实体控制的中心化服务器和数据库，而 Web3 应用程序使用区块链技术将数据和控制权分配给众多用户。这种方法利用智能合约（区块链上的自执行代码）和去中心化存储来创建不需要...
支持去中心化应用（dApps）的是连续执行的 [智能合约](https://learnblockchain.cn/article/12881)。最初由计算机科学家和密码学家 **Nick Szabo** 提出的智能合约，简单来说就是控制区块链上账户行为的可编程代码和数据。智能合约代码存储...
...特币，输入还必须满足一些条件，比如要提供数字签名来证明发送者具有输入地址的 “所有权”。同时，输出也会确立这些比特币在日后使用时候的新条件，在 *后序事务* 发出的时候必须满足。 （译者注：把比特币想象成...
为什么 Layer2 要去中心化其排序器？ ###### Sankalp Sharma  排序器是 L2 网络的空中交通管制（ATC...
...： 上一篇文章中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项...
# 可证明的代码 为了让 zk-rollup 验证其操作的正确性，它必须能够证明，例如交易已正确执行。这是可能的，因为所有底层 Protokit rollup 代码都是使用 o1js 编写为 zk 电路。因此创建可证明的代码，从而产生 zk 证明。 ## o1js...