Daniel Lubarov

Irreducible 是一家企業級零知識證明加速平台，建立硬體以提高零知識證明產生效率。

GAIB是人工智慧和算力的經濟層。 GAIB 創建一種新的資產類別，允許任何人直接投資人工智慧、GPU 和算力市場。實現真正的 AiFi、GPU 代幣化、GPU 支援的穩定幣、衍生性商品等。

Rarimo 是隱私優先的社交應用程序，讓使用者保持私密，而不會失去歷史操作、網路和身分。用戶可以使用手機在本地儲存護照數據，無需許可即可自行發布自己的身份，並匿名生成證明其投票資格的 ZKP。

delta 是一個自主執行環境網絡，透過去中心化、抗審查的基礎層連結。 delta 將執行/排序與資料可用性/結算分開。 delta 為其用戶提供兩項不可剝奪的權利——自我保管權和無權限退出權。

Fabric Cryptography 是一家專注於開發先進加密演算法硬件，特別是為零知識證明技術構建專用電腦晶片的新創公司。

Mamori 是一款基於機器學習的區塊鏈價值提取探路者，可應用於零日經濟漏洞、MEV 搜尋和意圖解決，解決 Web3 價值提取領域中的可擴展性、自動化、漏洞檢測相關性和有效性挑戰。

Aligned Layer 是在 EigenLayer 之上開發的 ZK 驗證層。這將使任何 SNARK 證明的驗證具有成本效益，利用以太坊驗證器的安全性而不受以太坊的限制。作為 Eigen Layer AVS，它承諾為 L2 和橋提供經濟實惠的驗證和多功能證明系統，滿足區塊鏈生態系統中的關鍵需求。

Succinct 正在建立一個去中心化的證明者網絡，以便任何人都可以建立由加密事實（而不是信任）保護的區塊鏈應用程式和基礎設施。 Succinct 統一了證明供應鏈，為使用零知識證明的 rollup、協處理器和其他應用程式提供了高度可用的證明來產生基礎設施和一流的定價。

Daimo 是一款沒有助記詞的穩定​​幣錢包。密鑰在手機的安全區域中生成，並且永遠不會離開。使用者可以新增多個裝置並建立金鑰備份以保護帳戶。在底層，它是一個 ERC-4337 合約錢包。

Axiom 是一個 ZK 協處理器，它允許智慧合約無信任地存取和處理所有鏈上資料。這是一種在鏈下處理資料的協議，然後將這些資料傳輸到以太坊主網，並使用 ZK 證明對其進行驗證。

Modulus 正在建立具有零知識證明的無需信任的人工智慧，以使該技術更便宜且更容易用於加密協議。