AT
Но есть и всякие штуки, когда всякие странности в дизайне заложены. Типа отсутствия subject reduction в лине
Size: a a a
2020 July 28
D
как это поможет бизнесу
AT
как это поможет бизнесу
Легко)
AT
Инфраструктурные проекты уже понемногу начинают использовать
AT
AT
Крипта очень много тех, кто формальными методами занимается, высосала с рынка
Oℕ
пока правда не очень много тех крипт, что высасывали получила профит благодаря пруфам
AT
пока правда не очень много тех крипт, что высасывали получила профит благодаря пруфам
На самом деле есть)
AT
Много есть работ по верификации самих распределённых алгоритмов, чуть меньше с контрактами
AT
Там довольно широкий спектр технологий: от моделчекинга и абстрактной интерпретации до смт решателей и интерактивных пруверов
AT
Но рядовой писатель контрактов не хочет учиться доказательствам)
AT
Так что эти тулы в основном аудит-конторы используют
Oℕ
Ну в общем да, получается, что делается очень сильная работа по снижению рисков, и профит будет только если она снижает риски в больших масштабах.
Т.е. ядро какой-то массивной информационной системы (блокчейн, или внутренняя инфраструктура) с большим количеством пользователей.
Т.е. ядро какой-то массивной информационной системы (блокчейн, или внутренняя инфраструктура) с большим количеством пользователей.
AT
Ну в общем да, получается, что делается очень сильная работа по снижению рисков, и профит будет только если она снижает риски в больших масштабах.
Т.е. ядро какой-то массивной информационной системы (блокчейн, или внутренняя инфраструктура) с большим количеством пользователей.
Т.е. ядро какой-то массивной информационной системы (блокчейн, или внутренняя инфраструктура) с большим количеством пользователей.
Ага
Oℕ
Соотвественно, крипта выигрывает в основном потому что пользователи верят, что их риски будут снижены
AT
Соотвественно, крипта выигрывает в основном потому что пользователи верят, что их риски будут снижены
Это так. Но ещё больше их вера укрепляется, когда аудит выявляет реальные баги в их контрактах
AT
Автоматические методы типа моделчекинга или рандомизированного тестирования свойств кажутся мне более подходящими для контрактописателей
Oℕ
@dmsol как вам ответы?
