Tiền, lưới điện, nhà máy, hồ sơ y tế, bầu cử đều chỉ là phần mềm có thể bị hack, cấu hình sai hoặc bị thay đổi một cách âm thầm. AI đang tràn ngập những hệ thống này bằng tiếng ồn tổng hợp. Bằng chứng Không Kiến Thức (Zero-Knowledge Proofs) là cách thực sự đầu tiên để chứng minh những gì máy tính đang thực sự làm. Bằng chứng biến các phép toán tùy ý thành sự thật mật mã: những đối tượng nhỏ nói rằng, "quá trình này đã chạy đúng trên dữ liệu này," mà không tiết lộ dữ liệu đó. ZK biến máy tính thành những cỗ máy sự thật.