738 sats \ 2 replies \ @supertestnet OP 6 Dec 2023 freebie \ on: Multiplication in Bitvm bitcoin
Also, notice how the program counter counts to 10 and then jumps back to 2? That's called a "JMP" command or sometimes a Loop
"But I thought bitcoin doesn't have loops!"
Well, uh, you see life, uh...finds a way
https://static.wikia.nocookie.net/jurassicpark/images/c/c6/JP-IanMalcolm.jpg
It's the loops that make Turing-completeness.
reply
Yes! But like all computers it's not formally turing complete because a turing machine is a theoretical computer whose definition requires it to have infinite memory -- and no real computer has that, certainly not the STU-1
Computer designers generally try to get "close enough" by giving their computers large enough memory that no one knows how to use it all... But somehow every few years devs find ways to use it all up and so designers need to make computers with even more memory
Btw the STU-1 doesn't even try on this front, having only 16 bytes of memory. Maybe the STU-2 will have more
reply