A preview:
[October, 2023]
BitVM is a computing paradigim to express Turing-complete bitcoin contracts.
This requires no changes to the network's consensus rules. Rather than executing computations on Bitcoin, they are merely verified.....
[August, 2024]
BitVM2 is a better design than BitVM, it needs fewer assumptions, limitations, and complexity. We give implementment specification here.....thanks to all earlier contributors, seriously.
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
Topic: [Link] Bitvm2 specification: Verify ZKP on Bitcoin without Fork (Read 61 times)
Jump to: