“Hiện nay có nhiều vấn đề với ZK.” Chúng tôi đã mời @donnoh_eth (Nghiên cứu viên tại @l2beat) tham gia trình bày tại Hội nghị Ethproofs ở Berlin để đưa ra một góc nhìn trái chiều về ZK - và đó chính xác là những gì chúng tôi đã nhận được. Một số điểm chính: • Các trình xác thực là không minh bạch. Hợp đồng thông minh có thể được kiểm tra, nhưng khi bạn gặp một trình xác thực ZK, bạn đang nhìn vào những con số ngẫu nhiên - và nếu không tái tạo trình xác thực từ mã nguồn, bạn không thể biết điều gì thực sự đang được chứng minh. • Khả năng tái tạo là khó khăn. Nhiều dự án không công bố các mã băm cam kết chính xác hoặc phiên bản công cụ cần thiết để tái tạo các trình xác thực của họ. Trong một số trường hợp, gần như không thể xác nhận những gì đang chạy trên chuỗi. • Công cụ tùy chỉnh gia tăng rủi ro. Mỗi dự án xây dựng ngăn xếp riêng của mình, làm cho việc xác thực trở nên phức tạp và không đồng nhất trong toàn bộ hệ sinh thái. • Các cuộc kiểm toán không đủ. Các cuộc kiểm toán có thể là một phần, lỗi thời, hoặc bỏ sót các bản sửa lỗi. Chỉ đơn giản tuyên bố “đã được kiểm toán hoàn toàn” là gây hiểu lầm nếu không có các liên kết và phạm vi minh bạch. Điểm cốt lõi của Luca: ZK không nhất thiết loại bỏ sự tin tưởng. Thay vào đó, nó chuyển giao - và thách thức là giảm thiểu và làm rõ nơi mà sự tin tưởng đó nằm.