Более глубокий взгляд на различные платформы смарт-контрактов

[kozyabka]

«Мы живем в эпоху смарт-контрактов.»
Та и не говорите, открываю холодильник а там смарт контракт сидит. В душе и тот один спрятался. Вот так эпоха!

[LeqWiser]

А как же Bitcoin, Litecoin с их возможностями, относящихся к произвольной неполноте по Тьюрингу?

[intarc]

там не совсем Тьюринг неполнота, Bitcoin script — стековый язык, предполагает выполнение ограниченного ряда инструкций с выдачей true или false на выходе. То есть неопределенность отсутствует в принципе. В статье рассматриваются способы реализации более произвольной логики и способы защиты от неопределенностей и «вечных» циклов.