За последние пару дней я потратил время на то, чтобы разобраться в разных частях протокола Newton. Сегодня я сосредоточился на том, на что, как мне кажется, не обращают достаточно внимания, — на механизме вызова (challenge) за авторизацией.
Сначала я предположил, что как только достаточно операторов согласятся по оценке политики, решение просто станет окончательным.
Но чем глубже я погружался в архитектуру, тем больше понимал, что протокол Newton не рассматривает согласие как конечный источник истины.
Она рассматривает согласие как то, что все еще можно ставить под сомнение.
Это показалось необычным.
Большинство систем становятся сильнее, пытаясь уменьшить разногласия.
Похоже, Newton Protocol становится сильнее, ожидая, что разногласия неизбежно возникнут.
Вместо того чтобы предполагать, что операторы всегда будут выдавать правильный результат, протокол создает среду, где любой может независимо проверить, что именно произошло.
Это меняет взаимоотношение между доверием и безопасностью.
Цель больше не в том, чтобы найти участников, которые никогда не ошибаются.
Цель — создать систему, в которой ошибки не могут пережить проверку.
То, что выделялось для меня еще сильнее, — что оспаривание результата не основано на влиянии или авторитете.
Это зависит от доказательств.
Если оценка неверна, архитектура предоставляет криптографический способ это доказать. Если оценка верна, она выдержит любые оспаривания.
Из-за этого споры ощущаются менее как аргументы и больше как математические проверки.
Чем больше я об этом думал, тем больше понимал, что эта идея выходит за рамки соблюдения требований или авторизации.
Она меняет то, как формируется уверенность внутри децентрализованных систем.
Уверенность не возникает из веры в то, что все ведут себя честно.
Это происходит от понимания того, что нечестные или неверные результаты имеют понятный путь к разоблачению.
Для меня это одно из самых интересных дизайнерских решений внутри Newton Protocol.
Архитектура не устраняет разногласия.
Это дает разногласиям структурированный процесс, где выигрывает корректность, без зависимости от человеческого суждения.
И, возможно, именно так и должна выглядеть по-настоящему бездоверительная инфраструктура.
Финальная мысль
Если каждое разрешение можно независимо оспорить и верифицировать, мы движемся к системам, которые полагаются меньше на доверенные институты и больше на доказуемую корректность?
