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