глупый вопрос насчет скриптов: а почему не использовать что-то похожее на пролог/даталог? по нему вроде и доказывать что либо легко, и вроде неплохо подходит для распределенных вычислений(вспомним дедалус)
Andrey Melnikov
@typeetfunc
а ссылку на пейпер про языковые парадигмы в блокчейне можно пожалуйста)