您正在查看: 2024年12月

Solana Hello World(安装和故障排除)

这是 Solana 的 Hello World 教程。我们将引导您完成安装 Solana 的步骤并解决可能出现的问题。
如果您遇到问题,请查看本文末尾的故障排除部分。

安装步骤

安装 Rust

如果您已经安装了 Rust,请跳过此步骤。

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

安装 Yarn

您需要它来运行单元测试。如果您已经安装了 yarn,请跳过此步骤。

corepack enable

安装 Solana cli

我们强烈建议使用stable版本,而不是latest。 Solana 安装不再支持符号通道名称(edge、beta、stable),因此我们必须指定版本。

sh -c "$(curl -sSfL https://release.anza.xyz/v2.1.5/install)"

安装锚点

Anchor 是 Solana 开发的框架。它在很多方面与 hardhat 非常相似。

cargo install --git https://github.com/coral-xyz/anchor avm --locked --force

avm install latest
avm use latest

测试安装

初始化并构建一个锚点程序(用于 hello world)

调用您的程序day_1而不是day1因为 Anchor 有时似乎会在 idl路径上插入下划线。

anchor init day_1
cd day_1
anchor build

根据您的机器和互联网连接,此步骤可能需要一段时间。这也是您可能遇到安装问题的地方,因此如有必要,请参阅故障排除部分。

配置 Solana 在本地主机上运行

solana config set --url localhost

运行测试验证器节点

在新的 shell 中(而不是在 Anchor 项目中)运行以下命令。但不要关闭运行的 shell anchor build。这会在您的机器上运行本地(测试)Solana 节点实例:

solana-test-validator

确保 program_id 与 Anchor 键同步

返回 Anchor 项目的 shell 并运行以下命令:

anchor keys sync

运行测试

在 Anchor 项目中运行此命令

anchor test --skip-local-validator

上面的命令运行我们程序的测试。如果您尚未创建测试钱包,Anchor 将为您提供如何创建钱包的说明。我们在此不提供这些说明,因为它取决于您的操作系统和文件结构。您可能还需要通过在终端中运行来为自己空投一些本地 Sol 。您可以通过在命令行中solana airdrop 100 {YOUR_WALLET_ADDRESS}运行来获取您的钱包地址。solana address

预期输出如下:

你好世界

现在让我们让程序输出“Hello, world!”。将以下标有 的行添加NEW LINE HERE到programs/day_1/src/lib.rs。

use anchor_lang::prelude::*;

declare_id!("...");

#[program]
pub mod day_1 {
    use super::*;

    pub fn initialize(ctx: Context<Initialize>) -> Result<()> {
        msg!("Hello, world!"); // **** NEW LINE HERE ****
        Ok(())
    }
}

#[derive(Accounts)]
pub struct Initialize {}

再次运行测试之前,请终止本地验证器进程并使用以下命令重新启动它:

solana-test-validator --reset

再次运行测试

anchor test --skip-local-validator

通过运行查找日志文件

ls .anchor/program-logs/

打开该文件即可看到记录的“Hello world”

实时 Solana 日志

或者,您可以通过打开第三个 shell 并运行以下命令来查看日志:

solana logs

现在再次运行测试,您应该在运行的终端中看到相同的消息solana logs。

program 查询

查询已安装

solana program show --programs

关闭程序

solana program close 3ynNB373...2iTyg --bypass-warning

请注意,一旦关闭某个程序,则不能重新使用该程序 ID 来部署新程序。

问答

  1. 为什么 declared_id! 和 msg! 后面有感叹号?
    在 Rust 中,感叹号表示这些是宏。我们将在后面的教程中重新讨论宏。
  2. 我需要一个初始化函数吗?
    不,这是由 Anchor 框架自动生成的。您可以随意命名。
    在此上下文中,initialize 这个名称没有什么特殊之处,因此我们可以将其更改为任何我们喜欢的名称。这与其他一些关键字和语言不同,例如 main 在某些语言中是一个特殊名称,或者在 Solidity 中,constructor 是一个特殊名称。
    练习:尝试将initialize中的programs/day_1/src/lib.rs和initialize中的重命名为 ,tests/day_1.ts然后initialize2再次运行测试。请参见下面橙色圆圈中标记的更改。
  3. 为什么我们要使用 –skip-local-validator 来运行测试?
    当测试针对某个节点运行时,我们将能够查询该节点的状态变化。如果您无法让节点运行,则可以anchor test在不使用--skip-local-validator标志的情况下运行。但是,这将使您的开发和测试变得更加困难,因此我们建议让本地验证器正常工作。

故障排除

Solana 是一款快速发展的软件,您可能会遇到安装问题。我们在以下部分记录了您最有可能遇到的问题。
我们的教程系列使用以下版本编写: Anchor = 版本 0.29.0 Solana = 版本 1.16.25 * Rustc = 1.77.0-nightly
您可以通过运行以下命令来更改 Anchor 版本:

avm install 0.29.0
avm use 0.29.0
  1. 错误:solana-program v1.18.0无法构建包
    error: package `solana-program v1.18.0` cannot be built because it requires rustc 1.72.0 or newer, while the currently active rustc version is 1.68.0-dev
    Either upgrade to rustc 1.72.0 or newer, or use
    cargo update -p solana-program@1.18.0 --precise ver

    检查您正在使用的 Solana 版本solana --version。然后将该版本插入到ver上面的内容中。示例解决方案如下所示:

  2. 错误[E0658]:使用不稳定库功能“build_hasher_simple_hash_one”
    如果出现以下错误:
    error[E0658]: use of unstable library feature 'build_hasher_simple_hash_one'
    --> src/random_state.rs:463:5
    |
    463 | / fn hash_one<T: Hash>(&self, x: T) -> u64 {
    464 | | RandomState::hash_one(self, x)
    465 | | }
    | |_____^
    |
    = note: see issue #86161 https://github.com/rust-lang/rust/issues/86161 for more information
    = help: add #![feature(build_hasher_simple_hash_one)] to the crate attributes to enable

    运行以下命令:cargo update -p ahash@0.8.7 --precise 0.8.6
    来源:https ://solana.stackexchange.com/questions/8800/cant-build-hello-world

  3. 错误:部署程序失败:错误处理指令 1:自定义程序错误:0x1
    Error: Deploying program failed: Error processing Instruction 1: custom program error: 0x1
    There was a problem deploying: Output { status: ExitStatus(unix_wait_status(256)), stdout: "", stderr: "" }.

    如果出现此错误,则表示您的密钥未同步。运行anchor keys sync

  4. 错误:无法发送交易:交易模拟失败:尝试加载不存在的程序
    您的密钥未同步。运行anchor keys sync
  5. 错误:您配置的 rpc 端口:8899 已被使用
    当验证器在后台运行时,您anchor test没有运行--skip-local-validator。请关闭验证器并运行,anchor test或在验证器运行时运行anchor test --skip-local-validator。跳过本地验证器意味着跳过它为项目创建的临时验证器,而不是在后台运行的验证器。
  6. 错误:帐户 J7t…zjK 资金不足,无法消费
    运行以下命令将 100 SOL 空投到您的开发地址:
    solana airdrop 100 J7t...zjK
  7. 错误:RPC 请求错误:集群版本查询失败
    Error: RPC request error: cluster version query failed: error sending request for url (http://localhost:8899/): error trying to connect: tcp connect error: Connection refused (os error 61)
    There was a problem deploying: Output { status: ExitStatus(unix_wait_status(256)), stdout: "", stderr: "" }.

    这意味着solana-test-validator不在后台运行。solana-test-validator在另一个 shell 中运行。

  8. 线程“main”因“调用Option::unwrap()某个None值”而惊慌失措
    thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', /Users/username/.cargo/git/checkouts/anchor-50c4b9c8b5e0501f/347c225/lang/syn/src/idl/file.rs:214:73
    note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

    你可能还没跑anchor build

  9. 我在使用 Mac,出现错误:无法启动验证器:无法在测试分类账中创建分类账:块存储错误
    按照此Stack Exchange 线程中的说明进行操作。
  10. 我的 Mac 上有 node.js,但是没有 corepack
    运行以下命令:
    brew install corepack
    brew link --overwrite corepack

    来源:https ://stackoverflow.com/questions/70082424/command-not-found-corepack-when-installing-yarn-on-node-v17-0-1

  11. 错误:不是目录
    BPF SDK: /Users/rareskills/.local/share/solana/install/releases/stable-43daa37937907c10099e30af10a5a0b43e2dd2fe/solana-release/bin/sdk/bpf
    cargo-build-bpf child: rustup toolchain list -v
    cargo-build-bpf child: rustup toolchain link bpf /Users/rareskills/.local/share/solana/install/releases/stable-43daa37937907c10099e30af10a5a0b43e2dd2fe/solana-release/bin/sdk/bpf/dependencies/bpf-tools/rust
    error: not a directory:

    清除缓存:运行rm -rf ~/.cache/solana/*

  12. 错误:target/idl/day_1.json 不存在。您运行了吗anchor build?
    创建一个新项目并将其命名为 day_1 而不是 day1。Anchor 似乎会在某些机器上默默插入下划线。

原文:https://www.rareskills.io/post/hello-world-solana

Solana 智能合约编程语言

Solana 编程语言

Solana 的主要编程语言是Rust,但也支持C、C++甚至Python 。
Solana 编码语言以类似的方式使用 Rust、C 和 C++。我们将在后面的部分讨论 Python。
Rust 是一门编译型语言,如果你在电脑上编译 Rust,它最终会变成 LLVM-IR(低级虚拟机中间表示),LLVM 会把它变成可以在你的机器(x86、arm64 等)上运行的字节码。

在 Solana 中,该序列如下所示:
1)将 Rust 编译为 LLVM-IR,然后编译为 BPF(伯克利数据包过滤器),并将字节码存储在区块链上。
2)验证器 JIT 编译(即时编译)BPF 为与其硬件兼容的指令集,通常是 x86,但 arm64 可能是另一个常见目标。

你可能会问,数据包过滤器?Solana 编程语言为什么要与互联网数据包有关?
这实际上是 Solana 的一个聪明的设计选择。

用户空间与内核空间

Linux 有内核空间和用户空间的概念。如果你想要执行诸如打开文件或启动另一个进程之类的操作,你的可执行文件需要请求操作系统替它执行这些操作。假设你编写了一个 Python 脚本来打开一个文件并打印出每个偶数行。文件字节码的实际加载发生在内核空间中,但是一旦将字节码提供给脚本,对 ASCII 的解释以及确定行号是偶数还是奇数就会发生在用户空间中。

这种抽象存在的原因有很多,但其中一个明显的原因就是安全性。并非每个用户或可执行文件都应该能够打开或执行任意文件。操作系统决定允许使用哪些“API”。(顺便说一句,打开文件的“API”在操作系统术语中技术上称为“系统调用”)。

同样,程序和可执行文件不应被允许任意访问传入的互联网数据包。默认情况下,它们必须进行系统调用,以请求操作系统允许查看只能从内核空间访问的数据包。

这里必须强调一个重要概念:在用户空间和内核空间之间来回转换通常很慢。

如果您正在过滤传入的互联网数据包,那么用户空间和内核空间之间就会有很多来回跳转。想象一下将每个传入数据包从内核空间复制到用户空间。这将产生大量开销。

这就是 BPF 被发明的原因。你可以在内核空间内运行可执行文件来避免这种跳跃

但是,如果您对拥有内核特权有所了解,您就会知道这非常危险!如果出现错误,控制内核(操作系统)可能会导致计算机崩溃。更糟糕的是,如果执行了恶意代码,则损害是无限的。

当然,BPF 设计者已经想到了这一点。在执行 BPF 代码之前,会对其进行验证,以确保其运行一段固定的时间,即必须终止、只能访问指定的内存区域,并遵循其他适当的限制

顺便说一句,自从 BPF 发明以来,它的用途就已不仅限于过滤数据包,但它的名字却一直沿用至今。

为什么 Solana 语言使用 BPF

通过利用现有的确保 BPF 程序安全的研究,Solana 可以在运行速度最快的地方运行智能合约 — 内核内部!仔细想想,这真是太了不起了。您可以在操作系统最敏感(但最高效)的部分 — 操作系统内核中运行任何人都可以编写的不受信任的智能合约。Solana 可以利用数十年来在该领域的研究和投资来获得良好的性能提升。

BPF 不是机器指令;它仍然是自己的一组字节码。但是,它可以被 JIT 编译为各种 CPU 架构。

Solana 链上程序通过LLVM 编译器基础结构编译 为 可执行和可链接格式 (ELF),其中包含伯克利数据包过滤器 (BPF)字节码 的变体 。
由于 Solana 使用 LLVM 编译器基础架构,因此可以使用任何能够针对 LLVM 的 BPF 后端的编程语言编写程序。
BPF 提供了一套高效的 指令集,可以在解释型虚拟机中执行,也可以作为高效的即时编译的本机指令执行。

回到 Rust、C 和 C++

这三种编程语言早已得到 LLVM 的支持。这是 Solana 可以利用数十年投资的另一个领域(是的,用几十年来谈论技术有点奇怪,但LLVM 早在 2003 年就问世了)。

您可以使用 C 或 C++ 作为 Solana 编程语言,但工具支持会少得多。通常建议您使用 Rust,即使您是 C 或 C++ 专家。如果您已经精通 C++,那么 Rust 将很容易学习。

你需要了解多少 Rust 才能编写 Solana 程序?

不是很多,但仍然需要一些学习。Rust 不是一种可以“谷歌一下”的语言。例如,假设您从 Java 或 Scala 背景开始使用 Ruby 编程。在这种情况下,您可以很容易地向 Google 询问等效的编程模式(您的代码可能看起来不太符合惯用语,但它可读且功能齐全)。如果(当)您从 Stackoverflow 复制和粘贴代码,您仍然会对代码的作用有很好的直觉。

但是,如果你使用 Rust 来做这件事,你会遇到一些令人沮丧的障碍。Rust 的语法很难查找(试着在搜索引擎中查找“#”),并且它有一些其他编程语言中没有的概念。

Rust 是一种广泛的语言。但是,您只需要了解它的一个子集。我们的Solana 开发课程会同时教授 Rust 和 Solana,这样您就可以只关注 Rust 中您需要的部分。

Solana 如何使用 Python

将 Rust、C 或 C++ 编译为 BPF 非常简单。对于 Python,情况则截然不同;显然,Python 是一种解释型语言,而不是一种可以用 LLVM 编译的语言。

简单来说,Python 被转换成 Rust,然后一切都按上面的方式运行。

如果你想要确切的工作流程,可以在seahorse-lang github上查看详细的文档

Solana 程序通常不是用原始 Rust 编写的;大多数开发人员使用 Anchor Framework。因此,尽管 Seahorse 执行相当典型的转译,但它也利用了计划中的框架相似性。

Seahorse 框架与 Anchor 框架紧密建模,因此 Python 代码可以转换为 Rust 代码,而 Rust 代码的编写方式与 Anchor 框架中的编写方式紧密建模。

请注意,该项目目前处于测试阶段。

Solana 使用 solidity 吗?

是的,可以用 Solidity 编写 Solana 应用程序,但有些实验性。solang solidity 编译器是为了支持将 Solidity 编译为 BPF 而构建的。

Solana 客户端编程语言

Solana 客户端本身(即在为区块链提供支持的节点上运行的程序,而不是程序(智能合约))是用 Rust 编写的。目前,Jump Crypto 正在重新实现 Solana 客户端firedancer,该客户端完全用 C 语言编写。

附录:Rust 正在将 BPF 迁移到 SBF。

自 2022 年 10 月起,Solana 开始从 BPF 迁移到 SBF(Solana 二进制格式)。截至撰写本文时,有关此更改的文档非常稀少,但这不会影响大多数开发人员。如果您的构建工具配置为编译为 BPF,您将收到弃用警告,但一切仍将运行。只需更改您的构建标志即可。

资源

https://www.kernel.org/doc/html/latest/bpf/instruction-set.html
https://docs.rs/solana_rbpf/latest/solana_rbpf/ebpf/index.html
https://www.youtube。 com/watch?v=5jQvuPWpzcE
https://ebpf.io/what-is-ebpf/
https://www.youtube.com/watch?v=Q8eY67hDvkc

原文:https://www.rareskills.io/post/solana-smart-contract-language

EVM 与 SVM:智能合约

了解以太坊和 Solana 智能合约之间的区别。

您可以在 Solana 区块链上编写和部署程序。 程序(在其他协议中也称为智能合约)是从 DeFi 和 NFT 到社交媒体和游戏等链上活动的基础。

  • 程序处理从用户或其他程序收到的指令。
  • 所有程序都不维护状态。换句话说,程序使用的数据通过指令发送到单独的账户。
  • 该程序本身存储在一个executable已检查的帐户中。
  • 所有程序均归 BPF Loader 所有,并由 Solana Runtime 执行。
  • 开发人员通常使用 Rust 或 C++ 编写程序。不过,任何针对 LLVM 和 BPF 后端的语言都可以选择。
  • 所有程序都有一个单独的入口点,在此进行指令处理(即process_instruction)。始终包含以下参数:
    • program_id: pubkey,
    • accounts: array,
    • instruction_data: byte array

与大多数其他区块链不同,Solana 将数据和代码完全分离。程序与之交互的所有数据都存储在单独的账户中,并通过指令进行调用。
这种模式允许综合单一程序通过各种帐户运行,而无需额外部署。这种模式的一个常见示例可以在 Native 和 SPL 程序之间看到。

本机程序和 Solana 程序库 (SPL)

Solana 有许多程序可作为链上交互的核心构建块。
这些程序分为本机程序和 Solana 程序库 (SPL) 程序。
原生程序提供运行验证器所需的基础功能。其中最著名的程序之一是System Program,负责管理新账户并在两个组之间转移 SOL。
SPL 程序支持各种链上活动,包括代币创建、兑换、借贷、权益池生成和链上名称服务。SPL 代币程序可以直接通过 CLI 调用。其他程序(如关联代币帐户程序)通常配置为自定义程序

编写程序

程序通常用 Rust 和 C++ 开发。但是,您可以使用任何针对 LLVM 和 BPF 后端的语言进行开发。Neon LabsSolang 最近的努力使 EVM 兼容性成为可能,允许开发人员用 Solidity 编写程序。

大多数基于 Rust 的程序遵循以下架构:

文件 描述
lib.rs 注册模块
entrypoint.rs 程序的入口点
instruction.rs 程序 API,指令数据(反)序列化
processor.rs 程序逻辑
state.rs 程序对象,(反)序列化状态
error.rs 程序特定错误

最近,Anchor 已成为一种程序开发框架。Anchor 减少了样板代码并简化了(反)序列化处理,类似于 Ruby on Rails,但适用于基于 Rust 的程序。程序通常在 Localhost 和 Devnet 环境中开发和测试,然后部署到 Testnet 和 Mainnet。

Solana 支持以下环境:

集群环境 RPC 连接 URL
主网测试版 https://api.mainnet-beta.solana.com
测试网 https://api.testnet.solana.com
开发网 https://api.devtnet.solana.com
本地主机 默认端口:8899(例如,http://localhost:8899

一旦部署到环境,客户端就可以通过与每个集群的 RPC 连接与链上程序进行交互。

部署程序

开发人员可以通过 CLI 部署程序,如下所示:

solana program deploy <PROGRAM_FILEPATH>

程序部署后,会被编译为 ELP 共享对象(包括 BPF 字节码)并上传到 Solana 集群。除非程序被标记为可执行并分配给 BPF 加载器,否则它们都存在于帐户内。帐户的地址用作 program_id在所有交易中引用程序的地址。

Solana 支持多个 BPF 加载器,包括最近的可升级 BPF 加载器。BPF 加载器负责管理程序帐户,并通过客户端的 program_id 实现这一点。
所有程序都有一个单独的入口点,在此进行指令处理(即 process_instruction)。参数始终包括:

  • program_id: pubkey
  • accounts: array
  • instruction_data: byte array

一旦调用,程序就会由 Solana Runtime 执行。

概括

  • Solana 中的程序对应于 Solana 区块链上的“可执行账户”。
  • 以太坊中的智能合约概念与 Solana 中的程序概念一致。
  • Solana 允许任何人发行代币,而无需部署额外的合约。

原文:https://solana.com/developers/evm-to-svm/smart-contracts

EVM 与 SVM:账户

了解在以太坊和 Solana 上构建账户时的不同之处。
作为区块链网络,以太坊和 Solana 拥有独特的数据结构,充当全球公共计算机,在其网络上存储和共享数据。在本章中,我们旨在探索这些链如何构建其数据集。

以太坊中的“账户”

在以太坊中,“账户”是指拥有以太币并可以发送交易的实体。它包括存款和取款所需的地址,并分为以下几类:

  • EOA(外部拥有账户):外部拥有的账户,拥有私钥。可以将其视为个人钱包的账户。
  • CA(合约账户):合约账户,持有智能合约代码。

以太坊中 EOA 与 CA 的一个关键区别是,EOA 不是智能合约,通常没有自己的存储。因此,EOA 的代码哈希被设置为“空”哈希,表示该帐户没有存储空间。

外部拥有账户 (EOA) 是具有私钥的账户,拥有私钥意味着控制对资金或合约的访问。私钥意味着控制对资金或合约的访问。EOA 中包含以下数据:

场地 描述
address 账户地址
balance 地址拥有的 ETH 数量(以 wei 为单位)。
nonce 计数器显示从账户发送的交易数量,以确保交易只处理一次。对于智能合约,它反映了账户创建的合约数量。
code hash EVM 上的账户代码。
storage hash (storage root) 对账户存储内容进行编码的 Merkle Patricia 树根节点的 256 位哈希值。此树对此账户存储内容的哈希值进行编码,默认情况下为空。

合约账户包含智能合约代码,而 EOA 根本无法拥有这些代码。此外,合约账户没有私钥。相反,它由智能合约代码的逻辑控制。此智能合约代码是在创建合约账户时记录在以太坊区块链上的,是由 EVM 执行的软件程序。

与 EOA 一样,合约账户有一个地址,可以发送和接收 Ether。但是,当交易的目的地是合约账户地址时,交易和交易数据将用作在 EVM 中执行合约的输入。除了 Ether,交易还可以包含指示要执行的合约特定功能的数据以及要传递给该功能的参数。因此,交易可以调用合约内的函数。如果 EOA 请求,合约还可以调用其他合约。但是,由于合约账户没有私钥,因此它无法签署交易,也无法自行发起交易。关系总结如下:

  • EOA → EOA(确定)
  • EOA → CA(确定)
  • EOA → CA → CA(确定)
  • CA → CA(不可能)

Solana 中的“账户”

Solana 中的帐户概念比以太坊中的要广泛一些。在 Solana 中,所有数据都是基于帐户存储和执行的。这意味着,在交易之间需要存储状态的每种情况下,都会使用帐户来保存状态。与 Linux 等操作系统中的文件类似,帐户可以存储在程序生命周期之外仍然存在的任意数据。此外,与文件一样,帐户包含元数据,可告知运行时谁可以访问数据以及如何访问。

在 Solana 的 Sealevel VM 中,所有账户都能够存储数据。那么,智能合约开发人员可以将数据存储在哪里呢?他们可以将数据存储在可执行账户拥有的非可执行账户 (PDA) 中。开发人员可以通过分配与其可执行账户地址相同的所有者来创建新账户来存储数据。

场地 描述
lamports 此帐户拥有的 lampor 数量。相当于 balance
owner 此帐户的程序所有者。
executable 该账户是否可以处理指令。
data 该账户存储的原始数据字节数组。
rent_epoch 此帐户下次欠租金的时期。

然而,Solana 网络上存储数据的“账户”需要支付费用。这些账户包含有关其所含数据寿命的元数据,以名为“Lamports”的原生代币表示。账户存储在验证者的内存中,并支付“租金”以保留在那里。验证者定期扫描所有账户并收取租金。Lamports 降至零的账户将被自动删除,因为它们无法支付租金。如果一个账户包含足够数量的 Lamport,它将免收租金,并且不会单独扣除租金。

Solana 的账户分为以下两种类型,与以太坊类似:

  • 可执行账户(程序账户):这些是存储代码的智能合约,通常更简单地称为“程序”。
  • 不可执行账户(数据账户):这些账户可以接收代币或数据,但不能执行代码,因为可执行变量设置为“false”。

(*与以太坊不同,Solana 使用术语“程序”而不是“合约”。)

比较每个链中的帐户结构,可以发现以下差异。

以太坊账户 Solana 的账户
Account owner
balance lamports
nonce [无同等效力]
code hash executable && data
storage hash data
[无同等效力] rent_epoch

那么,EOA 和 CA 与 Solana 的 Account 结构如何对应呢? 它们可以进行如下映射。

EOA(外部拥有账户、钱包) → 不可执行的数据账户 然而,Solana 上的个人钱包由一系列 数据账户组成,这是一个比EOA 更广泛的概念。
CA(合约账户) → 可执行文件、程序帐户 虽然具有相同的概念,但以太坊的CA不能自行执行交易;它们必须由EOA执行。

账户抽象

以太坊一直在探索账户抽象的概念。以太坊中有两种类型的账户:EOA 和 CA,每种账户的功能截然不同。值得注意的是,合约账户 (CA) 无法生成或签署交易,这带来了很大的限制。交易必须通过 EOA 发起和签署,这意味着使用 21,000 gas 的基本费用,并增加了账户管理的复杂性。账户抽象旨在消除这些限制,允许单个账户同时执行 EOA 和合约账户的功能。

因此,可以对图表进行以下调整:

  • EOA → EOA(确定)
  • EOA → CA(确定)
  • EOA → CA → CA(确定)
  • EOA + CA (AA) → CA(现在,好的!)

例如,多重签名钱包或智能合约钱包需要在单独的 EOA 中存储少量以太坊以支付交易费用,这带来了需要随时间补充的不便。账户抽象允许单个账户执行合约并发出交易,从而改善了这种不便。Vitalik 通过 ERC-4337 向社区提出了这一概念,并于 2021 年被采纳,现已在以太坊网络中实现。

总而言之,账户抽象具有以下好处:

  • 其他人支付我的交易费用,或者我为其他人支付。
  • 使用 ERC-20 代币支付费用
  • 设置自定义安全规则。
  • 密钥丢失时的帐户恢复。
  • 在受信任的设备或个人之间共享帐户安全。
  • 批量交易(例如,一次性授权和执行掉期)。
  • 为 dapp 和钱包开发人员提供更多机会来创新用户体验。

Solana 中实现了账户抽象吗?

Solana 自推出以来就实现了账户抽象(AA)。如前所述,Solana 将所有数据存储在称为“账户”的单元中,分为可执行(程序账户)和不可执行(数据账户)。从一开始,Solana 就支持程序创建和管理特定账户(即直接发起交易)的能力。此功能扩展了 Solana 中的账户抽象功能,称为程序派生地址(PDA)。与数据账户不同,Solana 程序是包含可执行代码的可执行账户。通过 PDA,开发人员可以设置交易签名的规则和机制,允许代表 Solana 网络认可和批准的受控账户(PDA)自主授权各种链上操作。因此,与以太坊不同,Solana 允许直接控制基于 Solana 程序的另一个程序,而无需繁琐的分层。

概括

  • Solana 的账户概念构建了链上的所有数据,所有数据都基于账户。
  • Solana 原生支持 AA,实现程序间自调用。

原文:https://solana.com/developers/evm-to-svm/accounts

EVM 与 SVM:共识

了解以太坊和 Solana 在达成共识方面的差异。
众所周知,以太坊和 Solana 的共识机制均采用 PoS(权益证明)。它们都通过基于权益的验证器生成区块。尽管它们从根本上采用相同的共识,但以太坊目前记录的 TPS(每秒交易数)约为 30,而 Solana 则拥有 4000 TPS。这种差异间接表明了共识如何显著影响区块生成速度。本章将深入探讨这两条链之间的差异。

以太坊最初的共识

以太坊最初采用的是工作量证明(PoW)方式,比特币至今仍在使用这种方式。在 2022 年 8 月合并升级后,以太坊从工作量证明过渡到权益证明,现在采用上述的 PoS。

以太坊目前的共识

以太坊的核心是 PoS,但它特别采用了一种称为 Gasper 的共识算法。Gasper 是 Casper 友好最终性小工具 (Casper-FFG) 和 LMD-GHOST 分叉选择算法的组合。在深入研究 Gasper 之前,需要注意的是,以太坊最初是根据基于 PoW 的 Nakamoto 共识生成区块的。Nakamoto 共识遵循最长链规则,在分叉期间选择区块链中最长的链。因此,以太坊并没有完全放弃 PoW;它保留了 PoW 下的基本区块生成,同时在其上集成了 PoS 元素。

Casper (Casper-FFG) 是 Gasper 的一部分,它将某些区块升级为“最终确定”状态,确保网络参与者与常规链同步。它最初是在 Merge 升级期间为从基于 PoW 的链到 PoS 的过渡阶段提出的,现在部分贡献于更大的 Gasper 算法。LMD-GHOST(最新消息驱动最贪婪最重观察子树)是一种分叉选择算法,用于在各种分叉中选择最有效和最值得信赖的链。如果分叉生成多个新区块,验证者将通过证明消息进行投票,以确定将哪个区块附加到现有链。这些证明遵循从创世区块到最新区块(叶区块)的路径,选择由最新证明支持的区块。

Solana 的共识

Solana 中与以太坊各个共识算法对应的技术组件是什么?答案就在支持 PoS 的 Tower BFT 中。

首先,让我们了解一下 BFT 和 PBFT。BFT 是一种在分布式系统中实现节点间可靠共识的方法,源自“拜占庭将军问题”。即使某些节点是恶意的或不可靠的,它也能确保系统正常运行。PBFT 是 BFT 的一种实际实现,它通过确保所有节点之间对所有交易达成一致来保证系统的最终性和一致性。

Tower BFT 采用了 PBFT 的变体,但有一个根本区别:历史证明 (PoH) 在达成共识之前充当全局时钟。在 Solana 的实现中,PoH 用作网络时钟,用于安排区块、交易和数据的顺序。

以太坊经常会低效地更新其整个网络状态以用于特定交易,并且交易可能无法按顺序处理。相比之下,Solana 利用 PoH(历史证明)来支持 PoS。要确定两个事件之间的加密时间,需要一系列计算步骤。例如,考虑两张照片:一张是苹果,另一张是正在拍摄的照片。我们可以推断苹果的照片是先拍摄的。Solana 通过在数据中添加时间戳来跟踪它们的顺序,确保其结构不会混淆。

Tower BFT 使用 PoH,通过时间戳验证有效地确定区块、交易和数据的顺序。因此,验证者可以最终决定分叉,选择最受投票信任的链。以太坊缺乏像 PoH 那样的时间戳概念来进行整体状态同步,迫使验证者根据之前的哈希值进行计算以选择分叉。相反,基于 PoH 的 Solana Tower BFT 可以轻松达成共识,而无需进行完整的区块验证。

因此,比较可以总结如下:

以太坊 Solana
Proof of Work » Proof of Stake Proof of Stake
Casper 友好最终性小工具(Casper-FFG) Tower BFT + PoH
LMD-GHOST 分叉选择规则 Tower BFT

概括

以太坊共识:基于 PoS 的 Gasper = Casper 友好最终性小工具(Casper-FFG)+ LMD-GHOST 分叉选择规则
Solana 的共识:基于 PoS 的 Tower BFT + PoH

原文:https://solana.com/developers/evm-to-svm/consensus