MAJOR ANNOUNCEMENT
For the first time in history we have demonstrated it’s possible to interactively verify a SNARK proof on Bitcoin using BitVMX.
https://mempool.space/testnet/tx/5823cd98bf69d0b170365040408263864b70e2299297f30f6dd3d7da1802bdc4
No changes to the Bitcoin protocol required. Further details to follow