Rust 与 Solana
为什么 Solana 选择 BPF
与以太坊使用 EVM（Ethereum Virtual Machine）不同，Solana 采用 BPF（Berkeley Packet Filter）作为程序执行环境。这个选择背后有深刻的技术考量。
BPF (Berkeley Packet Filter) 诞生于 1990 年代初，最初用于 Unix 系统的网络数据包过滤。它本质上是一个轻量级虚拟机，指令集精简，执行效率极高。后来演化为 eBPF（extended BPF），在 Linux 内核中被广泛用于性能监控、安全策略等场景。
Solana 选择 BPF 的原因包括：
- 执行速度快：BPF 指令可以被高效地 JIT (Just-In-Time) 编译为本机机器码。这意味着 Solana 程序的运行速度接近于直接在硬件上运行 C++ 代码。
- 安全隔离：BPF 程序运行在沙盒环境中，无法直接访问系统资源，即使程序崩溃也不会影响整个节点。
- 成熟稳定：经过数十年在 Linux 内核级别的验证，其安全性和稳定性毋庸置疑。
为什么用 Rust 写合约
Rust 是目前编写 Solana BPF 程序的最佳选择，原因有三：
- 内存安全：Rust 编译器在编译期检查内存问题，杜绝空指针、缓冲区溢出等低级错误。在处理用户资产的场景下，这种安全性至关重要。
- 性能优异：Rust 生成的代码性能接近 C/C++，同时避免了手动内存管理的复杂性。它是编写高性能系统级软件的首选。
- 官方支持：Solana 官方 SDK（solana-program）使用 Rust 编写，生态系统成熟完善。
虽然理论上可以用其他语言（如 C）编写 Solana 程序，但 Rust 是唯一有完整工具链和社区支持的选择。
开发体验对比
- Solidity (Ethereum): 专门为合约设计的语言，简单易学，但容易写出安全漏洞（如重入攻击）。
- Rust (Solana): 通用系统语言，学习曲线陡峭，但编译器是你最好的老师，它迫使你写出健壮的代码。
关于 Anchor 框架
Anchor 是 Solana 生态中最流行的开发框架，类似于以太坊的 Hardhat + Truffle。
它提供了：
- 声明式的账户验证 (Macros)
- 自动化的序列化/反序列化 (Borsh)
- IDL (Interface Definition Language) 生成，方便前端调用
大幅降低了开发门槛。
但是，框架的便利性是有代价的。 Anchor 会引入额外的运行时开销（Compute Units），生成的程序体积更大，而且它隐藏了很多底层细节。对于初学者来说，直接使用 Anchor 可能会导致「知其然不知其所以然」的困境。
例如，当 Anchor 抛出 AccountNotInitialized 错误时，如果你不懂底层的账户数据结构，你很难排查是 Discriminator 错误还是 Lamports 不足。
本课程选择原生 Rust 开发，正是为了让你理解这些底层机制。掌握原理之后，你可以自如地选择是否使用框架，以及在什么场景下使用。