Đây là một cột mốc quan trọng trong việc xác minh chính thức các zk provers — một bước thiết yếu trong việc thiết lập niềm tin và khả năng xác minh trong toàn bộ hệ sinh thái ZK.