Без заголовка

Да, формализовать "научность" исследования вполне можно, насчёт включения в смарт-контракты — не факт, ибо для общеприменимости стандарта важна его недоспецифицированность (это тоже теоретический результат, нужен псевдокод), а формализация на уровне смарт-контракта предполагает формализацию на уровне программного кода, а это ошибка. Жёсткая классификация, увы, не решает никаких проблем и сама по себе является проблемой. Я напишу об этом отдельный текст.