Giai đoạn tiếp theo của sự tiến hóa blockchain không được xác định bởi sự hiển thị, mà bởi sự vắng mặt của nó. Các hệ thống được xây dựng trên các bằng chứng không biết (ZK) đang chuyển dịch điểm tựa của niềm tin ra khỏi sự xác minh công khai hướng tới sự đảm bảo mật mã, nơi tính chính xác được chứng minh mà không tiết lộ dữ liệu cơ bản. Sự chuyển đổi này giới thiệu một mô hình mới: tiện ích mà không có sự phơi bày. Ở cốt lõi, một blockchain dựa trên ZK thách thức giả định cơ bản rằng sự minh bạch đồng nghĩa với niềm tin, đề xuất thay vào đó rằng tính toán bảo vệ quyền riêng tư có thể phục vụ như một nguyên lý có thể mở rộng hơn và tương thích xã hội cho các nền kinh tế phi tập trung.
Về mặt kiến trúc, các hệ thống ZK đảo ngược mô hình thực thi-xác thực truyền thống. Thay vì mọi nút thực thi một cách dư thừa mọi giao dịch, tính toán được thực hiện ngoài chuỗi hoặc trong các môi trường bị ràng buộc, và tính đúng đắn của nó được xác nhận thông qua các bằng chứng mật mã ngắn gọn. Những bằng chứng này - được xây dựng thông qua các hệ thống như zk-SNARKs hoặc zk-STARKs - có thể được xác minh trong thời gian không đổi hoặc gần như không đổi, bất kể độ phức tạp của phép toán ban đầu. Sự tách biệt giữa thực thi và xác thực không chỉ là một tối ưu hóa; đó là một định nghĩa lại về đồng thuận chính nó. Đồng thuận trở nên ít liên quan đến sự đồng ý về các chuyển tiếp trạng thái thông qua sao chép, và nhiều hơn về sự đồng ý về tính hợp lệ của các bằng chứng, giảm bớt gánh nặng cho các tham gia viên mạng.
Các tác động kinh tế của sự chuyển mình này tinh tế nhưng sâu sắc. Bằng cách nén tính toán vào các bằng chứng, các hệ thống ZK giảm chi phí biên của việc xác minh, cho phép một hoạt động kinh tế có ý nghĩa cao hơn mà không làm tăng yêu cầu cơ sở hạ tầng theo tỷ lệ. Điều này tạo ra một môi trường nơi hiệu quả vốn cải thiện - không chỉ thông qua thời gian khối nhanh hơn, mà còn thông qua việc giảm rò rỉ thông tin. Các đối tác thị trường có thể giao dịch, phối hợp và cạnh tranh mà không phải tiết lộ dữ liệu chiến lược, làm thay đổi động lực của việc chênh lệch giá, cung cấp thanh khoản và thậm chí quản trị. Trong các hệ thống như vậy, sự bất đối xứng thông tin trở thành một biến thiết kế thay vì một sản phẩm phụ không mong muốn.
Từ quan điểm của một nhà phát triển, việc giới thiệu các bằng chứng không kiến thức mang lại cả sức mạnh biểu đạt và gánh nặng khái niệm. Việc viết ứng dụng cho các môi trường ZK đòi hỏi phải suy nghĩ theo các hệ thống ràng buộc thay vì logic mệnh lệnh. Các chương trình được biên dịch thành các mạch số học, nơi mỗi phép toán phải có thể đại diện trong một trường hữu hạn. Mô hình dựa trên ràng buộc này buộc các nhà phát triển phải lý luận một cách rõ ràng về chi phí tính toán ở cấp độ từng cổng, tạo ra một loại kỷ luật mới tương tự như lập trình hệ thống sớm. Tuy nhiên, khi công cụ phát triển trở nên trưởng thành - thông qua các ngôn ngữ cấp cao hơn và các lớp trừu tượng - độ phức tạp bắt đầu giảm bớt, tiết lộ một không gian thiết kế mới nơi quyền riêng tư không phải là điều suy nghĩ sau mà là một thuộc tính hàng đầu.
Khả năng mở rộng, thường được coi là một vấn đề thông lượng, được định hình lại trong các hệ thống ZK như một câu hỏi về việc khấu hao bằng chứng. Các rollup - cả dự đoán và dựa trên tính xác thực - chứng minh cách hàng ngàn giao dịch có thể được tổng hợp thành một bằng chứng duy nhất, giảm thiểu đáng kể yêu cầu dữ liệu trên chuỗi. Trong các rollup xác thực, sự hiện diện của một bằng chứng mật mã loại bỏ nhu cầu về thời gian giải quyết tranh chấp, cho phép sự hoàn tất gần như ngay lập tức. Tuy nhiên, hiệu quả này đi kèm với những đánh đổi: chi phí cho người chứng thực có thể đáng kể, và việc tạo ra các bằng chứng vẫn tốn nhiều tài nguyên tính toán. Hệ thống do đó chuyển đổi điểm nghẽn của nó từ băng thông mạng sang tính toán chuyên biệt, thường yêu cầu phần cứng chuyên dụng hoặc cụm chứng thực song song.
Các phần thưởng giao thức trong các hệ sinh thái ZK phản ánh kiểu hình mới của tính toán này. Các người chứng thực - các thực thể chịu trách nhiệm về việc tạo ra các bằng chứng - nổi lên như những nhà cung cấp cơ sở hạ tầng quan trọng, giống như các thợ mỏ hoặc các nhà xác thực nhưng với cấu trúc chi phí và hồ sơ rủi ro khác biệt. Các cơ chế khuyến khích phải tính đến độ trễ và chi phí của việc tạo bằng chứng, đảm bảo rằng các người chứng thực được đền bù đầy đủ trong khi ngăn chặn sự tập trung. Đồng thời, các người xác thực - thường nhẹ và đông đảo - duy trì tính toàn vẹn của mạng với yêu cầu tài nguyên tối thiểu. Sự bất đối xứng này tạo ra một hình thức phân tầng mới trong các hệ thống phi tập trung, nơi quyền lực kinh tế có thể tập trung xung quanh những người có thể sản xuất bằng chứng một cách hiệu quả.
Các giả định về an ninh trong các blockchain dựa trên ZK khác biệt với các mô hình truyền thống theo những cách có ý nghĩa. Trong khi các hệ thống cổ điển dựa vào các động lực kinh tế và cân bằng lý thuyết trò chơi để đảm bảo hành vi trung thực, các hệ thống ZK lại dựa nhiều hơn vào tính chính xác mật mã. Tính đúng đắn của hệ thống được đảm bảo miễn là hệ thống bằng chứng cơ sở là an toàn và thiết lập - nếu cần - được tin cậy. Điều này giới thiệu các yếu tố rủi ro mới, chẳng hạn như các lỗ hổng trong hệ thống chứng thực hoặc sai sót trong nghi lễ thiết lập tin cậy. Đồng thời, nó giảm sự phụ thuộc vào các giả định về hành vi của người tham gia, cung cấp một hình thức an ninh có tính xác định hơn, ít dễ bị tổn thương trước các thất bại phối hợp.
Mặc dù có những lợi thế của chúng, nhưng các hệ thống ZK không phải không có những hạn chế. Độ phức tạp trong việc xây dựng các mạch hiệu quả cho tính toán tùy ý vẫn là một rào cản lớn. Không phải tất cả các chương trình đều dễ dàng chuyển đổi thành các hệ thống ràng buộc, và một số phép toán - đặc biệt là những phép toán liên quan đến bộ nhớ động hoặc phân nhánh phức tạp - có thể tốn kém một cách đáng kể. Thêm vào đó, sự mờ đục do các cơ chế bảo vệ quyền riêng tư mang lại có thể làm phức tạp việc kiểm toán và gỡ lỗi, tạo ra những thách thức cho cả nhà phát triển và các nhà quản lý. Những hạn chế này cho thấy cơ sở hạ tầng ZK sẽ đồng tồn tại với, thay vì hoàn toàn thay thế, các hệ thống minh bạch hơn, ít nhất là trong ngắn hạn.
Trong dài hạn, việc áp dụng các bằng chứng không kiến thức có khả năng định hình lại các đường nét của quản trị trong các mạng lưới phi tập trung. Bằng cách cho phép bỏ phiếu riêng tư, quản lý kho bạc bí mật và tiết lộ thông tin có chọn lọc, các hệ thống ZK cho phép các hình thức ra quyết định tập thể tinh vi hơn. Quản trị có thể phát triển từ một quy trình hoàn toàn minh bạch - nơi mọi hành động đều công khai - sang một mô hình tinh vi hơn cân bằng giữa trách nhiệm và quyền riêng tư. Sự chuyển mình này không chỉ có ý nghĩa đối với thiết kế giao thức mà còn đối với hợp đồng xã hội rộng lớn hơn nằm dưới các hệ thống phi tập trung, nơi các tham gia viên phải thương lượng các quy tắc mới xung quanh tính khả thi và niềm tin.
Cuối cùng, sự gia tăng của cơ sở hạ tầng không kiến thức báo hiệu một sự chuyển mình từ các blockchain như sổ cái công khai sang các blockchain như các lớp tính toán riêng tư với những đảm bảo công khai. Những quyết định thiết kế quan trọng nhất không còn là những quyết định tối đa hóa tính khả thi, mà là những quyết định cẩn thận hạn chế nó. Trong quá trình đó, các hệ thống này đang âm thầm định nghĩa lại mối quan hệ giữa dữ liệu, quyền lực và quyền sở hữu. Cơ sở hạ tầng trở nên vô hình, nhưng các tác động của nó thì không: nó định hình cách thức vốn di chuyển, cách thức các tổ chức hình thành và cách thức cá nhân khẳng định quyền kiểm soát đối với cuộc sống kỹ thuật số của họ. Trong mô hình mới nổi này, những gì không được nhìn thấy trở nên quan trọng không kém gì những gì được nhìn thấy.
@MidnightNetwork #night $NIGHT
