Nó bắt đầu với một độ trễ nhỏ đến mức gần như cảm thấy không có thật.

Tôi đang theo dõi một giao dịch qua dòng thực hiện của Mạng Midnight—không có gì bất thường, chỉ là một chuyển khoản tiêu chuẩn được định tuyến qua pipeline không kiến thức của nó. Bộ sắp xếp đã tiếp nhận ngay lập tức. Căn chỉnh dấu thời gian trông sạch sẽ. Chuyển trạng thái được thực hiện mà không gặp trở ngại. Từ góc nhìn của nút, hệ thống hoạt động chính xác như thiết kế.

Nhưng có điều gì đó không đúng.

Bằng chứng đã không đến.

Không thiếu—chỉ là… hoãn lại.

T+2.1 giây, giao dịch đã được đặt hàng.

Tại T+2.8 giây, thực thi đã hoàn tất.

Tại T+3.0 giây, trạng thái hạ nguồn phản ánh sự thay đổi.

Và tuy nhiên, bằng chứng không tri thức—mái neo mật mã chính để xác thực tất cả điều đó—chỉ xuất hiện tại T+10.9 giây.

Trong gần tám giây, hệ thống hoạt động trên một phiên bản của thực tại mà chưa được chứng minh.

Không quay lại. Không cảnh báo. Chỉ là sự tiếp nối im lặng.

Tôi đã chạy theo dõi lại. Rồi lại lần nữa. Các nút khác nhau. Các đối tác khác nhau. Cùng một mẫu.

Thực thi trước. Bằng chứng sau.

Ban đầu, tôi đã gạt bỏ nó như một hiện tượng hiệu suất—có lẽ lớp chứng minh của Midnight đang dưới tải tạm thời. Nhưng càng quan sát, hành vi càng nhất quán.

Điều này không phải là một ngoại lệ.

Đó là một mẫu.

Sự nhận thức không ập đến ngay lập tức. Nó xuất hiện dần dần, chôn vùi trong sự lặp lại.

Mạng Đêm không xác minh thực thi theo thời gian thực.

Nó đang hoãn lại sự chắc chắn.

Và quan trọng hơn—nó được thiết kế theo cách đó.

Sự căng thẳng cốt lõi đã tự xuất hiện gần như ngay lập tức:

quyền riêng tư so với khả năng xác minh dưới áp lực thời gian.

Mạng Đêm được xây dựng xung quanh các bằng chứng không tri thức—cho phép các giao dịch được xác thực mà không tiết lộ dữ liệu cơ sở. Đó là lời hứa của nó: tiện ích mà không làm tổn hại đến quyền sở hữu hoặc quyền riêng tư.

Nhưng các bằng chứng không tri thức tốn kém về mặt tính toán. Chúng không xuất hiện ngay lập tức, đặc biệt là dưới tải. Và người dùng—các nhà giao dịch, nhà xây dựng, ứng dụng—không chờ đợi.

Vì vậy hệ thống thực hiện một giao dịch.

Nó thực thi trước.

Nó chứng minh sau.

Từ quan điểm kiến trúc, luồng rất thanh lịch.

Sự đồng thuận ưu tiên thứ tự, không phải xác minh sâu. Các giao dịch được sắp xếp nhanh chóng để duy trì thông lượng. Các validator, trong giai đoạn này, đồng ý về những gì đã xảy ra, không nhất thiết là liệu nó đã được chứng minh là đúng hay chưa.

Các lớp thực thi ngay lập tức được tiếp nhận. Các chuyển tiếp trạng thái xảy ra lạc quan, cho phép các ứng dụng hành xử như thể tính chắc chắn đã được đạt được.

Trong khi đó, cơ sở hạ tầng chứng minh của Midnight hoạt động không đồng bộ. Nó tái tạo các dấu vết thực thi, tạo ra các bằng chứng không tri thức và gửi chúng trở lại hệ thống để xác minh.

Sự khả dụng dữ liệu đảm bảo rằng tất cả các đầu vào cần thiết vẫn có thể truy cập. Các bảo đảm mật mã cuối cùng hòa giải thực thi với bằng chứng.

Cuối cùng.

Dưới điều kiện bình thường, điều này hoạt động liền mạch.

Các bằng chứng đến trong một thời gian trì hoãn có thể chấp nhận được. Khoảng cách giữa thực thi và xác minh vẫn đủ hẹp để bỏ qua. Từ góc độ của người dùng, hệ thống cảm thấy ngay lập tức, xác định, đáng tin cậy.

Nhưng trong tình trạng căng thẳng, ảo tưởng kéo dài.

Tôi đã mô phỏng tình trạng tắc nghẽn—không có gì cực đoan, chỉ là khối lượng giao dịch tăng cao. Bộ sắp xếp tiếp tục hoạt động với tốc độ. Thực thi không chậm lại. Nhưng lớp chứng minh bắt đầu chậm lại.

Năm giây. Tám giây. Mười hai.

Hệ thống không dừng lại. Nó không suy giảm rõ ràng. Nó tiếp tục xây dựng trạng thái trên thực thi chưa được xác minh.

Lớp sau lớp.

Giả định sau giả định.

Đây là nơi kiến trúc tiết lộ ranh giới thật sự của nó.

Chính xác điều gì đang được xác thực—và khi nào?

Mạng Đêm đảm bảo rằng thực thi có thể được chứng minh. Nó đảm bảo rằng dữ liệu vẫn riêng tư. Nó đảm bảo rằng, khi có thời gian, tính chính xác sẽ được thiết lập.

Nhưng nó không đảm bảo rằng thực thi được xác minh ngay lập tức vào thời điểm người dùng tương tác với nó.

Sự phân biệt đó là tinh vi.

Và nguy hiểm.

Tôi đã phân tích hệ thống thêm.

Các validator đảm bảo thứ tự, nhưng họ dựa vào giả định rằng các bằng chứng cuối cùng sẽ xác thực thực thi.

Lớp thực thi giả định rằng trạng thái trước đó là đúng—ngay cả khi nó chưa được xác nhận bằng mật mã.

Logic sắp xếp ưu tiên tốc độ, cho phép đưa nhanh các giao dịch mà không cần chờ đợi tính chắc chắn của bằng chứng.

Sự khả dụng dữ liệu giữ mọi thứ lại với nhau, đảm bảo rằng các bằng chứng có thể được tạo ra sau này.

Và lớp mật mã—trái tim của lời hứa của Midnight—hoạt động trên một độ trễ mà phần còn lại của hệ thống lặng lẽ hấp thụ.

Dưới điều kiện lý tưởng, các thành phần này khớp nhau.

Dưới áp lực, chúng trôi dạt.

Và khi chúng trôi dạt, hệ thống không ngay lập tức thất bại.

Nó mở rộng niềm tin về phía trước trong thời gian.

Sự mong manh thực sự không đến từ giao thức tự nó.

Nó đến từ cách mà mọi người xây dựng dựa trên nó.

Các nhà phát triển coi thực thi là cuối cùng. Họ thiết kế hợp đồng thông minh với giả định rằng trạng thái nhất quán giữa các cuộc gọi. Họ xây dựng logic tài chính phụ thuộc vào tính quyết định ngay lập tức.

Người dùng thấy số dư cập nhật và cho rằng quyền sở hữu đã được giải quyết.

Các nhà giao dịch phản ứng với sự thay đổi trạng thái như thể chúng không thể thay đổi.

Nhưng tất cả những điều này xảy ra trước khi bằng chứng đến.

Tôi đã khám phá các kịch bản thất bại—không phải những kịch bản thảm khốc, chỉ là những trường hợp biên khả thi.

Điều gì sẽ xảy ra nếu một bằng chứng không được xác thực?

Hệ thống có các cơ chế hòa giải, nhưng chúng không đơn giản. Việc quay lại trạng thái lồng ghép sâu, phụ thuộc lẫn nhau là phức tạp. Thời gian trì hoãn giữa thực thi và xác minh càng lâu, hệ thống càng trở nên mong manh hơn.

Và quan trọng hơn—cảm nhận của người dùng càng trở nên tách biệt với các bảo đảm thực tế.

Trong việc sử dụng thực tế, Mạng Đêm hoạt động rất đẹp.

Nhanh. Riêng tư. Liền mạch.

Nhưng trải nghiệm đó được xây dựng trên một giả định có lớp:

rằng bằng chứng sẽ luôn theo kịp.

Và hầu hết thời gian, nó làm như vậy.

Nhưng các hệ thống không được định nghĩa bởi những gì xảy ra hầu hết thời gian.

Chúng được định nghĩa bởi những gì xảy ra ở các rìa.

Đó là mẫu sâu xa hơn.

Các hệ thống không tri thức hiện đại như Mạng Đêm không thất bại vì những lỗi hiển nhiên. Mật mã của họ là vững chắc. Thiết kế của họ là có chủ ý.

Chúng thất bại—khi chúng thất bại—bởi vì những giả định ngầm về thời gian và sự chắc chắn.

Thực thi bị nhầm lẫn với tính chắc chắn.

Sự khả dụng bị nhầm lẫn với việc xác minh.

Sự trì hoãn bị nhầm lẫn với sự an toàn.

Cuối cùng của theo dõi, sự trì hoãn ban đầu không còn cảm thấy như một vấn đề.

Nó cảm giác như một cửa sổ.

Một cái nhìn thoáng qua vào sự thật cơ bản của hệ thống:

rằng Mạng Đêm không hoạt động trong một trạng thái thống nhất của sự chắc chắn—

nhưng trên các lớp thực thi, giả định và bằng chứng cuối cùng chồng chéo.

Cơ sở hạ tầng không bị phá vỡ ở giới hạn của nó.

Nó bị phá vỡ ở các ranh giới của nó—

nơi mà việc xác minh không còn ngay lập tức,

nơi mà những giả định lặng lẽ thay thế các bảo đảm,

và nơi mà hệ thống tiếp tục tiến về phía trước…

trước khi nó thực sự biết rằng nó đúng.

\u003cm-67/\u003e \u003cc-69/\u003e \u003ct-71/\u003e