Сб. Июл 24th, 2021
    Free TON, Slashing, Validators

    Конфигурация сети Free TON требует особого механизма слэшинга, включающего в себя не только санкции в отношении валидаторов, но и способствующего стрессоустойчивости всего блокчейна.

    Мы поговорили о его специфике с техническим директором TON Labs Митей Горошевским и Старшим специалистом по данным и Владельцем продукта TON Live Blockchain explorer Сергеем Зайцевым.

    “Мы стали свидетелями катастрофических событий”

    Free TON

    Такими словами Митя Горошевский и TON OS core developer Леонид Холодов сразу обозначили проблему, с которой столкнулась платформа Free TON.

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

    Чтобы минимизировать зависимость блокчейна от работы единичных участников консенсуса, в TON Labs разработали принципиально новый алгоритм действий самой системы. Он дополнит уже применяющийся и традиционный механизм fisherman-контроля над валидаторами.

    Третий лишний

    Free TON

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

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

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

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

    Во время АМА-сессии Митя Горошевский, объяснил, как будет действовать этот алгоритм. На уровне центрального управления платформой Free TON предусмотрены два смарт-контракта, Электор и Слэшер. Слэшер получает информацию от валидаторов относительно корректности работы других валидаторов — все в соответствии с византийской отказоустойчивостью. По сути, происходит постоянная проверка валидаторами других валидаторов. В случае, если 2/3 участников этой проверки заявляют о потенциальной угрозе, Слэшер отправляет эту информацию Электору, который принимает решение о следующем шаге.

    И здесь возможен сценарий, не предусмотренный в изначальном TON — динамическое изменение всего сета валидаторов. Тогда “плохая” нода просто отключается от валидации.

    “Это улучшит стойкость сетей”, — уверен Митя Горошевский, поскольку эффективнее будет не наказывать сразу деньгами, как это ранее предполагал дизайн платформы TON, а временно исключать валидатора из системы, чтобы он не учитывался в общем процентном выражении работающих нод. А значит, будет отодвинут тревожный порог 33% неправильно работающих нод, за которым может остановиться вся сеть.

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

    • ошибочное подписание блока; 
    • просчет в транзакции; 
    • утверждение неправомерных выплат.

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

    Средства, заблокированные в результате слэшинга, будут распределены между теми валидаторами, чья работа была корректной. Однако при этом не следует путать слэшинг при валидации и ситуацию, когда будут нарушены условия конкурса, даже если валидатор вообще не участвует в выборах и в валидации. Например, в Rust Cup. Как разъяснил нам Сергей Зайцев, “при неуспешном завершении цикла валидации часть вестинг-стейка, которая относится к неудачному циклу, после разблокировки отсылается назад организаторам”.

    Когда под ударом вкладчики

    Free TON

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

    Сергей Зайцев в разговоре с нашим изданием разъяснил очередность блокировки средств в случае слэшинга. Во-первых, сумма недостачи будет списываться с собственных стейков валидатора. Очередность при этом такая: сначала обычный стейк, затем вестинг, затем лок-стейк.

    “Один из основных параметров ДеПула, на который стоит обращать внимание вкладчикам — это размер гарантии, то есть минимального вклада, который валидатор должен поставить от себя в каждый раунд валидации”, — посоветовал Сергей Зайцев.

    Митя Горошевский при этом особо подчеркнул, что вкладчики в ДеПул оштрафованного валидатора могут пострадать только в самую последнюю очередь.

    Если это произойдет, то потери вкладчики понесут пропорционально вкладам в ДеПул, при этом процент списания от суммы вклада будет одинаковым.

    В ожидании настоящего слэшинга

    В основной сети Free TON пока это только проект. Как пояснил нашему изданию Митя Горошевский, во время конкурса DePool Game была только имитация слэшинга, а его полноценное внедрение планируется в Rust Cup.

    Free TON
    Сергей Зайцев в Telegram-чате валидаторов

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

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

    20
    0