OH: "hệ thống chứng minh ngắn gọn không phải là mật mã, chúng là thiết kế hệ thống"