Nil如何憑借零知識電路編譯器zkLLVM估值2.2億美元？_Foundation:Foundation幣是什么幣LVM價格

成立于2018年的ZK技術開發公司Nil以2.2億美元的估值完成了2200萬美元融資，由PolychainCapital領投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等參投。

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

Nil Foundation已在以太坊Sepolia測試網推出Proof Market:7月28日消息，ZK 技術開發商 Nil Foundation 發文稱，Proof Market 已集成以太坊 Sepolia 測試網，為所有 EVM 應用程序實現可證明計算的可組合性。Proof Market EVM 端點使可證明計算與 EVM 應用程序兼容，這些應用程序不僅可以使用 zkLLVM 與 Proof Market 簡化 zkProof 生成，還可以將證明排序原生集成到 Solidity 語言的應用程序代碼中。通過該 EVM 端點，以太坊資產可以參與可證明計算，并將 Proof Market 集成到處理以太坊流動性的任何應用程序管道中。Proof Market 允許開發者按需處理 zk，從根本上降低了構建 zk 應用程序的復雜性。

Proof Market 測試版于 2023 年 1 月發布，起初主要用于以太坊 L1 之外的協議，其未來用例包括 zkML、zkOracles、zkBridges、欺詐證明等。[2023/7/28 16:04:28]

鏈茶館此前介紹過Starkware和MinaProtocol。

Nil基金會與Fabric Cryptography合作推出用于加密和外包證明生成的去中心化市場:7月17日消息，ZK技術開發商Nil基金會與加密貨幣硬件生產商Fabric Cryptography合作推出用于加密和外包證明生成的去中心化市場，旨在實現更快、更可擴展、更具隱私性的和零知識證明計算。[2023/7/18 11:00:30]

Starkware團隊推出了證明系統STARK，并在隨后的技術外包生涯中積累了比較完整的業務邏輯的技術，并最終推出了StarkNet。

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

UniLayer集成Chainlink預言機喂價:Chainlink預言機發微博稱，UniLayer集成了Chainlink預言機喂價，在其新的DEX聚合器中獲取安全可靠的資產估值。Unilayer交易者可以使用預言機來計算成本，并以反映公平市場價格的方式記錄他們的交易歷史。[2020/12/14 15:08:01]

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

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

動態 | 韓國表示Shinil集團投資詐騙騙取90億韓元:據韓聯社消息，首爾地方警察廳26日表示，經調查，目前參與Shinil集團（現為Shinil Marine Technology）投資欺詐的受害人約2600人，損失金額達到90億韓元。此前，韓國Shinil公司宣布發現1905年俄羅斯滿載黃金的Dmitrii Donskoi號沉船，并計劃發行虛擬貨幣“Shinil Gold Coin”。[2018/8/27]

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

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

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

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

這里的關鍵在于零知識電路，這是構建zkEVM的一部分，用來完成證明生成過程。

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

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

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

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

創始人MikhailKomarov還是Cryptarithm的建筑師和軟件工程師，先前在cyber?Fund擔任高階軟件工程師。

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

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

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

最后：

歡迎私信進交流群！

感謝閱讀，喜歡的朋友可以點個贊關注哦，我們下期再見！

Tags：FoundationLVM以太坊Foundation幣是什么幣LVM價格LVM幣以太坊幣是什么幣

XLM