成立于2018年的ZK技術開發公司Nil以2.2億美元的估值完成了2200萬美元融資,由PolychainCapital領投,IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等參投。
值得關注的不止是融資金額,還有投資者名單——Starkware和MinaProtocol這兩個ZK生態的技術型選手也參與了。
BitNile宣布與比特大陸達成協議,以購買總共1140臺S19:金色財經報道,BitNile Holdings宣布該公司最近與比特大陸達成協議,以購買總共1140臺S19 XP Hydro Antminers,以及6個定制的電源容器。XP Hydro具有水冷功能,最大哈希率為255 TH/s,功率為5304W,由比特大陸于2022年10月推出。該公司預計從2023年7月開始連續六個月每月交付 190個XP Hydro和一個容器。[2022/11/23 7:58:42]
鏈茶館此前介紹過Starkware和MinaProtocol。
Indiegogo創始人加入星際安全系統開發公司 Nillion擔任首席商務官:10月29日消息,據外媒報道,Indiegogo創始人兼humbition普通合伙人Slava Rubin加入Web3互聯網基礎設施公司Nillion擔任首席商務官。Nillion正在開發基于線上存儲和數據處理算法的星際安全系統(IPSS),這是一種星際文件系統(IPFS)協議變體,該公司創始團隊還包括Uber創始工程師Conrad Whelan、Coinbase副總法律顧問Lindsay Cohen、以及Hedera Has和graph首席營銷官Andrew Massanto。(silicon)[2022/10/29 11:55:21]
Starkware團隊推出了證明系統STARK,并在隨后的技術外包生涯中積累了比較完整的業務邏輯的技術,并最終推出了StarkNet。
UniLend v2將于10月27日在以太坊測試網上推出:10月16日,據官方消息,DeFi借貸協議UniLend Finance將于10月27日在以太坊測試網上推出UniLend v2。[2022/10/16 17:28:02]
僅有22KB的輕量區塊鏈Mina也非常值得關注(《輕量化隱私公鏈Mina的技術原理以及生態發展》),它所使用的證明系統zk-SNARK可以遞歸地引用自身,從而創建證明并讓區塊保持固定大小。
他們對Nil的投資,也可以看成是一種技術背書。
尤其是Mina基金會還給予NilFoundation120萬美元的資金,開發能夠讓各公鏈上的dapp通過Mina來證明的Snapp,從而具有基于數據驗證的隱私保護功能、大量計算的有效證明以及安全一鍵登錄功能。
以太坊基金會和 Mina 基金會將捐助 =nil Foundation 120萬美元:10月1日消息,以太坊基金會和 Mina 基金會決定向 =nil; Foundation 的 Crypto3 團隊授予 120 萬美元的合同,以在以太坊虛擬機上驗證 Mina 的 Pickles SNARK。這將使得 Mina 能夠在以太坊和其他基于 EVM 的鏈(如 Polygon)上進行驗證,允許其他鏈上的 dapp 訪問 Mina 上由 zk-SNARK 驅動的去中心化應用程序(Snapp),使數字可驗證性和隱私成為常態的方式。今年二月份, Mina Protocol 基金會與以太坊基金會宣布了一項聯合提案請求(RFP),尋求第三方團隊在以太坊區塊鏈上實現可遞歸的 SNARK 應用。
Mina 由可驗證計算領域領導團隊 O(1) Labs 構建,使用密碼學和遞歸零知識證明 zk-SNARKs 來設計一個完整的區塊鏈,使其大小能夠保持約 22KB。[2021/10/1 17:19:15]
而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電路構建的細節,而是關注應用本身。
最后:
歡迎私信進交流群!
感謝閱讀,喜歡的朋友可以點個贊關注哦,我們下期再見!
今年四月以太坊將迎來上海升級允許質押的以太坊進行解鎖。雖然短期內可能會對以太坊價格帶來一定的不確定性,但我們認為這次升級將會大大提升之后以太坊網絡上質押的數量,同時利好以太坊的價格,使得以太坊/.
1900/1/1 0:00:00當下市場上的大餅行情已經持續了近20天,然而,在此期間,盡管出現了幾次向上沖刺,但并未能有效站穩三萬一的關口。相反地,隨著短期獲利盤的出逃以及山寨板塊的流動性抽水,市場變得更加萎靡不振.
1900/1/1 0:00:002023年,宏觀環境,美聯儲加息到尾聲了,加密市場去杠桿進程也已經結束,生態開始啟航,有效數據已經接近600PB.
1900/1/1 0:00:00看一下盤面與消息面 前天的一波大跌就是狗莊借著消息面來,收割散戶,大跌后我寫了一篇文章,叫大家抄底,也說了幣安不會倒,時間證明一切,暴漲來了!群里的低位多單怕的可以減倉!其余的繼續持有.
1900/1/1 0:00:00從數據角度分析我們當前在加密貨幣周期中所處的位置,聰明錢正在購買哪些資產,以及推動市場的敘事我們在周期中處于什么位置?以下是我的觀點/解釋首先,我認為現在出現了很多短期底部的跡象.
1900/1/1 0:00:00我們正處于熊冬之中,這已經不是什么秘密了。自2021年11月以來,價格一直在斷斷續續地下跌,我們現在正式進入這個令人討厭的熊市大約一年.
1900/1/1 0:00:00