Граф доверия легко нарисовать и трудно доверять. Версия в Astrolune построена из одного примитива: аттестации — подписанного утверждения, записанного в цепочке, что оператор A имеет основания считать, что оператор B держит настоящий узел. Всё остальное в этом тексте — арифметика над этими фактами.
Рёбра — это факты
Ребро не несёт мнения. Оно ничего не говорит о симпатии, репутации или стейке; оно фиксирует, что две личности подтвердили существование друг друга на конкретной высоте. Эта узость намеренна: чем меньше может значить одно ребро, тем меньше стоит подделанное или купленное.
Граф пересчитывается с нуля каждую эпоху. Здесь нет накопленного балла, который нужно защищать, и истории, которую можно медленно отравить: каждый пересчёт стартует от сырых аттестаций и строит все числа заново.
Дисперсия дисконтирует режиссуру
SybilRank распространяет доверие от плотных семян наружу, что само по себе награждает того, кто быстро собирает много рёбер. Скидка за временную дисперсию закрывает эту дверь: рёбра, чьи времена прихода сбились в одно окно, весят куда меньше тех же рёбер, пришедших вразброс за недели. Органический рост неряшлив; фермы пунктуальны.
Внешний вызов
Раз в эпоху протокол составляет пару из узлов, между которыми нет ребра, и даёт небольшое проверочное задание. Узел, чья позиция в графе не объясняется его ответами, теряет вес графа — тихо, арифметически, без всякого публичного обвинения.
Именно эта деталь удерживает граф от самого докучливого режима отказа: не поддельных рёбер, а настоящих рёбер между узлами одного владельца. Аттестации между «братьями» — тоже факты; дисперсия и вызовы существуют затем, чтобы они перестали быть фактами достаточными.
Эвристика — не доказательство. Спецификация говорит это письменно, и страница консенсуса тоже: терпеливый противник с хорошо разнесённой фермой и бюджетом на прокси получает цену, но не исключается.
Чего мы не утверждаем
Три вещи записаны как открытые, а не замазаны:
- Недоминирование всей системы аргументировано, но не доказано.
- Окна дисперсии — параметры, а вокруг параметров можно подстроиться.
- Вызов выбирает одну пару на узел за эпоху — этого хватает, чтобы ферма была дорогой, но не чтобы она была невозможной.
Исследовательская цель следующей ревизии уже и достижима: сделать так, чтобы стоимость выжившей фермы росла сверхлинейно от её размера. Нынешние подавители уже толкают в эту сторону; открытый вопрос — можно ли доказать, что толкают достаточно быстро.