AF
думал в lightning network порыться
Size: a a a
2019 March 06
AF
для этого
ҪҸ
смарт-контратны логично писать на том, что потом легко верифицировать
ҪҸ
аудит важен
ҪҸ
а простота понимания языка js-разрабами - не очень
NK
смарт-контратны логично писать на том, что потом легко верифицировать
Проблема в том, что даже статический анализ на SMT solver-ах не всегда дает позитивный эффект
AF
смарт-контракты должны писать НЕ разработчики в идеале
AF
или разработчики должны приобретать скиллы
AF
для переквалификации
AF
«разработчик» - имеется ввиду чувак, которому можно доверить написать какую-то часть продукта
AF
ту часть, где в случае нахождения бага не придется бизнес закрывать
AF
уровень ответственности кардинально разный
AF
код контракта - это зачастую около 200 строчек
AF
но они должны быть идеальны
PO
а как ответственность распределяется?
AF
никак
PO
разработчик потом аудитор контракта?
PO
мы вчера обсуждали эту тему
PO
пришли в связке разработчик - аудитор - страховая
AF
я думаю, что нужно терминологию расширять