Я заметил, что Бутерин сделал интересное замечание о сути безопасности. Не просто о надежности системы, а о том, насколько намерения пользователя совпадают с фактическим поведением системы.

То есть безопасность и UX — это не противоположные оси, а разные взгляды на одну и ту же проблему. Роль безопасности — минимизировать расхождения, например, когда пользователь хотел «отправить 1 ETH Бобу», а получилось иначе. И наоборот, уменьшение этого расхождения способствует хорошему UX.

Однако полностью идеальной безопасности достичь теоретически невозможно, потому что человеческие намерения по своей природе трудно определить математически. В сложных целях, таких как защита приватности, утечка метаданных может представлять больший риск, чем криптографическая стойкость.

То, что предлагает Бутерин, — это дизайн с использованием избыточности. Многоуровневый подход с типовыми системами, формальной верификацией, симуляцией транзакций, мульти-сигом, ограничениями расходов и другими методами проверки с разных сторон, чтобы защитить истинные намерения пользователя.

Интересно, что он говорит о применении больших языковых моделей. Если крупные языковые модели могут приближенно воспроизводить человеческий здравый смысл, то они могут служить вспомогательным средством для определения намерений пользователя. Но полагаться только на них рискованно, и их используют только в сочетании с другими методами проверки.

Дизайн безопасности блокчейна, особенно баланс между безопасностью и удобством пользователя, становится все более важной задачей.