BitVM2 specs: Verify ZKP on Bitcoin without changing anything

Here's a sneak peek: [October, 2023] BitVM is a new way to run Turing-complete contracts on Bitcoin without messing with the network's consensus rules. Instead of actually running computations on Bitcoin, we just verify them... [August, 2024] BitVM2 is an improved version of BitVM, needing fewer assumptions and being less complex. We’re sharing the implementation details here... big thanks to everyone who contributed earlier, really appreciate it. Check out the full paper here Paper: https://bitvm.org/bitvm2 Creator: Robin(https://x.com/robin_linus) Specification: https://github.com/fiamma-chain/BitVM2-groth16-specification/blob/main/main.pdf Announcement: https://x.com/Fiamma_Chain/status/1822981481725387014