06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，4月2日消息，据Cointelegraph报道，谷歌威胁情报组(GTIG)最新报告显示，与朝鲜有关联的IT技术人员正将渗透目标扩展至美国以外的区块链企业。随着美国监管审查趋严，这些技术间谍已混入英国加密货币项目。报告指出，尽管美国仍是主要目标，但日益严格的用工审查迫使朝鲜IT人员转向非美国公司求职。这些人员通过伪造身份构建全球操作网络，其渗透范围涵盖传统网络开发及Solana、Anchor智能合约等区块链应用。
6 分钟前
火讯财经讯，4月2日消息，据链上分析师@ai_9684xtpa监测，六小时前，做市商AmberGroup向币安充值126万枚KAITIO，价值130万美元；凌晨四点充值到现在，KAITO币价已下跌9.4%(1.0402美元-0.9421美元）。
6 分钟前
火讯财经讯，4月2日消息，根据SoSoValue数据，加密市场板块小幅上涨，ETH24小时上涨3.63%，一度突破1900美元。BTC上涨2.96%，重返85000美元上方。此外，AI板块24小时上涨2.60%，其中，Render(RENDER)、Fartcoin(FARTCOIN)、ai16z(AI16Z)分别上涨5.89%、11.31%、11.18%。 其他板块方面，Meme板块24小时上涨2.15%，Dogecoin(DOGE)、Pepe(PEPE)分别上涨1.97%、2.05%；RWA板块上涨2.08%，Maker(MKR)、OndoFinance(ONDO)、Pendle(PENDLE)分别上涨4.47%、5.24%、6.89%；PayFi板块上涨1.34%，DeFi板块上涨1.24%，板块内，Ethena(ENA)、Sky(SKY)分别上涨4.46、4.75%；Layer1板块上涨0.91%，其中，Sui(SUI)上涨3.07%；CeFi板块上涨0.50%，板块内，Cronos(CRO)上涨4.71%。 此外，Layer2板块24小时下跌0.41%，近期涨幅较高的SocialFi板块迎来回调，24小时下跌2.29%。
6 分钟前
火讯财经讯，4月2日消息，彭博分析师JamesSeyffart转发的X帖子中指出，Circle确实在S-1文件中将USDT遭遇挤兑列为Circle业务的一项风险。 该帖子分享的截图显示，Circle在S-1文件中写道：“与USDT相关的负面发展，或USDT实际或感知到的不稳定性，可能会导致其他稳定币（包括Circle发行的稳定币）失去信任。二级市场的临时价格错位或USDT遭遇全面挤兑，可能会导致Circle稳定币在二级市场出现持续的赎回需求、挤兑或类似的价格错位。尽管在其他稳定币出现此类价格错位时，我们从未遇到过无法满足客户铸造或赎回请求的情况，但流入和流出的波动性以及铸造或赎回的需求可能非常强烈，以至于我们可能在满足此类需求时遇到运营困难。”
21 分钟前
火讯财经讯，4月2日消息，据Lookonchain监测，ACT代币的暴跌让某巨鲸损失了217万美元。该巨鲸4个月前从币安提取458万枚ACT（当时价值249万美元）；如今，这些ACT仅价值32万美元——损失达217万美元。
21 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
