Ba vai trò của chứng minh không biết: người chứng minh, sự kiện, người kiểm tra Chứng minh truyền thống: 1⃣ Cung cấp dữ liệu chính xác, quy trình xác minh nghiêm ngặt để đưa ra kết luận 2⃣ Sử dụng phương pháp phản chứng để chứng minh sự kiện không thể sai Chứng minh không biết: Sử dụng thông tin không liên quan đến sự kiện để tương tác, người kiểm tra có thể xác định tính đúng sai của sự kiện và người quan sát không thể xác định tính đúng sai của kết quả Tại sao người quan sát không thể xác định tính đúng sai của kết quả? Bởi vì người kiểm tra sở hữu thông tin mà bên thứ ba không biết. Ứng dụng của chứng minh không biết trong Web3: 1⃣ Mở rộng quy mô Các mạng L2 khác nhau, thông qua zk-rollup để mở rộng, một mạng lớp một cần xác minh tính xác thực của dữ liệu mà mạng lớp hai gửi lên. 2⃣ Bảo vệ quyền riêng tư Người dùng có thể chọn bảo vệ thông tin riêng tư, có thể ẩn thông tin cá nhân trong các giao dịch như chuyển tiền. Sữa @brevis_zk trước tiên hãy học một số kiến thức cơ bản ～

Quy tắc tính toán mạch (circuit): Trước đây, khi nghe mọi người viết cái này trong các bài tweet, tôi tưởng rằng các dự án ZK đã bắt đầu làm ASIC để sản xuất chip phần cứng chuyên dụng, nhưng thực ra mạch ở đây không phải là mạch vật lý, mà là các biểu thức toán học của các cổng AND, OR, NOT trong mạch phần cứng, mạch ảo.