Từ bề ngoài, @0xMiden sử dụng bộ công cụ ZK đã trưởng thành,

nhưng thực sự rào cản của nó không nằm ở mật mã học.

Điều khó sao chép chính là con đường mà nó đã xây dựng từ đầu quanh "có thể chứng minh thực thi"
thiết kế ngược máy ảo, bộ lệnh và mô hình tài khoản.

Điều này có nghĩa là nó không chỉ "gắn thêm ZK" vào mô hình thực thi hiện có,
mà xem ZK như một điều kiện tiên quyết cho mô hình thực thi.

Một khi đã chọn con đường này, rất khó để điều chỉnh giữa chừng,
đồng thời cũng giải thích tại sao con đường này có vẻ tiến triển chậm nhưng cấu trúc hoàn chỉnh.