Каждый блокчейн называет себя безопасным. Это наименее опровержимая фраза в отрасли: безопасным от кого, какой ценой, при каких допущениях — и как вы вообще узнаете, что она перестала быть правдой? Безопасность утверждают так же, как утверждают приватность: прилагательным, которое предлагается принять на веру.
Вместо этого Celar публикует число. Оно называется ℋ, и это одно отношение:
Стоимость взлома системы должна оставаться минимум вдвое выше той стоимости, которую взлом принесёт. Это граница, ниже которой протоколу работать не разрешено, — и, что важнее, все входные данные этого отношения опубликованы, поэтому любой может пересчитать его и проверить, говорим ли мы правду.
01 /Почему отношение, а не обещание
Конфиденциальность в Celar опирается на пороговый комитет: ключ расшифровки сети существует лишь в виде долей у порогового комитета, и получение любого открытого текста требует кворума его мест. Поэтому настоящий вопрос не «хороша ли криптография», а «во что обойдётся атакующему захват достаточной части этого комитета и оправдывает ли выигрыш такие затраты».
Это экономический вопрос, и ℋ отвечает на него экономически. Стоимость атаки — это то, что противник обязан приобрести и подставить под риск (стейк и слэшинг, который он на себя примет), чтобы контролировать порог расшифровки. Стоимость под риском — это то, до чего захваченный кворум действительно может добраться: только зашифрованный уровень FHE, и ничего больше. ZK-пул защищён — его приватность сохраняется, даже если захвачен весь комитет. Когда стоимость атаки вдвое превышает стоимость под риском, сломать систему — заведомо убыточная сделка. Безопасность перестаёт быть утверждением о намерениях и становится утверждением о стимулах, которое можно оценить в деньгах.
02 /Входные данные публичны, поэтому утверждение опровержимо
Отношение честно лишь тогда, когда видно, из чего оно состоит. страница здоровья публикует каждый входной параметр — размер комитета и порог, стейк под риском, параметры наказания, стоимость на уровне FHE — так что это число не нужно принимать на веру. Пересчитайте его сами. Если наша арифметика неверна, она неверна публично.
Тот же принцип стоит за всем остальным, что публикует Celar, — за матрицей утечек и маркировкой PF-1: утверждение о безопасности, которое нельзя проверить, неотличимо от маркетинга. Мы предпочитаем быть проверяемыми и иногда исправляемыми, чем неопровержимыми и всегда «безопасными».
03 /Граница, которую нельзя отменить голосованием
Два свойства делают ℋ чем-то большим, чем индикатор на панели:
Управление может настраивать многие параметры, но не может опустить границу ℋ. Тот рычаг, который напрямую меняет безопасность на рост, выведен из-под свободного усмотрения.
Когда отношение приближается к границе — потому что пул вырос или стейк истончился, — протокол ограничивает приём в пул, пока запас не восстановится. Он сам защищает свой инвариант.
Сеть под давлением роста не может тихо ослабить собственный запас безопасности, чтобы впустить в пул больше стоимости, и ей не нужен комитет, который это заметит и вмешается: систему удерживает она сама.
04 /Что он покрывает, а что нет — честно
ℋ отвечает за экономическую безопасность уровня конфиденциальности — захват комитета против стоимости пула. Это не утверждение о консенсусе базового уровня (там действует стандартная безопасность BFT при f < n/3 — отдельное свойство) и не утверждение о том, что криптографию нельзя сломать криптоанализом, а не экономикой. Он отвечает на один конкретный и важный вопрос: бывает ли атака на комитет выгодной сделкой? Нет — как минимум вдвое невыгодной.
И оговорка до запуска основной сети, потому что тезис о честном раскрытии работает в обе стороны: сегодня страница здоровья работает на смоделированных входных данных с опубликованными допущениями, а не на потоке данных из сети — и об этом прямо сказано на самой странице. Поток в сети, публикующий реальные цифры блок за блоком, заработает с запуском основной сети. Сейчас существует каркас, формула и все допущения, выложенные для проверки; с запуском через них пойдут живые данные.
05 /Суть
«Поверьте нам, мы безопасны» предлагает поверить в утверждение, которое нельзя проверить. ℋ заменяет его числом, его входными данными и правилом, что это число не может опуститься ниже 2, — и, насколько нам известно, это первое утверждение о безопасности L1, устроенное так, что ошибочность проверяема публично. Эта планка ниже, чем «абсолютно безопасен», и куда полезнее, потому что с нас действительно можно спросить.
КОНТАКТ — press@celar.cc · МЕТРИКА ℋ — celar.cc/health · $CELAR