#dusk $DUSK @Dusk
Большинство людей относятся к проверке безопасности как к печати с подтверждением и идут дальше. Я — нет.
Важно не логотип компании, которая посмотрела на код. Важны тихие места, где две части системы, каждая из которых по отдельности вроде бы работает нормально, в итоге делают молчаливо неверное предположение друг о друге. Именно там чаще всего всё и ломается.
Математически аккуратное доказательство не защитит вас, если окружение вокруг него неправильно интерпретирует состояние. Надёжная схема подписи не спасёт от неуклюжей реализации. Тщательно составленный контракт всё равно может получить мусор от всего, что находится рядом с ним.
Полезный сигнал никогда не заключается в списке компонентов, которые проверяли. Он — в том, что происходит после того, как кто-то находит неудобные пограничные случаи: будет ли это быстрый патч или более глубокая настройка границ, проверок и способов, которыми эти части взаимодействуют друг с другом.
Аудит не доказывает, что система безопасна. Он показывает, как команда ведёт себя, когда кому-то платят за то, чтобы постараться сломать её. Вот это и стоит наблюдать.
$ETH $BTC
Большинство людей относятся к проверке безопасности как к печати с подтверждением и идут дальше. Я — нет.
Важно не логотип компании, которая посмотрела на код. Важны тихие места, где две части системы, каждая из которых по отдельности вроде бы работает нормально, в итоге делают молчаливо неверное предположение друг о друге. Именно там чаще всего всё и ломается.
Математически аккуратное доказательство не защитит вас, если окружение вокруг него неправильно интерпретирует состояние. Надёжная схема подписи не спасёт от неуклюжей реализации. Тщательно составленный контракт всё равно может получить мусор от всего, что находится рядом с ним.
Полезный сигнал никогда не заключается в списке компонентов, которые проверяли. Он — в том, что происходит после того, как кто-то находит неудобные пограничные случаи: будет ли это быстрый патч или более глубокая настройка границ, проверок и способов, которыми эти части взаимодействуют друг с другом.
Аудит не доказывает, что система безопасна. Он показывает, как команда ведёт себя, когда кому-то платят за то, чтобы постараться сломать её. Вот это и стоит наблюдать.
$ETH $BTC