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

2454 天前

06月26日，星期三 07:33

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

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

Jupiter Litterbox Trust本月累计购入911万枚JUP代币

火讯财经讯，3月16日消息，据官方消息，Jupiter战略储备信托基金JupiterLitterboxTrust昨日增持387,919枚JUP（约6.2万美元），本月累计增持9,117,862枚JUP（约145.9万美元），目前总持仓达95,570,914枚JUP（约1529万美元）。

4 分钟前
Ourbit 对话“麻吉大哥”黄立成，今晚 9 点开启 X Space AMA

火讯财经讯，3月16日消息，OurbitSuperCEX将于今日（3/16）晚上21:00(UTC+8)邀约MachiBigBrother麻吉大哥（黄立成）展开XSpaceAMA交流。本次AMA将深度聚焦麻吉大哥的传奇历程：从娱乐界转型加密圈的独到视角、亏损7,000万美元仍奋战加密交易一线的“实战心得”，以及$machi项目的起源与未来愿景。此外，双方还将探讨Ourbit交易产品的合作可能。

4 分钟前
分析：技术指标持续改善，市场或正为进一步修复创造条件

火讯财经讯，3月16日消息，Matrixport发布分析称，Circle这轮88%的涨势已基本兑现，虽然过去两周市场情绪与仓位整体偏空，但该机构在每周观点中持续提示市场存在反弹可能。如今，相关走势正在逐步兑现。随着股价逐步逼近阻力位，市场关注点也可能开始转向其他值得观察的方向。这再次说明，理解市场结构与仓位变化，比单纯跟随热点或主流情绪更为重要。当前技术指标持续改善，爆仓压力仍相对可控，市场或正在为进一步修复创造条件。值得注意的是，尽管成交量仍处于低位，其情绪指标已出现明显改善。这也提醒市场，在成交清淡的环境下，单边看空往往需要更加谨慎。

4 分钟前
孙宇晨将持仓2年的62万枚XVS转至一新地址，目前浮亏约75%

火讯财经讯，3月16日消息，据链上分析师@ai_9684xtpa监测，孙宇晨2年前以12.21美元从Binance提出621071枚XVS，价值758万美元；持仓2年后首次向新地址转移了全部代币，目前接收地址归属未知。这两年间其XVS持仓缩水近75%，目前仅价值195万美元。

1 小时前
某巨鲸再次HyperLiquid存入150万枚USDC，并开设20倍杠杆BRENTOIL空单

火讯财经讯，3月16日消息，据OnchainLens监测，巨鲸“0xF78”又向HyperLiquid存入了150万枚USDC（累计：710万美元），并开了一个20倍杠杆的BRENTOIL空单。该巨鲸仍持有价值880万美元的CL空单（20倍杠杆）。

1 小时前

2454 天前

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

Jupiter Litterbox Trust本月累计购入911万枚JUP代币

Ourbit 对话“麻吉大哥”黄立成，今晚 9 点开启 X Space AMA

分析：技术指标持续改善，市场或正为进一步修复创造条件

孙宇晨将持仓2年的62万枚XVS转至一新地址，目前浮亏约75%

某巨鲸再次HyperLiquid存入150万枚USDC，并开设20倍杠杆BRENTOIL空单

友情链接：