[Lofty AI在Algorand上推出代币化的流动市场]8月20日消息，Lofty AI宣布在Algorand区块链上推出流动性房地产市场。Lofty AI的模型允许任何人成为房地产的直接所有者，这通过其基于区块链的Algorand解决方案成为可能。Lofty AI的独特之处在于，在市场上上市的物业均由其本地投资团队和专有人工智能进行审查，旨在更准确地评估推动升值的市场指标，包括社交媒体数据、零售趋势等。Lofty AI上的房产代币可以通过信用卡或ACH转账购买，很快将有资格使用基于Algorand的货币购买。租金收入以美元分配给业主，即将推出的租金收入选项将直接发送到用户的Algorand钱包。（prnewswire）
Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar:4月6日消息，网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar，这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。
Trailof Bits称，虽然是一个原型，但Solar代表了一种新型的、优先考虑交互性的分析平台，其潜在应用包括代码审计和类似于IDE的语义检查。注：TrailofBits是一家网络安全研究和咨询公司，专门解决加密、虚拟化、恶意软件和软件利用方面的问题，为开发及安全团队提供审核和咨询。[2021/4/6 19:51:22]
TrailofBits发布Hermez安全评估报告：22个问题已修复13个:12月30日消息，安全公司Trail of Bits在发布的针对二层扩容网络Hermez的安全评估报告中指出，共发现了共22个问题，目前Hermez已修复了其中的13个问题，包括缺少合约存在性检查、缺少频繁更新值的访问控制分隔等四个高危问题也已经修复，另一高危问题初始化功能的前置运行已完成部分修复，TokenHez上的重入风险目前还未进行修复。该评定报告是基于Trail of Bits研究人员在2020年10月26日至11月9日通过白盒测试得出的评定结果。截至12月23日，Trail of Bits已经审查了Hermez针对本报告中存在的问题而实施的修复。（Github）[2020/12/30 16:05:38]
动态 | Pollofeed.com网站可通过闪电网络支付喂鸡:据bitcoinist报道，最近出现了一个名为Pollofeed.com的网站，允许人们通过比特币闪电网络支付以喂养禽类。据报道，用户通过该网站生成付款并发送资金。此后，Pollo Feed会自动将一小部分饲料分配到鸡舍中。[2019/2/23]
郑重声明： Lofty AI在Algorand上推出代币化的流动市场版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。