@jbrukh Have a look at @blockstream simplicity. A bitcoin (and @Liquid_BTC) targeted low level language designed for formal verifiability from the ground up. by Adam BackDecember 20, 2020 @jbrukh Have a look at @blockstream simplicity. A bitcoin (and @Liquid_BTC) targeted low level language designed for formal verifiability from the ground up. https://t.co/BWqWIPs3QV Source Tagged : Bitcoin / Ground / Jbrukh / Liquid / Look / SourceTwitter
