RISC Zero 已實現完全開源

零知識證明軟體開發商 RISC Zero 發布了源代碼和編譯器技術，目前已完全開源。