分佈式證明架構

Ziren 旨在讓系統工程師、應用開發者與協議設計者，都能以主流語言構建高性能的 ZK 應用，真正將 ZK 從實驗室帶入主流開發實踐。