Nil如何憑借零知識電路編譯器zkLLVM估值2.2億美元？

發表於 2023-02-09 11:43 作者： 鏈茶館

作者:Chloe

成立於2018年的ZK技術开發公司Nil以2.2億美元的估值完成了2200萬美元融資，由Polychain Capital領投，IOSG Ventures、Blockchain Capital、Starkware、Mina Protocol等參投。

值得關注的不止是融資金額，還有投資者名單——Starkware和Mina Protocol這兩個ZK生態的技術型選手也參與了。

鏈茶館此前介紹過Starkware和Mina Protocol。

Starkware團隊推出了證明系統STARK，並在隨後的技術外包生涯中積累了比較完整的業務邏輯的技術，並最終推出了StarkNet（《從DEX到Layer4，StarkWare的「結硬寨，打呆仗」思路值得所有公鏈學習》）。

僅有22 KB的輕量區塊鏈Mina也非常值得關注（《輕量化隱私公鏈Mina的技術原理以及生態發展》)，它所使用的證明系統zk-SNARK可以遞歸地引用自身，從而創建證明並讓區塊保持固定大小。

他們對Nil的投資，也可以看成是一種技術背書。

尤其是Mina基金會還給予Nil Foundation 120萬美元的資金，开發能夠讓各公鏈上的dapp通過Mina來證明的Snapp，從而具有基於數據驗證的隱私保護功能、大量計算的有效證明以及安全一鍵登錄功能。

而Nil Foundation在ZK領域到底有什么值得關注的技術呢？

Nil Foundation是成立於2018年的協議开發商，最初只是想做資料庫管理系統和應用密碼學的研發，但這幾年隨着技術積累，想建立一套完備的技術——讓L1和L2的區塊鏈和協議都能夠按需求生成零知識 (ZK) 證明。

例如1月20日宣布要推出Mina Protocol與以太坊之間橋接的zkBridge，可以讓Mina給以太坊提供ZK證明。

但Nil Foundation最值得關注的新技術其實是zkLLVM，LLVM即「低級虛擬機」，能夠讓开發人員使用主流編程語言Rust和C++來構建，從而顯著減少工作量。例如zkEVM平台Scroll創始人Mikhail Komarov表示，他們以Rust編程語言所开發的特殊軟件庫來手動構建電路，幫助項目省上好幾個月的時間。

這裏的關鍵在於零知識電路，這是構建zkEVM的一部分（zkEVM共分爲執行環境、證明電路和驗證者合約三部分），用來完成證明生成過程。 

編譯零知識電路，往往意味着要涉及小衆編程語言、特定領域的軟件庫以及要非常懂密碼學，因此是一項復雜且得及時反應的工作。

而Nil Foundation在LLVM的基礎上構建了一個主流語言編譯器，試圖成爲开發者編譯零知識電路最好的工具。

最近還宣布了要創建ZK證明市場，是爲了幫助ZK團隊分擔他們的工作，並將某些類型的計算外包給第三方。Nil Foundation已在Github上發布了該項目，任何开發人員都可自由使用或修改zkLLVM的代碼。

目前Nil Foundation 團隊成員大多分布在歐洲，從瑞士开始到俄羅斯遠東地區都有其員工，全採遠端式辦公。

創始人Mikhail Komarov還是Cryptarithm的建築師和軟件工程師，先前在cyber•Fund擔任高階軟件工程師。

不過零知識電路如果編程錯誤，就會造成不可逆性的代價。先前zkLLVM的早期版本代碼庫曾在網上泄露，當時就有开發者表示他們不敢相信Nil Foundation的電路生成功能。

所以zkLLVM目前在應用範圍廣的層面上還是存在着局限性，這些程序或許更復雜，才無法轉化爲零知識形式。

但無論如何，Nil Foundation目前的方向沒有錯——專注在zkLLVM代碼庫的成熟度，讓开發者不必花太多時間在ZK電路構建的細節，而是關注應用本身。

標題：Nil如何憑借零知識電路編譯器zkLLVM估值2.2億美元？

地址：https://www.coinsdeep.com/article/9976.html

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。