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

2462 天前

06月26日，星期三 07:33

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

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

数据：ETH 全网合约持仓量 24h 增长 5.27%

火讯财经讯，ETH全网合约持仓量在过去24小时增长5.27%，当前总持仓量为292.22亿美元。其中Binance持仓量为63.4亿美元，OKX持仓量为18.35亿美元，Bybit持仓量为20.65亿美元，Gate持仓量为33.8亿美元。

58 分钟前
数据：2609.95 万枚 ENA 从匿名地址转出，价值约 241.8 万美元

火讯财经讯，据Arkham数据，00:45时，2609.95万枚ENA（价值约241.8万美元）从一个以0xec0D开头的匿名地址转出至另一个以0x18D2开头的匿名地址。

1 小时前
数据：2.79 万枚 SOL 从匿名地址转出，经中转后流入 degen-retard.sol

火讯财经讯，据Arkham数据，在00:38，2.79万枚SOL（价值约250万美元）从GN9CFx开头的匿名地址转出至degen-retard.sol。随后，该地址将全部SOL转移至JAiC8R开头的另一地址。

1 小时前
数据：过去 24 小时全网爆仓 8.58 亿美元，多单爆仓 4.59 亿美元，空单爆仓 4 亿美元

火讯财经讯，过去24小时全网加密货币爆仓总额达8.58亿美元，其中多单爆仓4.59亿美元，空单爆仓4亿美元。具体来看，比特币多单爆仓1.13亿美元，空单爆仓1.59亿美元；以太坊多单爆仓9132.23万美元，空单爆仓1.27亿美元。此外，该时段全球共有204994人遭遇爆仓，最大单笔爆仓单发生在Bitget平台的ETHUSDT_UMCBL交易对，价值1627.5万美元。

2 小时前
数据：Revolut 流入 36.9 万枚 SOL，价值约 1.61 亿美元

火讯财经讯，据Arkham数据，在00:21左右，Revolut收到四笔大额SOL转账，共计369,917.26枚SOL（总价值约1.61亿美元），均来自Fireblocks Custody。

2 小时前

2462 天前

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

数据：ETH 全网合约持仓量 24h 增长 5.27%

数据：2609.95 万枚 ENA 从匿名地址转出，价值约 241.8 万美元

数据：2.79 万枚 SOL 从匿名地址转出，经中转后流入 degen-retard.sol

数据：过去 24 小时全网爆仓 8.58 亿美元，多单爆仓 4.59 亿美元，空单爆仓 4 亿美元

数据：Revolut 流入 36.9 万枚 SOL，价值约 1.61 亿美元

友情链接：