[17:45:33]
<ada_ru>
(Максим) https://blog.adacore.com/bitcoin-in-ada