Làm thế nào để chúng ta giữ cho mạch ZK vững chắc và xác định trong quá trình kiểm toán? Người đồng sáng lập của chúng tôi @IsilDillig chia sẻ thông tin chi tiết về việc kết hợp phân tích tĩnh và bộ giải SMT trong các công cụ ZK của chúng tôi.
447