作者：Jesse Walden，Variant聯(lián)創(chuàng)及合伙人；Alana Levin，Variant合伙人；翻譯：xiaozou
零知識(shí)密碼學(xué)在保護(hù)互聯(lián)網(wǎng)數(shù)據(jù)和驗(yàn)證計(jì)算方面的作用越來(lái)越重要。這項(xiàng)技術(shù)的發(fā)展速度越來(lái)越快，材料成本也大大降低，賦予新一代開(kāi)發(fā)人員試驗(yàn)獨(dú)特應(yīng)用程序的能力。Rollup正在走向成熟，隨著其鏈上活動(dòng)的增長(zhǎng)，對(duì)零知識(shí)證明（ZKP）生成的需求也將更大。即使是在區(qū)塊鏈領(lǐng)域之外，人工智能及其充斥的深度造假也在推動(dòng)著對(duì)更高的計(jì)算完整性的需求。隨著這些因素的增長(zhǎng)，對(duì)零知識(shí)證明的需求也將增加。我們正處在一個(gè)指數(shù)增長(zhǎng)拐點(diǎn)的尖端。
隨著這種新范式的出現(xiàn)，低成本、高性能的可靠zkp生成將成為開(kāi)發(fā)人員的首要考慮因素。這就是為什么我們很激動(dòng)地宣布，Variant領(lǐng)投了Gevulot的種子輪融資。
作為L(zhǎng)1通用證明網(wǎng)絡(luò)，Gevulot讓任何人都可以在鏈上部署prover（證明者）或verifier（驗(yàn)證者），而且很容易：部署這些程序在很大程度上就像是部署智能合約或與智能合約交互。
成本更低、速度更快。Gevulot的開(kāi)放供方讓專業(yè)供應(yīng)商之間相互競(jìng)爭(zhēng)，有助于降低zkp買家的價(jià)格。同時(shí)，為需求創(chuàng)建一個(gè)邏輯上集中的整合點(diǎn)，從而減少prover尋找買家的發(fā)現(xiàn)和協(xié)調(diào)成本。它還有助于最大化全網(wǎng)利用率：如果證明硬件能夠滿足不同來(lái)源的需求，那么它就不太可能處于閑置狀態(tài)。這是一個(gè)三贏局面。隨著時(shí)間的推移，我們預(yù)計(jì)zkp買家將有可能將證明工作分配給多個(gè)prover，從而以單一/中心化服務(wù)無(wú)法實(shí)現(xiàn)的方式進(jìn)一步優(yōu)化成本和性能。
更靈活、更可靠。去中心化網(wǎng)絡(luò)比中心化解決方案更可取。它不僅包含了中心化解決方案的所有選項(xiàng)（因?yàn)橘I方可以只指定一個(gè)prover來(lái)執(zhí)行請(qǐng)求），而且還為多個(gè)prover生成冗余證明等具體要求打開(kāi)了市場(chǎng)。此外，由于Gevulot是作為L(zhǎng)1運(yùn)行的，所以它有一系列擴(kuò)展選項(xiàng)來(lái)促進(jìn)prover的活躍度——原生激勵(lì)措施可以促進(jìn)prover的運(yùn)行時(shí)間，而罰沒(méi)則可以阻止惡意行為。上述所有選項(xiàng)都超出了中心化服務(wù)的范圍。
Teemu P?ivinen、Tuomas M?kinen以及Gevulot團(tuán)隊(duì)的其他成員帶來(lái)了他們?cè)贓quilibrium工作期間積累的豐富的系統(tǒng)經(jīng)驗(yàn)和專業(yè)知識(shí)。在Equilibrium，他們與Starknet、Avail、Aleo等rollup及基礎(chǔ)設(shè)施項(xiàng)目密切合作。幫助團(tuán)隊(duì)穿梭于不同的技術(shù)棧，讓他們有機(jī)會(huì)了解基礎(chǔ)設(shè)施領(lǐng)域缺少什么：即高性能去中心化的prover網(wǎng)絡(luò)。這種實(shí)踐經(jīng)驗(yàn)，加上憑實(shí)力贏得的名譽(yù)，再加上長(zhǎng)期的行業(yè)項(xiàng)目合作關(guān)系，讓Gevulot成為最適合建設(shè)如此重要、可靠的中性基礎(chǔ)設(shè)施的團(tuán)隊(duì)。
