[NOID] Parano1d ① Proof-native Layer 1 ordered by PoW

[ignotus]

Parano1d не является форком существующей blockchain codebase. Это новый Layer 1, реализованный с нуля вокруг proof-native модели валидности состояния.

 

Parano1d ①

Proof-native Layer 1 ordered by PoW

parano1d.org

В обычном блокчейн доказательство текущего состояния фактически находится в его истории.

Новая full node получает цепочку от genesis, проверяет старые блоки, повторно исполняет транзакции и только после этого самостоятельно получает текущее состояние.

Чем старше сеть, тем больше исторической работы требуется новой ноде. Snapshots ускоряют процесс, но не меняют сам принцип. Snapshot сам по себе не доказывает, что был получен через валидную историю от genesis.

ЧТО МЕНЯЕТ PARANO1D
 

В Parano1d каждый принятый блок несёт recursive proof HistoryStep.
 

Он доказывает:

• предыдущий HistoryStep валиден;
• текущий блок валиден;
• переход от предыдущего State к новому State выполнен точно.

Получается непрерывная recursive proof chain от genesis до текущего State.

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

PROOF И POW ДЕЛАЮТ РАЗНУЮ РАБОТУ

В Parano1d:

Proof -> устанавливает валидность

PoW   -> устанавливает canonical order

Proof отвечает на вопрос: корректен ли этот State transition?

PoW отвечает на вопрос: какой из корректных transitions становится продолжением canonical chain?

Валидность доказывается. Порядок устанавливается Proof of Work.

ЧТО ЭТО ДАЁТ

• Проверка текущего State без lifetime replay от genesis.
• Стоимость проверки настоящего не растёт только потому, что сеть становится старше.
• Full node хранит текущий Live State, а не вечную историю исполнения для повторной проверки.
• Spent UTXO покидают активный State, освободившееся пространство используется снова.
• Старые full block bodies могут уходить из active validation storage.
• Compact headers сохраняются постоянно.
• Старые платежи всё равно можно доказать через transaction + Merkle path + permanent header.

SIGNATURELESS OWNERSHIP

В Parano1d нет обычной модели:

public key + transaction signature

Владелец хранит 256-bit secret.

В State находится commitment к нему.

При расходовании владелец создаёт fresh zero-knowledge proof знания секрета, привязанный к конкретной транзакции.

Секрет никогда не передаётся в сеть.

POST-QUANTUM FROM GENESIS

Post-quantum security здесь рассматривается не на уровне одного примитива, доказательства или одного hash.

Вопрос сформулирован для всей сети:

Может ли quantum adversary подделать валидность
где-либо в recursive history и заставить node
принять неверный current State как валидный от genesis?

Для production profile опубликован отдельный executable soundness certificate.

Результат end-to-end resource assessment соответствует NIST PQC Category 1 threshold.

Half-success gate-depth floor:
2^173.273866314232

NIST Category 1 reference:
2^170

Certificate и доказательство:

https://github.com/ignotusnemo/parano1d-soundness

МАЙНИНГ

Consensus:          Proof of Work
PoW:                Poseidon2b
Block target:       15 seconds
Difficulty:         ASERT

Block producer одновременно является prover.

Сначала он строит State transition и recursive proof.

После этого block template фиксируется и начинается nonce search.

build transition
      |
      v
prove HistoryStep
      |
      v
freeze block
      |
      v
search nonce

Сам nonce search можно отдавать workers, pool или специализированному hardware.

Producer доказывает transition. Hashpower выбирает, какой доказанный block станет canonical.

 

ДОКАЗАТЕЛЬСТВО НА ОБЫЧНОМ ЖЕЛЕЗЕ

Одной дешёвой verification недостаточно.

Если consensus proof может строить только дорогой специализированный cluster, централизация просто перемещается из verification в proving.

Поэтому proving performance был одной из основных инженерных задач Parano1d.

Каждый новый HistoryStep является полным доказательством валидности текущего State от genesis.

Прошлые блоки при этом не доказываются заново. Новый HistoryStep рекурсивно проверяет предыдущий proof и напрямую доказывает всё, что добавляет текущий блок.

За один proving pass producer проверяет и доказывает:

• предыдущий HistoryStep и продолжение доказанного пути от genesis;
• структуру блока и пользовательские authorization proofs;
• transaction Merkle tree и привязку transaction root к block template;
• существование всех inputs в текущем State и корректность новых outputs;
• отсутствие конфликтующих spends и outputs;
• комиссии, сжигание, reward и сохранение денежного баланса;
• точное изменение UTXO State и новый глобальный State root;
• следующий recursive terminal, который вместе с блоком проверяют full nodes.

И всё это строится до начала поиска PoW nonce.

Production HistoryStep на обычном 12-thread AVX2 laptop:

HistoryStep B25 p50: 10.734 seconds
terminal:        971,732 bytes

Average block target: 15 seconds

То есть за эти 10.734 секунды строится не отдельный proof одного State update. Producer получает новый terminal, который напрямую доказывает весь текущий block transition и рекурсивно несёт валидность State от genesis.

FROST-GKR

Одной из самых дорогих частей proving был Poseidon2b.

Одна и та же permutation используется в State commitments, Merkle relations, transaction commitments, proof transcripts и recursive verification.

Вместо тысяч отдельных algebraic proof chains в нашей лаборатории был разработан FROST-GKR, который объединяет повторяющиеся Poseidon2b executions в один global trace.

На опубликованном reference workload из 59 permutations:
 

constraint sumchecks
472 -> 2

raw algebraic transcript
287,712 bytes -> 5,568 bytes

reduction prover
1,605.931 ms -> 150.218 ms

speedup
10.69x

 

FROST-GKR:
https://lab.parano1d.org/research/frost-gkr-global-trace-protocol/
 

Reproducible implementation:
https://github.com/ignotusnemo/frost-gkr

ИТОГ

Parano1d построен вокруг нескольких связанных идей:

• current State сам несёт доказательство своей валидной истории;
• каждый block принимается атомарно вместе с recursive proof;
• proofs устанавливают validity;
• PoW устанавливает canonical order;
• ownership работает без transaction signatures;
• active State зависит от текущего использования сети, а не от её возраста;
• post-quantum soundness анализируется end-to-end от genesis до current State.
   

Это и означает proof-native Layer 1.

LINKS

Parano1d
https://parano1d.org

Documentation
https://docs.parano1d.org

ParanO(1)d Lab
https://lab.parano1d.org

GitHub
https://github.com/ignotusnemo/parano1d

The Present Must Prove the Past
https://lab.parano1d.org/research/the-present-must-prove-the-past/

FROST-GKR
https://github.com/ignotusnemo/frost-gkr

Soundness certificate
https://github.com/ignotusnemo/parano1d-soundness

Edited 20 Aug 2026, 09:46 by ignotus

[Mask]

6 часов назад, ignotus сказал:

Это новый Layer 1, реализованный с нуля вокруг proof-native модели валидности состояния.

А в чём возникла необходимость нового блокчейна? Или это просто авторский проект с личными наработками?

[ignotus]

16 часов назад, Mask сказал:

А в чём возникла необходимость нового блокчейна? Или это просто авторский проект с личными наработками?

Для меня необходимость есть.
 

Вся «классическая» blockchain architecture строится на одном главном принципе: валидность настоящего выводится из накопленного прошлого.
 

Bitcoin делает это через replay UTXO history. Ethereum через исполнение chain history до текущего state. Zcash, Solana и другие различаются деталями, snapshots, pruning, checkpoints и sync-механизмами, но фундаментальная provenance-модель та же. Текущее состояние считается правильным потому, что оно является результатом правильной истории. Как следствие, вместе с возрастом сети растут требования к хранению, синхронизации и независимой проверке. В какой-то момент full node перестаёт быть обычной программой для пользователя и становится инфраструктурой. Для большинства крупных сетей этот момент уже наступил. Поэтому пользователи начинают зависеть от RPC, API, explorers и snapshots, которым приходится доверять. Вы доверяете? Я нет.
 

Кроме того, почти все планы постквантового перехода существующих блокчейнов остаются надстройкой над той же старой архитектурой. PQ signatures значительно больше классических, поэтому объём передаваемых, проверяемых и навсегда накапливаемых данных вырастет кратно. При этом простая замена подписи на PQ primitive сама по себе не создаёт доказанную end-to-end PQ безопасность. Для криптовалют это уже не просто вопрос замены подписи: защита должна охватывать всю validity path от genesis. И здесь всё снова упирается в ту же архитектуру.
 

Я хочу блокчейн, в котором обычный ноутбук может за секунды проверить валидность состояния сети от genesis, сегодня и через десятилетия, без доверия кому-либо. А не тратить дни на синхронизацию и replay истории. Постквантовый сразу. Не переделанный потом костылями. Изначально построенный с доказуемой end-to-end PQ корректностью всей validity path от genesis до любой высоты, а не с набором security targets и conjectures для отдельных primitives, выдаваемых за безопасность всей системы.
 

Я искал такую рабочую архитектуру и не нашёл.
Поэтому построил её сам.

Edited 11 Aug 2026, 09:06 by ignotus

[ignotus]

Исходный код открыт: https://github.com/ignotusnemo/parano1d
 

Цитата

Parano1d совершенно новая архитектура блокчейна. Здесь всё устроено иначе.

Зачем?

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

Новая архитектура и отказ от подписей и эллиптических кривых позволили сделать Parano1d постквантовым уже сегодня. Безопасность всей цепочки проверки, от genesis до любой высоты формально доказана на уровне NIST PQC Category 1.

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

Настоящее должно доказывать прошлое. Теперь оно это делает.

Инструкция по использованию кошелька: https://docs.parano1d.org/ru/wallet

Инструкция по майнингу: https://docs.parano1d.org/ru/mining
 

Edited 16 Aug 2026, 00:09 by ignotus

[ignotus]

Parano1d v2 testnet запущен

Публичная тестовая сеть Parano1d v2 запущена с нового genesis. Текущий релиз v2.1.0.

Это не косметическое обновление. P2P-слой, синхронизация, распространение блоков, обработка конкурирующих ветвей и mining readiness были полностью переработаны вокруг proof-native архитектуры Parano1d.
 

Теперь заголовки распространяются первыми и формируют Header DAG. После fork choice нода загружает точные block bodies, recursive terminals и State-объекты по content hash, причём разные части могут приходить от разных peers. Отключение одного источника не уничтожает план синхронизации и уже проверенный прогресс.
 

Короткие конкурирующие ветви применяются атомарно и требуют только один recursive terminal на выбранном tip. Live propagation, block objects и snapshot State разделены на независимые каналы с ограниченной нагрузкой, поэтому тяжёлая синхронизация не должна задерживать новые headers и блоки.
 

Каждый запущенный GUI или daemon является полноценной нодой и помогает распространять данные. Peer discovery, Kademlia, relay connections и восстановление соединений работают автоматически. Пользователю не нужно указывать публичный IP или настраивать отдельную сетевую роль.
 

Майнинг всегда следует за точным проверенным tip. Когда принимается новый parent, устаревшая работа отменяется, а proof и nonce pipeline переключаются на новый блок.
 

Block target увеличен до 20 секунд. Это даёт недорогим 4-vCPU нодам больше запаса для синхронизации, обслуживания peers и стабильной работы сети под нагрузкой.
 

Скачать Parano1d v2.1.0
 

https://github.com/ignotusnemo/parano1d/releases/tag/v2.1.0
 

Доступны GUI и Core-сборки для Linux x86-64, Linux ARM64, Windows x86-64, macOS Apple Silicon и macOS Intel.

GUI включает кошелёк, full node, Scope и встроенный CPU miner. Core archive содержит daemon, CLI и отдельный miner.

 

Исходный код

https://github.com/ignotusnemo/parano1d

Полное техническое описание P2P redesign

https://github.com/ignotusnemo/parano1d/pull/6

Документация кошелька

https://docs.parano1d.org/ru/wallet

Документация майнинга

https://docs.parano1d.org/ru/mining
 

Теперь нужен настоящий публичный стресс-тест. Запускайте ноды и майнеры, меняйте VPN, обрывайте соединения во время синхронизации, возвращайте ноды после долгого offline и пробуйте сломать сеть. В отчёте указывайте точную версию и прикладывайте строки лога либо название конкретной панели и статус в GUI.

Edited 17 Aug 2026, 20:14 by ignotus

[ignotus]

PARANO1D MAINNET 1.0.0

Запуск: 21 августа 2026 года, 16:00 UTC

Mainnet начнётся с нового genesis. Бинарники для Linux, Windows и macOS будут опубликованы за несколько часов до запуска. 
Ноды можно будет установить и запустить заранее, но майнинг автоматически откроется только в 16:00 UTC, одновременно с genesis.

Публичный testnet v2 выполнил свою задачу. Реальная нагрузка помогла найти и исправить проблемы P2P liveness и синхронизации, 
которые не проявлялись в локальных тестах. P2P, snapshot failover, reorg и mining readiness были переработаны и проверены под нагрузкой. 
Спасибо всем, кто запускал ноды, майнеры и присылал логи.

Mainnet является отдельной сетью. Балансы и награды testnet в неё не переносятся.

Средний block target: 20 секунд.

Релизы:
https://github.com/ignotusnemo/parano1d/releases

Исходный код:
https://github.com/ignotusnemo/parano1d

Документация:
https://docs.parano1d.org/ru/

Edited 20 Aug 2026, 09:49 by ignotus