...h) 这两个概念之前，我们首先熟悉一下关于比特币的背景知识： - 在比特币网络中，比特币的形式是 UTXO。UTXO 是 **Unspent Transaction (TX) Output（未花费交易输出)** 的缩写，即，比特币交易执行后形成的面额不定的单元。例如，你...
...mp-epoch-infinity/)：8 个问题的 Solidity 测验答案 * 0xPARC [可证明对象数据类型](https://pod.org/)（POD）：用于 Zupass、FrogCrypto 和 Meerkat ## **安全** * DeltaPrime [$4.8M 漏洞](https://rekt.news/deltaprime-rekt2/) 在 Arbitrum 和 alt L1 上，攻击者随...
我最近遇到个需求: 需要在很多数据中,证明x的存在,例如在[0,1,2,3,4,5]中证明x是这个数组中的某个值,前提只知道x的值(hash或者私钥)但不知道x就是0或者1这样,如何才能在merkle tree中证明呢 我查看了很多证明,但所需要知道兄弟节...
...ia](https://www.satalia.com/) 的优化科学家们合作进行的关于 **证明打包（attestation packing）** 的成果。 证明打包是 Ethereum 共识客户端选择包含在区块中的证明的过程。我们之前在这篇博客上 [写过关于它的文章](https://blog.sigmaprime.io/a...
...06_image.jpg) **放大区块头** 轻客户端协议由交易 Merkle 证明、状态证明、共识证明和最终性证明的组合组成，所有这些通常包含在区块头中，除了最终性证明。因为最终性证明可能与共识证明不同，并且需要的数据显示是头部...
...达成一致。 本文回顾了共识机制的发展，重点关注权益证明日益增长的重要性，以及它如何以尽可能根本的方式影响整个区块链生态系统。 > ## 主要收获 > > - 权益证明 (PoS) 共识克服了工作量证明 (PoW) 的局限性、能源效率低下...
...{True,False}，它对输入进行某种验证。使用 ZK-SNARK，你可以证明你知道一个 w，使得 f(x,w)=True，而不揭示 w 的具体值。此外，验证者可以比自己计算 f(x,w) 的速度快得多来验证证明，即便他们知道 w。 ![](https://img.learnblockchain.cn/2...
...的算力，给出目前签名的难度，比如只有不少于连续10个零开头的签名才算是合格的签名，对应的区块才可以上链。 不要小看这“连续10个零开头”的规定，就是它让篡改数据的人头疼。 因为并不知道代入什么值才可以得到...
# 一、imToken能调合约？ 今天在看以太坊多重签名时，发现都是通过智能合约来实现的（类似投票合约），那么就有一个问题，主流的钱包如imToken，怎么调用智能合约呢。 以前使用imToken钱包都是直接转账，从未想过使用imToken...
...。例如，安全性应通过无信任机制来保证，例如轻客户端证明或开放的去中心化验证者集的证明。中继应去中心化或无权限，以确保活力；中心化的中继者可以失败，从而停止协议。 ### 待讨论事项 - `sendMessage`的目的地和接...
## 为什么权益证明棒棒的（2020 年十一月） 为什麼權益證明棒棒的（2020 年十一月） **感谢Chih-Cheng Liang, Hsiao-wei Wang和Jerry Ho翻译这篇文章** 权益证明（Proof of Stake, PoS）比工作量证明（Proof of Work, PoW）在区块链安全上更具优势...
...， 用Cairo编写的程序，会生成**证明**（不需要用户了解ZK知识 ），可证明结果是由特定的程序和特定的输入得到，而不用重复运行程序（从而可以节约大量重复运营的开销，达到扩容效果）。 Cairo 是一个通用的可证明的程...
...为 Layer 2 执行创建了自己的 EVM 修正版本。为了确保欺诈证明的可靠性和可预测性，VMs 的执行必须是确定性的；即，在证明时必须能够准确再现最初发现欺诈的情况。 因此，非确定性操作必须完全修改或删除，例如，检查区块...