
Isn't the Bitcoin protocol a DAC?
It's not Turing-complete. Only a genius is able to create a DAC using a Turing-incomplete language.
Maybe you can elaborate on that, just from a technical standpoint. What makes Turing-complete language essential to create a DAC?