TU Wien 为 Ark Protocol 开发形式化安全性证明;Bark 实现于 10 月损失 0.75 BTC
截至 2026 年 10 月中旬,TU Wien 的研究人员正在为 Ark 协议开发形式化安全证明。该项目由 Georgia Avarikioti 领导,并获得 AKRLabs OÜ 的资金支持。该研究团队于 2025 年 5 月宣布与 Ark Labs 展开合作,并产出了两份关键文档:一份于 2026 年 3 月发布、介绍 Ark 基于 UTXO 的交易批处理设计的轻量白皮书,以及一篇于 2026 年 6 月发布、详细阐述形式化安全定义和属性的 arXiv 论文。
一个名为 Bark 的独立实现于 2026 年 10 月遭遇漏洞,导致损失 0.75 BTC(约 62,000 美元)。损失来自项目资金,而非客户资产;该漏洞随后已通过更新修复。
Byzantine Finance 完成 300 万美元种子前轮融资
ByzantineFinance是一家开发重staking协议的初创公司,已在种子前轮融资中筹集了300万美元,融资由NodeCapital和BlockwallVentures主导。资金将用于开发Byzantine的无许可“聚合层”协议,旨在使多个区块链在保持主...
SUI 过去 24 小时涨幅达 21.5%,过去 30 天涨幅达 103.5%SUI过去24小时涨幅达21.5%,过去30天涨幅达103.5%,当前价格为1.32美元。Suivision显示,其链上DeFiProtocolTVL达3亿美元,TVL的增长主要源于SUI价格的上涨。
本周欧洲议会将召开有关 FTX 的听证会,或将指导全球加密监管据Circle欧盟事务总监,本周欧洲议会将召开有关FTX的听证会,内容可能包括关于FTX灾难成因、FTX中的欺诈和挪用等。不过欧洲用户并未在FTX崩溃中受到太多影响。对加密市场全面监管的MiCA将在2023年中实行,可能将对全...
菲律宾燃油价格自 9 月 8 日起每升上涨 4.69–5.58 菲律宾比索能源部于9月7日宣布,菲律宾燃油价格将从9月8日起上涨:汽油每升上涨P4.69,柴油每升上涨P5.18,煤油每升上涨P5.58。能源部长SharonGarin将此次涨价归因于影响中东能源流动的紧张局势再度升级,以及菲律宾比索兑美元...
特朗普敦促加拿大企业迁往美国以避免关税据特朗普于8月30日(当地时间)在其TruthSocial账户上发布的言论,美国总统唐纳德·特朗普敦促与美国开展贸易的加拿大企业立即将业务迁往美国,以避免关税。特朗普表示,许多此类企业多年前因“愚蠢的美国领导层”而...