Stellar对即将推出的智能合约平台Soroban进行安全检查

金色财经报道，Stellar开发团队正在开始对其即将推出的智能合约平台Soroban进行安全检查。Stellar与安全公司Certora合作进行审计。
Soroban目前在测试网上运行，将为开发人员提供部署智能合约的新机制，扩大基于Stellar区块链的应用程序生态系统。该平台利用WebAssembly (WASM)—一种专为传统网络和区块链集成量身定制的二进制代码格式。（金色财经） [原文链接]