Скриптовый язык Биткойна намеренно примитивен — он может в основном выполнять сложение и умножение.

Создание проверщика ZK-доказательств в этой среде похоже на написание ассемблерного кода для решения сложной криптографии.

Проверщик размером 1 ГБ, сжатый до 4 МБ с помощью 'уловок', показывает, что возможно в рамках ограничений Биткойна.