Computing SHA-512 on Bitcoin with Garbled Circuits
A new article by Camilo Rivas examines using garbled circuits to compute SHA-512 on Bitcoin, building on BitVMX's model of off-chain program execution with on-chain challenges that Bitcoin Script can handle.
bitvmx.org/knowledge
🔗
Using Garbled Circuits To Compute SHA-512 On Bitcoin
Bitcoin Script, the language powering all Bitcoin transactions, has a limited set of opcodes. By design, the language is not Turing-complete and even some useful opcodes were disabled due to security concerns. Here is where BitVMX comes in.