#night $NIGHT xuyên thủng bong bóng tuân thủ quyền riêng tư ZK: logic token kép và trải nghiệm nền tảng cắt giảm

Gần đây, trong giới đang xôn xao về câu chuyện quyền riêng tư có thể lập trình, tôi đã trực tiếp chạy một vài hợp đồng trên mạng thử nghiệm. So với Aleo ép buộc người dùng sử dụng ngôn ngữ Leo và kiểm tra với trình kiểm tra nền tảng, việc viết mã bằng Compact thực sự mượt mà hơn nhiều. Cú pháp theo kiểu TypeScript đã giảm bớt rào cản phát triển. Khi mã chạy, cảm giác thực tế của nền tảng ngay lập tức hiện ra. Việc tách biệt tính toán cục bộ và lớp đồng thuận thực sự có thể giấu dữ liệu, nhưng việc tạo ra bằng chứng không kiến thức cục bộ quá tốn hiệu suất máy, độ trễ đồng bộ của nút khiến tương tác trở nên đặc biệt nặng nề.

Hãy xem Secret bên cạnh giữ chặt phần cứng TEE và thường xuyên gặp lỗi, Aztec đang vật lộn trong Ethereum L2. Dự án này cố gắng cắt một nhát giữa hộp đen và quản lý thông qua tiết lộ có chọn lọc, thực sự có giác quan thương mại nhạy bén.

Điều làm tôi không nói nên lời là cơ chế token kép. Lấy token chính để tạo ra tài nguyên không thể chuyển nhượng làm Gas, sách trắng nói rằng đó là để ngăn cách tác động của biến động thị trường đến chi phí tính toán. Thực hiện thì thật sự là một thảm họa. Nhiên liệu tạo ra không chỉ không thể chuyển nhượng mà còn sẽ suy giảm theo thời gian. Các nhà phát triển viết mã còn phải như những kế toán viên tính toán mức tiêu thụ, chỉ cần làm nhiều hơn một chút sẽ bị tiêu tán một cách vô lý. Sự tiêu hao cưỡng chế này đối với những geek Web3 quen với việc sử dụng và tiêu thụ rất phản nhân tính.

Những nhà đầu tư lớn muốn tham gia vào thị trường thực sự cần loại middleware có thể đối phó với việc kiểm toán. Logic kỹ thuật chạy được không có nghĩa là cuộc sống có thể trực tiếp cất cánh. Công cụ gỡ lỗi hiện tại quá đơn giản, thông báo lỗi hoàn toàn không cung cấp vị trí chính xác, việc kiểm tra bất thường giống như mò kim đáy bể. Đã tìm đúng hướng lớn, nhưng nếu chuỗi công cụ tiếp tục kém như vậy, chỉ dựa vào một bộ mô hình tinh vi thì không thể giữ chân những nhà phát triển kén chọn.