Ziren，驅動 GOAT Network 的 zkVM，已經完成了由領先的區塊鏈安全公司 @VeridiseInc 進行的全面安全審計。