As of today, my bitvm implementation supports adding 32 bit numbers. AND you can play with it online! (Testnet only.) Want to run #bitvm? Just visit this site!
Discussion
Have you seen this Boolean sha256 circuit? Could be handy http://stevengoldfeder.com/projects/circuits/sha2circuit.html
Yes, I've seen it. I think it needs some adjustments. The sha256 algorithm requires you to "pad" your input to a multiple of 512 and I don't think this implementation does that. I'll need to write a circuit that does that, then I can pass the result to this function.
Glad to see you posting on nostr ❤️