对智能合约进行形式化验证可避免它们出现错误、漏洞和其他不利的情况。在这个过程中，人类专家会将智能合约的逻辑转换为数学语句，然后通过自动化流程对照合约预期行为的模型检查实际逻辑。将形式化验证和人工审计相结合，我们就可以对智能合约的安全性进...
随着加密货币和区块链的日益普及，开发者开始想办法提高系统适应需求增长的能力，从而实现扩展。分片、侧链、状态通道和汇总都属于扩展的方法。区块链汇总将某些交易过程转移到二级链，同时将交易数据存储在主Layer 1区块链上。本文将探讨加密领域...
以太坊虚拟机是建立在以太坊区块链上的代码运行环境，合约代码可对外完全隔离并在EVM内部运行，其主要作用是处理以太坊系统内的智能合约。之所以说以太坊是图灵完备，是因为开发者可以使用Solidity语言创建运行于EVM上的应用程序，一切可计算...
跨链互操作性是指应用程序能够跨不同区块链网络实现相互通信和交互。这样可以实现数据和价值在不同系统之间的传输，增强连接性和无缝集成。 什么是区块链中的互操作性？ 区块链背景下的互操作性是指一个区块链与其他区块链自由交换数据的能力。...
zkSync Era 和 Polygon zkEVM 的 Gas Fee 现在超贵！（1-3 美元） 这是因为他们现在使用率还不高！ 等等，这是什么意思？ 就让我们来看看吧! 这很反直觉，但 ZK-Rol...
默克尔树（Merkle Tree）是由Ralph Merkle在1979年发布的一种算法，至今已有40多年的历史，是一种通过零知识证明的方法让任意一个节点都可以验证一个数据库的所有数据是否正确的方法。 1.哈希算法 在了解默克尔树...
首先，区块炼是数据库技术，数据库是用来存储数据的一种计算机技术，它已经发展了很多年。区块链数据库是一个分布式数据，它并不是过去的单机版数据库。 数据库技术的进步，在互联网科技发展的20年里，对整个互联网科技发展起到了巨大的促进作用。...
由于 Address poisoning (中文：地址中毒) 诈骗在近期过于流行，并导致许多用户因一时疏失造成资产的损失，区块链浏览器Etherscan便决定将相关的可疑交易自动隐藏，使用户的资金转移纪录中不再充斥钓鱼交易纪录。 地址...
RPC 指远程程序调用（Remote Procedure Call）， 是一种软件通信技术。通过 RPC 一台计算机调用另一台计算机上的程序并执行。RPC 是 API（应用程序编程接口）的一种。 举个例子：你买了一个智能电饭煲...
UTXO 模型的全称是 Unspent Transaction Output 模型。它是共享账本（区块链）的主要记账模型之一，用于记录、存储和执行交易。UTXO 模型通常与比特币 (BTC) 一起被提及。但事实上，许多其他区块链...
区块链技术网
