Cuối tuần, ngồi quán cà phê dưới lầu cọ điều hòa rồi canh mạng test Dusk, lỡ tay nhập sai mật khẩu liên tiếp ba lần, giày vò nửa tiếng mới chạy xong giao dịch thứ 21. Nhìn chằm chằm vào log thực thi của máy ảo Rusk mà ngây ra rất lâu—trước đây tôi đã chơi vài chuỗi ẩn danh cũ, hoặc là bị kẹt nửa ngày không ra block, hoặc là làm ẩn danh tới mức tuân thủ theo kiểu “căn bản chẳng thể mở quyền kiểm toán”. Ban đầu tôi vốn chẳng còn kỳ vọng gì vào cái gọi là “chuỗi công khai riêng tư”, cho tới khi tự tay dính bẫy mới hiểu: thứ này thật sự không phải chỉ việc khoác một cái vỏ rồi đem đi thổi khái niệm.
Lúc đầu tôi làm quen vai trò đồng thuận SBA theo hướng “đổi da PoS”. Lật hết quy tắc nút, rồi tự chạy mô phỏng double-spend tới một vạn lần mới hiểu ra: SBA (Segregated Byzantine Agreement, thỏa thuận Byzantine phân tách) chia các nút thành hai tầng. Một tầng là ủy ban sản xuất block, chịu trách nhiệm đóng gói giao dịch; tầng còn lại là các trình xác minh bị rút thăm để kiểm tra ngẫu nhiên, đóng vai trò kiểm tra/kiểm chứng. Hạt giống cho rút thăm ngẫu nhiên do VDF (hàm trễ có thể xác minh) sinh ra, không ai có thể đoán trước tiếp theo sẽ kiểm tra ai. Trình duyệt mạng test hiển thị có 3 nút bị phạt mất tiền đảm bảo do nộp block không hợp lệ; trong đó hai nút là bị phạt mềm—bỏ sót vài block nên tạm thời bị đẩy ra khỏi hàng đợi đồng thuận, tổng số tiền stake hợp lệ bị cắt giảm một đoạn; nút còn lại là bị phạt cứng—bị bắt khi song ký, token stake bị trừ thẳng 20% và đem đi hủy. Cơ chế phạt kiểu này đẩy chi phí gây hại lên rất cao, khiến giá phải trả cho việc thử sai cực lớn.
Khi test giao dịch, tôi trượt tay gõ thừa một số 0: số tiền lập tức vượt phạm vi của Range Proof, giao dịch ngay lập tức bị ném trả lại, trên chuỗi thậm chí không để lại dấu vết giao dịch vô dụng. Phoenix protocol có Range Proof “khóa cứng” dải giá trị của số tiền giao dịch; kết hợp với cam kết Pedersen, khóa chặt tổng lượng tài sản của từng khoản—không thể xuất hiện việc phát hành vô cớ. Thêm nữa, mỗi giao dịch đều tự động đổi địa chỉ Stealth Address dùng một lần, nên tôi chuyển liên tiếp 5 lô test coin: trên chuỗi hoàn toàn không thể liên hệ các giao dịch này về cùng một tài khoản. Bằng chứng PLONK truy hồi gom nhóm được nén chỉ còn 287 byte, kiểm chứng từng giao dịch chỉ mất 1,8 mili giây; chạy rất mượt, ngay cả lúc mạng test cao điểm cũng không gặp tắc nghẽn.
Máy ảo Rusk được viết hoàn toàn từ đầu bằng Rust, hỗ trợ nguyên sinh chuẩn tài sản bí mật. Tôi triển khai test Token chỉ cần chưa tới 200 dòng code riêng tư, chẳng phải viết nhiều; chi phí Gas khi chạy hợp đồng còn thấp hơn 63% so với EVM khi chồng thêm lớp ZK, và còn để sẵn lối vào quyền kiểm toán cho bên tuân thủ—quyền riêng tư và tuân thủ không cần chọn một trong hai, có thể cân bằng đồng thời. Sau khi chạy xong mạng test vào đêm đó, tôi thấy yên tâm hơn bất kỳ dự án nào tôi từng cùng đầu tư trước đây.
#dusk $DUSK @Dusk
Lúc đầu tôi làm quen vai trò đồng thuận SBA theo hướng “đổi da PoS”. Lật hết quy tắc nút, rồi tự chạy mô phỏng double-spend tới một vạn lần mới hiểu ra: SBA (Segregated Byzantine Agreement, thỏa thuận Byzantine phân tách) chia các nút thành hai tầng. Một tầng là ủy ban sản xuất block, chịu trách nhiệm đóng gói giao dịch; tầng còn lại là các trình xác minh bị rút thăm để kiểm tra ngẫu nhiên, đóng vai trò kiểm tra/kiểm chứng. Hạt giống cho rút thăm ngẫu nhiên do VDF (hàm trễ có thể xác minh) sinh ra, không ai có thể đoán trước tiếp theo sẽ kiểm tra ai. Trình duyệt mạng test hiển thị có 3 nút bị phạt mất tiền đảm bảo do nộp block không hợp lệ; trong đó hai nút là bị phạt mềm—bỏ sót vài block nên tạm thời bị đẩy ra khỏi hàng đợi đồng thuận, tổng số tiền stake hợp lệ bị cắt giảm một đoạn; nút còn lại là bị phạt cứng—bị bắt khi song ký, token stake bị trừ thẳng 20% và đem đi hủy. Cơ chế phạt kiểu này đẩy chi phí gây hại lên rất cao, khiến giá phải trả cho việc thử sai cực lớn.
Khi test giao dịch, tôi trượt tay gõ thừa một số 0: số tiền lập tức vượt phạm vi của Range Proof, giao dịch ngay lập tức bị ném trả lại, trên chuỗi thậm chí không để lại dấu vết giao dịch vô dụng. Phoenix protocol có Range Proof “khóa cứng” dải giá trị của số tiền giao dịch; kết hợp với cam kết Pedersen, khóa chặt tổng lượng tài sản của từng khoản—không thể xuất hiện việc phát hành vô cớ. Thêm nữa, mỗi giao dịch đều tự động đổi địa chỉ Stealth Address dùng một lần, nên tôi chuyển liên tiếp 5 lô test coin: trên chuỗi hoàn toàn không thể liên hệ các giao dịch này về cùng một tài khoản. Bằng chứng PLONK truy hồi gom nhóm được nén chỉ còn 287 byte, kiểm chứng từng giao dịch chỉ mất 1,8 mili giây; chạy rất mượt, ngay cả lúc mạng test cao điểm cũng không gặp tắc nghẽn.
Máy ảo Rusk được viết hoàn toàn từ đầu bằng Rust, hỗ trợ nguyên sinh chuẩn tài sản bí mật. Tôi triển khai test Token chỉ cần chưa tới 200 dòng code riêng tư, chẳng phải viết nhiều; chi phí Gas khi chạy hợp đồng còn thấp hơn 63% so với EVM khi chồng thêm lớp ZK, và còn để sẵn lối vào quyền kiểm toán cho bên tuân thủ—quyền riêng tư và tuân thủ không cần chọn một trong hai, có thể cân bằng đồng thời. Sau khi chạy xong mạng test vào đêm đó, tôi thấy yên tâm hơn bất kỳ dự án nào tôi từng cùng đầu tư trước đây.
#dusk $DUSK @Dusk
