Odaily Planet Tin tức hàng ngày Nhà phát triển phần mềm chứng minh kiến ​​thức không RISC Zero đã phát hành mã nguồn và công nghệ biên dịch, hiện là nguồn mở hoàn toàn.