数据中心基建概念股自今年6月以来市值蒸发4.2万亿美元
相关推荐
Cerebras Systems股价大涨17%，为8月以来最大涨幅
PANews 11月13日消息，币安行情显示：人工智能芯片制造商Cerebras Systems股价大涨17%，为8月以来最大涨幅。
币安将通过bStocks发放IBM、AAPL、GLW和LLY分红
PANews 11月6日消息，据币安公告，币安将为持有IBMB、AAPLB、GLWB和LLYB余额的用户发放对应代币化证券的股息。这些代币分别代表IBM、苹果、康宁和礼来公司。在扣除预扣税、手续费等费用后，净现金股息将再投资为相同标的证券的额外单位或零碎份额，用户将以代币形式收到分红。对于在链上持有相关代币的用户，将通过倍数调整的方式收到分红。 快照时间（东八区时间）分别为：11月10日08:00持有IBMB，11月12日08:00持有AAPLB，11月13日08:00持有GLWB和LLYB。公告指出，bStocks代表发行人所持有相关证券的权益，并非对相关股份的直接所有权。
代币化证券融资基础设施Lombard Systems完成400万美元种子轮融资
PANews 11月6日消息，据官方消息，代币化证券融资基础设施Lombard Systems（前身为SemiLiquid）完成400万美元种子轮融资，由Ethereal Ventures领投，ALPS Capital、First Commit、Veris Ventures、ATKA参投。 Lombard Systems为代币化证券提供融资基础设施，并维护“交付对锁定”（DvL）标准。该标准允许银行、经纪商和过户代理在不将资产移出原有证券账户的情况下，接受代币化及数字资产作为抵押品，资产仍以所有者名义锁定，贷款方获得由加密签名信用凭证证明的可执行担保权益。
EthSystems完成隐私池形式化验证，覆盖规范到Sepolia字节码
PANews 10月27日消息，以太坊机构隐私技术机构EthSystems宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到Sepolia测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用Lean，合约用Halmos和Kontrol，钱包用Aeneas和Verus，验证器和部署通过逐字节重建核对。双花和价值守恒已由Lean定理机器验证。验证中共发现6个问题，其中3个出在验证工具本身。团队同时列出了仍然依赖的假设：哈希无碰撞、验证器会拒绝伪造证明、合约行为与模型一致。
USA₮流通量增至1.757亿美元，较年初增长近10倍
PANews 9月30日消息，据USA₮官方公告，Anchorage Digital Bank发布储备报告显示，截至8月31日，USA₮流通量达1.7573亿枚，较1月末的1750万枚增长近10倍，储备资产总额1.764亿美元，超流通代币价值66万美元。USA₮由联邦特许银行Anchorage Digital Bank发行，Tether提供支持，符合GENIUS法案要求。
矿工可自主选择交易，Foundry USA Pool启动Stratum V2测试
Odaily星球日报讯 矿工可自主选择交易，Foundry USA Pool 启动 Stratum V2 测试。