zkllvm

ChainCatcher 消息，ZK 技術開發商=nil; Foundation 宣布推出新型 Type-1 zkEVM，由 zkLLVM 驅動，旨在提升以太坊擴展的安全性。 zkEVM V1現已向公眾開放，包含原型代碼庫、規範和相關博客文章。=nil;利用 zkLLVM 將高級代碼（如 C++或 Rust）自動編譯為高效的 zk-SNARK 電路，這種自動化編譯方式與傳統手動定義電路的方法形成對比。=nil; zkEVM 的關鍵特性包括可審計性 (採用 C++編譯的電路方式更為可行且經濟實惠，更易審計) ；可升級性 (對 EVM 的更改能夠輕鬆自動重新編譯電路)；兼容性 (Type-1 字節碼與以太坊基礎執行環境的 C++版本 evmone 最為接近)。根據加密數據平台 RootData 顯示，ZK 技術開發商=nil; Foundation 曾於今年 1 月份以 2.2 億美元的估值完成 2200 萬美元融資。

ChainCatcher 消息，Lido 生態系統組織 Lido DAO 通過 LEGO (Lido Ecosystem Grants Organisation）將資助 =nil; Foundation 和 Metacraft Labs 探索使用 zkLLVM 技術對去信任 zk-proof TVL 預言機進行額外的健全性和正確性檢查。本次資助旨在構建去信任的會計技術，如果實施，將起到額外的預言機檢查的作用，且不會完全替代目前的會計預言機；通過支持預言機會計流程中的去中心化和減少信任為重點的基本舉措，對現有協議提供更好的去中心化支持。Lido 還表示，如果事實證明 zk-proof 技術對於 Lido Protocol 預言機會計的運行是高效、安全和有益的，那麼未來有可能在整個預言機體系中逐步推出更廣泛的功能。

ChainCatcher 消息，ZK 技術開發商 Nil Foundation 發文表示，使用 zkLLVM 構建的 zkOracle 電路獲得了 Lido 生態系統開發資助的批准。根據 Lido 要求定制的 zkOracle 電路可以自動執行對以太坊 EVM 內歷史數據的無信任訪問，為 Lido 的會計報告提供基於 zk 的無信任合理性檢查，改進 stETH 獎勵和發行機制。根據介紹 Lido 質押用戶的獎勵根據常規會計報告分發給 stETH 持有者，據悉該報告包含抵押的總鎖定價值、活躍/退出的驗證人數量、提款和獎勵餘額等信息，如果會計報告（或其驗證）受到損害，獎勵過程也將受到損害。因此，該報告必須儘可能安全，而基於 zkLLVM 的 zkOracle 可實現以無信任的方式驗證報告的關鍵部分。

ChainCatcher 消息，ZK 技術開發商 Nil Foundation 發布一項新技術 zkLLVM，使開發人員能夠使用流行的編碼語言 Rust 和 C++來構建零知識電路，從而想入減少工作負載。LLVM 代表"低級虛擬機"，指的是一組開源代碼庫，開發人員使用這些庫將可讀代碼"編譯"為計算機可以解釋的格式。據悉，zkLLVM 項目還將自動插入 Nil Foundation 最近宣布的 ZK 證明市場，它創建該市場是為了幫助 ZK 團隊分擔他們的工作，並將某些類型的計算外包給第三方。（來源鏈接）