pull down to refresh
zaps forwarded to @supertestnet (90%)
1765 sats \ 1 reply \ @supertestnet fwd 14 Oct 2023
Thanks for linking this! I'm almost finished adding the Addition function
reply
352 sats \ 0 replies \ @supertestnet fwd 15 Oct 2023
Finished! Bitcoin is a calculator now
reply
0 sats \ 7 replies \ @thursday 15 Oct 2023
This is awesome! Thank you for sharing. I been reading the paper and going over ways how to use.
Having such a visual can definitely help experimenting.
reply
31 sats \ 6 replies \ @supertestnet fwd 15 Oct 2023
Glad you like it! BTW I just updated it so it has three functions now:
- Zero checker
- Addition
- Size checker (new)
Some people have expressed interest in running Tic Tac Toe in bitvm so we can falsify cheaters directly on bitcoin. How awesome!
I am also thinking about adding in other math functions besides addition, like subtraction, multiplication, and division -- I might even be able to make a full "calculator app" that combines all those functions, runs in bitvm, and lets you falsify wrong equations on bitcoin. Could be useful for learning how to combine functions together, which will probably become more important as more functions are written for bitvm.
reply
0 sats \ 5 replies \ @random_ 15 Oct 2023
How to add recursion so it will actually be Turing Complete?
reply
21 sats \ 4 replies \ @supertestnet fwd 15 Oct 2023
I don't see a way to do that
And I don't think it matters
You can write any program with a real turing complete computer, then convert the program to a tapleaf circuit for use in bitvm, and -- if your program has a valid "solution" and doesn't halt -- the bitvm can execute it.
It may not be turing complete itself, but who cares when it can execute any valid program that a turing machine can produce?
reply
0 sats \ 3 replies \ @random_ 15 Oct 2023
Can you make a program for palidrome checking?
reply
1 sat \ 2 replies \ @supertestnet fwd 15 Oct 2023
definitely
I'm just learning circuit based programming for the first time so I won't be able to do it quickly
but in theory yeah, for sure, because you can run any computable function, and palindrome checkers already exist as computable functions, so we can just port one (once we have tools for stuff like that)
view all 2 replies