rusk vm là phần trong whitepaper đã khiến tôi nhận ra rằng đây không chỉ là một chuỗi quyền riêng tư với các bước bổ sung—mà thực sự đang xây dựng môi trường thực thi riêng của nó.

nó dựa trên webassembly, nên kế thừa hầu hết các opcode wasm gốc, nhưng sau đó lại bổ sung các hàm host lên trên. băm (hashing), toán học elliptic curve, kiểm tra chữ ký, xác minh zero knowledge proof (bằng chứng tri thức không tương tác), tất cả đều có thể gọi trực tiếp theo kiểu native thay vì bị gắn thêm

0n thông qua một thư viện bên ngoài.
giá gas cho mỗi lần gọi hàm, điều này khiến nó gần giống turing-complete hơn là hoàn toàn turing-complete—cơ bản là một cách khắc phục cho.$BOME

bài toán dừng (halting problem) để việc thực thi không thể chạy mãi mãi.

điểm đáng chú ý là phần xác minh zk native. hầu hết các vm coi việc xác minh proof là một phép tính bên ngoài tốn kém, còn rusk thì coi.$BTW

việc đó như một thao tác hạng nhất (first class). không biết chi phí gas cho việc xác minh zk so với việc gọi hàm (contract call) thông thường trên nền tảng này thì thế nào??

#dusk @Dusk $DUSK