Мы знаем, как измерять децентрализацию в пространстве. Мы считаем узлы, майнеров, страны и независимых операторов. Но эти числа описывают сеть лишь такой, какой она существует сегодня.
Что мы упускаем?
Время.
Что произойдёт через пятьдесят или сто лет? Сможет ли человек с обычным компьютером прийти и проверить сеть столь же независимо, как те, кто присутствовал в самом начале? Или ему придётся довериться архивам, checkpoints, RPC-провайдерам и институтам, унаследовавшим историю сети?
Большинство блокчейнов проталкивают прошлое в будущее. Каждая новая транзакция становится ещё одной постоянной обязанностью всех будущих верификаторов. Перенос данных в архивы, rollups или отдельный слой data availability не устраняет эту обязанность. Он лишь меняет того, кто её несёт.
Parano1d идёт другим путём. Будущий участник не должен наследовать каждую часть исторических данных. Ему нужен текущий State и доказательство того, что этот State является результатом допустимого прошлого. Это и есть децентрализация во времени.
Parano1d уже работает так. Новый узел проверяет Live State и его рекурсивное доказательство вместо воспроизведения всей истории транзакций. После синхронизации он может проверять сеть, отправлять транзакции и майнить наравне с любым другим узлом.
Сеть может забывать, не теряя истину
Одна из самых радикальных частей Parano1d выглядит так же обыденно, как receipt.
После pruning сеть больше не хранит тело старой платёжной транзакции. Отправитель сохраняет receipt. Через десять лет он может передать его любой третьей стороне, и та проверит платёж обычным кошельком Parano1d.
Receipt позволяет проверить точное содержимое платежа, сумму и получателя, положение транзакции внутри блока, её Merkle path и принадлежность блока канонической цепи.
Пользователь создаёт доказательство авторизации, привязанное к точной транзакции. Измените любую её часть — доказательство перестанет работать. После принятия транзакции сетью валидность траты переносится вперёд рекурсивным доказательством. Receipt не обязан сохранять исходное доказательство авторизации. Он остаётся долговечным свидетельством того, что платёж произошёл.
История не исчезла. Она перешла в другие руки. Консенсус хранит настоящее, а люди — доказательства тех частей прошлого, которые могут им понадобиться. Сеть не несёт каждую транзакцию вечно, но старые платежи остаются проверяемыми без обозревателя блоков, оператора архива и первоначальных разработчиков.
Следующий шаг — переносимая причинность
Большинство контрактных платформ построены вокруг постоянной общей базы данных. Один контракт читает State другого, ищет событие или вызывает одну из его функций. Parano1d допускает другую модель.
Связь между событиями перемещается вместе с участником.
действие → receipt → доказательство условия → новое действие
Receipt платежа может открыть доступ. Доказательство исполнения обязательства — освободить escrow. Receipt погашения — аннулировать требование. Несколько receipts можно свернуть в одно доказательство того, что выполнены все условия соглашения.
Приложение получает не указатель на старую запись в глобальном архиве, а доказательство именно той части прошлого, которая имеет значение. Простой вариант уже работает: сервис выдаёт запрос на оплату, клиент платит, сохраняет receipt и отправляет доказательство обратно. Сервис проверяет его собственным узлом Parano1d.
Без посредника. Без индексатора. Без доверенного платёжного webhook. HTTP-протоколы оплаты вроде x402 уже исследуют машинные платежи за API и работу автономных агентов. Часто проверка и расчёт в них вынесены в отдельную инфраструктуру. Parano1d не нуждается в этом дополнительном слое. Причинность больше не требуется восстанавливать из глобальной истории. Она путешествует с тем, кому нужна.
Это не State composability. Это proof composability.
Объекты, несущие доказательства
Сейчас поле owner содержит образ SpendSecret под Poseidon2b. Будущее отношение сможет использовать это 256-битное поле как обязательство к State объекта и правилам его авторизации. Доказательство объекта будет разрешать переход и связывать его с конкретным PagedSpend. HistoryStep по-прежнему будет доказывать сохранение нативной стоимости и точный переход глобального State.
Один из вариантов может выглядеть так:
owner = H(
relation_id,
current_object_state,
authorization_policy
)Доказательство траты будет подтверждать, что:
- доказывающая сторона знает текущий State объекта;
- запрошенный переход разрешён;
- переход связан с конкретным
PagedSpend; - получившиеся объекты допустимы;
- нативная стоимость сохранена.
Глобальный State будет хранить сумму, incarnation и текущее обязательство объекта. Подробный State объекта и свидетели конкретного отношения останутся у заинтересованных сторон. Когда обязательство закончится, объект исчезнет, а его слот можно будет использовать снова. Тот, кому позднее может понадобиться доказательство, сохранит receipt.
Это не будет моделью в стиле EVM. Контракт не будет искать глобальную историю или оставлять в ней вечные события. Он не заставит каждый будущий узел сохранять вечный архив своей активности. Он получит текущие объекты, контекст блока и необходимые свидетели, а затем докажет полный переход к следующему State.
Что можно на этом построить?
Наиболее естественные применения — цифровые институты, рассчитанные на долгую жизнь.
Действующие права
Имена, лицензии, членства, разрешения устройств, полномочия на выпуск программ, активные ключи и статусы отзыва сводятся к одному вопросу: кто обладает правом сейчас? Участнику, пришедшему спустя много лет, нужен текущий ответ. Тот, кому требуется доказать прежнее владение, сохраняет соответствующее свидетельство.
Предъявительские инструменты
Счета, ваучеры, долговые требования, билеты, облигации, сертификаты и другие цифровые инструменты следуют той же модели. Объект несёт доказательство допустимого происхождения. Сеть не допускает конфликтующего владения и помещает каждый переход в канонический порядок.
Vaults и контракты с конечным числом состояний
Системы восстановления, наследование, escrow, залог, поэтапные платежи и аукционы обычно имеют небольшое число значимых состояний. У них также есть понятные стороны, заинтересованные в сохранении доказательств. Им не нужна универсальная виртуальная машина с вечной памятью.
Автономные системы
Агенту или устройству не нужен неограниченный секрет кошелька. Они могут получить ограниченное полномочие с бюджетом, сроком действия, набором разрешённых операций и контролируемым владельцем путём восстановления. Агент действует самостоятельно в этих пределах. Его владелец получает receipts, точно показывающие, что произошло.
Проверяемое управление
Окончательный результат голосования может нести доказательство допустимости каждого приведшего к нему перехода даже без постоянного глобального архива бюллетеней. Каждый участник хранит собственное доказательство включения. Все разделяют итоговый результат, и каждый по-прежнему может проверить собственное участие.
Протокол, способный пережить собственную криптографию
Настоящая паранойя не может останавливаться на исчезновении архивов. Мы обязаны предполагать, что алгоритмы будут стареть, форматы State изменятся, а сама система доказательств когда-нибудь устареет. Настоящее, несущее доказательство, открывает другой путь: доказуемые миграции протокола.
Специальный MigrationStep сможет доказать точное преобразование старого State в новый формат или новую систему доказательств. После миграции будущим узлам не понадобится старая история. Им не потребуется бесконечный слой совместимости со всеми системами доказательств, которые когда-либо использовала сеть.
Новый terminal докажет, что новая эпоха корректно следует из предыдущей. Для сети, рассчитанной на десятилетия, это принципиально.
Постквантовая безопасность сегодня не означает безопасность навсегда. Настоящее долголетие — это способность заменить криптографию без доверенной церемонии snapshot и без воспроизведения всей истории с самого начала.
Заключение
Bitcoin спросил, могут ли деньги существовать без доверенного эмитента.
Parano1d задаёт следующий вопрос: может ли цифровая система существовать без доверенного хранителя собственного прошлого?
Главное достижение Parano1d — не уменьшенный диск и не быстрая синхронизация. Он устраняет историческую аристократию. Человек, пришедший спустя десятилетия, может проверить настоящее с той же независимостью, что и человек, присутствовавший при genesis.
Следующий шаг — распространить этот принцип за пределы денег: на права, обязательства, контракты и эволюцию самого протокола.
Parano1d — это сеть, в которой мир может забывать данные, не теряя истину.
Настоящее доказывает прошлое. Доказательство конкретной части этого прошлого остаётся у человека, которому оно нужно.