The cypherpunk vision was clearly electronic cash for private, peer-to-peer payments. The ‘digital asset’ narrative came later from others.
Strange that this is even controversial
We just broadcasted the first mainnet transaction having a Blake3 hash lock implemented in Bitcoin Script.
One small opcode for BitVM, one giant script for Bitcoin.
blockstream.info/tx/d8a091a7f5f…
In 2012, a quantum computer factored the number 21.
This is still the record. An attempt to factor 35 failed.
Why haven’t we seen any progress at all on actual quantum computing for 13 years(!), despite all the big announcements about more qubits and better error correction?
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!
Draft writeup: bitvm.org/bitvm2
The BitVM Alliance is pivoting to garbled circuits, as they make SNARK verification over 1000x more efficient.
The design space is wide open. Here’s one approach:
bitvm.org/bitvm3.pdf
Special thanks to @JeremyRubin, @liameagen, and @ekrembal for their contributions.
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!🤯
If you're interested in helping us develop a Groth16 verifier using Bitcoin Script, please join the BitVM builders group
Great work by @weikengchen: We now have finite field arithmetic for the M31 and Baby Bear fields, as well as for their degree-4 extensions. These are the basis for implementing STARK verifiers on Bitcoin.
Exciting times for Script research!
