Skip to main content

ICP 概览

img

ICP (Internet Computer Protocol) 架起了传统编程与区块链开发之间的桥梁。ICP 上的智能合约既具有传统应用程序的表达性和可扩展性,又能从区块链的去中心化和去信任的执行中受益。

ICP 旨在在可扩展性和去中心化之间实现平衡。

img

从以上的概念图中可以看出,从中心化的服务器到以太坊 —— 去中心化程度在逐渐增加,但这是以可扩展性为代价的。ICP 位于曲线中间,致力于寻求可扩展性和去中心化之间的平衡。

以下我们将介绍 ICP 的核心概念和特性、以及设计的考量。

子网​

ICP 具备高可扩展性的关键因素之一是分片技术。ICP 将智能合约分片到多个区块链实例之上,每个实例称之为一个子网。每个子网都拥有一组独立的分布式节点,它们在彼此之间运行共识算法,构建自己的区块链、并执行智能合约。每个子网与其他子网并行运行,一个子网上的智能合约可以通过发送消息与另一个子网上的智能合约进行通信。用户也可以向智能合约发送消息。下图示展示了 ICP 的消息流程:

img

  1. 消息首先发送到边界节点(RPC 节点)。

  2. 边界节点将消息路由到托管目标智能合约的子网。

  3. 子网的共识算法将消息添加到子网区块链的新区块中。

  4. 消息被添加到目标智能合约的输入队列中。

  5. 智能合约执行消息。

info

上述步骤第 3-5 步是异步且解耦的,对于习惯于以太坊原子交易的开发人员需要注意。这种设计的动机是为了实现可扩展性。

子网大小可以不同,这决定了在该子网上运行智能合约的成本,也会影响最终性和安全性。

门限签名​

ICP 的每个子网都有一个固定的公钥,而与之对应的私钥并不存储在单个节点上、也不会在任何节点上公开。相反,通过门限密码学,子网私钥被分割成多个秘密份额、并分布在所有子网节点上,节点可以使用这些秘密份额共同对发送给用户或其他子网的消息进行签名。这使得用户验证状态和结果变得很简单,他们只需使用子网固定的公钥验证数字签名、而无需下载并验证区块链中的区块。

这一特性具有深远的影响和用途:

  • 不需要永久保留区块链中的区块,从而打破了可扩展性的瓶颈。事实上,ICP 会主动清理旧区块以控制存储量。

  • 智能合约可以拥有自己的密钥,并为其他区块链(如比特币和以太坊)签署交易。这也带来了与这些区块链的无需信任交互。

img

这一特性在 ICP 上被称为链钥密码学。

智能合约​

ICP 使用 WebAssembly 作为执行智能合约的虚拟机,这意味着开发人员可以使用流行的编程语言(如 JavaScript、TypeScript、Rust、Python 和专为 ICP 设计的 Motoko )编写智能合约。

此外 ICP 的单个智能合约足够强大、可以托管整个以太坊虚拟机 (EVM),这使得部署用 Solidity 编写的 EVM 智能合约成为了可能。

ICP 的一个独特特性是智能合约可以处理 HTTP 请求,并提供诸如 HTML、JS、CSS 等 Web 资源。换言之,您可以编写一个完全托管在链上的具有后端和前端的 Web3 应用程序。智能合约还可以向 ICP 之外的其他 Web2 服务发出请求。

以太坊开发人员可能习惯于智能合约在原子交易中按顺序运行,与之不同,ICP 支持可扩展性、并行地运行智能合约。在这一点上,ICP 的智能合约类似于传统编程中的进程或微服务。智能合约完全自主,可以使用定时器调度执行、而无需依赖用户发送消息。

在存储方面,智能合约可以在其 WebAssembly 内存中存储任意数据。此外,智能合约还可以使用更大的稳定内存。这两种内存之间的区别对于可升级的智能合约非常重要:WebAssembly 内存在升级时会被清除,而稳定内存则会保留(因此被称为“稳定”)。对于不可变的智能合约,除了大小和访问函数之外,两种内存之间没有明显的区别。

info

在 ICP 的上下文中,智能合约被称为容器。

账户与秘钥​

ICP 通过对用户的公钥进行哈希运算来派生用户账户的地址。

img

地址的文本编码包含了如下所示的校验和:

mh4eq-xsi7l-lgz7s-gmxoh-stiey-277n4-lev4o-q6hah-22sk6-ahlhm-qae

ICP 支持多种类型的密钥 (ECDSA, Ed25519, BLS)。开发者工具通常生成和接受 PEM 格式的密钥。

由于智能合约可以拥有私钥,它们可以提供用户账户服务。Internet Identity 就是一个智能合约的示例,它允许 Web2 用户拥有区块链账户,同时私钥安全地存储在区块链上。您也可以使用硬件钱包和浏览器扩展钱包。

info

在 ICP 的上下文中,地址被称为 principals。

代币​

与其他链(如以太坊)相比,ICP 一个重大的设计不同在于账户没有内置余额。ICP 上所有代币都是由智能合约实现的。ICP 有一个与 ERC-20 标准等效的标准,称为 ICRC-2。如果一个智能合约实现了 ICRC-2 标准,那么它实现了一个同质化代币、并拥有相应的账本。

消息​

ICP 的编程模型类似于 Actor 模式,它通过发送消息而不是事务来进行调用。事务和消息之间的区别在于智能合约调用其他智能合约的时候:

  • 事务在某个调用失败时会原子性地回滚所有状态更改;
  • 而消息在多个调用之间没有这样的原子性保证。 与以太坊相比,ICP 上的编程更加异步。如果智能合约不进行任何调用,那么消息的行为与事务完全相同。

Cycles​

在以太坊等其他区块链上,用户在发送和执行交易时需要根据当前的 gas 价格支付费用。为了简化用户使用 Web3 应用的体验,ICP 使用了一种“反向 gas 模型”,其中容器通过 cycles 来支付所使用的资源。Cycles 类似于以太坊的 gas,但其价格是固定的、并与一组法定货币关联。

治理​

ICP 的治理由一个名为 Network Nervous System (NNS) 的去中心化自治组织 (DAO) 负责。NNS 是一组运行在 ICP 上的智能合约,社区成员可以通过质押 ICP 代币、并对提案进行投票来参与治理。所有 ICP 的运营变更,例如升级节点等都需要经过投票。NNS 会自动执行已通过投票的提案,从而确保节点运行相同版本的协议、避免了硬分叉。

info

治理和节点所有权是解耦的,您可以在不拥有节点的情况下参与治理。

节点​

成为 ICP 上的节点提供者需要 DAO 社区的投票。这样做有两个原因:

  1. 确保硬件符合 ICP 的标准:64 个 CPU 核心、512GB 的 RAM、30TB 的 NVMe SSD。这样的节点可以维持高吞吐量,以支持强大的 Web3 应用。

  2. 确保节点提供者的身份为社区所知。节点提供者已签署了善意声明,如果节点行为不当可能会承担法律责任。这样做使得女巫攻击更难实施,并在保持 Nakamoto 系数高的同时减少节点数量。节点会根据运营商、地理位置和法域等因素分配到某个子网中,以最大程度地实现去中心化,我们称之为确定性去中心化。

目前子网包含的节点数量从 13 到 40 不等,大部分节点分布在不同地理位置。同时也可以有本地化的子网,以支持需要遵守当地法规的应用程序。

与以太坊的快速比较​

EthereumICP
虚拟机EVMWebAssembly
链上 Web3❌✅
无桥接比特币❌✅
智能合约签名消息❌✅
智能合约向 Web2 发出 HTTP 请求❌✅
编程语言Solidity, Vyper, YulJS, Python, Rust, Solidity, Motoko 等
编程模型原子交易异步消息传递
可升级性不可变可升级或不可变
Gas 模型用户支付智能合约支付
Gas 价格可变固定
计算能力每区块几百万条指令(基于 3000 万 gas 限制)每区块 20 亿条指令(每个子网)
最终性约 15 分钟约 1.4 秒
平均交易或消息费用约 $1约 $0.000001
堆栈大小32KB(1024 个 256 位值)5MB
代码大小24KB10MB
内存大小几 KB404GiB(4GiB Wasm 内存 + 400GiB 稳定内存)
存储成本每 GiB $18M(基于每 KB 640K gas)每年每 GiB $5
节点数量约 7K总共约 500,每个子网 13-40

有问题么?​

欢迎大家随时向我们提出任何技术问题。我们会尽力尽快回应。

  1. 上网比较方便的,在 ICP China 的 Twitter Community,用中文发帖提问

  2. 有经验的开发者在 DFINITY 基金会运营的开发者论坛上用英文提问

    info

    https://forum.dfinity.org/ ,可以 cue 我们:Ben,Paul,Vincent ,Herbert。

  3. 深度 ICP 用户可以在 OpenChat 上的 IC123.xyz Community 里的频道 ic123.xyz 工作组 里提问题

    欢迎您申请 DFINITY 基金会的 Developer Grant 项目,加入互联网计算机的大家庭!