比特幣的腳本語言故意設計得很簡單——基本上只能進行加法和乘法。

在這種環境中構建 ZK 證明驗證器就像用匯編語言來解決高級密碼學。

通過一些“技巧”將 1GB 的驗證器壓縮到 4MB 的塊，展示了在比特幣的限制內可以實現什麼。