Модель безопасности
Proof of Work упорядочивает допустимые переходы. Рекурсивные доказательства устанавливают валидность, но не заменяют выбор по накопленной работе и границу финальности 18 блоков. Передача State проверяется по аутентифицированным корням, а не считается доверенной потому, что её предоставил сид.
Что доказывается
Терминал покрывает точные инкарнации входов, пустоту выходов, сохранение стоимости, комиссии, эмиссию, политику контракта, переход целочисленной программы, корень State и происхождение. Обычный вход требует секрет владельца; контрактный — активное полномочие, выбранное политикой и высотой включения. Секрет уполномоченной стороны не отменяет программу, режимы ветвей и лимиты.
Кошелёк доказывает знание секрета с привязкой к логической транзакции, майнер — публичную схему и связь с родителем. Узлы проверяют и материализуют результат. Верный nonce не исправляет неверное доказательство.
Ресурсная оценка рекурсивного происхождения
Расчёт относится к сохранённому банку происхождения:
c2a6df736b0d0da22e285b6930b11cf44b520d65b52c7dfe78f44fe0cd48e76e.
Расчёт по исходникам учитывает кошелёк, старое происхождение, History и два
сведения для отказа от старых матриц. Он покрывает 20 типизированных событий
ошибки и не удаляет старые члены оценки при удалении байтов матриц.
| Величина | Итоговый банк |
|---|---|
| Ресурсная оценка | NIST PQC Category 1, при предпосылках |
| log2 доминирующей границы стоимости gate-depth при половинном успехе | 173.3897612554174 |
| Идеальная граница успеха в эталонном конверте Category 1 | примерно 0.04937388373372754 |
Таблица содержит границу стоимости и вероятность успеха в одном эталонном конверте. Доминирующий член связан с запросом сведения происхождения.
Сохраняются предпосылки композиции всех корней, идеального компилятора, фиксированной дельты Poseidon2b, цены пакетного ответа и скалярной стоимости. Дополнительно требуется честная публичная предобработка обоих старых ключей из аутентифицированных канонических матриц. Одного хеша матрицы рядом с произвольными корнями недостаточно. Это математическая ресурсная оценка при перечисленных выше предпосылках.
C1 использует 65 запросов кошелька и 133 History, алгебраические вызовы из множества со следом один размера 2^255 в GF(2^256). Арифметика трассы — GF(2^128). Контракт добавляет детерминированные ограничения, а не отдельный протокол Fiat–Shamir на приложение. Общий ABI не гарантирует соответствия собственной политики намерениям её автора.
Вывод и команда воспроизведения и точные записи итогового банка фиксируют предпосылки, входы и рациональные границы. Соответствие исходникам рассматривается вместе с предпосылками фиксированного хеша и цены ответа.
Криптографические условия
Каждая попытка авторизации использует независимую энтропию ОС и расходует приватное состояние PCS. Утверждение Owner связано с точным намерением. Криптографический обзор описывает предпосылки фиксированного хеша и системы доказательств.
Аутентифицированное происхождение
Доказательство происхождения связывает точную выбранную границу цепи. Проверяющий проверяет сертификат по независимо закреплённым ключам предобработки и сохраняет эту связь рекурсивно. Реорганизация обновляет происхождение и откатывает вытесненные выходы и квитанции в пределах финальности.
Узел содержит сохранённый проверочный банк, финансовый банк трёх классов, аутентифицированные метаданные и доказательство происхождения. Высота выбирает схему. Байты матриц выводятся из пакета через проверенный сертификат с нужными закреплёнными ключами. См. материалы сборки.
Кошелёк, доказательства и сеть
Защищайте 256-битный мастер-секрет. Узнавший его получает те же полномочия расходования с теми же ограничениями контракта. Консенсус не отличает владельца от атакующего с тем же секретом.
Условия и квитанции — отдельные публичные данные. Секрет не восстанавливает потерянную программу или пропущенного преемника по хешу. Платёжные квитанции сохраняют доказательство платежа; раскрытие контракта может также требоваться для расходования. См. восстановление.
Транзакции, суммы, владельцы и публичные программы прозрачны, пока доступны; третьи стороны могут их архивировать. ZK скрывает свидетель секрета, а не публичное утверждение реестра.
Ed25519-идентичности узлов защищают только транспорт. DNS-сиды находят соседей, но не авторизуют транзакции и не определяют цепь. Разнообразие соединений, пределы сообщений и поэтапная синхронизация ограничивают ресурсы. Держите RPC владельца локальным, защищайте данные и используйте независимых соседей.