#dusk $DUSK
Tôi nghĩ Piecrust, “máy ảo” của Dusk, chỉ đơn giản ở đó để chạy smart contract. Công việc tương tự như mọi VM khác — thực thi mã, lưu trạng thái, xong. Hóa ra đó có thể chỉ là một nửa những gì nó thực sự làm.
Đào sâu vào tài liệu, Piecrust cung cấp một tập các hàm host (hàm do hệ thống cung cấp).
là các operation mà VM chuyển giao sang code native thay vì chạy bên trong môi trường WASM được sandbox.
Hashing, qua Blake2b và Poseidon.
Xác minh các proof zero-knowledge PlonK và Groth16.
Xác thực chữ ký Schnorr và BLS.
Không cái nào trong số đó chạy như bytecode contract thông thường.
Tại sao một VM lại đi out of its way (đi out of its way) để chuyển hướng các thao tác cụ thể ra khỏi chính nó thay vì cứ chạy hết theo cách bình thường?
Hóa ra việc thực thi WASM có thể chậm hơn code native từ 45–255% đối với các tác vụ nặng về tính toán; phần chậm đến từ quản lý bộ nhớ được ảo hóa và việc xử lý thêm các chỉ lệnh mà môi trường sandbox yêu cầu.
Với một chain mà việc xác minh ZK proof không phải thỉnh thoảng, mà gần như diễn ra trong hầu hết mọi giao dịch, thì việc chạy phép tính đó trong WASM thay vì chạy native không phải là khoản phí nhỏ.
Nó tích lũy dần, block sau block.
Nguyên tắc tương tự được áp thẳng sang DuskEVM — lớp tương thích EVM, đưa các nhà phát triển Solidity đến với Dusk.
Hedger, module thực thi bí mật (confidential execution), dựa vào mã hóa đồng cấu (homomorphic encryption) kèm theo ZK proofs để giữ cho giao dịch được riêng tư; nhưng bản thân mọi thứ đó sẽ không đủ nhanh để tạo ra khác biệt nếu không có các native host functions phía dưới làm nặng đầu tiên.
Vì vậy Piecrust không chỉ là nơi hợp đồng được thực thi. Nó còn là làn đường nhanh dành cho đúng các phép toán mật mã @Dusk phụ thuộc vào nhiều nhất, được cố tình giữ ngoài “đường chậm”, và chính làn đường nhanh đó mới khiến lớp quyền riêng tư của DuskEVM trở nên khả thi — không chỉ cho các contract “native” của Dusk.
Điều này làm tôi tự hỏi — có bao nhiêu VM “đa năng” khác đang âm thầm ăn một khoản phí kiểm chứng proof mà không ai bận rộn đo lường?
Tôi nghĩ Piecrust, “máy ảo” của Dusk, chỉ đơn giản ở đó để chạy smart contract. Công việc tương tự như mọi VM khác — thực thi mã, lưu trạng thái, xong. Hóa ra đó có thể chỉ là một nửa những gì nó thực sự làm.
Đào sâu vào tài liệu, Piecrust cung cấp một tập các hàm host (hàm do hệ thống cung cấp).
là các operation mà VM chuyển giao sang code native thay vì chạy bên trong môi trường WASM được sandbox.
Hashing, qua Blake2b và Poseidon.
Xác minh các proof zero-knowledge PlonK và Groth16.
Xác thực chữ ký Schnorr và BLS.
Không cái nào trong số đó chạy như bytecode contract thông thường.
Tại sao một VM lại đi out of its way (đi out of its way) để chuyển hướng các thao tác cụ thể ra khỏi chính nó thay vì cứ chạy hết theo cách bình thường?
Hóa ra việc thực thi WASM có thể chậm hơn code native từ 45–255% đối với các tác vụ nặng về tính toán; phần chậm đến từ quản lý bộ nhớ được ảo hóa và việc xử lý thêm các chỉ lệnh mà môi trường sandbox yêu cầu.
Với một chain mà việc xác minh ZK proof không phải thỉnh thoảng, mà gần như diễn ra trong hầu hết mọi giao dịch, thì việc chạy phép tính đó trong WASM thay vì chạy native không phải là khoản phí nhỏ.
Nó tích lũy dần, block sau block.
Nguyên tắc tương tự được áp thẳng sang DuskEVM — lớp tương thích EVM, đưa các nhà phát triển Solidity đến với Dusk.
Hedger, module thực thi bí mật (confidential execution), dựa vào mã hóa đồng cấu (homomorphic encryption) kèm theo ZK proofs để giữ cho giao dịch được riêng tư; nhưng bản thân mọi thứ đó sẽ không đủ nhanh để tạo ra khác biệt nếu không có các native host functions phía dưới làm nặng đầu tiên.
Vì vậy Piecrust không chỉ là nơi hợp đồng được thực thi. Nó còn là làn đường nhanh dành cho đúng các phép toán mật mã @Dusk phụ thuộc vào nhiều nhất, được cố tình giữ ngoài “đường chậm”, và chính làn đường nhanh đó mới khiến lớp quyền riêng tư của DuskEVM trở nên khả thi — không chỉ cho các contract “native” của Dusk.
Điều này làm tôi tự hỏi — có bao nhiêu VM “đa năng” khác đang âm thầm ăn một khoản phí kiểm chứng proof mà không ai bận rộn đo lường?
