Виталик Бутерин объясняет, как криптовалюты могут защитить пользователей, когда идеальная безопасность остается недостижимой.

Сооснователь Ethereum, Виталик Бутерин, представил новую концепцию безопасности в криптовалютах, предлагая практические стратегии, основанные на избыточности, многосторонней проверке и ориентированном на человека дизайне.

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

Sponsored

Sponsored

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

Размышления Бутерина, опровергающие идею о совершенной безопасности, появляются в то время, когда криптовалютные платформы продолжают сталкиваться с взломами кошельков, эксплойтами смарт-контрактов, и сложными рисками конфиденциальности.

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

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

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

«Идеальная безопасность невозможна — не потому, что машины или люди, которые их создают, имеют недостатки, а потому, что намерения пользователя являются чрезвычайно сложным объектом», — написал Бутерин.

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

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

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

Sponsored

Sponsored

Избыточность и многосторонняя проверка.

Чтобы компенсировать эти ограничения, Бутерин выступает за избыточность: пользователи указывают свои намерения с помощью нескольких перекрывающихся методов. Системы действуют только тогда, когда все спецификации совпадают.

Этот подход применяется к кошелькам Ethereum, операционным системам, формальной верификации и аппаратному обеспечению.

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

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

Sponsored

Sponsored

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

Роль искусственного интеллекта в обеспечении безопасности

Бутерин также видит большие языковые модели (LLM) как дополнительный инструмент, описывая их как "симуляцию намерения".

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

"LLM ни при каких обстоятельствах не должны использоваться в качестве единственного определяющего фактора намерения. Но они являются одним из 'углов', с которого можно приблизительно оценить намерение пользователя", - отметил он.

Интеграция LLM с традиционными методами резервирования может повысить точность обнаружения несоответствий, не создавая при этом единых точек отказа.

Sponsored

Sponsored

Баланс между безопасностью и удобством использования

Важно отметить, что Бутерин подчеркивает, что безопасность не должна приводить к ненужным затруднениям при выполнении рутинных действий.

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

Этот взвешенный подход обеспечивает защиту без раздражения пользователей.

Сочетая резервирование, многостороннюю проверку и аналитику на основе искусственного интеллекта, Бутерин предлагает дорожную карту для криптоплатформ, позволяющую снизить риски, сохраняя при этом удобство использования.

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