Giai đoạn tiếp theo của hạ tầng blockchain không được xác định bằng sự minh bạch lớn hơn, mà bởi sự vô hình chính xác hơn. Những sổ cái phân tán đầu tiên đã thiết lập uy tín thông qua sự cởi mở triệt để: mọi giao dịch, số dư và tương tác hợp đồng đều có thể được kiểm toán công khai. Thiết kế này đã giải quyết vấn đề niềm tin trong các mạng không cần quyền hạn nhưng tạo ra một sự căng thẳng song song xung quanh quyền riêng tư, bảo mật kinh tế và quyền sở hữu dữ liệu. Một thế hệ hệ thống blockchain mới được xây dựng dựa trên công nghệ bằng chứng không kiến thức cố gắng giải quyết mâu thuẫn này. Thay vì công khai tất cả thông tin để xác minh, những hệ thống này cho phép tính toán được chứng minh là chính xác mà không tiết lộ dữ liệu cơ sở. Khi làm như vậy, họ đã thay đổi nền tảng triết học của blockchain từ sự minh bạch triệt để sang sự thận trọng có thể xác minh.
Ở cấp độ kiến trúc, một blockchain không biết về cơ bản là một máy xác minh thay vì một hệ thống phát sóng dữ liệu. Các blockchain truyền thống sao chép toàn bộ trạng thái qua tất cả các nút để đảm bảo sự đồng thuận. Ngược lại, các kiến trúc không biết nén phép tính thành các chứng minh toán học ngắn gọn. Một chứng minh cho thấy rằng một tập hợp các hoạt động đã tuân theo quy tắc của giao thức mà không yêu cầu mỗi người xác minh phải tính toán lại những hoạt động đó. Các công nghệ như zk-SNARKs (Chứng minh ngắn gọn không tương tác về kiến thức không biết) và zk-STARKs cho phép các chuyển đổi trạng thái phức tạp được tóm tắt thành các chứng chỉ mật mã nhỏ đủ để xác minh ngay lập tức. Ý nghĩa kiến trúc là sâu sắc: việc xác minh trở nên nhẹ nhàng trong khi phép tính trở nên mô-đun và bên ngoài.
Sự tách biệt giữa phép tính và xác minh giới thiệu một hình thức mới của khả năng mở rộng blockchain. Trong các mạng cổ điển, thông lượng chỉ tăng lên bằng cách làm cho các nút nhanh hơn hoặc các khối lớn hơn, cả hai đều làm tổn hại đến sự phân cấp. Các hệ thống không biết thay vào đó chuyển công việc ra khỏi lớp cơ sở. Các bộ xử lý ngoài chuỗi thực hiện giao dịch, tạo ra chứng minh về tính chính xác và gửi những chứng minh đó lên chuỗi để xác minh. Bởi vì việc xác minh một chứng minh rẻ hơn rất nhiều so với việc tính toán lại tập hợp giao dịch, mạng có thể hỗ trợ hoạt động nhiều hơn hàng triệu lần mà không cần mở rộng bề mặt tin cậy của nó. Khả năng mở rộng không xuất phát từ sức mạnh tính toán thô mà từ sự nén mật mã.
Tuy nhiên, tầm quan trọng của cơ sở hạ tầng không biết vượt ra ngoài hiệu suất. Tác động sâu sắc của nó nằm ở cách nó cấu hình lại mối quan hệ giữa dữ liệu và quyền sở hữu. Các blockchain công khai lịch sử yêu cầu người dùng phải tiết lộ hoạt động kinh tế để đổi lấy sự bảo mật. Tính minh bạch này tạo ra khả năng phân tích mạnh mẽ nhưng cũng giới thiệu rủi ro giám sát. Trong các hệ thống tài chính, sự bất đối xứng thông tin thường xác định lợi thế cạnh tranh. Các nhà giao dịch, tập đoàn và tổ chức phụ thuộc vào các chiến lược bí mật, nhưng các sổ cái công khai xóa bỏ những ranh giới đó. Các chứng minh không biết phục hồi một mức độ chủ quyền thông tin bằng cách cho phép người dùng chứng minh tuân thủ các quy tắc giao thức mà không tiết lộ các chi tiết nhạy cảm. Sổ cái xác minh tính hợp pháp mà không trở thành một kho lưu trữ vĩnh viễn của hành vi riêng tư.
Từ góc độ kinh tế, sự thay đổi này tinh tế thay đổi sự di chuyển của vốn trong các hệ thống phi tập trung. Các thị trường hoạt động khác khi người tham gia có thể tương tác mà không cần phát sóng mọi vị trí hoặc chiến lược. Quyền riêng tư giảm thiểu việc chạy trước, bảo vệ các nhà cung cấp thanh khoản khỏi hành vi thù địch và cho phép các tổ chức tham gia mà không phơi bày các hoạt động sở hữu. Thực tế, cơ sở hạ tầng không biết tạo ra các điều kiện mà tài chính phi tập trung có thể giống như các thị trường truyền thống về mặt bảo mật trong khi vẫn giữ các đảm bảo giải quyết mật mã độc đáo cho blockchain. Kết quả không chỉ là các giao dịch nhanh hơn mà còn là một loại người tham gia kinh tế khác.
Trải nghiệm của nhà phát triển cũng thay đổi theo những cách có ý nghĩa. Việc viết ứng dụng cho các blockchain minh bạch thường liên quan đến việc thiết kế xung quanh giả định rằng mọi biến đều công khai. Trong môi trường không biết, các nhà phát triển thay vào đó xây dựng các phép tính có thể chứng minh. Một chương trình không chỉ phải thực thi đúng mà còn phải tạo ra một chứng minh rằng việc thực thi của nó tuân theo các ràng buộc đã được xác định trước. Mô hình này giới thiệu các ngôn ngữ và khung chuyên biệt trong đó logic được biểu thị dưới dạng các mạch số học hoặc hệ thống ràng buộc. Mô hình trí tuệ giống như xây dựng các lập luận toán học hơn là phần mềm thông thường. Mặc dù độ dốc học tập là dốc, nó sản xuất các ứng dụng mà quyền riêng tư và tính chính xác là không thể tách rời về mặt toán học.
Các động lực giao thức trong các hệ thống này cũng tiến hóa. Việc tạo ra chứng minh tốn kém về mặt tính toán, yêu cầu phần cứng chuyên dụng hoặc các thuật toán tối ưu hóa. Do đó, các mạng tạo ra thị trường xung quanh những người chứng minh—các thực thể chịu trách nhiệm sản xuất các chứng minh mật mã về phép tính. Những diễn viên này đảm nhận một vai trò mới trong kinh tế blockchain, tương tự như thợ đào hoặc người xác minh trong các kiến trúc trước đó. Các động lực phải cân bằng chi phí tính toán, tốc độ xác minh và sự phân cấp. Nếu việc tạo ra chứng minh trở nên tập trung giữa một vài nhà điều hành chuyên biệt, hệ thống có nguy cơ tái tạo các mô hình tập trung mà nó đã cố gắng tránh. Thiết kế các thị trường người chứng minh bền vững do đó là một thách thức kinh tế cũng như một thách thức kỹ thuật.
Các giả định về bảo mật trong các blockchain không biết giới thiệu những đánh đổi triết học riêng của chúng. Các hệ thống truyền thống dựa vào tính minh bạch của phép tính: bất kỳ ai cũng có thể tính toán lại lịch sử của chuỗi để xác minh tính chính xác. Các mạng không biết thay thế điều này bằng tính chính xác mật mã, đảm bảo toán học rằng một chứng minh hợp lệ không thể được sản xuất cho một phát biểu không hợp lệ. Trong khi những đảm bảo này cực kỳ mạnh mẽ, chúng cũng chuyển đổi sự tin cậy từ phép tính có thể quan sát được sang tính toàn vẹn của các cấu trúc mật mã. Những lỗ hổng tinh tế trong các hệ thống chứng minh, thiết lập đáng tin cậy hoặc thiết kế mạch có thể lý thuyết làm suy yếu các đảm bảo của hệ thống. An ninh trở nên ít hơn về hoạt động đồng thuận có thể nhìn thấy và nhiều hơn về tính chính xác của các khung toán học cơ bản.
Cũng có những giới hạn cấu trúc tiết lộ sự phức tạp của phương pháp này. Việc tạo ra các chứng minh không biết cho các phép tính lớn vẫn tốn nhiều tài nguyên, thường yêu cầu bộ nhớ và thời gian xử lý đáng kể. Rào cản này định hình cách các ứng dụng được thiết kế, khuyến khích các kiến trúc mô-đun nơi logic phức tạp được chia thành các thành phần có thể chứng minh nhỏ hơn. Hơn nữa, bản chất trừu tượng của các mạch mật mã làm cho việc gỡ lỗi và kiểm toán trở nên khó khăn hơn so với phát triển hợp đồng thông minh truyền thống. Những giới hạn này làm nổi bật một sự thật rộng lớn hơn: quyền riêng tư và khả năng mở rộng thông qua toán học đi kèm với chi phí tăng cường độ phức tạp của hệ thống.
Bất chấp những thách thức này, hậu quả dài hạn trong ngành có thể rất sâu sắc. Các quyết định cơ sở hạ tầng vẫn không nhìn thấy đối với hầu hết người dùng—các hệ thống chứng minh, ngôn ngữ mạch, giao thức xác minh—đang lặng lẽ xác định ranh giới của các nền kinh tế phi tập trung trong tương lai. Nếu các kiến trúc không biết phát triển thành công, hệ sinh thái blockchain có thể chuyển đổi từ một sổ cái minh bạch về hoạt động thành một nền tảng tính toán bảo vệ quyền riêng tư. Trong một môi trường như vậy, các hệ thống danh tính, thị trường tài chính, thị trường dữ liệu và cơ chế quản trị có thể hoạt động mà không phơi bày trạng thái nội bộ của chúng ra internet công cộng.
Cuối cùng, các blockchain không biết đại diện cho một sự tiến hóa triết học trong thiết kế hệ thống phân tán. Các blockchain đầu tiên đã chứng minh rằng lòng tin có thể xuất hiện từ sự cởi mở và sao chép. Thế hệ tiếp theo cho thấy rằng lòng tin cũng có thể phát sinh từ chủ nghĩa tối giản toán học—tiết lộ chỉ thông tin cần thiết để xác minh sự thật. Trong mô hình này, cơ sở hạ tầng quan trọng nhất trở nên vô hình: chứng minh thay vì dữ liệu, xác minh thay vì tiết lộ, sự chắc chắn mà không có sự phơi bày. Những quyết định thiết kế tinh tế này có thể định hình cách các nền kinh tế kỹ thuật số hoạt động trong nhiều thập kỷ tới, xác định liệu các hệ thống phi tập trung có thể mở rộng mà không hy sinh nhu cầu của con người về quyền riêng tư, quyền sở hữu và sự cân nhắc chiến lược hay không.
@MidnightNetwork #night $NIGHT
