3)在基礎設施的開發上,我們也在整合 type1 prover 的過程中,努力將 manta 推動稱為 opstack 裡面第一個實現 multiprover 的 L2,在 zk 應用的底層上,我 ...