RISC Zero 已实现完全开源

零知识证明软件开发商 RISC Zero 发布了源代码和编译器技术，目前已完全开源。