Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar

4月6日消息，网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar，这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。
Trailof Bits称，虽然是一个原型，但Solar代表了一种新型的、优先考虑交互性的分析平台，其潜在应用包括代码审计和类似于IDE的语义检查。注：TrailofBits是一家网络安全研究和咨询公司，专门解决加密、虚拟化、恶意软件和软件利用方面的问题，为开发及安全团队提供审核和咨询。

上一篇：Web3技术基础设施项目Saito将在Polkastarter进行IDO

4月6日消息，Web3技术基础设施项目Saito宣布将在交易和拍卖平台Polkastarter于本月晚些时候进行IDO。注：Saito是一个面向用户的Web3开放网络层，Saito上的应用可以在没有封闭插件、私有API和非开放基础设施的情况下运行。Saito在没有所有者的情况下运行，同时资助为自己的网络和其他公共区块链提供路由和用户基础设施的节点。Saito网络共识高度安全，抗sybil攻击，且防垄断及去中心化于一体，以确保Web3的...

下一篇：高盛前数字资产市场负责人加入初创公司Talos，担任战略负责人

高盛集团前数字资产市场负责人Justin Schmidt加入初创公司Talos，担任战略负责人。（彭博）