Fermah 是一個通用的零知識證明生成層。它充當市場，供應方包括 GPU 和 FPGA。在需求方面，Fermah 可以為任何使用 ZK 的實例產生證明。

Electron Labs 是一個以太坊通用 zk 聚合層，使用輕客戶端和零知識證明來保持去中心化。 Electron 在底層使用 UPA 將多個來源的證明聚合到單一超級證明中，分攤每個用例的成本。

Clave 是一款易於使用的非託管智慧錢包，由帳戶抽象和硬體元素（例如 Secure Enclave、Android Trustzone 等）提供支持，提供獨特的入門流程。

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

ONLY Dust 是一個 Web3 開源軟體開發者平台。它是開源貢獻者的社交網絡，因此每個開發者都可以找到適合自己專業知識的項目，在不浪費時間的情況下有效地做出貢獻，並因其貢獻而獲得獎勵。 Starkware、Starknet 基金會、OP 基金會、Nethermind、Aptos、Zama 和以太坊基金會均使用 ONLY Dust 來協調對貢獻者的現金和代幣獎勵。

Giza 正在建立一個無需信任的協議，將機器學習推理計算的過程去中心化，同時為開源人工智慧的開放經濟提供動力。 Giza 讓人工智慧開發者可以輕鬆為人工智慧模型產生零知識證明。

Radius 正在創造一個經濟公平的世界，無需集中交易排序，提供強大的抗 MEV 、零知識證明支援的成本節約協議。 Radius整合了實用可驗證延遲加密 (PVDE),以確保 MEV 保護內建於協議中，消除了會惡化交易價格執行的隱藏滑點。

Kakarot 是一個用 Cairo 寫的 zkEVM。它旨在允許用戶利用有效性 rollup 的擴展優勢，同時保持與以太坊生態系統的兼容性。因此，Kakarot 可用於在 Starknet 上運行以太坊智能合約。