ビットコインのスクリプト言語は意図的に原始的で、基本的に加算と乗算ができます。

この環境でZK証明書の検証者を構築することは、高度な暗号技術を解決するためにアセンブリコードを書くようなものです。

1GBの検証者が「トリック」を通じて4MBのチャンクに圧縮されることで、ビットコインの制約内で何が可能かを示しています。