Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

2442 天前

06月26日，星期三 07:33

Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。

Predict.fun完成对预测平台Probable的战略收购

火讯财经讯，3月4日消息，据官方消息，预测市场Predict.fun宣布完成对预测平台Probable的战略收购，具体金额暂未披露。据悉，Probable是最初由PancakeSwap和YZiLabs孵化的链上预测平台。

2 分钟前
币安将上线MANTRA 1-50倍 U本位永续合约

火讯财经讯，3月4日消息，据官方公告，币安将于2026年03月04日16:00（东八区时间）上线MANTRA1-50倍U本位永续合约。此外，币安理财、一键买币、闪兑交易平台、杠杆、VIP借币将上线MANTRA（MANTRA）。

32 分钟前
BTC突破69000美元，日内涨幅2.50%

火讯财经讯，3月4日消息，欧易OKX行情显示，BTC突破69000美元，现报69418.9美元/枚，日内涨幅2.50%。

32 分钟前
GoPlus：小心4Agent等BSC新貔貅代币，已有KOL和聪明钱中招损失10万美元

火讯财经讯，3月4日消息，GoPlus发布安全警报称，以Gork4.2题材的4AGENT代币（合约开头为0x15ea）为貔貅代币，有KOL和聪明钱中招总损失170#BNB(约10万美金)。攻击收益中的123.7枚BNB转到了0xFcc7开头地址；另外46枚BNB用orbiter换成ETH跨到了0x96f4开头地址。Dev资金来源是Bitget，通过跨链地址往上查，之前发过同样未开源的两个恶意Token：DEBOT和ULottery。

1 小时前
某巨鲸从币安买入4900枚ETH，约合970万美元

火讯财经讯，3月4日消息，据OnchainLens监测，15分钟前，一巨鲸从币安买入4900枚ETH(970万美元)，并可能继续买入。

1 小时前

2442 天前

Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉

Predict.fun完成对预测平台Probable的战略收购

币安将上线MANTRA 1-50倍 U本位永续合约

BTC突破69000美元，日内涨幅2.50%

GoPlus：小心4Agent等BSC新貔貅代币，已有KOL和聪明钱中招损失10万美元

某巨鲸从币安买入4900枚ETH，约合970万美元

友情链接：