📚 Lý do tôi học ZK #1: Những thay đổi cấu trúc trong các sự đánh đổi Tôi là một nhà phát triển BQ. @BQ_Developer Những ngày này, tôi đang đắm chìm trong ZK (Bằng chứng không kiến thức). Ban đầu, tôi nghĩ đó chỉ là một kỹ thuật mã hóa đơn giản, nhưng khi tôi hiểu nó, quan điểm của tôi về vấn đề đã thay đổi. Trong vài bài viết tới, tôi sẽ tóm tắt lý do tôi bắt đầu học ZK, và tại sao nó có ý nghĩa hơn chỉ là việc học kỹ thuật. Điểm đầu tiên là về cách ZK giải quyết các sự đánh đổi kỹ thuật hiện có. 🔍 Các sự đánh đổi tồn tại trong tất cả các hệ thống Một trong những thuật ngữ thường nghe nhất trong phát triển phần mềm là "sự đánh đổi." - Tăng cường bảo mật → Giảm tính khả dụng - Tăng tốc độ → Tăng chi phí - Phi tập trung hóa → Giảm hiệu quả Đặc biệt, quyền riêng tư và khả năng xác minh đã được coi là những sự đánh đổi rõ ràng nhất. Đó là kiến thức phổ thông rằng để chứng minh điều gì đó, bạn phải tiết lộ thông tin, và nếu bạn giấu thông tin, nó không thể được xác minh. 💭 Cấu trúc của các phương pháp xác minh hiện có Cách xác minh hoạt động rất đơn giản: 1. A đưa ra một tuyên bố 2. B yêu cầu bằng chứng 3. A trình bày bằng chứng 4. B xác nhận Trong quá trình này, B không thể tránh khỏi việc học thông tin. Vì vậy, trong thực tế, các thỏa hiệp luôn cần thiết: - Để được kiểm toán, bạn phải tiết lộ sổ sách của mình - Để chứng minh trình độ, bạn phải xuất trình ID - Để xác nhận tuân thủ, bạn phải chia sẻ dữ liệu nội bộ 🔓 Những gì ZK thay đổi ZK thay đổi cấu trúc của việc xác minh. Cũ: Hiện thông tin → Người xác minh kiểm tra trực tiếp ZK: Giấu thông tin → Chỉ chứng minh rằng một số điều kiện nhất định được đáp ứng Ví dụ, trong đánh giá khoản vay: - Cũ: Tiết lộ số dư ngân hàng là 1.234.567 won - ZK: Chỉ chứng minh "số dư trên 1 triệu won" Có thể có vẻ như là một sự khác biệt nhỏ, nhưng nó thay đổi cơ bản bản chất của việc xác minh. Người xác minh chỉ có thể xác nhận các sự thật cần thiết và không thể biết nhiều hơn thế. ✏️ Những gì thực sự thay đổi Những khác biệt cụ thể được tạo ra bởi sự thay đổi này: Kịch bản kiểm toán: - Trước: Nộp toàn bộ lịch sử giao dịch → Tiết lộ thông tin nhạy cảm của khách hàng - Sau: Chỉ chứng minh "tất cả giao dịch tuân thủ quy định" → Bảo vệ thông tin khách hàng Trong blockchain: - Trước: Tất cả giao dịch được công khai minh bạch → Đánh mất quyền riêng tư - Sau: Chỉ chứng minh tính hợp lệ của giao dịch → Duy trì quyền riêng tư Xác minh mô hình AI: - Trước: Tiết lộ mô hình → Đánh mất quyền sở hữu trí tuệ - Sau: Chỉ chứng minh "độ thiên lệch dưới ngưỡng" → Bảo vệ mô hình Các sự kết hợp trước đây không thể thực hiện giờ đang trở nên khả thi. Bạn có thể duy trì bí mật trong khi được xác minh. Khái niệm này vang vọng với tôi ở một mức độ sâu sắc hơn. Đó là một đề xuất mới phá vỡ rào cản của "phải chọn một trong hai" thành "cả hai đều có thể." Tôi hiểu điều này như việc tạo ra một điểm cân bằng mới ở đâu đó giữa 0 và 1. Tôi tin rằng hầu hết các tiến bộ công nghệ đều như vậy. Không có nhiều giải pháp kỳ diệu giải quyết tất cả các vấn đề cùng một lúc. Nhưng những gì ZK cho thấy là khả năng "thay đổi mức độ thỏa hiệp." Và tôi tin rằng chỉ những ai hiểu được khả năng này mới có thể tạo ra những cải tiến ở cấp độ tiếp theo. Đó là lý do tại sao tôi học ZK. Trong bài viết tiếp theo, tôi sẽ nói về một sự thay đổi khác do ZK mang lại. --- Những lượt thích và chia sẻ của bạn là tình yêu 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities