Tôi đã dành cả một giờ để nghịch Hedger, lớp giao dịch bí mật mới được Dusk cho ra mắt trên DuskEVM theo cập nhật ngày 15 tháng 8 của họ, và thứ thực sự khiến tôi dừng lại không phải là việc mã hóa — mà là điều vẫn tiếp tục được xác minh. Dusk Network $DUSK @Dusk Foundation #dusk xây dựng Hedger bằng mã hóa đồng cấu kết hợp với các bằng chứng không kiến thức, và tôi bước vào với giả định rằng điều đó có nghĩa là dữ liệu giao dịch sẽ biến mất khỏi tầm nhìn. Không hẳn — không hoàn toàn.
Tôi mở trình khám phá testnet của DuskEVM để xem thử và, ừm… bản ghi giao dịch vẫn còn đó, vẫn có mốc thời gian, vẫn được liên kết với một lệnh gọi hợp đồng. Thứ bị ẩn là phần payload — số tiền, và các giá trị cụ thể bên trong. Chính bằng chứng ZK cho phép mạng xác nhận rằng giao dịch là hợp lệ, kiểm tra số dư đúng, không vi phạm quy tắc nào, mà không cần nhìn thấy các con số thực tế. Vì vậy, nó không phải là "không ai có thể kiểm toán việc này". Mà là "giao thức kiểm toán nó bằng toán học thay vì một người đọc trực tiếp giá trị thô."
Sự khác biệt đó quan trọng hơn tôi tưởng. Tính ẩn danh hoàn toàn và hai thứ này hoàn toàn không giống nhau — chuỗi vẫn biết rằng điều gì đó đã xảy ra, chỉ là không biết chi tiết, và có vẻ đó chính là điểm thiết kế cho các trường hợp sử dụng được quản lý.
Vẫn đang cân nhắc liệu việc "toán học xác minh nên chẳng ai phải xem nó" có thực sự đáp ứng các kiểm toán viên ngoài đời, hay đó chỉ là sự yên tâm mà thôi, và sẽ mất hiệu lực ngay khi ai đó yêu cầu con số thô bất kỳ lúc nào.#
Tôi mở trình khám phá testnet của DuskEVM để xem thử và, ừm… bản ghi giao dịch vẫn còn đó, vẫn có mốc thời gian, vẫn được liên kết với một lệnh gọi hợp đồng. Thứ bị ẩn là phần payload — số tiền, và các giá trị cụ thể bên trong. Chính bằng chứng ZK cho phép mạng xác nhận rằng giao dịch là hợp lệ, kiểm tra số dư đúng, không vi phạm quy tắc nào, mà không cần nhìn thấy các con số thực tế. Vì vậy, nó không phải là "không ai có thể kiểm toán việc này". Mà là "giao thức kiểm toán nó bằng toán học thay vì một người đọc trực tiếp giá trị thô."
Sự khác biệt đó quan trọng hơn tôi tưởng. Tính ẩn danh hoàn toàn và hai thứ này hoàn toàn không giống nhau — chuỗi vẫn biết rằng điều gì đó đã xảy ra, chỉ là không biết chi tiết, và có vẻ đó chính là điểm thiết kế cho các trường hợp sử dụng được quản lý.
Vẫn đang cân nhắc liệu việc "toán học xác minh nên chẳng ai phải xem nó" có thực sự đáp ứng các kiểm toán viên ngoài đời, hay đó chỉ là sự yên tâm mà thôi, và sẽ mất hiệu lực ngay khi ai đó yêu cầu con số thô bất kỳ lúc nào.#
