06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月13日消息，美国财长贝森特：（谈及加密货币）尽快完成法案至关重要，特朗普将于今年春天签署。
16 分钟前
火讯财经讯，2月13日消息，据Lookonchain报道，此前窃取约2亿美元资产的“Mixin黑客”在沉寂两年后，开始转移并疑似抛售共59,854枚ETH，按当前价格约1.17亿美元。其中约2,005枚ETH（约385万美元）在15小时前被转入TornadoCash，随后有3个新钱包从TornadoCash接收共2,087枚ETH（约403万美元）并在约1,933美元价格卖出。该黑客地址目前仍持有约57,849枚ETH（约1.13亿美元）及891枚BTC（约5,970万美元）。
16 分钟前
火讯财经讯，2月13日消息，据金十报道，据悉特朗普政府正筹备沃什的美联储主席提名工作。
16 分钟前
火讯财经讯，2月13日消息，Telegram创始人PavelDurov发文称，Telegram为聊天机器人与MiniApp开发者提供“免费且强大”的BotAPI，并持续新增功能（如彩色按钮、自定义Emoji）；更新可在官方BotAPI页面跟踪。
16 分钟前
火讯财经讯，2月13日消息，美国财长贝森特表示：（谈美联储主席提名人沃什）我们且看皮罗检察官的调查将走向何方。发出传票并不意味着必须对美联储提起诉讼。（谈美联储主席提名人沃什）推进参议院听证会至关重要。蒂利斯希望暂缓任何相关投票。周二与共和党参议员进行了对话。认为已就推进沃什的美联储相关听证会达成一致。
46 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
