Khi đang tổng hợp ghi chú chuỗi gần đây, tôi nhận ra một hiện tượng: trên thị trường có không ít “chuỗi riêng tư”, nhưng thực sự làm sâu được thì không nhiều. Hầu hết các dự án chỉ đơn giản đặt một lớp mã hóa bên ngoài EVM, ẩn giao dịch, thay đổi trạng thái gốc bằng một hàm băm, rồi tự xưng là riêng tư. Cách làm này tiết kiệm công sức, nhưng cũng tự khóa luôn giới hạn phát triển. Chỉ sau khi đọc kỹ tài liệu kỹ thuật của Dusk, tôi mới hiểu rõ sự khác biệt. Dusk không chọn con đường bao bọc EVM, mà xây dựng Piecrust từ con số không. Phản ứng đầu tiên của tôi là: chuỗi riêng tư thiếu nhất là thanh khoản và hệ sinh thái khởi động lạnh, vậy tại sao không chọn con đường ổn định hơn là tái sử dụng EVM, mà lại chọn con đường khó khăn hơn? EVM vốn không được thiết kế để hỗ trợ chứng minh zk. Mô hình trạng thái, tập lệnh và đo lường gas đều xoay quanh việc thực thi minh bạch. Ép buộc chứng minh không tiết lộ thông tin vào EVM sẽ khiến quá trình sinh chứng minh chậm, độ phức tạp của mạch cao, và các khả năng có thể thực hiện bị khóa cứng bởi kiến trúc. Nhiều đội ngũ tốn vài năm phát triển zkEVM, về bản chất là đang đấu tranh với một hệ thống vốn không được thiết kế để hỗ trợ chứng minh. Dusk trực tiếp thay đổi môi trường thực thi. Hợp đồng được biên dịch thành WASM, chứ không phải mã byte EVM. Các lệnh WASM nhẹ hơn, ngữ nghĩa rõ ràng hơn, tự nhiên phù hợp với việc chuyển đổi thành mạch và hệ thống chứng minh. Một vài điểm then chốt: - Môi trường thực thi được cô lập hoàn toàn, các giao diện mà máy chủ có thể gọi bị thu hẹp tối đa. Giao diện càng hẹp, phạm vi cần chứng minh càng nhỏ, kích thước mạch càng dễ kiểm soát. Điều này tương tự tư tưởng giảm thiểu TCB trong TEE, nhưng Dusk dùng zk để thu hẹp ranh giới tin tưởng, không phụ thuộc vào giả định phần cứng. - Các lệnh WASM có mức độ định lượng cao, đo lường gas chính xác hơn. EVM mang theo nhiều gánh nặng lịch sử, có nhiều tình huống biên, và nhiều sự cố trên chuỗi bắt nguồn từ sự bất nhất trong đo lường. Dusk đã loại bỏ vấn đề này ngay từ nền tảng. - Kết quả thực thi phải hoàn toàn đồng nhất giữa các nút; nếu không, cơ chế đồng thuận sẽ sụp đổ. Hộp cát xác định đảm bảo rằng cùng một đoạn WASM sẽ tạo ra trạng thái giống nhau trên bất kỳ máy nào — đây là nền tảng của toàn bộ tính toán riêng tư. Nói một cách đơn giản, phán đoán của Dusk rất rõ ràng: riêng tư và zk không phải là tính năng có thể bổ sung sau này — chúng phải được thiết kế lại ngay từ cấp độ tập lệnh máy ảo và mô hình thực thi. Piecrust không phải là bản vá cho EVM, mà là khởi đầu lại từ đầu, xây dựng từ nền móng để hỗ trợ zk bản địa. Ngắn hạn, Dusk hy sinh tính tương thích hệ sinh thái. Nhưng nếu nhìn dài hạn, nếu zk là đích đến cuối cùng của blockchain, thì những dự án tích hợp sẵn hệ thống chứng minh ngay từ tầng thực thi chắc chắn sẽ đi xa hơn những dự án chỉ vá víu trên EVM. Con đường công nghệ không nên đánh giá dựa trên con đường nào dễ đi hơn lúc này, mà nên xem con đường nào hướng về cùng đích với điểm đến cuối cùng. @DuskFoundation $DUSK #dusk