Proof of Trusted Behavior нужны свидетельства, которые другой участник способен проверить самостоятельно.
Конфликтующие подписи становятся доказательством
Два аутентифицированных голоса одного валидатора для одной цепочки, высоты, раунда, фазы и комитета, но за разные значения, образуют доказательство двойного голосования. Коллектор хранит ограниченный набор таких доказательств. Узел валидатора сохраняет первое проверенное доказательство для каждой зарегистрированной личности на диск.
CLI умеет создавать и независимо проверять эти доказательства по доверенному genesis и реестру ключей.
Оценка весов пока экспериментальная
Детерминированный трекер воспроизводит финализированные сертификаты и рассчитывает ограниченный вес с учётом времени участия. Отсутствие подписи в одном кворумном сертификате не доказывает простой, поэтому не считается нарушением.
Эта работа не включает новые веса в сеть, не удаляет валидаторов и не вводит автоматический слэшинг. Для этого нужны правила включения доказательств в финализированную цепочку, переходы между комитетами и дальнейшая проверка безопасности.
Как помочь с проверкой
Полезны воспроизводимые тесты перезапуска, случаи конфликтующих голосов, разделения сети и обратная связь по интеграции. Сравнение скорости и безопасности с другими сетями потребует сопоставимых измерений и независимого анализа.