Fantastic work!
How big is the challenge-response onchain footprint?
Someone made a multiplication function for the STU-1, my 8bit computer that runs on bitvm (and thus on bitcoin)! It's true, you can write bitcoin smart contracts in Assembly now instead of learning boolean logic circuits. Try it yourself here: https://github.com/supertestnet/8bit-cpu-for-bitvm
https://video.nostr.build/4efaf6669ab2e30602ac016a1947a64e2c68310ca5e3f663714415a31cd6487c.mp4
Discussion
Untested
I suspect something like 57 transactions