"PROOF"的搜索結果
2026-03-21
02:27

Meituan Open-Sources 560B Parameter Theorem Proving Model, Achieving 97.1% Pass Rate on 72 Inferences Refreshing Open-Source SOTA

Meituan's LongCat team open-sourced LongCat-Flash-Prover on March 21, a MoE model with 560 billion parameters, focused on Lean4 formal theorem proving. The model is divided into three capabilities: automatic formalization, sketch generation, and complete proof generation, combining reasoning tools with the Lean4 compiler for real-time verification. Training employs the Hybrid-Experts Iteration Framework and HisPO algorithm to prevent reward manipulation. Benchmark tests show that the model has set records for open-source weight models in automatic formalization and theorem proving.
展開
07:02

XRP隱私升级預期升温:ZKP引入或推動機构入場,價格剑指2美元區間

With the upgrade of XRP Ledger's privacy technology, market attention on XRP's price movement has intensified. The development of Zero-Knowledge Proof (ZKP) technology is expected to protect transaction privacy while supporting compliance audits, attracting financial institutions to participate. Current XRP price is around 1.46 US dollars, with recent structure showing strength. If it breaks through 1.50 US dollars, it could potentially rise further to higher targets. Market analysis points out that the introduction of privacy features may provide new growth logic for XRP's price.
展開
XRP2.91%
09:22

伊斯蘭開發銀行研究院獲美國 Proof-of-Use 區塊鏈共識機制專利

伊斯蘭開發銀行研究院於3月9日獲得美國專利局授予的第12,548,031 B2號專利,涉及一種名為「使用證明」(PoU)的新型區塊鏈共識機制。該機制基於互惠原則,通過驗證他人交易來實現自身交易的驗證,旨在降低能源消耗並解決財富集中問題。
展開
01:30

CFG(Centrifuge)24小時上漲33.33%

Gate News 消息,03月02日,据CoinMarketCap行情,截至发稿时,CFG(Centrifuge)现报0.16美元,24小时内上涨33.33%,最高触及0.16美元,最低回落至0.08美元,24小时交易量达7800万美元。当前市值约为8970万美元,较昨日增长224万美元。 Centrifuge是面向链上资产管理的基础设施平台,专注于真实资产的代币化。该平台与S&P DJI合作推出了首个代币化的标普500指数基金,采用其Proof-of-Index基础设施。Centrifuge为资产发行方和建设者提供多种解决方案,包括在经过审计的基础设施上推出代币化产品、通过deR
展開
CFG9.57%
14:59

美CFTC主席Michael Selig啟動Future Proof計劃以升級加密監管

CFTC主席Michael Selig在《华盛顿邮报》发文,宣布启动新计划Future Proof,以现代化数字资产监管。他指出传统规则不适用于新兴产品,呼吁升级监管以促进创新,强调若国会通过相关立法,CFTC将承担更多责任,确保美国市场的领先地位。
展開
11:38

無界推送技術為 OP Chain 帶來分鐘級最終確定性

Boundless Network 已推出一項突破性的 OP 鏈 Rollup 解決方案,實現分鐘級最終確定性和 Stage 2 就緒。這是首創的實施方式,結合了 ZK 證明與非互動爭議機制,允許 Rollup 使用單一智能合約在 ZK Fault Proof 和 Validity Proof 模式之間無縫切換。 通過利用 Boundless 大量的證明能力——每天高達 4 千萬億個週期,平均成本僅為每十億週期 \$0.04——O
展開
OP3.82%
BOB-0.66%
SOON2.57%
ETH4.37%