Системи ZK мають два компоненти: перевірки та перевірки. Доведення є обчислювально затратним (раніше займало кілька днів, тепер займає секунди). Верифікація дешева в ланцюжках смарт-контрактів, але неймовірно дорога на Bitcoin нативно. Інновація: зробити перевірку ZK можливою на Bitcoin через спотворені схеми, виводячи верифікатор за межі ланцюга.