DAG, Constellation

PANews 4月8日消息，在2025年Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升Web3生态的可靠性和规模化发展。 LiDO已成功应用于Jolteon等工业级协议，完成超万行Coq代码验证。邵中教授表示，LiDO针对PoS共识协议安全性、活性与去中心化难以兼得的困境，提出系统性解决方案。目前，LiDO正探索与主流公链合作，助力构建可信的去中心化网络协议栈。

，美国区块链基础设施公司Constellation Network近日发布"数字证据"(Digital Evidence)系统，该系统基于区块链技术，旨在为执法部门和公共服务机构提供防篡改的数据存证解决方案。该公司此前已与美国国防部合作开发"Iron SPIDR"项目长达六年。 该系统可应用于警用车辆、消防设备等场景的数据采集，并与松下TOUGHBOOK设备实现集成。Constellation表示，该技术能帮助机构降低合规成本，其生成的"智能认证"标记可提升数据可信度。目前，该系统正在多个试点场景进行测试，包括公共安全、零售分析和知识产权保护等领域。

据链上分析师 Ai 姨监测，巨鲸/机构“bc1p8...xwdag”疑似抛售四个月前建仓的 138.88 枚 BTC（1345 万美元），获利 286 万美元；该地址在 2024 年 11 月以 75756 美元价格从币安提出 BTC，并在 50 分钟前将所有代币充值进币安，充值价格 96365 美元；相较 BTC 近期峰值，他的利润回撤了 184 万美元。

MicroStrategy 今年迄今回报率在纳斯达克 100 指数中排名第二，表现优于 Meta、Netflix 和英伟达等巨头。 截至 2025 年 1 月 29 日，Constellation Energy Corp 以 22.93%的年初至今涨幅位居榜首，其次是 MicroStrategy Inc，涨幅为 20.13%。Meta 股价上涨 12.7%，Netflix 股价上涨 0.04%，而英伟达股价下跌 11%。

Spacecoin XYZ 已将其首颗卫星送入轨道，标志着该项目朝着将卫星群上线迈出了第一步，这将使区块链网络在外层空间得到保护。 Spacecoin XYZ 联合创始人 Daniel Bar 在接受采访时表示，第一颗正式标准化的卫星是将“Spacecoin 层”带入地球轨道的第一个重要里程碑。该卫星是 SpaceX Falcon Heavy 的一部分，于 12 月 21 日加州当地时间凌晨 3:34 升空。 Bar 表示，Spacecoin 卫星将是未来几个月发射的众多卫星中的第一颗。Spacecoin 计划在 2025 年发射一个由 7 到 10 颗额外卫星组成的“星座（constellation）”，这足以让 Spacecoin 主网上线。（Cointelegraph）

微软已经与三里岛核电站的所有者 Constellation Energy Corporation 签署了一项为期 20 年的协议，将修复三里岛 1 号反应堆，以设立“起重机清洁能源中心（Crane Clean Energy Center）”，这是这家科技巨头致力于通过无碳能源为其人工智能业务提供动力的一部分举措。 作为协议的一部分，Constellation Energy 将向微软提供 835 兆瓦的电力，并花费约 16 亿美元使该设施上线，计划在 2028 年实现这一目标。在恢复运营之前，该交易仍必须得到核管理委员会（NRC）、州官员和地方当局的批准。 据悉，三里岛核电站坐落于美国宾夕法尼亚州萨斯奎哈纳河附近，于 1979 年 3 月 28 日发生堆芯熔毁事故，在国际核事件分级的 7 级系统中，本次事故被评为第 5 级。 三里岛核泄漏事故是美国至今最为严重的核事故，但与之后发生的切尔诺贝利核能电厂事故与福岛第一核电站事故相比，三里岛核泄漏事故仍然在可以控制的范围内。（Cointelegraph）

陀螺科技消息，近日，据知名科技记者Mark Gurman消息，Vision Pro的visionOS 2.0或将于今年内发布。 Gurman称，苹果通常会在6月举行的年度WWDC大会上分享其操作系统全新版本的细节。今年，苹果将发布一个更实质性的visionOS 2.0更新，代号为“Constellation”。

Odaily星球日报讯 据官方消息，星舰用例黑客马拉松（Starship Use Cases Hackathon）第一轮结果公布，共四个项目获得资助，分别是 Helix（载人星舰内部空间设计）、Orbital Can Station（高度模块化且低成本的轨道实验站）、"Valhalla" Space Hotel（具备人工重力功能的太空酒店），和 Novel Satellite Constellation（为轨道维护提供全新解决方案的卫星组网）。 本次黑客松中邀请到多位太空领域专家参与项目评选，包括前 NASA 人机界面技术学科主管 George Salazar、加拿大银行首席量子计算科学家 Danica Marsden、尼日利亚航天局首席科学家 Olayinka Fagbemiro、加州大学圣地亚哥分校总项目经理兼月球站公司顾问 Sean Casey 等。 星舰用例黑客马拉松是 DoraHacks 的长期关注，旨在激励太空爱好者和创业者充分利用星舰运载能力，发掘太空探索的可能性。第二轮资助申请通道将于 4 月 1 日开启。

金色财经报道，Avalanche在X平台宣布，将为Chainlink即将举办的黑客马拉松Constellation提供2.5万美元的奖金，从11月8日开始，参与者可以选择在C链上部署基于智能合约的应用程序，或在Fuji测试网上启动自己的Avalanche子网，或者构建自定义虚拟机，该黑客松的总奖金价值超过50万美元。