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

成立於 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 電路構建的細節，而是關注應用本身。

原文連結