找到约 13 条结果

文章 使用 Certora 形式化验证在外部审计师之前发现高危漏洞

...er2, address user3) { // 只有 user1、user2 和 user3 可以具有非点数 require(forall address user. user != user1 && user != user2 && user != user3 => ghostPoints[user] == 0); // 他们的点数总和必须等于总分配(100%) require(ghostPoints[user1] + ghostPoints[u...

文章 如何利用 RGB 在闪电网络上转移另类资产

...术稳定性和采用率上仍有发展和提升的空间,但它已经被证明是无可替代的低成本免信任付款解决方案,吸纳了[超过 1 亿美元的资金](https://bitcoinvisuals.com/ln-capacity),获得越来越多企业采用。 像闪电网络这样的创新技术不仅...

文章 Hardhat 完整实践教程

...条件:** 为了能够顺利地学习本教程,建议你具备以下知识: - 熟悉 Solidity - 熟悉 Ethereum (EVM) - 熟悉 JavaScript - 对区块链的基本原理有很好的理解 - 熟悉命令行 - 熟悉单元测试 在开始之前,我想向其他非常棒的工具致敬: **Tr...

文章 ERC4337 抢跑交易的冒险之旅

...持,并使我走上了正确的道路:原来 Polygon 仍然像工作量证明一样通过网络广播新区块。当我们将 reth 中的网络堆栈设置为使用 PoS 时,它会将其视为协议冲突并断开与这些对等方的连接。设置回 PoW 似乎有效。 一旦这些问题...

文章 如果一个比特币密钥以“6P”开头,它是什么类型的密钥?

...史以来最漂亮的计算基础设施之一。 当然,它在工作量证明 (PoW) 方面存在问题,但底层的加密机制运行得非常好 —— 并汇集了数十年在加密方法方面的研究工作。 为此,地球上的任何人都能够创建他们自己的数字钱包。 这些...

文章 除了 TON, 哪些公链在争夺 Telegram 用户?数据表现如何?

...otcoin 简单的"点击+赚取"(tap-to-earn)机制,这一尝试快速证明了该平台作为 Web3 入口的巨大潜力。这场成功引发了整个区块链生态的连锁反应。 最初在 TON 上的简单游戏实验已经演变成一场全面竞赛。Aptos 抢占先机,其 Telegr...

文章 以太坊 - 什么是danksharding?

...系统中,完整节点可以向轻客户端以及整个网络展示欺诈证明——作为交易无效的证据。但这仅在[卷叠](https://www.alchemy.com/overviews/optimistic-rollups)中很好用,并且可能不太适用于danksharding。 矿工可以在抽样可用数据时验证danksh...

文章 Lightning Rod 介绍

...。 - 交易仍然是无需信任的。初始密文仅用于向 Alice 证明 Rod 的信誉(即“别担心。Carol 派我来的。”)。但如果没有 Carol 的预映像,Rod 无法使用 Alice 的资金。 - 虽然有两个独立的发票,但单个预映像实际上将它们绑定在...

文章 Sui 中的密码学:钱包规范

...为了更好地支持多帐户的应用场景,我们强烈建议用户从开始,按照递增的方式对 `account_index` 级别进行合理设置,这样的操作方式能够确保帐户管理的有序性与高效性。 需要注意的是,在加密货币的世界中,虽然基于账户...

文章 TON 虚拟机 - 第一章:概述

...状态由以下几个部分组成: - **栈**(参见 1.1):包含个或多个值(参见 1.1.1),每个值属于 1.1.3 中列出的值类型之一。 - **控制寄存器 c0–c15**:包含一些特定的值,如 1.3.2 中所述(当前版本只使用了 7 个控制寄存器)。...

文章 《精通比特币(第三版)》发布

...来接收资金,这个承诺既可以永远保持神秘,也可以公开证明。它既强大又简单,所以我们可以快速地讲解它。 - **Taproot** 结合了由无脚本式多签名、MAST 和 P2C 提供的能力,并融合为一个协议。因为我们前面已经介绍了这三种...

文章 针对Web3应用而非协议的监管框架(第二部分)

...情况下,默认的立场可能是,在没有更重要的政策目标来证明不同规则的情况下,规则应保持一致。例如,很难主张一个中心化的企业(如像 Coinbase 这样的中心化交易所)应被禁止从证券和衍生品交易中获取佣金,而另一个促...

文章 Orbit SSF:对单人Staking友好的SSF验证者集合管理 - Proof-of-Stake / 经济学

...。 - **最优安全共识协议**:共识协议在网络同步下(可证明)对 ~1/2 的对手具有弹性,在部分同步下对 1/3 的对手具有弹性。 如果没有这里定义的 solo staking 可行性,我们可以简单地提高最低余额,或者采用允许低最低余额但...