Artem Chystiakov
@Arvolear
Ethereum OG | Simplicity Ecosystem Engineer at @blockstream | Opinions are my own
加入 March 2021
193 正在關注 3K 粉絲
Just saying, Simplicity is formally verified. So are its 450 of 533 jets (verification ongoing). Developing Simplicity-based smart contracts, at least you can be sure that the core is secure.
