Кто-нибудь знает на каком языке здесь будут программироваться смарт-контракты, неужели содилити? кто-нибудь знает?