Cuộc thảo luận về blockchain hiện đại thường xoay quanh thông lượng, kinh tế token, hoặc các ứng dụng hướng tới người dùng. Tuy nhiên, sự chuyển mình thực sự của các hệ thống phi tập trung đang diễn ra ở một cấp độ sâu sắc hơn, yên tĩnh hơn — bên trong kiến trúc của hạ tầng mật mã. Một blockchain được xây dựng xung quanh các hệ thống chứng minh không biết (ZK) không chỉ đại diện cho một sự nâng cấp kỹ thuật mà còn là một sự chuyển mình triết học trong cách mà các mạng lưới phân tán hòa giải tính minh bạch với chủ quyền. Tại cốt lõi của nó, một hệ thống như vậy đề xuất rằng việc xác minh không cần phải phơi bày. Tiền đề có vẻ tinh tế này thay đổi toàn bộ logic của sự phối hợp phi tập trung, cho phép các mạng lưới cung cấp tiện ích tính toán trong khi vẫn bảo tồn tính toàn vẹn của quyền sở hữu dữ liệu cá nhân.
Từ góc độ kiến trúc, các blockchain có hỗ trợ ZK giới thiệu một sự phân chia mới về trách nhiệm giữa tính toán, xác minh và tiết lộ. Các blockchain truyền thống yêu cầu các nút phải sao chép và xác thực mọi dữ liệu thô của giao dịch. Ngược lại, các hệ thống ZK cho phép các tính toán phức tạp diễn ra ngoài chuỗi trong khi tạo ra một bằng chứng mật mã chứng minh rằng tính toán đã tuân theo các quy tắc đã định. Các xác thực viên sau đó xác minh bằng chứng thay vì toàn bộ tập dữ liệu. Thiết kế này tái định hình sự đồng thuận từ một quá trình sao chép dữ liệu sang một quá trình xác minh toán học. Mạng trở thành một sổ cái ít thông tin bị lộ hơn và nhiều hơn một động cơ xác minh có khả năng xác nhận sự thật mà không cần quan sát trực tiếp.
Các hệ quả đối với quyền sở hữu dữ liệu là sâu sắc. Trong các hệ thống blockchain thông thường, sự minh bạch được đạt được bằng cách phát sóng thông tin giao dịch đến toàn bộ mạng. Trong khi mô hình này thúc đẩy việc không cần tin tưởng, nó cũng tạo ra một kho lưu trữ công cộng vĩnh viễn về hoạt động của người dùng. Các bằng chứng không có kiến thức thách thức sự đánh đổi này bằng cách cho phép các bên tham gia chứng minh các thuộc tính về dữ liệu của họ — chẳng hạn như số dư tài khoản, thuộc tính danh tính hoặc điều kiện tuân thủ — mà không tiết lộ thông tin cơ bản. Do đó, quyền sở hữu phát triển từ việc kiểm soát tài sản đơn thuần sang kiểm soát việc tiết lộ thông tin. Dữ liệu trở nên có thể xác minh chọn lọc thay vì có thể nhìn thấy một cách phổ quát.
Sự thay đổi kiến trúc này cũng định hình lại topo kinh tế của các mạng phi tập trung. Khi dữ liệu nhạy cảm có thể vẫn riêng tư trong khi vẫn tham gia vào cơ sở hạ tầng chia sẻ, các lớp ứng dụng hoàn toàn mới trở nên khả thi. Các tổ chức tài chính, hệ thống chăm sóc sức khỏe, chuỗi cung ứng và các khuôn khổ danh tính trước đây đã tránh xa các blockchain công khai do các hạn chế về quy định và quyền riêng tư. Cơ sở hạ tầng ZK giảm bớt sự ma sát này bằng cách cho phép các tổ chức tương tác với các mạng phi tập trung trong khi vẫn duy trì các ranh giới tuân thủ. Kết quả là một tiềm năng mở rộng tiện ích blockchain từ các thị trường đầu cơ sang các lĩnh vực nơi sự bảo mật là một yêu cầu cấu trúc.
Đối với các nhà phát triển, sự xuất hiện của các nền tảng dựa trên ZK thay đổi cơ bản triết lý thiết kế của các ứng dụng phi tập trung. Thay vì xây dựng các hệ thống phơi bày các chuyển đổi trạng thái một cách công khai, các nhà phát triển bắt đầu xây dựng các mạch — các đại diện toán học của logic có thể được chứng minh một cách ngắn gọn. Một mạch ZK mã hóa một tính toán vào các ràng buộc đại số, cho phép tạo ra bằng chứng chứng minh tính đúng đắn của nó. Điều này giới thiệu một mô hình lập trình mới nơi tính đúng đắn của tính toán phải được diễn đạt dưới dạng có thể xác minh. Kỹ thuật chuyển từ viết mã lệnh sang thiết kế các cấu trúc logic có thể chứng minh, một sự thay đổi kết hợp mật mã, kỹ thuật phần mềm và xác minh chính thức.
Khả năng mở rộng, từ lâu được coi là hạn chế rõ ràng nhất của blockchain, cũng có tính chất mới trong các kiến trúc ZK. Thay vì mở rộng chỉ bằng cách tăng thông lượng thô, các hệ thống ZK nén tính toán thành các bằng chứng mà chi phí xác minh vẫn nhỏ bất kể độ phức tạp cơ bản. Hàng nghìn giao dịch có thể được tổng hợp thành một bằng chứng duy nhất được xác minh trên chuỗi. Phương pháp này, thường được mô tả là rollup tính hợp lệ hoặc tổng hợp bằng chứng, biến việc mở rộng từ một vấn đề phần cứng thành một vấn đề mật mã. Mạng không còn xử lý từng bước của tính toán; nó xác minh rằng các bước đã được thực hiện đúng cách.
Các khuyến khích giao thức phải phát triển song song với cấu trúc tính toán mới này. Trong các blockchain truyền thống, các xác thực viên được bồi thường cho việc thực hiện các giao dịch và duy trì sự đồng thuận. Trong các hệ thống ZK, một diễn viên bổ sung xuất hiện: người chứng minh. Các người chứng minh thực hiện nhiệm vụ tính toán tốn kém để tạo ra các bằng chứng mật mã cho các lô giao dịch. Bởi vì việc tạo ra bằng chứng có thể tốn tài nguyên, các mạng phải thiết kế các cơ chế khuyến khích để thưởng cho các người chứng minh trong khi ngăn ngừa sự tập trung quyền lực chứng minh. Cân bằng kinh tế giữa các xác thực viên, người chứng minh và người dùng trở thành yếu tố xác định trong khả năng phục hồi lâu dài của giao thức.
Các giả định về an ninh trong các mạng hỗ trợ ZK khác biệt một cách tinh tế nhưng đáng kể so với các hệ thống đồng thuận thông thường. Trong khi các blockchain từ trước đến nay dựa vào các khuyến khích kinh tế để ngăn chặn hành vi không trung thực, các hệ thống ZK giới thiệu các đảm bảo mật mã buộc phải đảm bảo tính đúng đắn một cách toán học. Nếu một bằng chứng được xác minh thành công, mạng có thể chắc chắn rằng tính toán cơ bản tuân theo các quy tắc đã định. Tuy nhiên, những đảm bảo này phụ thuộc vào tính chính xác của chính hệ thống bằng chứng. Các nghi lễ thiết lập đáng tin cậy, các giả định mật mã về các đường cong elip hoặc hàm băm, và tính toàn vẹn của thiết kế mạch trở thành những nền tảng an ninh quan trọng. Trung tâm của niềm tin chuyển từ các tác nhân kinh tế có thể nhìn thấy sang các cấu trúc toán học vô hình.
Mặc dù có nhiều hứa hẹn, các hệ thống không có kiến thức mang theo những hạn chế cấu trúc vẫn đang là những lĩnh vực nghiên cứu tích cực. Việc tạo ra bằng chứng có thể yêu cầu tài nguyên tính toán đáng kể, đặc biệt là cho các mạch rất phức tạp. Công cụ dành cho nhà phát triển vẫn đang phát triển, và gánh nặng nhận thức trong việc thiết kế các chương trình có thể chứng minh vẫn còn đáng kể. Hơn nữa, quyền riêng tư tự nó đặt ra những thách thức về quản trị. Khi các chi tiết giao dịch bị ẩn, các mạng phải tìm ra các phương pháp thay thế để phát hiện hành vi xấu hoặc thực thi các khuôn khổ quy định. Sự căng thẳng giữa sự bảo mật và trách nhiệm không biến mất; nó chỉ chuyển sang một lớp thiết kế giao thức khác.
Có lẽ hậu quả lâu dài quan trọng nhất của cơ sở hạ tầng ZK nằm ở cách nó tái định hình mục đích triết học của các blockchain. Các mạng đầu tiên ưu tiên sự minh bạch triệt để như một cơ chế cho sự tin cậy. Kiến trúc không có kiến thức đề xuất một sự cân bằng khác: niềm tin thông qua bằng chứng mật mã thay vì tính công khai. Trong mô hình này, các hệ thống xác minh tính hợp lệ của các hành động trong khi cho phép các cá nhân và tổ chức giữ quyền kiểm soát thông tin của họ. Mạng trở thành một trọng tài trung lập cho các tuyên bố sự thật thay vì một kho công cộng cho mọi tương tác.
Các quyết định về cơ sở hạ tầng vô hình thường xác định quỹ đạo của các thời kỳ công nghệ lâu trước khi tác động xã hội của chúng trở nên rõ ràng. Sự chuyển mình sang các kiến trúc không có kiến thức minh họa hiện tượng này. Trong khi sự chú ý công cộng hướng tới các mã thông báo, ứng dụng và chu kỳ thị trường, sự chuyển đổi sâu sắc hơn đang diễn ra trong cách các hệ thống phi tập trung định nghĩa xác minh, quyền riêng tư và chính bản thân tính toán. Nếu những kiến trúc này phát triển thành công, thế hệ tiếp theo của các mạng blockchain có thể hoạt động ít giống như các sổ cái minh bạch và nhiều hơn như các máy xác minh toàn cầu — các hệ thống đảm bảo sự đúng đắn một cách lặng lẽ trong khi cho phép dữ liệu của thế giới vẫn thuộc về chính nó.
@MidnightNetwork #night $NIGHT
