Foresight News 消息，据 The Block 报道，MakerDAO 创始人 Rune Christensen 表示，未来名为 PureDai 的代币将作为美元稳定币的去中心化替代品。稳定币 PureDai 将专门在以太坊主网上运行，并使用以太坊和 stETH 作为抵押品支持，完全依赖去中心化预言机，将具有自由浮动的挂钩，可能不会与美元挂钩。

Foresight News 消息，X 发推称，xAI 的 AI 模型 Grok 已在欧洲上市。

Foresight News 消息，据 Arkham 监测，开发者空投给特朗普的 TRUMP 已增长 800 倍，现在价值约 600 万美元，特朗普还接收到价值 75 万美元的各种其他 meme 币。

本文将以太坊作为比较对象，简要介绍 Solana 智能合约编程模型的特点。

撰文：Foresight News，Alex Liu

Solana 是一个旨在支持 dApps 的高性能区块链平台，以其速度和可扩展性闻名，而这是通过独特的共识机制和架构设计实现的。本文将以太坊作为比较对象，简要介绍 Solana 智能合约编程模型的特点。

智能合约、链上程序：

运行在以太坊上的程序被称为智能合约，它是位于以太坊上一个特定地址的一系列代码（函数）和数据（状态）。（哦豁，代码数据耦合了）智能合约也是一个以太坊帐户，称之为合约帐户，它们有余额，可成为交易对象， 但是无法被人操控，被部署在网络上作为程序运行。

而运行在 Solana 上的可执行代码被称为链上程序（On-chain Program），它们能解释每笔交易中发送的指令。这些程序可以直接部署到网络核心作为原生程序，或由任何人发布为 SPL 程序。

指令 (Instructions)：指令是 Solana 链上程序的特有名词。链上程序由指令组成，是执行特定操作的最小单位: 每笔 Solana 交易中都包含一个或多个指令。指令指定了要执行的操作，包括调用特定链上程序、传递账户、输入列表以及提供字节数组。指令有计算限制，因此链上程序应该被优化为使用少量计算单元，或将昂贵的操作分成多个指令。

原生程序：提供验证节点所需功能的原生程序。其中最著名的是 System Program，它负责管理创建新账户以及在两个账户之间转账 SOL。

SPL 程序：定义了一系列链上活动，包括代币的创建、交换、借贷，以及创建质押池、维护链上域名解析服务等。其中，SPL Token Program 用于代币操作，而 Associated Token Account Program 等则常用于编写其他定制程序。

你叫智能合约，我叫链上程序，大家说法不一样，但都是指运行在区块链上的代码。张三李四王麻子都是人名，到底素质如何还得考察其他方面。

账户模型、数据解耦：

与以太坊类似，Solana 也是基于账户模型的区块链，但 Solana 提供了一套不同于以太坊的账户模型，用不同的方式存储数据。

在 Solana 中，账户可以保存钱包信息和其他数据，账户定义的字段包括 Lamports（账户余额）、Owner（账户所有者）、Executable（是否为可执行账户）和 Data（账户存储的数据）。每个账户都指定一个程序作为其所有者，以区分账户用作哪个程序的状态存储。这些链上程序是只读或无状态的：程序账户（可执行账户）只存储 BPF 字节码，不存储任何状态，程序会把状态存储在其他独立账户（不可执行账户）中，即 Solana 的编程模型将代码和数据解耦。

而以太坊账户主要是 EVM 状态的引用，其智能合约既存在代码逻辑，又需要存储用户的数据。这通常被认为是 EVM 历史遗留的设计缺陷。 

不要小看这一区别！Solana 智能合约在根本上比具有耦合编程模型的区块链（如以太坊）更难攻击：

在以太坊中，智能合约「拥有者」是一个全局变量，与智能合约一一对应。因此，调用某个函数可能直接改变合约「拥有者」。

而在 Solana 中，智能合约的「拥有者」是与账户关联的数据，而不是全局变量。一个账户可以有多个拥有者，而不是一对一关联。攻击者要利用智能合约的安全漏洞，不仅需要找到有问题的函数，还需要准备「正确」的账户来调用该函数。这一步骤并不容易，因为 Solana 智能合约通常涉及多个输入账户，并通过约束条件（例如 `account1.owner==account2.key` ）来管理它们之间的关系。从「准备正确的账户」到「发动攻击」的过程，足够让安全监控人员可以在攻击之前主动检测到创建与智能合约相关的「虚假」账户的可疑交易。

以太坊的智能合约就像是一个使用唯一密码的保险库，你只要得到了这个密码，就能获得完整的所有权；而 Solana 的则是一个有很多个密码的保险库，但想要获取权限，你不但要想办法搞到密码，还要弄清楚这个密码对应的编号，才能把锁打开。

编程语言

Rust 是 Solana 上开发智能合约的主要编程语言。因为它的性能和安全特性，使其适用于区块链和智能合约的高风险环境。Solana 同时也支持 C、C++ 和其他语言（很不常见）。官方提供了 Rust 和 C 的 SDK 来支持开发链上程序。开发者可以使用工具将程序编译成 Berkley Packet Filter (BPF) 字节码（文件以 .so 为扩展名 )，再部署到 Solana 链上，通过 Sealevel 并行智能合约运行时来执行智能合约的逻辑。

由于 Rust 语言本身上手难度高，且并不是为区块链开发定制，导致很多需求需要重复造轮子、代码冗余。（生产中许多项目采用 Backpack 联创 Armani 创造的 Anchor 框架简化开发）许多新创造的专用于区块链开发的编程语言是基于 Rust 的，如 Cairo（Starknet）、Move（Sui、Aptos）。

生产中许多项目采用 Anchor 框架

而以太坊智能合约主要用 Solidity 语言开发（语法和 javascript 类似，代码文件以 .sol 为扩展名）。由于语法相对简单以及开发工具更加成熟（Hardhat 框架、Remix IDE ...）通常我们认为以太坊的开发体验更简单爽快，而 Solana 开发的上手难度高。所以尽管现在 Solana 的热度很高，事实上以太坊的开发者数目仍然是远多于 Solana 的。

特定路况下，顶级赛车没有改装车跑得快。Rust 就像顶级赛车，有力地保证了 Solana 的性能和安全性，但非为链上程序开发这条赛道而生，反而造成了驾驶（开发）难度的上升。采用基于 Rust 、为链上开发定制语言的公链则相当于改装了这辆赛车，使其更适应路况。Solana 在这点上处于劣势。

总结

Solana 的智能合约编程模型是创新的。它提供了一种无状态的智能合约开发方法，将 Rust 作为主要编程语言，以及让逻辑与状态分离的架构，为开发人员构建和部署智能合约提供了强大环境，确保安全性和性能，但开发难度较大。Solana 专注于高吞吐量、低成本和可扩展性，仍是寻求创建高性能 dApps 的开发人员目前的理想选择。

参考链接

https://solana.com/docs

https://ethereum.org/en/developers/docs

https://www.anchor-lang.com/

Foresight News 消息，5 月 15 日，福布斯发布《全球最佳加密货币交易所和市场》榜单。其中，香港最大持牌虚拟资产交易所 HashKey Exchange 位列前 18 名，在亚洲地区排名第 7 名，同时也是香港地区唯一上榜交易所。榜单指出，在这个行业中最值得信赖的 20 家机构中，HashKey Exchange 在 2022 年 11 月，当加密货币波动性激增时，成功获得了香港证券及期货事务监察委员会颁发的加密货币交易所牌照，该委员会以高标准而闻名。

Foresight News 消息，比特币生态项目 ALEX 发推称，黑客控制与 ALEX 流动性池相关的一个金库管理权，并窃取该金库中所有资产，包括约 1370 万枚 STX，其中约 300 万枚转入不同 CEX，并且仍在继续转入，仍然有部分代币留在钱包中。截至目前，ALEX 团队已回复所有 aBTC、aUSDT、xBTC、xUSD、ALEX、atALEX、LiSTX、LUNR、SKO、CHAX、$B20、ORDG、ORMM、ORNJ、TRIO、TX20 和 STXS。ALEX 底层的智能合约代码和基础架构没有受到攻击。

团队正在密切监控该黑客钱包，并通知所有相关 CEX，所有已知的与黑客相关的 CEX 账户都被冻结。此外，所有相关 CEX 已被要求停止所有存取款功能，直至另行通知。同时，ALEX 团队也已设置多个警报器，以监控所有怀疑由攻击者创建的用于资金流动的可疑地址。在资金追回方面，团队已查明部分被盗资金，并正从一个 CEX 追回，并与其他 CEX 完成必要程序，促进更多资金返还。此外，若黑客不及时主动合作，ALEX 准备向警方报案。

ALEX 团队还公开了与所有相关 CEX 共享的当前取证数据，供社区查看。同时，由于无法保证追回所有被盗资金，团队正在评估是否将 ALEX Lab 基金会持有的 ALEX 储备用于资助财库赠款计划。此外，ALEX 团队正在考虑向 Stacks 社区发布 SIP 提案，在 Stacks 社区的未追回被盗资金钱包中销毁 STX，并向受影响用户发行新的 STX 代币。

Foresight News 昨日报道，比特币生态项目 ALEX 向社区通报最近涉及跨链桥 XLink 漏洞的最新信息，正在与交易所、合作伙伴和生态系统贡献者合作来解决这一问题。与黑客相关的大部分资金已被主要交易所冻结。ALEX 团队提议悬赏被盗资金总额的 10%，来要求黑客返还 90% 的资产。此前据 CertiK 监测，初步证据表明私钥可能被泄露，总共价值约 430 万美元的资产已转移至 0x2705 开头地址。

Foresight News 消息，福布斯发布《全球最佳加密货币交易所和市场》榜单。其中，香港最大持牌虚拟资产交易所 HashKey Exchange 位列前 18，在亚洲地区排名第 7，同时也是香港地区唯一上榜交易所。

榜单指出，在这个行业中最值得信赖的 20 家机构中，HashKey Exchange 在 2022 年 11 月，当加密货币波动性激增时，成功获得了香港证券及期货事务监察委员会颁发的加密货币交易所牌照，该委员会以高标准而闻名。

Foresight News 消息，据 CoinDesk 报道，法院发言人表示，Tornado Cash 开发者 Alexey Pertsev 在周二被判洗钱罪名成立后，已向 s-Hertogenbosch 上诉法院提起上诉。举行第一次听证会可能需要几个月的时间。法院没有说明上诉是否被批准。

Foresight News 此前报道，荷兰法官在斯海尔托亨博斯法院裁定，Alexey Pertsev 犯有洗钱罪。法庭判处 Pertsev 64 个月监禁。

Foresight News 消息，据派盾（PeckShield）监测显示，过去 7 小时，Poloniex 黑客攻击者将约 1790 枚 ETH（约 536 万美元）转入 Tornado Cash。

Foresight News 消息，据 Lookonchain 监测，过去 7 天，在 WIF 上赚取 687 万美元的聪明钱花费 100 万枚 USDC 以 0.5831 美元均价买入 170 万枚 tremp。

该聪明钱曾花费 72.1 万美元以 0.23 美元均价买入 307 万枚 WIF，并以 2.31 美元价格抛售 237 万枚 WIF（约 547 万美元），目前仍持有 70 万枚 WIF（约 212 万美元）。该聪明钱在 WIF 上的总利润为 687 万美元。

Foresight News 消息，据 Decrypt 报道，从奥地利加密交易所 Bitpanda 分拆出来的 One Trading 与加密货币交易软件提供商 Talos 合作，以扩大机构流动性获取的集成。One Trading 将加入 Talos 流动性提供商网络，Talos 用户现能访问 One Trading 交易平台。One Trading 还采用 Talos 交易平台作为卖方客户端来支持其场外交易平台。

Foresight News 此前报道，据 The Block 报道，加密货币交易平台 Bitpanda Pro 已独立为新公司，由摩根大通前数字创新主管 Josh Barraclough 领导，并更名为 One Trading。此外，One Trading 完成了 3000 万欧元 A 轮融资，Valar Ventures 领投，参投方包括 MiddleGame Ventures、Speedinvest、Keyrock 和 Wintermute Ventures。

Foresight News 消息，香港持牌虚拟资产交易所 HashKey Exchange 将上线 Aptos（APT），并推出「学习有奖」活动，用户有机会瓜分 10,000 枚 HSK 奖励。APT 充值和提现现已开放，交易将于 5 月 17 日 16:00 开始，交易对为 APT/USD 和 APT/HKD，仅限专业投资者参与。活动时间为 5 月 15 日 16:00 至 5 月 29 日 16:00。

Foresight News 消息，Shib 发推称，ShibaSwap 已扩展至 Shibarium 网络，允许用户创建新的流动性池，并通过提供流动性赚取费用。Shibarium 网络交易使用量的增加将导致 SHIB 代币的销毁率提高，从而减少代币总供应量。

Shibarium 网络是由 SHIB 团队构建的以太坊 L2 解决方案。

Foresight News 消息，据 CryptoSlate 报道，摩根士丹利（Morgan Stanley）在第一季度提交给美国证券交易委员会（SEC）的 13F 报告中披露，其通过灰度 GBTC 向比特币现货 ETF 投资了 2.699 亿美元。该笔投资使摩根士丹利成为 GBTC 的最大持有者之一，仅次于 Susquehanna International Group 的 10 亿美元投资。

Foresight News 消息，据 Bitcoin.com 报道，金融科技初创公司 Mnzl 完成 350 万美元种子轮融资，P1 Ventures、Localglobe 和 Ingressive Capital 领投，500 Global、Flat6Labs、First Circle Capital、Enza Capital、Beenok 及天使投资人参投。所筹资金将用于加强其借贷技术并扩大业务。

Foresight News 消息，据彭博社报道，Coinbase 亚太区董事总经理 John O'Loghlen 表示，该公司正在开发针对澳大利亚自我管理养老金的加密服务产品，以满足行业的潜在需求。澳大利亚税务局的最新数据显示，在澳大利亚 2.5 万亿美元的养老金体系中，加密投资组合约占四分之一，其中有 10 亿澳元（约 6.64 亿美元）分配至加密货币。

Foresight News 消息，万事达卡 Start Path 区块链和数字资产计划新增 5 家企业，以推动用户体验，并拓展能展示区块链技术力量的使用案例。5 家企业包括：Kulipa（法国）、Parfin（英国）、peaq（新加坡）、Triangle（美国）、Venly（比利时）。

Foresight News 此前消息，据 Bitcoin.com 报道，万事达卡、Visa 等多家金融机构合作探索代币化资产结算。这项名为受监管结算网络（Regulated Settlement Network）的举措是一项概念验证，旨在利用单一的代币化资产系统加快跨境交易并确保交易安全。

Foresight News 消息，据 Scopescan 监测，标记为 Cumberland 的地址从 OKX 中转出 2020 亿枚 PEPE 并分发至 BlockTower Capital 相关地址和 Crypto Finance Group，价值约 220 万美元。

Foresight News 消息，韩国加密交易平台 Bithumb 将于今日在韩元市场上线 Bonk（BONK）以及 Zeta Chain（ZETA）。BONK 交易开始时间为今日 15:00，ZETA 交易开始时间为 18:00。

Foresight News 消息，据 CryptoSlate 报道，美国立法者 Wiley Nickel 在 5 月 15 日致美国证券交易委员会（SEC）主席 Gary Gensler 的一封信中表示，美 SEC 应在参议院投票前废除加密会计政策（SAB 121）。「保护投资者是美国证券交易委员会的使命，然而 SAB 121 恰恰相反，它阻止了受到严格监管的美国银行大规模托管数字资产。」此外，Wiley Nickel 批评美 SEC 在发布 SAB 121 时绕过了规则制定程序，他认为加密会计政策的目的是澄清现有政策，而不是制定新政策。

Foresight News 此前消息，白宫于 5 月 8 日发布「政府政策声明」表示，「限制美 SEC 为加密资产维持全面有效的金融监管框架的能力，将带来严重的金融不稳定和市场不确定性」。