维塔利克·布特林提出以人工智能辅助形式化验证为软件开发安全的终极形态

更多新闻

• Costco (COST) 股价上扬 分析师季报前调高目标价

  关键要点 华尔街展望与机构动态 强劲销售势头与提升的股东回报 在5月28日财报公布前，奥本海默将好市多的目标价从1100美元上调至1160美元，维持其“跑赢大盘”评级，并将其指定为首选股。 COST股票开盘价为1076.47美元，上涨2.6%，交易价格较其52周高点1079.83美元低不到1%，市值达到4775.8亿美元。 该零售商将其季度股息支付额从每股1.30美元提高了13%至每股1.47美元，已于5月15日派发。 4月份净销售额较去年同期增长13%，同店销售额增长11.6%，电子商务销售额激增18.8%。 ProShare Advisors在第四季度将其持有的好市多股份增加了38.6%，

  1 分钟前
• 西部数据(WDC)股票：量子抗性存储技术驱动长期安全战略

  关键要点 目录 关键要点 技术实施细节 财务业绩概览 西部数据已将抗量子加密技术集成到 Ultrastar UltraSMR 硬盘中，目前正与主要超大规模客户进行测试。 安全功能包括用于固件和信任链验证的、通过 NIST 认证的 ML-DSA-87 和 RSA-3072 双签名保护。 该技术旨在应对“现在收集，以后解密”的网络威胁，即攻击者收集加密信息，以待未来量子计算技术成熟后解密。 西部数据股价周一收盘下跌 4.84%，报收于 458.68 美元，但年内仍保持了高达 170% 的惊人涨幅。 分析师共识显示，15 位分析师均给出“强力买入”评级，平均目标价为 504.33 美元，意味着约 1

  1 分钟前
• 火箭实验室（RKLB）财报亮眼叠加中子星火箭发射预期，股价大涨5%

  快速概览 华尔街提高价格预测 中子火箭代表关键里程碑 获取三本免费股票电子书 Rocket Lab (RKLB) 股价周一飙升5.1%，盘中高点触及138.38美元，成交量较平日高出36%。 2026财年第一季度营收达到2.0035亿美元，同比增长63.4%，超出分析师1.8965亿美元的预测。 德意志银行将目标价从73美元上调至120美元；Craig Hallum将评级从持有上调至买入。 Cantor Fitzgerald的Andres Sheppard指出即将到来的中子火箭发射是该股的“主要催化剂”。 华尔街共识评级为适度买入，包含11个买入评级和4个持有评级；平均目标价为100.17美元

  2 分钟前
• 随着提现危机加剧，Zondacrypto在爱沙尼亚面临执照暂停风险

  监管行动与合规要求 爱沙尼亚金融情报机构对Zondacrypto加密货币交易所的运营许可施加了严格限制。根据部分暂停令，该平台将无法处理新客户存款或接受新的账户注册。现有账户持有人在持续进行的合规审查期间，仍可提取其资产。 此次监管行动源于对交易所提款处理困难的日益担忧，以及有关资产被锁定在冷存储中的指控。据称，目前价值约3.459亿美元的近4500枚比特币仍无法被客户触及。监管当局为该平台设定了30天的最后期限，要求其满足监管义务。 交易模式与公司沿革 市场分析显示，Zondacrypto交易平台近期的交易量极低。在监管暂停消息公布的同时，该交易所表现出有限的操作活动。行业观察人士指出，该平

  2 分钟前

  BTC

  0.08%
• 美股开盘初段下跌...虚拟资产相关股走弱

  美股开盘下跌，虚拟资产相关股票普遍走弱 据市场报道，美国股市开盘初期三大指数集体下行。道琼斯指数下跌0.56%，标普500指数下跌0.51%，纳斯达克指数下跌0.59%。 虚拟资产相关板块同样表现疲软。其中，업엑시跌幅达4.57%，마라홀딩스下跌3.53%，헛8下挫3.09%，라이엇 플랫폼스下跌2.98%，비티씨에스跌幅为2.86%。 市场分析：联动下跌反映抛售情绪扩散 此轮下跌行情主要源于美国主要指数的同步走低，导致虚拟资产相关股票普遍面临抛售压力，市场情绪整体承压

  5 分钟前
• 美国30年期国债收益率达3.181%…创2007年以来新高

  PANews报道指出，美国30年期国债收益率已攀升至3.181%，创下2007年以来的最高水平。 长期国债利率上升对风险资产的影响 长期国债收益率的上升可能导致借贷成本与贴现率负担增加，进而影响股票及虚拟资产等风险资产的投资情绪

  5 分钟前
• [社论]现场发出“监管悲鸣”，国家却固守“保身主义”……数字封锁要持续到何时？

  直面监管困局：韩国区块链产业的焦虑与反思 每当采访奋战在一线的区块链行业代表，他们口中总会反复出现一个词——监管。这些本该探讨未来技术、设计世界标准的创新者们，却只能在焦虑中等待国会与政府的决定，这已成为我们社会的痛疾。笔者在此不得不沉重发问：韩国为何总是落后一步？为何难以摆脱这种落后的循环？ 迟滞的代价 当前的现实令人痛心疾首。近期，离岸避税天堂开曼群岛事实上抢先发行了首个锚定韩元的稳定币，堪称一场闹剧。在韩国本土因严苛监管而寸步难行的“数字韩元”，竟在遥远的他乡由外国资本率先落地。面对本国货币数字金融的主导权被拱手让与他人的现实，当局难道没有感受到历史的责任吗？ 错失的机遇 不妨

  9 分钟前
• 四月超20只基金退市，加密杠杆类ETF多不足一年

  四月超20只杠杆与反向ETF退市，多数产品存续不足一年 彭博ETF分析师埃里克·巴尔丘纳斯在社交平台X分享的数据显示，四月有超过20只杠杆与反向交易所交易基金退市，其中多数产品甚至未能在市场上存续满一年。 加密货币相关产品生命周期短暂 在退市产品中，多只曾高调推出的加密货币关联产品因未能持续吸引投资者兴趣而告终。Direxion旗下2倍做多加密行业ETF的交易代码为LMBO，上市仅0.68年即退市；其对应的1倍做空加密行业ETF也只维持了0.67年。这两款产品旨在为投资者提供波动剧烈的数字资产行业的放大化风险敞口，但显然未能产生维持运作所需的交易量或资产规模。 Tidal Investment

  12 分钟前
• 日本比特币ETF计划或为家庭储蓄开辟新径

  日本或朝批准比特币交易所交易基金迈出关键一步 日本金融监管机构已就加密资产如何融入规范投资产品展开讨论，尽管尚未批准任何比特币交易所交易基金。此类基金结构将使家庭储蓄者通过熟悉的经纪账户而非专门的加密平台接触比特币。但由于监管、产品设计和销售渠道等多重障碍尚未解决，相关产品的正式推出可能仍需数年时间。 日本金融服务厅近期发布的探讨文件推动了这一概念的进展，该文件研究如何将数字资产纳入现有投资产品框架。尽管尚未授予正式许可，监管对话标志着日本当局对加密相关金融工具的态度转变。另有报道指出，日本正考虑在2028年前推出加密资产交易所交易基金，这进一步说明产品落地并非短期内可实现。 比特币交易所交

  13 分钟前

  BTC

  0.08%