国产密臀AV无码|干骚大形网部视频|91骚穴蜜桃视频|艾草久久成人|射精网站在线免费|欧韩日美在线三区|波多野结衣+中文字幕公交车催情|av主播免费观看|中国日韩精品一区|哈啊嗯啊在线观看

紐約, Oct. 13, 2025 (GLOBE NEWSWIRE) -- Shentu 鏈宣布正式推出OpenMath平臺(tái)，這是全球首個(gè)聚焦數(shù)學(xué)領(lǐng)域的去中心化科學(xué)（DeSci）平臺(tái)。該平臺(tái)由 Shentu 鏈 與 CertiK 聯(lián)合研發(fā)，CertiK作為全球最大的 Web3 安全公司與形式化驗(yàn)證領(lǐng)域的國(guó)際領(lǐng)軍者，為該平臺(tái)提供數(shù)學(xué)領(lǐng)域的技術(shù)支持。

OpenMath 為研究者與證明者提供了協(xié)作提出、解決數(shù)學(xué)問(wèn)題的功能，并借助基于 Rocq 的形式化驗(yàn)證技術(shù)，對(duì)結(jié)果進(jìn)行邏輯驗(yàn)證，以數(shù)學(xué)級(jí)的精度確保推理的嚴(yán)謹(jǐn)與準(zhǔn)確。此外，平臺(tái)為證明者提供代幣獎(jiǎng)勵(lì)，在研究過(guò)程中同時(shí)實(shí)現(xiàn)了透明度提升與激勵(lì)機(jī)制對(duì)齊。

OpenMath 部署于 Shentu 鏈，這是一條基于 Cosmos 構(gòu)建的 Layer 1 區(qū)塊鏈，前身為 CertiK 鏈，由耶魯大學(xué)邵中教授與哥倫比亞大學(xué)顧榮輝教授個(gè)人孵化。2021 年 8 月，Shentu 正式脫離 CertiK，作為獨(dú)立實(shí)體自主運(yùn)營(yíng)。此次OpenMath上線，是雙方基于全新合作伙伴關(guān)系，對(duì)區(qū)塊鏈與形式化驗(yàn)證在數(shù)學(xué)場(chǎng)景中應(yīng)用的共同探索。

值得注意的是，OpenMath 平臺(tái)推出節(jié)點(diǎn)，正處于DeSci領(lǐng)域快速發(fā)展階段。DeSci 旨在重塑科學(xué)知識(shí)的生產(chǎn)、資助與傳播方式。不同于依賴中心化機(jī)構(gòu)和封閉體系的傳統(tǒng)研究模式，DeSci 利用 Web3 技術(shù)推動(dòng)開(kāi)放協(xié)作、透明資助，并為貢獻(xiàn)者提供直接激勵(lì)。

參考Binance Academy的定義，Desci的核心是“通過(guò)去中心化網(wǎng)絡(luò)實(shí)現(xiàn)科學(xué)的民主化，提高研究透明度、激勵(lì)機(jī)制與可訪問(wèn)性”。據(jù)悉，OpenMath的設(shè)計(jì)中包括開(kāi)放取用出版(open access publishing)、點(diǎn)對(duì)點(diǎn)資助模式，以及研究成果的公開(kāi)驗(yàn)證(public validation of research)等級(jí)制，與 DeSci 理念存在多處契合。

通過(guò)OpenMath，研究過(guò)程以數(shù)據(jù)的形式記錄在區(qū)塊鏈上，既確保信息不可篡改，又讓整個(gè)過(guò)程更加公開(kāi)透明，從而打破機(jī)構(gòu)壁壘，保障每項(xiàng)研究成果可追溯。此外，平臺(tái)采用 “雙階段提交機(jī)制”，據(jù)介紹該機(jī)制可在保護(hù)驗(yàn)證者知識(shí)產(chǎn)權(quán)的前提下，向全球研究者開(kāi)放參與權(quán)限，以吸引更多群體加入。

關(guān)于生態(tài)建設(shè)，OpenMath方面表示，其生態(tài)體系將圍繞 “社區(qū)主導(dǎo)、可驗(yàn)證、可引用、可追溯” 的特點(diǎn)構(gòu)建，這一設(shè)計(jì)對(duì)推動(dòng)全球數(shù)學(xué)領(lǐng)域研究協(xié)作、加速研究進(jìn)程具有積極意義。未來(lái)規(guī)劃上，平臺(tái)透露將持續(xù)拓展應(yīng)用場(chǎng)景，重點(diǎn)聚焦前沿?cái)?shù)學(xué)難題攻克，目標(biāo)是為構(gòu)建更公平、高效的科研環(huán)境提供支持。

Media Contact
Elisa Yiting Xu
yiting.xu@certik.com