核心技術

- ekVM：通用 RISC-V 虛擬機，可把 Rust/C++/Go 程式自動編譯成可證明電路。

‑ Bonsai 證明網路：分佈式 GPU/FPGA 集群，24 h 不間斷「算證明」並按市場價競價。

‑ 遞歸證明聚合：把上千筆證明壓成單一 200 bytes 校驗值，鏈上 Gas 再降 95 %zk。

階段與版圖

‑ 2024 Q4 測試網已處理 1 200 萬筆證明，平均確認 0.8 秒。

‑ 2025 H1 主網上線，目標先搶下以太坊 L2 之外 20 % 的「跨鏈結算」市場，再擴展至 AI、IoT、元宇宙等無國界場景。