Shared Settlement

Все Groves финализируются в общий Root. Ликвидность не фрагментируется, мостов не становится больше.

Clonal Redundancy

Состояние реплицируется через clone-группы. Сеть переживает потерю узлов без потери данных.

Data Availability

Каждый batch проходит DA sampling. Невозможно скрыть данные от сети.

Root Layer (L1)

Root — это корень безопасности. Он не исполняет транзакции приложений, а обеспечивает:

• BFT-финальность — stake-weighted quorum для финализации Grove state roots.

• Staking & Slashing — экономическая безопасность через PANDO.

• Data Availability — проверка доступности данных для каждого batch.

• Validator Registry — управление набором валидаторов и clone-групп.

• Cross-Grove Messaging — маршрутизация сообщений между Groves.

Grove Layer (L2)

Groves — это исполнительные среды. Каждая Grove:

• Исполняет транзакции — EVM-compatible или custom VM.

• Формирует batches — группирует транзакции для отправки в Root.

• Публикует state roots — коммитменты состояния для финализации.

• Имеет sequencer — узел, упорядочивающий транзакции.

• Может быть permissioned — для регулируемых сценариев (RWA, enterprise).

Секвенсоры Grove-сред

Роль: Упорядочивание транзакций и формирование batches.

Требования: Bond в PANDO, техническая инфраструктура.

Ответственность: Сбор транзакций, исполнение, публикация state roots и DA commitments.

Вознаграждение: Transaction fees внутри Grove.

Slashing: Invalid state transition, DA unavailability, censorship.

Группы репликации

Роль: Репликация состояния и обеспечение отказоустойчивости.

Требования: Хранение фрагментов состояния, участие в DA sampling.

Ответственность: Репликация, восстановление при потере узлов, проверка доступности.

Вознаграждение: Часть Root Stake Rewards за хранение и репликацию.

Slashing: Непредоставление данных при запросе.

Доказывающие и оспаривающие

Роль: Генерация fraud proofs и validity proofs.

Требования: Вычислительные ресурсы, bond для защиты от спама.

Ответственность: Мониторинг batches, оспаривание invalid state transitions.

Вознаграждение: Часть slashed stake при успешном оспаривании.

Slashing: Ложные оспаривания (false challenges).

Механизм

1. Erasure Coding — данные batch разбиваются на фрагменты с избыточностью 4x. Потеря до 75% фрагментов не мешает восстановлению.

2. KZG Commitments — криптографические коммитменты на полиномиальное представление данных. Позволяют проверить корректность фрагмента без раскрытия всех данных.

3. DA Sampling — Root Validators и Clone Groups случайным образом запрашивают фрагменты. Если фрагмент недоступен, batch отклоняется.

4. Challenge Mechanism — любой участник может оспорить DA в течение challenge window.

Attack Vector 1: Double Sign

Описание: Root Validator подписывает конфликтующие state roots для одного batch.

Mitigation: Slashing 100% stake validator'а. Публикация evidence в Root. Автоматическое исключение из validator set.

Detection: Любой узел может представить два подписанных сообщения как evidence.

Attack Vector 2: Invalid Batch Approval

Описание: Root Validators одобряют batch с некорректным state transition.

Mitigation: Challenge window 24h для fraud proofs. Slashing validators, одобривших invalid batch. Insurance fund для компенсации ущерба.

Detection: Provers / Challengers мониторят batches и оспаривают invalid transitions.

Attack Vector 3: DA Unavailability

Описание: Grove Sequencer публикует state root, но скрывает данные.

Mitigation: DA sampling при финализации. Если samples недоступны, batch отклоняется. Slashing sequencer'а.

Detection: Root Validators и Clone Groups запрашивают случайные фрагменты.

Attack Vector 4: Long-Range Attack

Описание: Атакующий с большим stake пытается переписать историю.

Mitigation: BFT finality делает перепись экономически нецелесообразной. Checkpointing через governance. Слабый субъективность (weak subjectivity) для новых узлов.

Detection: Сравнение с checkpoint'ами, социальный consensus.

Attack Vector 5: Censorship

Описание: Grove Sequencer не включает определённые транзакции.

Mitigation: Force inclusion mechanism: если транзакция не включена в N batches, она может быть отправлена напрямую в Root. Slashing за censorship.

Detection: Мониторинг mempool, статистика включения.

Attack Vector 6: Nothing-at-Stake

Описание: Validators подписывают все forks без риска.

Mitigation: Slashing за double sign делает подпись на нескольких forks рискованной. BFT finality предотвращает reorg после finality.

Detection: Evidence of signing on multiple forks.

Формирование групп

Clone-группы формируются при регистрации Grove. Каждая Grove имеет минимум 3 clone-группы. Узлы распределяются по группам на основе stake и geographic diversity.

Репликация состояния

Каждый фрагмент состояния хранится в replication factor узлах. При обновлении состояния все узлы clone-группы получают update. Erasure coding обеспечивает восстановление при потере.

Восстановление при потере

Если узел падает, clone-группа детектирует потерю через heartbeat. Фрагменты восстанавливаются из других узлов. Новый узел может присоединиться для восстановления replication factor.

Staking Model

Token: PANDO (1B total supply)

Staked Ratio Target: 60–70%

Lock Periods: 1, 2, 4, 8, 10 лет

Lock Multiplier: 1.0x – 2.0x (за 10 лет)

Reward Formula: Base emission × lock multiplier × performance score

Slashing: 5–100% в зависимости от нарушения

Cost of Attack

Для атаки на сеть атакующему нужно:

1. Купить ≥ 33% staked PANDO — при staked ratio 68% это ~22% total supply.

2. Потерять весь stake при slashing — double sign приводит к 100% потере.

3. Преодолеть challenge window — 24h для fraud proofs.

Вывод: Стоимость атаки превышает потенциальную выгоду при любой разумной оценке.

Safety

Определение: Два честных узла не финализируют конфликтующие state roots.

Гарантия: BFT quorum ≥ 67% обеспечивает safety при ≤ 33% Byzantine validators. Double sign приводит к slashing, что делает атаку экономически нецелесообразной.

Assumption: Менее 33% stake контролируется Byzantine actors.

Liveness

Определение: Сеть продолжает финализировать batches при наличии честного большинства.

Гарантия: При ≥ 67% honest validators сеть финализирует batches. Clonal redundancy обеспечивает доступность данных даже при потере узлов.

Assumption: Сеть не полностью разделена (network partition < 33%).

Finality

Определение: После финализации batch не может быть отменён без экономического ущерба.

Гарантия: Hard finality через BFT quorum. Reorg после finality требует ≥ 33% stake и приводит к slashing.

Assumption: Экономическая модель корректна (стоимость атаки > выгоды).

Data Availability

Определение: Данные финализированного batch доступны для проверки.

Гарантия: DA sampling с 8 samples и 4x erasure coding даёт вероятность ~99.99% обнаружения недоступных данных.

Assumption: Менее 75% фрагментов скрыто (при 4x redundancy).

ZK Integration

Переход от optimistic fraud proofs к validity proofs (ZK-SNARKs/STARKs). Это устранит challenge window и даст мгновенную finality. Требует решения по prover costs и verification time.

Privacy Layers

Privacy Groves с selective disclosure. Как обеспечить конфиденциальность транзакций, сохранив DA и auditability? Исследование ZK-based privacy и trusted execution environments.

Useful Work (PoUW)

Интеграция useful work в consensus: AI training, rendering, научные вычисления. Как совместить PoUW с BFT finality? Как оценивать корректность работы?

Scalability Limits

Какой максимальный TPS достижим при текущей архитектуре? Bottleneck: Root Layer finality. Исследование parallel finality и sharded Root.

Client Diversity

Несколько независимых клиентских реализаций для предотвращения single point of failure. Целевые языки: Rust, Go, TypeScript.

Protocol Upgrades

Как управлять обновлениями протокола без hard forks? Исследование on-chain governance с timelock'ами и guardian council для критических обновлений.