A Zero-Knowledge Proof Is Verified on Bitcoin For The First Time in History
Briefly