Hệ thống ZK có hai thành phần: prover và verifier. Việc chứng minh tốn kém về mặt tính toán (trước đây mất vài ngày, giờ chỉ mất vài giây). Việc xác minh thì rẻ trên các chuỗi hợp đồng thông minh nhưng lại tốn kém không thể tưởng tượng được trên Bitcoin một cách tự nhiên. Sự đổi mới: làm cho việc xác minh ZK trở nên khả thi trên Bitcoin thông qua các mạch bị làm rối, đưa verifier ra khỏi chuỗi.