06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月30日消息，据onchainschool.pro监测，昨晚至今日凌晨，价值42万美元的WCT代币从多个交易所提取至一个疑似Flowdesk钱包。随后不久，这些代币被转移至一个疑似团队钱包。类似的资金流动在4个月前也曾出现。这些代币目前仍存放在该钱包中。
22 分钟前
火讯财经讯，12月30日消息，据onchainschool.pro监测，近期，价值110万美元的FET代币从一个团队钱包通过DWFLabs路由转移至币安。本月截至目前，此类转移总额已达200万美元。
22 分钟前
火讯财经讯，12月30日消息，据onchainschool.pro监测，今日凌晨，某地址通过一个中间钱包将182万枚ENA（价值近40万美元）存入币安。该地址的ENA来自团队一天前的转账。
22 分钟前
火讯财经讯，12月30日消息，根据SoSoValue数据，昨日（美东时间12月29日）Solana现货ETF总净流入293万美元。 昨日（美东时间12月29日）单日净流入最多的SOL现货ETF为FidelitySOLETFFSOL，单日净流入253万美元，历史总净流入达1.15亿美元。 其次为VanEckSOLETFVSOL，单日净流入为40万美元，历史总净流入达1818万美元。 截至发稿前，Solana现货ETF总资产净值为9.36亿美元，Solana净资产比率1.35%，历史累计净流入已达7.59亿美元。
52 分钟前
火讯财经讯，12月30日消息，据Lookonchain监测，两个钱包（26nbFG和E9eKo8）在过去16小时内累计积累了21.5亿枚PUMP（价值387万美元）。
52 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
