来源链接
EVM 形式化验证编译器 Elle 原型发布，旨在编写更安全的以太坊代码
虚拟货币
虚拟货币,以太坊,比特币,区块链,区块链应用,区块链服务
 产品分类
站内搜索 友情链接
|
EVM 形式化验证编译器 Elle 原型发布，旨在编写更安全的以太坊代码
详细内容
区快洞察消息，受 ConsenSys 资助的区块链开发团队推出一款 EVM 形式化验证编译器「Elle」，旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。Elle-Core 捕获结构化编程抽象，并通过经过验证的编译器将其转换为以太坊 EVM 字节码。该项目由 ConsenSys 资助，目前 Elle 还属于原型阶段，不建议将其部署到主网上或者用来管理非常重要的有价值资产。
来源链接 区快洞察消息，去中心化金融协议 Set Protocol 的首个自动交易策略「使用 ETH 20 日简单移动平均交叉进行趋势交易」（ETH20SMACO）在第一次的再平衡（Rebalance）操作中，将 USDC 转换为 ETH，并已获得 23% 的收益（The Block分析师Larry Cermak发推称，今日ETH/BTC价格跌至875天以来低点。上一次达到此低点是在2017年3月12日。
推荐相关信息：
|