塞托拉一家領(lǐng)先的區(qū)塊鏈安全公司,負(fù)責(zé)保護(hù)數(shù)十億美元的 DeFi TVL,已加入 Solana 基金會(huì)委托計(jì)劃,并推出了它自己的驗(yàn)證器這標(biāo)志著 Certora 在 Solana 網(wǎng)絡(luò)中的角色顯著擴(kuò)展。該決定將 Certora 直接置于網(wǎng)絡(luò)的運(yùn)營(yíng)層。Certora 不再局限于審計(jì)和工具開(kāi)發(fā),而是將其安全專業(yè)知識(shí)應(yīng)用于持續(xù)保障交易安全和維護(hù)網(wǎng)絡(luò)健康的工作中。
此舉將 Certora 定位為一家長(zhǎng)期、專注于安全的貢獻(xiàn)者,其利益與委托計(jì)劃的目標(biāo)相一致,即加強(qiáng)去中心化、提高可靠性并維持高網(wǎng)絡(luò)性能。通過(guò)運(yùn)營(yíng)高可靠性的驗(yàn)證節(jié)點(diǎn),Certora 將理論上的安全原則轉(zhuǎn)化為可衡量的基礎(chǔ)設(shè)施成果。
將安全專業(yè)知識(shí)轉(zhuǎn)化為網(wǎng)絡(luò)運(yùn)營(yíng)
Certora 通過(guò)將形式化驗(yàn)證和對(duì)抗性測(cè)試應(yīng)用于 Web3 領(lǐng)域一些最復(fù)雜的系統(tǒng)而建立了聲譽(yù)。它與以下協(xié)議的合作:吉托,艾維,麗都,多邊形,伊里斯以及其他主要生態(tài)系統(tǒng)都體現(xiàn)了在部署前預(yù)防故障而非在事件發(fā)生后被動(dòng)應(yīng)對(duì)的理念。運(yùn)行驗(yàn)證器將同樣的理念延伸到了實(shí)時(shí)網(wǎng)絡(luò)運(yùn)維中。
驗(yàn)證器運(yùn)行引入的風(fēng)險(xiǎn)與智能合約開(kāi)發(fā)截然不同。運(yùn)維人員必須管理硬件可靠性、網(wǎng)絡(luò)連接、軟件升級(jí)和實(shí)時(shí)事件響應(yīng)。Certora 以對(duì)待協(xié)議安全同樣的嚴(yán)謹(jǐn)態(tài)度應(yīng)對(duì)這些挑戰(zhàn)。
“我們參與 Solana 基金會(huì)委托計(jì)劃,是我們致力于提升 Web3 韌性和安全性的使命的自然延伸。我們將運(yùn)用我們以安全為先的運(yùn)維經(jīng)驗(yàn)來(lái)強(qiáng)化 Solana 的基礎(chǔ)設(shè)施,遵循我們通過(guò)運(yùn)維服務(wù)向客戶推薦的最佳實(shí)踐。通過(guò)運(yùn)行高可靠性的驗(yàn)證器,Certora 積極支持 Solana 基金會(huì)的使命,即提升 Solana 生態(tài)系統(tǒng)的去中心化程度、普及率和安全性。”- Certora 首席執(zhí)行官 Seth Hallem
與代表團(tuán)計(jì)劃的目標(biāo)保持一致
Solana 基金會(huì)委托計(jì)劃旨在支持那些對(duì)網(wǎng)絡(luò)技術(shù)和經(jīng)濟(jì)動(dòng)態(tài)有深入了解的活躍貢獻(xiàn)者和開(kāi)發(fā)者。該計(jì)劃的目標(biāo)是最大限度地提高去中心化程度、可靠性和性能,擴(kuò)大擁有不同質(zhì)押來(lái)源的驗(yàn)證者數(shù)量,并維持一個(gè)規(guī)模龐大且具有代表性的測(cè)試網(wǎng)。
驗(yàn)證節(jié)點(diǎn)數(shù)量減少會(huì)增加去中心化和抗審查能力的理論風(fēng)險(xiǎn)。更少的運(yùn)營(yíng)節(jié)點(diǎn)會(huì)增強(qiáng)大型驗(yàn)證節(jié)點(diǎn)的影響力,并降低抵御協(xié)同故障或惡意行為的安全邊際。委托計(jì)劃旨在通過(guò)讓具備技術(shù)能力且對(duì)網(wǎng)絡(luò)有長(zhǎng)期承諾的團(tuán)隊(duì)更容易參與并可持續(xù)地運(yùn)營(yíng)驗(yàn)證節(jié)點(diǎn),來(lái)應(yīng)對(duì)這些趨勢(shì)。
基礎(chǔ)設(shè)施選擇與運(yùn)營(yíng)紀(jì)律
Certora 對(duì) Solana 網(wǎng)絡(luò)的深入?yún)⑴c建立在與 Solana 原生團(tuán)隊(duì)多年合作的基礎(chǔ)上。該公司已為 Solana 提供安全服務(wù)。吉托,小隊(duì),神之野,光協(xié)議, 和體液等等。這些關(guān)系為Certora的運(yùn)營(yíng)規(guī)范和技術(shù)標(biāo)準(zhǔn)提供了實(shí)際驗(yàn)證。
Certora 已將其主網(wǎng)和測(cè)試網(wǎng)驗(yàn)證器部署在緯度.sh采用裸機(jī)基礎(chǔ)設(shè)施,優(yōu)先考慮性能穩(wěn)定性和網(wǎng)絡(luò)連接性。主網(wǎng)驗(yàn)證節(jié)點(diǎn)位于阿姆斯特丹,測(cè)試網(wǎng)驗(yàn)證節(jié)點(diǎn)位于芝加哥。據(jù) Certora 安全實(shí)驗(yàn)室副總裁 Elad Erdheim 介紹,團(tuán)隊(duì)在最終部署前,針對(duì)不同地點(diǎn)進(jìn)行了廣泛的測(cè)試,以評(píng)估延遲、帶寬和可靠性。
驗(yàn)證器堆棧體現(xiàn)了在硬件選擇、軟件配置和監(jiān)控方面的精心設(shè)計(jì)。Certora 提供 24/7 全天候待命服務(wù),以應(yīng)對(duì)突發(fā)事件和網(wǎng)絡(luò)故障。這種運(yùn)營(yíng)模式與公司通過(guò)其運(yùn)營(yíng)安全服務(wù)向客戶推薦的標(biāo)準(zhǔn)相一致。
更廣泛的長(zhǎng)期承諾模式
Certora 的驗(yàn)證器此次發(fā)布符合Solana生態(tài)系統(tǒng)持續(xù)投資的整體戰(zhàn)略。近年來(lái),該公司通過(guò)直接的安全合作和全生態(tài)系統(tǒng)范圍內(nèi)的舉措來(lái)支持開(kāi)發(fā)者,包括參與旨在降低專業(yè)安全審查門(mén)檻的審計(jì)補(bǔ)貼計(jì)劃。Certora還持續(xù)開(kāi)發(fā)新的工具,例如其人工智能輔助智能合約開(kāi)發(fā)平臺(tái),該平臺(tái)將自動(dòng)代碼生成與形式化驗(yàn)證相結(jié)合。
通過(guò)加入 Solana 基金會(huì)委托計(jì)劃并運(yùn)營(yíng)自己的驗(yàn)證節(jié)點(diǎn),Certora 從咨詢和工具提供方轉(zhuǎn)型為直接的基礎(chǔ)設(shè)施管理者。此舉體現(xiàn)了 Certora 的理念:網(wǎng)絡(luò)安全不僅取決于安全的應(yīng)用程序,還取決于具有彈性且運(yùn)行良好的驗(yàn)證節(jié)點(diǎn)。隨著 Solana 網(wǎng)絡(luò)規(guī)模的不斷擴(kuò)大,此類貢獻(xiàn)將在增強(qiáng)去中心化和維護(hù)網(wǎng)絡(luò)性能方面發(fā)揮重要作用。
驗(yàn)證者為何重要
驗(yàn)證節(jié)點(diǎn)對(duì) Solana 的運(yùn)行至關(guān)重要,它們負(fù)責(zé)處理交易、安全、治理和質(zhì)押獎(jiǎng)勵(lì)分配。然而,該網(wǎng)絡(luò)已經(jīng)出現(xiàn)了……活躍驗(yàn)證者數(shù)量持續(xù)下降兩年多來(lái),這種趨勢(shì)引發(fā)了人們對(duì)去中心化和網(wǎng)絡(luò)韌性的擔(dān)憂。隨著驗(yàn)證者數(shù)量減少,權(quán)益集中在少數(shù)運(yùn)營(yíng)商手中,風(fēng)險(xiǎn)也隨之增加:超級(jí)少數(shù)派閾值(定義為理論上能夠阻止或?qū)彶榫W(wǎng)絡(luò)的最小驗(yàn)證者數(shù)量)已從2023年的34個(gè)驗(yàn)證者降至如今的約20個(gè),這加劇了關(guān)于長(zhǎng)期網(wǎng)絡(luò)安全和驗(yàn)證者多樣性的爭(zhēng)論。
作為回應(yīng),獨(dú)立驗(yàn)證者已開(kāi)始協(xié)調(diào)合作,以對(duì)抗合并。Layer 33 是由 25 個(gè)獨(dú)立的 Solana 驗(yàn)證者組成的團(tuán)體,最近宣布了共享、均勻分配權(quán)益池的計(jì)劃旨在將大約三分之一的總權(quán)益保留給獨(dú)立運(yùn)營(yíng)商。在一次峰值流量接近 6 Tbps 的大規(guī)模 DDoS 攻擊之后,這些討論變得更加緊迫,但也凸顯了高質(zhì)量驗(yàn)證節(jié)點(diǎn)在壓力下的重要性。
[https://x.com/SolanaFloor/status/2000826352505905249?s=20]
索拉納基金會(huì)執(zhí)行主任在承認(rèn)當(dāng)前經(jīng)濟(jì)和參與方面仍面臨挑戰(zhàn)的同時(shí),也指出丹·阿爾伯特駁斥了有關(guān)存在性驗(yàn)證者危機(jī)的說(shuō)法,并表示目前的情況不會(huì)威脅到該網(wǎng)絡(luò)的生存。
[https://x.com/SolanaFloor/status/1999872919946899901?s=20]
了解更多關(guān)于 SolanaFloor 的信息
Solana Breakpoint 2025:周六的重要公告和新聞
Solana DAT 的驚人真相!
[https://www.youtube.com/watch?v=HNtwWK1uNLQ]
5433
收藏


















