Standard cryptography protects messages and keys. This candidate asks whether every admitted change of a persistent digital identity can also carry a machine-verifiable certificate, a parent trace and observable fork evidence.
Стандартная криптография защищает сообщения и ключи. Этот кандидат спрашивает: может ли каждое допустимое изменение устойчивой цифровой личности нести машинно проверяемый сертификат, родительский след и наблюдаемое свидетельство развилки?
We do not replace AES, AEAD, HKDF, signatures or ratchets. We add one question before a state is accepted: is this transition admissible, attached to the observed parent, and independently auditable?
Мы не заменяем AES, AEAD, HKDF, подписи или храповики. Перед принятием состояния мы добавляем один вопрос: допустим ли этот переход, привязан ли он к наблюдаемому родителю и доступен ли независимой проверке?
The hypothesis is narrower than “a Salkutsan cipher”. The animated DL-04 trajectory remains a visualization of state dynamics; it is neither entropy nor a keystream. The candidate contribution is the signed admissibility certificate and authenticated continuity transcript.
Гипотеза уже, чем «шифр Салкуцана». Анимированная траектория DL-04 остаётся визуализацией динамики состояния; это не энтропия и не поток ключей. Кандидатный вклад — подписанный сертификат допустимости и аутентифицированный журнал непрерывности.
A receiver at epoch n accepts only n+1 attached to its current head. A stale snapshot is rejected locally.
Получатель в эпохе n принимает только n+1, привязанную к текущей вершине. Устаревший снимок локально отклоняется.
Two distinct certified heads with one identity, parent and epoch form explicit evidence. Global discovery still requires witnesses or a public log.
Две разные сертифицированные вершины с одной личностью, родителем и эпохой образуют явное свидетельство. Для глобального обнаружения всё ещё нужны свидетели или публичный журнал.
The Lean slice proves strict epoch growth and rejection of rollback under the stated successor relation. It does not prove real-world cryptographic security.
Lean-срез доказывает строгий рост эпох и отказ отката при заданном отношении наследования. Он не доказывает реальную криптографическую безопасность.
A private fork becomes evidence only when two incompatible, signed views of one slot meet.
Приватная развилка становится доказательством только тогда, когда встречаются два несовместимых подписанных представления одного шага.
Switch the scene. The same identity and parent either continue normally, attempt a stale rollback, or issue two different epoch-51 heads to isolated witnesses. Gossip does not choose the true branch; it proves that one continuous history is no longer possible.
Переключайте сцену. Одна и та же личность и родитель либо продолжаются нормально, либо пытаются вернуть устаревшее состояние, либо выдают две разные вершины эпохи 51 изолированным свидетелям. Gossip не выбирает истинную ветвь; он доказывает, что единой непрерывной истории больше нет.
The witness stores a compact signed view, not the private state or plaintext.
Свидетель хранит компактное подписанное представление, а не приватное состояние или открытый текст.
Detection requires both conflicting views to reach at least one honest comparison path.
Для обнаружения оба конфликтующих представления должны попасть хотя бы в один честный канал сравнения.
The physical layer does not encrypt the world. It makes a device's claimed past harder to rewrite without leaving evidence.
Физический слой не шифрует мир. Он мешает устройству переписать заявленное прошлое без наблюдаемого следа.
A TPM-class provider supplies a non-exportable signing key, protected epoch and measured state. SCCP binds them to the accepted parent and state heads; two independent witnesses compare the resulting receipts.
Провайдер класса TPM даёт неизвлекаемый ключ подписи, защищённую эпоху и измеренное состояние. SCCP связывает их с принятой родительской и новой вершинами, а два независимых свидетеля сравнивают полученные квитанции.
REFERENCE CODE ↗ · PHYSICAL PASSPORT ↗ · RFC 9334 ↗ · RFC 9683 ↗ · TCG TPM ↗
.lake / node_modules
fd · st_dev · st_ino
renameatx_np · RENAME_EXCL
0700 · openat · unlinkat
postcondition → HEAD → witness
The provider first isolates the identity already opened and checked. If the public name reappears, that replacement survives and the transition is rejected.
Provider сначала изолирует уже открытый и проверенный объект. Если публичное имя появляется снова, новая сущность остаётся нетронутой, а переход отклоняется.
target · identity · policy · nonce
XPC · euid · code requirement
launchd · root · narrow policy
request digest · result · HEAD
A JSON claim such as peerEuid=0 proves nothing. Admission uses root identity and code identity supplied by the authenticated operating-system channel, outside the payload.
JSON-заявление peerEuid=0 ничего не доказывает. Допуск использует root-личность и code identity, полученные от доверенного канала ОС вне payload.
The base layer has one action and exactly three predicates: self-validation, external validation and the safety contour.
В основании есть одно действие и ровно три предиката: самовалидация, внешняя валидация и контур безопасности.
Local guarantees: objective maximum among admissible candidates; protected invariants; rollback witness; learning only after post-verification.
Локальные гарантии: максимум цели среди допустимых кандидатов; защищённые инварианты; свидетельство отката; обучение только после постпроверки.
AZ-00 LEAN ↗ · LEAN CORE ↗ · SELECTOR ↗ · BLIND CORPUS ↗
AISO-02. CERTIFICATE → CSS ADMITTED TRANSITION → BOUND RECEIPT → VERIFY → LEARN · FORMAL BRIDGE ↗ · RUNTIME ↗
CONSTRAINED OPTIMIZATION ↗ · SHIELDING ↗ · SIMPLEX ↗ · NIST AI RMF ↗
| Shoulder | Опора | Already established | Уже существует | What remains ours to test | Что остаётся проверить нам |
|---|---|---|---|---|---|
| Signal / libsignal repository ↗ | Double Ratchet and production messaging primitives. | Double Ratchet и промышленные примитивы обмена сообщениями. | Not claimed: inventing a ratchet.Не заявляем изобретение храповика. | ||
| MLS / OpenMLS repository ↗ | Transcript hashes, key schedule, group state and standardized transitions. | Хеши журнала, расписание ключей, групповое состояние и стандартизованные переходы. | Per-transition domain admissibility tied to persistent identity.Доменная допустимость каждого перехода, связанная с устойчивой личностью. | ||
| Certificate Transparency RFC 9162 ↗ | Append-only Merkle inclusion and consistency evidence. | Включение и согласованность append-only журнала Меркла. | Compact witness protocol for private identity histories.Компактный протокол свидетелей для приватных историй личности. | ||
| HACL* / libcrux HACL* ↗ · libcrux ↗ | Verified implementations of established primitives. | Проверенные реализации известных примитивов. | Compose, do not replace; later refine the reference implementation.Комбинировать, а не заменять; позже уточнить эталонную реализацию. | ||
| Wycheproof test vectors ↗ | Adversarial test vectors for common cryptographic failures. | Состязательные тест-векторы для типичных криптографических ошибок. | Add protocol-level rollback, fork and certificate mutation corpus.Добавить корпус мутаций отката, развилки и сертификатов на уровне протокола. | ||
The DL-04 state trajectory is not a key, nonce, RNG or keystream.
Траектория DL-04 — не ключ, nonce, ГСЧ или поток ключей.
A private fork is detectable only after conflicting views meet.
Приватная развилка обнаруживается только после встречи конфликтующих представлений.
Compromised devices, key exfiltration, side channels and weak randomness remain threats.
Компрометация устройства, утечка ключей, побочные каналы и слабая случайность остаются угрозами.
v0.1 is review code and a falsifiable research object, not a security product.
v0.1 — код для проверки и опровержимый исследовательский объект, а не защитный продукт.