Turing-Complete VM: Біткойн Solaris покращує можливості смарт-контрактів Tezos

Tezos впровадив формальну верифікацію в блокчейн за допомогою своєї мови смартконтрактів Michelson, що пріоритизує безпеку та передбачуваність. Хоча вона ідеально підходить для простих, логічно обмежених контрактів, обмежений синтаксис і не-Тюрінгова архітектура Michelson обмежують її використання в розширених, динамічних застосунках. Bitcoin Solaris вирішує це обмеження, впроваджуючи Тюрінг-повну віртуальну машину (VM) у своєму виконавчому шарі — дозволяючи розробникам створювати складні, гнучкі смартконтракти, які масштабується по вертикалях.