Hầu hết mọi người đều nói về ZK rollups và đi thẳng vào phần bằng chứng. Nhưng điều đó bỏ lỡ câu chuyện thực sự.

Lấy Miden làm ví dụ—bước đột phá không phải là có một bằng chứng, mà là *bằng chứng đó thực sự xác nhận điều gì*.

Trong các hệ thống điển hình, bằng chứng chỉ xác nhận: "Này, giao dịch này sẽ thực thi đúng nếu chúng ta phát lại nó trên chuỗi chính." Nó xác minh cơ chế hoạt động.

Miden đảo ngược kịch bản. Bằng chứng xác nhận một điều khác—nó đi sâu hơn vào những gì thực sự đang xảy ra bên trong. Sự thay đổi này thay đổi mọi thứ về cách hệ thống hoạt động và những gì trở nên khả thi.

Sự khác biệt nhỏ về lý thuyết. Sự khác biệt lớn về thực hành. Đó là lý do tại sao hiểu *điều gì* bạn đang chứng minh quan trọng cũng như *rằng* bạn đang chứng minh nó.