Đó là các chi tiết triển khai. Theo như tôi hiểu, mối quan ngại của OP là việc khó/không khả thi để thẩm vấn giao thức thực sự của tuyên bố đang được chứng minh, nói cách khác là như vậy. Trong một ngôn ngữ như Circom, chương trình được xuất ra có một trình tạo chứng cứ và một ràng buộc.