06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月20日消息，据BinanceWallet公告，BinanceAlpha平台将于当日18:00（UTC+8）上线Acurast（ACU）交易。持有至少241枚Alpha积分的用户可优先申领320枚ACU代币空投，先到先得，若奖励未发完，积分门槛将每5分钟自动下降5分。申领将消耗15分，须于24小时内在Alpha活动页面完成确认，否则视为放弃领取。
55 秒前
火讯财经讯，1月20日消息，据余烬称，地址0xD83…Fd7近五日通过滚仓操作将300万美元本金扩大至1,000万美元。其当前持有的BTC与ETH空单总价值达2.5亿美元，分别为1640枚BTC（名义价值1.5亿美元）与31,093枚ETH（名义价值1亿美元）。随着币价下跌，该交易员于1小时前再度加仓BTC空单，当前浮动利润合计达681万美元。
55 秒前
火讯财经讯，1月20日消息，现货黄金日内涨幅达1.00%，现报4717.58美元/盎司，续创新高。
56 秒前
火讯财经讯，1月20日消息，据BinanceWallet公告，BinanceAlpha平台将于今日16:00（UTC+8）开放HeyElsa（ELSA）交易。持有至少235Alpha积分的用户可抢兑200枚ELSA空投，先到先得，若奖励未发完，每5分钟积分门槛将自动降低5分。领取空投将消耗15分，用户需在24小时内完成确认，否则视为放弃。
30 分钟前
火讯财经讯，1月20日消息，据MakinaFi官方声明，平台收到关于$DUSDCurve池疑似遭遇安全事件的报告，目前问题初步判断仅影响DUSD流动性头寸，其他资产与部署暂未发现异常。作为预防措施，平台已对所有Machines启用安全模式，并建议DUSD池流动性提供者尽快撤出资金。官方表示正全力调查事件影响范围，后续将公布详细进展与处理方案。 据BlockSec分析称，MakinaFi在以太坊上的DUSD池遭利用，攻击者通过操控价格机制导致平台损失5,107,871枚USDC。根本原因在于DUSDUSDC.getSharePrice()函数依赖池中现价计算LP资产价值，攻击者利用此漏洞操纵价格并伪造资产膨胀，进行套利操作。
30 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
