Manyleb Protocol qub

Mae qub yn brotocol ar gyfer ymrwymiadau amserol cryptograffig: system ar gyfer selio geiriau i ddyddiad yn y dyfodol a phrofi, pan fydd y dyddiad hwnnw'n cyrraedd, yn union beth a ddywedwyd a phryd.

Mae tri phrimitif yn gwneud i hyn weithio. Mae drand yn oleudy hap datganoledig — mae'r dyddiad datgelu yn orfodadwy gan ffiseg, nid gan ewyllys da unrhyw barti. Mae storfa gyhoeddus barhaol yn storfa gyhoeddus gwrth-ymyrryd — ni all unrhyw barti olygu na dileu qub unwaith y mae wedi'i selio. Mae ML-DSA-65 yn lofnod digidol ôl-gwantwm — mae pob qub wedi'i glymu wrth bâr o allweddi nad yw eu cyfrinach byth yn gadael dyfais yr awdur.

Gyda'i gilydd, mae'r primitifau hyn yn gwneud datganiad sydd wedi'i gloi-amser, yn dystiolaeth o ymyrraeth, ac yn briodoladwy — derbynneb y mae ei gwerth yn tyfu wrth i allu'r byd i ffugio'r gorffennol wella.

Mae gweddill y ddogfen hon yn fanyleb normadol sy'n ofynnol ar gyfer gweithrediadau rhyngweithredadwy.

Manyleb Protocol qub

Y ddogfen hon yw'r fanyleb protocol normadol ar gyfer system ymrwymiad amserol qub. Mae'n diffinio strwythurau data, rheolau cyfresoli, fformiwlâu deilliad, a gweithdrefnau dilysu sy'n ofynnol ar gyfer gweithrediadau rhyngweithredadwy.

Cwmpas: mae haen y protocol yn fwriadol-niwtral o ran iaith — bytes plaen / markdown / cytundeb yw corff y qub yn ddi-ddehongli, ac mae rendro ymwybodol-o-leoliad yn gyfrifoldeb y gwyliwr (ap gwe qub.social, iframe <qub-embed>, cleientiaid MCP, ac ati).

1. Nodiant a Chonfensiynau

Mae pob cyfanrif mewn strwythurau preimage wedi'u hamgodio fel araeau byte big-endian o led sefydlog (i64 → 8 byte, u8 → 1 byte) oni nodir fel arall.

Mae pob amserlin yn eiliadau Unix yn UTC.

2. Strwythurau Data

2.1 ComposeQub (Cyflwr Yn-Cof y Crëwr)

Heb ei gyfresoli i CBOR. Heb ei ysgrifennu i storfa parhaol. Lleol i ap y crëwr.

ComposeQub {
    draft_id:       [u8; 16],        // Random, generated locally
    created_at:     i64,             // Unix seconds UTC
    unlock_at:      Option<i64>,     // Unix seconds UTC; None while composing
    visibility:     u8,              // 0x01 = public (only value in MVP)
    content_type:   u8,              // 0x01 = text (only value in MVP)
    plaintext:      Vec<u8>,         // UTF-8 qub body
    sender_label:   Option<String>,  // Decorative display name; not authenticated
    status:         DraftStatus,     // Composing | Sealed | Uploaded | Failed
}

2.2 QubEnvelope (Llwyth Tâl wedi'i Ddatgryptio)

Wedi'i gyfresoli gan ddefnyddio CBOR safonol (§3). Wedi'i amgryptio y tu mewn i'r SealedQub. Dyma'r strwythur sy'n profi cywirdeb cynnwys ar ôl datgryptio.

QubEnvelope {
    version:             u8,              // Protocol major version (0x01 for v1)
    qub_id:              [u8; 32],        // Derived (see §4.1)
    content_type:        u8,              // Content type registry (see §6)
    created_at:          i64,             // Unix seconds UTC
    unlock_at:           i64,             // Unix seconds UTC
    outcome_at:          Option<i64>,     // V1.1 — pan fydd realiti'n cynnig dyfarniad (verdict-uplift-plan §3.1)
    sender_label:        Option<String>,  // Decorative; not authenticated in MVP
    reply_to:            Option<[u8; 32]>,// Parent qub_id for reply chains; not in qub_id preimage; not signed (see §9.3)
    body:                Vec<u8>,         // Content payload (UTF-8 for text, CBOR for pact)
    body_hash:           [u8; 32],        // SHA3-256(body) (see §4.2)
    sig_alg:             u8,              // Signature algorithm (see §9.2)
    author_signature:    Option<Vec<u8>>, // Set when sig_alg != 0x00
    author_pubkey:       Option<Vec<u8>>, // Set when sig_alg != 0x00
    cosigner_pubkey:     Option<Vec<u8>>, // Set for cosigned pact bilateral agreements
    cosigner_signature:  Option<Vec<u8>>, // Set for cosigned pact bilateral agreements
}

Sylfaen (qub testun heb ei lofnodi): version = 0x01, content_type = 0x01, sig_alg = 0x00, pob maes Option yn absennol.

Cyfluniadau v1 eraill: content_type = 0x03 (corff cytundeb, gweler §6.1); sig_alg = 0x01 (ML-DSA-65) gydag author_signature ac author_pubkey yn bresennol (gweler §9.3); cosigner_pubkey a cosigner_signature yn bresennol gyda'i gilydd ar gyfer cytundebau wedi'u cyd-arwyddo (gweler §9.7); reply_to wedi'i osod i qub_id y qub rhiant ar gyfer qubs cadwyn-ateb (gweler §9.3 am oblygiadau cwmpas y llofnod).

2.3 SealedQub (Fformat Gwifren Safonol)

Wedi'i gyfresoli gan ddefnyddio CBOR safonol (§3). Wedi'i ysgrifennu i storfa parhaol. Dyma'r arteffact ar-y-gadwyn.

SealedQub {
    version:           u8,              // Protocol major version (0x01 for v1)
    qub_id:            [u8; 32],        // Same as QubEnvelope.qub_id
    visibility:        u8,              // 0x01 = public; v1 viewers reject other values
    unlock_at:         i64,             // Unix seconds UTC
    outcome_at:        Option<i64>,     // V1.1 — yn ymddangos ar y CTA gwylio-dyfarniad
                                        //   cyn datgelu; yn adlewyrchu QubEnvelope.outcome_at;
                                        //   wedi'i rwymo i qub_id trwy preimage §4.1.
    drand_chain_id:    String,          // drand chain hash (hex string)
    drand_round:       u64,             // Target drand round number
    tlock_ciphertext:  Vec<u8>,         // tlock-encrypted QubEnvelope CBOR bytes
    recipient_pubkey:  Option<[u8; 32]>,// Reserved field; accepted by canonical CBOR
                                        //   but not interpreted by the v1 reference viewer
    title:             Option<String>,  // Plaintext title surfaced on the viewer
                                        //   countdown before reveal. Bound to qub_id
                                        //   via title_hash (§4.1). 1..=100 NFC code
                                        //   points, no control characters.
}

2.4 RevealedQub (Cyflwr Cymhwysiad y Gwyliwr)

Heb ei gyfresoli i CBOR. Lleol i ap y gwyliwr. Adeiladwyd ar ôl datgryptio a dilysu llwyddiannus.

RevealedQub {
    qub_id:              [u8; 32],
    arweave_tx_id:       String,
    visibility:          u8,
    content_type:        u8,
    created_at:          i64,
    unlock_at:           i64,
    outcome_at:          Option<i64>,       // V1.1 — wedi'i gario ymlaen o QubEnvelope.outcome_at / SealedQub.outcome_at; yn gyrru bloc gwylio-dyfarniad tudalen y datgeliad (verdict-uplift-plan §5.1)
    drand_chain_id:      String,
    drand_round:         u64,
    sender_label:        Option<String>,
    title:               Option<String>,    // Carried forward from SealedQub.title
    reply_to:            Option<[u8; 32]>,
    body:                Vec<u8>,
    body_hash:           [u8; 32],
    body_hash_verified:  bool,
    author_signature:    Option<Vec<u8>>,
    author_pubkey:       Option<Vec<u8>>,
    signature_verified:  Option<bool>,
    cosigner_pubkey:     Option<Vec<u8>>,
    cosigner_signature:  Option<Vec<u8>>,
    cosigner_verified:   Option<bool>,
}

3. Proffil CBOR Safonol

RHAID i bob cyfresoli SealedQub a QubEnvelope gydymffurfio â'r proffil hwn. RHAID i ddau weithrediad sy'n derbyn yr un strwythur rhesymegol gynhyrchu bytes union yr un fath.

3.1 Rheolau Amgodio

3.2 Trefn Allweddi Safonol wedi'u Dilysu

Mae'r trefnau allweddi hyn yn normadol. RHAID i weithrediadau allyrru allweddi yn union y drefn hon. DYLAI haeriadau dadfygio ddilysu trefnu mewn adeiladau di-ryddhad.

QubEnvelope (fersiwn 0x01, heb ei lofnodi, pob maes dewisol yn absennol):

"body"                (5 encoded bytes)
"qub_id"              (7 encoded bytes)
"sig_alg"             (8 encoded bytes)
"version"             (8 encoded bytes)
"reply_to"            (9 encoded bytes)   ← only if present (reply chains)
"body_hash"           (10 encoded bytes)
"unlock_at"           (10 encoded bytes)
"created_at"          (11 encoded bytes)
"outcome_at"          (11 encoded bytes)  ← only if present (V1.1 verdict mechanic)
"content_type"        (13 encoded bytes)
"sender_label"        (13 encoded bytes)  ← only if present
"author_pubkey"       (14 encoded bytes)  ← only if present
"cosigner_pubkey"     (16 encoded bytes)  ← only if present (pact cosign)
"author_signature"    (17 encoded bytes)  ← only if present
"cosigner_signature"  (19 encoded bytes)  ← only if present (pact cosign)

Deilliad trefn allwedd QubEnvelope: mae pob allwedd yn llinyn testun CBOR. Hyd amgodedig = pennawd 1 byte + hyd y llinyn (ar gyfer llinynnau o dan 24 byte). Trefnwch yn ôl cyfanswm hyd amgodedig yn gyntaf, yna'n lecsicograffig ar gyfer allweddi o'r un hyd.

SealedQub (fersiwn 0x01, cyhoeddus, dim derbynnydd):

"title"             (6 encoded bytes)   ← only if present
"qub_id"            (7 encoded bytes)
"version"           (8 encoded bytes)
"unlock_at"         (10 encoded bytes)
"outcome_at"        (11 encoded bytes)  ← only if present (V1.1 verdict mechanic)
"visibility"        (11 encoded bytes)
"drand_round"       (12 encoded bytes)
"drand_chain_id"    (15 encoded bytes)
"recipient_pubkey"  (17 encoded bytes)  ← only if present
"tlock_ciphertext"  (17 encoded bytes)

PactTerms (corff cytundeb, content_type 0x03):

"notes"         (6 encoded bytes)  ← only if present
"terms"         (6 encoded bytes)
"title"         (6 encoded bytes)
"party_a"       (8 encoded bytes)
"party_b"       (8 encoded bytes)
"pact_version"  (13 encoded bytes)

PactTerm (rhes o'r arae terms):

"key"    (4 encoded bytes)
"value"  (6 encoded bytes)

PartyIdentifier (map party_a / party_b):

"label"    (6 encoded bytes)
"contact"  (8 encoded bytes)  ← only if present

3.3 Cyfeirnod Amgodio Byte

4. Deilliadau Normadol

4.1 qub_id

Mae'r qub_id yn adnabod qub yn unigryw ac yn rhwymo'r QubEnvelope i'r SealedQub. Mae'n cael ei ddeillio'n benderfynol o gynnwys yr amlen.

qub_id = SHA3-256(
    "QUB_ID_V2"    ||    // domain separator: ASCII bytes [0x51 0x55 0x42 0x5F 0x49 0x44 0x5F 0x56 0x32] (9 bytes) + 0x00 padding (1 byte) = 10 bytes
    version        ||    // u8 (1 byte)
    content_type   ||    // u8 (1 byte)
    created_at     ||    // i64 big-endian (8 bytes)
    unlock_at      ||    // i64 big-endian (8 bytes)
    outcome_at_or_zero || // i64 big-endian (8 bytes; 0 when outcome_at is absent)
    drand_round    ||    // u64 big-endian (8 bytes)
    body_hash      ||    // [u8; 32] (32 bytes)
    title_hash           // [u8; 32] (32 bytes; absent-sentinel = [0u8; 32])
)
// Total preimage: 108 bytes → 32-byte output

Amgodio gwahanydd parth: Mae'r llinyn "QUB_ID_V2" yn 9 byte ASCII. Caiff un byte padin 0x00 ei atodi i gyrraedd 10 byte ar gyfer aliniad. RHAID i weithrediadau ddefnyddio'r 10 byte union hyn: [0x51, 0x55, 0x42, 0x5F, 0x49, 0x44, 0x5F, 0x56, 0x32, 0x00].

Amgodio outcome_at: Estynnodd V1.1 y preimage o 92 i 100 byte er mwyn plygu'r maes outcome_at dewisol i mewn i'r rhwymo. Caiff outcome_at absennol ei amgodio fel 8 byte sero; mae dilyswyr y protocol yn gwrthod outcome_at <= 0 ym mhob man fel na all yr arwydd hwn wrthdaro â gwerth dilys. Gweler §3.2 (fformat gwifren) a'r tasks/verdict-uplift-plan.md yn-y-goeden am y mecanwaith dyfarniad sy'n cymell y maes hwn.

Amgodio drand_round: Estynnodd V1.2 y preimage o 100 i 108 byte er mwyn plygu drand_round (y rownd drand darged, §4.3) i mewn i'r rhwymo, a chododd y gwahanydd parth i QUB_ID_V2. Mae hyn yn rhwymo rownd y clo amser i mewn i hunaniaeth y qub: ni all porth ail-rwymo'r cyphertext i rownd wahanol (e.e. un sydd eisoes wedi pasio) na'r hyn y mae'r unlock_at a ddangosir yn ei awgrymu. Mae'r weithdrefn datgloi (§8) hefyd yn dilysu bod y rownd sydd wedi'i phobi i mewn i stanza cyphertext tlock yn cyfateb i unlock_round(unlock_at), felly mae'r amser datgloi a ddangosir yn brofadwy yn rownd sy'n gatio'r datgryptio.

Priodweddau:

• Mae newid unrhyw faes yn y QubEnvelope (corff, amserlinau, math cynnwys, fersiwn) yn cynhyrchu qub_id gwahanol.
• Caiff y qub_id ei gyfrifo cyn amgryptio. Mae'r QubEnvelope a'r SealedQub yn cario'r un qub_id. Mae'r gwyliwr yn dilysu eu bod yn cyfateb ar ôl datgryptio.
• Nid yw qub_id yn dibynnu ar sender_label, author_signature, nac author_pubkey. Mae hyn yn golygu bod yr un cynnwys wedi'i selio ar yr un pryd yn cynhyrchu'r un qub_id waeth pwy sy'n ei lofnodi.
• Mae newid title y SealedQub (gyda phopeth arall wedi'i sefydlogi) yn newid qub_id trwy title_hash. Felly ni all porth (gateway) gyfnewid y teitl plaen a ddangosir ar y cyfrif i lawr heb ddilysu hunaniaeth y qub.
• Mae newid outcome_at y SealedQub (gyda phopeth arall wedi'i sefydlogi) yn newid qub_id trwy'r preimage. Ni all porth gyfnewid y dyddiad dyfarniad cyn-datgelu a ddangosir ar y cyfrif i lawr heb ddilysu hunaniaeth y qub.
• Mae newid drand_round (gyda phopeth arall wedi'i sefydlogi) yn newid qub_id trwy'r preimage. Ni all porth ail-rwymo cyphertext y clo amser i rownd wahanol heb annilysu hunaniaeth y qub; ynghyd â gwiriad rownd-stanza amser-datgloi §8, mae'r unlock_at a ddangosir yn rownd sy'n gatio'r datgryptio mewn gwirionedd.

4.2 body_hash

body_hash = SHA3-256(body)

Ble mae body yn llwyth tâl cynnwys Vec<u8> amrwd. Ar gyfer qubs testun, dyma yw corff y qub wedi'i amgodio UTF-8.

4.2.1 title_hash

title_hash = SHA3-256(NFC(title).utf8_bytes)   if title is present
title_hash = [0u8; 32]                         if title is absent

Ble mae title yn deitl plaen dewisol a wynebir ar gyfrif i lawr y gwyliwr cyn datgelu (gweler §3.2). Mae normaleiddio NFC yn rhedeg ar amser hash fel bod y crynodeb yn sefydlog ar draws dilyniannau pwyntiau côd sy'n weledol-gyfartal. Mae'r sentinel cyfan-zerod wedi'i gadw ar gyfer yr achos absennol; mae llinyn gwag yn cael ei wrthod ar ffin CBOR safonol fel amgodiad an-safonol o "absennol" (mae'r amgodiad safonol yn hepgor y maes yn gyfan gwbl).

4.3 Mapio Rownd-Datgloi

drand_round = ceil((unlock_at - chain_genesis_time) / chain_period_seconds)

Mae'r gweithred ceil() yn dewis y rownd drand gyntaf y mae ei hamser datgelu ≥ unlock_at. Mae hyn yn sicrhau nad yw'r qub yn dod yn datgryptiadwy cyn yr amser datgloi a ddewiswyd.

Achos ymylol: os yw (unlock_at - chain_genesis_time) yn union rannadwy gan chain_period_seconds, y canlyniad yw'r union rownd honno — mae'r qub yn datgloi'n union ar amser datgelu y rownd honno.

Dilysu: RHAID i unlock_at fod yn y dyfodol ar amser selio. RHAID i unlock_at BEIDIO â bod yn fwy na 10 mlynedd o created_at (i gyfyngu risg dibyniaeth drand-hir-orwel; DYLAI'r UI rybuddio ar gyfer dyddiadau datgloi y tu hwnt i 2 flynedd).

5. Newtypes Fformat Gwifren

Mae newtypes fformat gwifren yn darparu diogelwch amser-crynhoi rhag cymysgu bytes CBOR â JSON, testun plaen amrwd, neu amgodiadau byte eraill.

5.1 Rheolau Adeiladu

// Production code — only through CBOR serialisers:
let sealed = SealedQubCbor::from_encoded(cbor_bytes);

// There is deliberately NO From<Vec<u8>> implementation.
// You cannot accidentally wrap arbitrary bytes in a wire format type.

// Accessing raw bytes:
let bytes: &[u8] = sealed.as_bytes();
let bytes: Vec<u8> = sealed.into_bytes();

5.2 Dilysu ar Adeiladu

DYLAI from_encoded() ddilysu bod y mewnbwn yn dechrau gyda phennawd map CBOR dilys. Mae dilysu strwythurol llawn yn digwydd ar amser parsio, nid amser adeiladu, er mwyn osgoi parsio-dwbl.

6. Cofrestrfa Math Cynnwys

RHAID i wylwyr wrthod mathau cynnwys anhysbys gyda gwall clir-weladwy i'r defnyddiwr. RHAID i wylwyr BEIDIO â cheisio rendro mathau anhysbys fel testun.

6.1 Corff Cytundeb (content_type = 0x03)

Mae corff cytundeb yn amgodiad CBOR safonol o werth PactTerms:

PactTerms {
    pact_version:  u8,                    // 0x01 for structured/v1
    title:         String,                // ≤ 200 bytes, NFC
    terms:         Vec<PactTerm>,         // ≤ 20 rows
    party_a:       PartyIdentifier,       // initiator
    party_b:       PartyIdentifier,       // counter-signer
    notes:         Option<String>,        // ≤ 5,000 bytes, NFC; absent key if none
}

PactTerm       { key: String (≤ 100), value: String (≤ 2,000) }   // NFC on both sides
PartyIdentifier{ label: String (≤ 100), contact: Option<String (≤ 320)> }

Rhoddir trefnau allwedd CBOR safonol y tri map yn §3.2. RHAID i gyfanswm CBOR cytundeb wedi'i gyfresoli BEIDIO â mynd y tu hwnt i 100 KB (yn cyfateb â §6).

Gwahaniaethydd sgema. RHAID i'r rhes gyntaf yn terms ar gyfer cytundeb structured/v1 fod yn { key: "pact_schema", value: "structured/v1" }. Mae rhesi heb yr arwydd hwn yn gytundebau "personol" ac nid ydynt yn derbyn dilysu strwythuredig na rendro sgema-ymwybodol.

Tyllau cydnabyddiaeth wedi'u rhewi. Mae cytundebau structured/v1 yn cario'n union bedair rhes cydnabyddiaeth o dan yr allweddi hyn:

"initiator_standard_terms"
"initiator_capacity_terms"
"counterparty_standard_terms"
"counterparty_capacity_terms"

Mae'r value ar gyfer pob un yn un o wyth llinyn Saesneg wedi'u rhewi a ddewiswyd gan y pâr (rôl, math), ble mae rôl ∈ { seller, buyer, provider, client } a math ∈ { standard, capacity }. Mae'r llinynnau eu hunain yn ddata protocol normadol — mae llofnodion ML-DSA-65 y ddau barti yn ymrwymo i'r bytes union trwy body_hash. NID ydynt wedi'u lleoleiddio; mae'r corff wedi'i lofnodi yn iaith-niwtral. Mae unrhyw newid geiriad yn gofyn am fersiwn sgema newydd (structured/v2).

Mae'r wyth llinyn, eu chwilio (acknowledgement_for(role, kind)), a'r rhesymeg ar gyfer pob un wedi'u pinio gan y gweithrediad cyfeirio. RHAID i weithrediadau cydymffurfiol allyrru gwerthoedd cydnabyddiaeth byte-fath; mae profion hash-corff SHA3-256 ffigwr-aur sy'n cwmpasu pob un o'r pedwar cyfuniad rôl yn dal unrhyw ddrifft.

Trefn arddangos y gwyliwr. Mae'r llinynnau cydnabyddiaeth yn cynnwys ymadroddion fel "described above", sy'n rhagdybio bod y rhesi disgrifiad / cwmpas yn rendro o flaen y cydnabyddiaethau. RHAID i wylwyr rendro'r arae terms yn nhrefn CBOR; mae ail-drefnu yn torri semanteg y rhyddiaith.

Cyswllt y gwrthbarti. Pan fydd contact Parti B yn gyfeiriad e-bost dilys, mae'r gwasanaeth uwchlwytho qub yn anfon e-bost gwahoddiad adolygu / cyd-arwyddo yn awtomatig ar amser llwyfannu ac yn rhwymo'r cyd-arwydd terfynol i ddilysu'r un cyfeiriad hwnnw (§9.7). Gellir cyd-arwyddo cytundebau y mae cyswllt Parti B yn absennol ynddynt, ond dim ond trwy sianel allan-o-fand — mae'r gwasanaeth yn gwrthod ceisiadau cyd-arwyddo na allant gynhyrchu marciwr dilysu-e-bost 15-munud cyfatebol.

6.2 Corff Dyfarniad (content_type = 0x04)

Mae corff dyfarniad yn amgodiad CBOR safonol o werth VerdictBody:

VerdictBody {
    verdict_version: u8,                  // 0x01 for structured/v1
    outcome:         u8,                  // 1=Right · 2=Partial · 3=Wrong · 4=Unfalsifiable
    reflection:      Option<String>,      // ≤ 2,000 bytes NFC; "what changed, what did you learn"
    evidence_url:    Option<String>,      // ≤ 2,048 bytes; HTTPS only; absent key when omitted
}

Trefn allwedd CBOR safonol:

"outcome"          (8 encoded bytes)
"reflection"       (11 encoded bytes)  ← only if present
"evidence_url"     (13 encoded bytes)  ← only if present
"verdict_version"  (16 encoded bytes)

RHAID i gyfanswm CBOR dyfarniad wedi'i gyfresoli BEIDIO â mynd y tu hwnt i 8 KB (yn cyfateb â'r rhes gofrestrfa uchod).

Enwm canlyniad. Mae'r byte gwifren yn fwriad-niwtral; mae'r pedwar bwced Right / Partial / Wrong / Unfalsifiable yn cwmpasu gofod canlyniad pob bwriad sy'n dwyn dyfarniad. Mae labeli fesul-bwriad ("Wedi'i alw'n iawn" / "Fe'i cedwais" / "Wedi'i gyflenwi" / "Wedi'i gadarnhau" ar gyfer Right, ac yn y blaen) yn fater rendro ochr-y-gwyliwr a ddatrysir yn erbyn bwriad y qub rhiant — mae'r wifren yn aros yn iaith- a bwriad-niwtral. RHAID gwrthod gwerthoedd y tu allan i 1..=4 wrth ddatgodio.

Cyswllt â'r rhiant. NID yw qub dyfarniad yn cario'r cyfeirnod rhiant yn ei gorff. Allyrrir id trafodiad Arweave y qub rhiant fel y tag storio Parent-Tx-Id ar amser uwchlwytho (haen tag storio §7). Mae hyn yn cadw'r corff yn ddatganiad llofnodedig hunangynhwysol o hunan-asesiad; sefydlir y gadwyn archwilio ("iawn am beth?") trwy'r chwiliad-tag Arweave.

Diogelwch URL tystiolaeth (normadol). Pan fydd evidence_url yn bresennol, RHAID i ddilyswyr (ochr-cyfansoddi, ochr-wifren, ymyl y Worker) orfodi:

1. HTTPS yn unig. RHAID i'r llinyn ddechrau gyda'r dilyniant beit https://. Caiff unrhyw gynllun arall — http, ftp, javascript, data, file, ac yn y blaen — ei wrthod.
2. Cap hyd. ≤ 2,048 beit (terfyn URL ymarferol y porwr).
3. Gwiriad NFC + nodbwynt gelyniaethus. Yr un rheol â title a reflection — gwrthodir nodbwyntiau bidi-override / lled-sero / tag-bloc / BOM / C0 / C1. Mae'r diffiniad yn cyfateb i'r crate::handle::contains_hostile_text_codepoint Rust ac i'r workers/api/src/utils/unicode.ts::isHostileCodepoint TS (cadwch nhw mewn cydgam).
4. Dim gofod gwyn, dim rheolyddion ASCII. Gwrthodir gofod gwyn / DEL / beitiau is-0x20 unrhyw le yn yr URL — yn cau'r fector chwistrellu \n/\t nad yw'r rheol bidi yn ei orchuddio.
5. Segment gwesteiwr nad yw'n wag. RHAID i bopeth rhwng https:// a'r /, ?, neu # cyntaf fod yn anwag.

Dim nôl ochr-gweinydd. RHAID i'r Worker BEIDIO â dirprwyo, nôl, na rhagolygu'r URL. Mae'r protocol yn storio llinyn; mae'r rendro'n digwydd ochr-y-gwyliwr gyda rel="nofollow noopener noreferrer" target="_blank" a gwesteiwr gweladwy wedi'i arddangos ochr yn ochr â thestun y ddolen.

Myfyrdod. Testun myfyrdod dewisol wedi'i ysgrifennu gan y crëwr ("beth a newidiodd, beth a ddysgoch"). Yr un dilysu NFC + nodbwynt gelyniaethus â title. Mae mewnbwn gwag / gofod-gwyn yn unig yn cwympo i absennol ar amser adeiladu.

Fersiwn sgema. Mae v1 yn cefnogi verdict_version = 0x01 yn unig. Mae diwygiadau sgema yn y dyfodol yn codi'r beit hwn ac yn glanio ochr yn ochr â fersiwn protocol newydd fesul §12.

7. Protocol Selio

Y dilyniant selio cyflawn. Mae pob cam yn normadol.

 1. User composes plaintext and metadata in ComposeQub.
 2. Validate:
    a. body is non-empty.
    b. body size ≤ max for content_type and user tier (see §6).
    c. unlock_at is in the future.
    d. unlock_at ≤ created_at + 10 years.
    e. content_type is a known, supported value.
 3. Compute body_hash = SHA3-256(body).
 4. Set created_at = current Unix seconds UTC.
 5. Select drand chain. Load chain_genesis_time and chain_period_seconds, and
    compute drand_round = ceil((unlock_at - chain_genesis_time) / chain_period_seconds).
    (Computed here, before qub_id, because drand_round is bound into the qub_id
    preimage — §4.1, V1.2.)
 6. Compute qub_id (see §4.1), folding in drand_round from step 5.
 7. Construct QubEnvelope with all fields.
 8. Serialise QubEnvelope using canonical CBOR → bytes B.
    Assert: serialised output matches canonical profile (§3).
 9. Compute C = tlock_encrypt(B, drand_round, drand_chain_public_key).
10. Construct SealedQub with tlock_ciphertext = C, and matching qub_id, version,
    unlock_at, drand_chain_id, drand_round.
12. Serialise SealedQub using canonical CBOR → SealedQubCbor.
12a. Generate K = 32 random bytes (CSPRNG) and N = 12 random bytes (CSPRNG).
     Compute W = wrap_sealed_qub(SealedQubCbor, qub_id=qub_id, key=K, nonce=N)
     per §13. The bytes uploaded to permanent storage are the OuterWrapper CBOR W,
     never the bare SealedQubCbor. K leaves the device only as the URL
     fragment in step 16.
13. Display seal-time disclosure. User confirms.
14. Validate upload eligibility via the qub upload service (bot-detection, entitlement, rate limits).
15. Submit W (the OuterWrapper bytes) to the qub upload service; the service
    signs and uploads to permanent storage. The service is byte-blind to the inner
    SealedQubCbor and never receives K.
16. Receive arweave_tx_id from the service. Construct delivery URL as
    `<origin>/c/<arweave_tx_id>#<base64url(K)>` (or `<origin>/s/<short_code>#<base64url(K)>`
    when a short code is allocated). Browsers do not transmit URL fragments
    to servers, so K is never observed by qub.social or any storage gateway.

Haen tagiau storfa (allan-o-fand). Mae'r gwasanaeth uwchlwytho qub yn atodi set o dagiau trafodion storfa sydd wedi'u cadw'n fwriadol fach ochr yn ochr â'r llwyth tâl wedi'i amlapio. Mae Content-Type=application/octet-stream yn ofynnol yn normadol. Mae'r gwasanaeth cyfeirio yn atodi tri thag dewisol ychwanegol pan fydd y crëwr yn dewis eu wynebu: Intent (bwriad cyfansoddi wedi'i ddilysu yn erbyn rhestr ganiataol — e.e., quote, reply, commitment), Author (ôl-bys allwedd-gyhoeddus §9.3 y crëwr fel hecs llythrennau bach 64-cymeriad), a Parent-Tx-Id (ID trafodyn storfa y qub rhiant ar gyfer cadwyni ateb, base64url 43-cymeriad).

Mae'r tag Author yn dewis-i-mewn fesul qub: mae ap creu cyfeirio yn ei atodi dim ond pan fydd y defnyddiwr yn galluogi priodoli cyhoeddus yn benodol ar amser selio. Pan fydd y togl i ffwrdd — y rhagosodiad — nid oes tag Author yn cael ei ysgrifennu ac mae'r qub yn anbriodol ar y gadwyn: nid oes dim mewn storfa parhaol yn cysylltu'r uwchlwythiad â handlen, e-bost, na qubs eraill crëwr. Pan fydd y togl ymlaen, mae ôl-bys Author yn datrys i @handle dewisedig y crëwr trwy gadwyn dystiolaeth §9.5. Mae perthnasoedd cadwyn-ateb ac Intent yn an-adnabyddol. Mae'r amlapio allanol (§13) yn amddiffyn corff mewnol rhag cydberthynas cyphertext — gan atal cynaeafwr rhag adnabod a swmp-ddatgryptio uwchlwythiadau ar siâp qub ar ôl i'w rownd drand gyhoeddi.

NID yw'r gwasanaeth cyfeirio yn atodi tagiau App-Name, App-Version, neu Type yn fwriadol: byddai unrhyw hidlydd gwerth-unigol o'r fath yn dychwelyd y corpws qub cyfan i ymholiad GraphQL, sy'n anghyson â chwmpas cyfrinachedd-corff-yn-unig yr amlapio.

RHAID i ddilyswr cydymffurfiol BEIDIO â dibynnu ar unrhyw dag storfa ar gyfer dilysu trydydd-parti §11; mae'r hash corff / qub_id / llofnod yn ymrwymo dim ond i'r CBOR mewnol, byth i'r set tagiau.

8. Protocol Datgloi

Y dilyniant datgloi cyflawn. Mae pob cam yn normadol.

 1. Viewer opens delivery URL. Extract arweave_tx_id from path AND
    K = base64url_decode(fragment) from the URL fragment. If the fragment
    is absent or malformed → display "this URL is missing its decryption
    key" and stop; the viewer MUST NOT contact the storage gateway
    without K, since fetching wrapped bytes the viewer cannot decrypt
    serves no purpose and only leaks the access attempt.
 2. Check denylist. If tx_id is denylisted → display block message. Stop.
 3. Fetch OuterWrapper bytes from permanent storage (with multi-gateway fallback).
 3a. Unwrap: parse the bytes as OuterWrapper (§13), verify the wrapper
    `version` byte is `0x01`, and compute SealedQubCbor =
    unwrap_sealed_qub(OuterWrapper, key=K). Any AEAD authentication
    failure (wrong K, tampered ciphertext, swapped qub_id-as-AAD,
    swapped nonce) → display "this URL's decryption key does not match
    the stored qub" and stop. Authentication failures are
    indistinguishable to the viewer per §13.5.
 4. Parse SealedQubCbor → SealedQub.
 5. Validate: SealedQub.version is known (0x01). Reject unknown versions.
 6. If current time < SealedQub.unlock_at → display countdown. Poll or wait.
 6a. Round-binding check (V1.2). Recompute expected_round =
    ceil((SealedQub.unlock_at - chain_genesis_time) / chain_period_seconds).
    Reject unless SealedQub.drand_round == expected_round AND the round baked
    into the tlock ciphertext stanza (read via the age/tlock header, no signature
    required) == expected_round. The stanza round is the one that actually gates
    decryption; without this check a malicious creator could bind the ciphertext
    to an already-past round while displaying a future countdown, so anyone
    reading the stored bytes could decrypt before unlock_at. Implementations with
    no chain identity (test mocks) skip this check.
 7. Once current time ≥ SealedQub.unlock_at:
    a. Fetch drand round signature for SealedQub.drand_round from drand network.
    b. Compute B = tlock_decrypt(SealedQub.tlock_ciphertext, round_signature).
 8. Parse B → QubEnvelope.
 9. Validate QubEnvelope.version is known.
10. Verify: SHA3-256(QubEnvelope.body) == QubEnvelope.body_hash.
    Fail → integrity error.
11. Verify: QubEnvelope.qub_id == SealedQub.qub_id.
    Fail → integrity error.
12. Verify: QubEnvelope.unlock_at == SealedQub.unlock_at.
    Fail → integrity error.
13. Verify: QubEnvelope.content_type is known and renderable.
    Known values: 0x01 (text), 0x03 (pact). Unknown → display error.
14. If QubEnvelope.sig_alg != 0x00 → verify author signature (see §9.4).
15. If cosigner_pubkey or cosigner_signature present → verify cosigner (see §9.7).
16. Render content using appropriate renderer (see §10 for text, §6 for pact).
17. Construct RevealedQub for display.

9. Llofnodi Awduriaeth

9.1 Rhesymeg

Caiff qubs eu storio mewn storfa parhaol. RHAID i lofnodion awduriaeth aros yn anffugadwy yn ddiderfyn, sef pam mae v1.0 yn defnyddio'r cynllun ôl-gwantwm ML-DSA-65 (FIPS 204) yn hytrach na chynllun clasurol y gallai ei ddiogelwch ddirywio o fewn oes parhaol y qub.

9.2 Cofrestrfa Algorithm

RHAID i wylwyr wrthod gwerthoedd sig_alg anhysbys.

9.3 Adeiladu Preimage wedi'i Lofnodi

Mae dwy fersiwn o'r preimage wedi bodoli. RHAID i bob llofnod ddefnyddio V2, a RHAID i ddilyswyr dderbyn V2 yn unig. Cafodd hen preimage V1 (a ddogfennir isod er cyfeirnod hanesyddol) ei dderbyn fel ôl-gwymp dilysu-yn-unig yn ystod y mudo i V2; mae'r ôl-gwymp hwnnw wedi'i dynnu'n ôl a chaiff llofnod V1-yn-unig ei wrthod bellach.

V2 (cyfredol — a gynhyrchir gan bob llofnodi awdur newydd, a gan ddau lofnod llif llwyfannu / cyd-arwyddo'r cytundeb):

sig_input = SHA3-256(
    "QUB_AUTHOR_SIG_V2"  ||    // domain separator (17 bytes)
    version              ||    // u8 (1 byte)
    qub_id               ||    // [u8; 32] (32 bytes)
    body_hash            ||    // [u8; 32] (32 bytes)
    unlock_at            ||    // i64 big-endian (8 bytes)
    0x00                 ||    // u8 (1 byte): MUST be 0x00 in v1.x
    sender_label_hash    ||    // [u8; 32]: SHA3-256(NFC(sender_label)),
                               //   or 32 zero bytes when absent
    reply_to_or_zero           // [u8; 32]: parent qub_id, or 32 zero
                               //   bytes when absent
)

// Total preimage: 155 bytes → 32-byte hash

signature = Sign(author_secret_key, sig_input)

Mae sender_label_hash yn dilyn yr un confensiwn sentinel-absennol â title_hash (§4.2.1): nid yw 32 byte sero yn allbwn SHA3-256 dilys, felly ni all "absennol" byth wrthdaro â label sy'n bresennol. Mae pob maes o led sefydlog, felly mae'r preimage yn ddiamwys heb ragddodiaid hyd.

V1 (hen — WEDI'I DYNNU'N ÔL; ni chynhyrchir mwyach ac ni dderbynnir mwyach wrth ddilysu):

sig_input = SHA3-256(
    "QUB_AUTHOR_SIG_V1"  ||    // domain separator (17 bytes)
    version              ||    // u8 (1 byte)
    qub_id               ||    // [u8; 32] (32 bytes)
    body_hash            ||    // [u8; 32] (32 bytes)
    unlock_at            ||    // i64 big-endian (8 bytes)
    0x00                       // u8 (1 byte): MUST be 0x00 in v1.0
)

// Total preimage: 91 bytes → 32-byte hash

Roedd preimage V1 yn hepgor sender_label a reply_to. Cafodd ei dderbyn fel ôl-gwymp dilysu-yn-unig yn ystod y mudo i V2; mae'r ôl-gwymp hwnnw wedi'i dynnu'n ôl ers hynny — RHAID i ddilyswyr dderbyn preimage V2 yn unig. Cedwir y diffiniad yma er cyfeirnod hanesyddol ac i egluro'r gwahanydd parth isod. RHAID trin llofnod sy'n dilysu yn erbyn V1 yn unig fel methiant dilysu.

Gwahanyddion parth: mae "QUB_AUTHOR_SIG_V1" / "QUB_AUTHOR_SIG_V2" yn 17 byte ASCII yr un ([0x51, 0x55, 0x42, 0x5F, 0x41, 0x55, 0x54, 0x48, 0x4F, 0x52, 0x5F, 0x53, 0x49, 0x47, 0x5F, 0x56, 0x31/0x32]). Dim padin. Mae'r gwahanydd gwahanol yn gwahanu'r ddau preimage yn ôl parth, felly ni all llofnod dros un preimage byth ddilysu fel y llall.

Byte org_id_present: RHAID i'r byte sy'n dilyn unlock_at fod yn 0x00. Mae'r gweithrediad cyfeirio yn datgelu hyn fel y cysonyn ORG_ID_PRESENT_INDIVIDUAL = 0x00 yn crates/qub-core/src/signing.rs; RHAID i wylwyr sy'n ailadeiladu sig_input ar gyfer dilysu allyrru'r un byte.

Cwmpas llofnod — beth sydd ac nad yw'n cael ei orchuddio. Mae sig_input V2 yn ymrwymo'n uniongyrchol i version, qub_id, body_hash, unlock_at, sender_label, a reply_to (yn ogystal â'r gwahanydd parth sefydlog a'r byte org_id_present). Mae qub_id ei hun yn deillio o version, content_type, created_at, unlock_at, outcome_at, drand_round, a body_hash trwy preimage §4.1, felly mae unrhyw newid i'r meysydd hynny yn cynhyrchu qub_id gwahanol ac yn annilysu'r llofnod yn drosglwyddadwy. Felly'r wyneb wedi'i ardystio yw:

Pam mai V2 yw'r unig preimage a dderbynnir.

• O dan y preimage V1 a dynnwyd yn ôl, gallai parti gyda mynediad ysgrifennu i'r bytes wedi'u storio gyfnewid sender_label ("Alice" → "Mallory") neu ail-rieni reply_to — a'i ail-amgryptio ar ôl y rownd — heb annilysu llofnod yr awdur, oherwydd nad oedd yr un o'r ddau faes yn y preimage wedi'i lofnodi. Mae V2 yn gorchuddio'r ddau, felly mae unrhyw newid i'r naill faes neu'r llall yn troi'r dilysu yn "fethiant". Gan fod dilyswyr bellach yn derbyn V2 yn unig, mae'r cyfnewid hwn ar gau ar gyfer pob llofnod: caiff llofnod nad yw'n rhwymo'r un o'r ddau faes (h.y. sydd ond yn dilysu yn erbyn V1) ei wrthod yn llwyr yn hytrach na chael ei israddio iddo.
• Mae'r author_pubkey y tu mewn i'r amlen yn parhau i fod yn angor hunaniaeth gwirioneddol — RHAID i wylwyr ddeillio'r hunaniaeth arddangos o author_pubkey (trwy haen dystiolaeth §9.5) yn hytrach na thrystio sender_label.

RHAID i weithrediadau sy'n arddangos sender_label neu reply_to i ddefnyddwyr terfynol wynebu'r hunaniaeth wedi'i hardystio (ôl-bys allwedd gyhoeddus, tystiolaeth) fel y prif arwydd hunaniaeth, nid y label.

9.4 Gweithdrefn Dilysu

1. Read sig_alg from QubEnvelope.
2. If sig_alg == 0x00 → unsigned. No verification. Display "unsigned qub."
3. If sig_alg is unknown → reject. Display "unrecognised signature scheme."
4. Extract author_signature and author_pubkey. If either is absent → integrity error.
5. Reconstruct sig_input using fields from QubEnvelope (V2 formula, §9.3).
6. Verify(author_pubkey, sig_input, author_signature). The V2 preimage is the
   only accepted form — the legacy V1 fallback is retired (§9.3), so a
   signature that does not verify against V2 fails, full stop.
7. If verification succeeds → display "signed by [key fingerprint]."
8. If verification fails → display "signature verification failed."

Dilysu llofnod yw'r weithred ddrutaf (yn enwedig ML-DSA-65). DYLAI gael ei berfformio ar ôl i'r holl wiriadau rhatach (hash, qub_id, unlock_at) basio.

9.5 Tystiolaethau Hunaniaeth

Mae tystiolaethau hunaniaeth — mapio'r author_pubkey i honiadau hunaniaeth dynol-adnabyddadwy fel dolen qub, cyfeiriad e-bost, dolen gymdeithasol, neu gymhwyster passkey — yn welliant cynyddol ochr-gwyliwr ac NID yn ofynnol ar gyfer dilysu llofnod. RHAID i wylwyr sy'n datrys tystiolaethau i hunaniaeth arddangos roi'r flaenoriaeth:

handle > email > social > fingerprint

Mae'r ôl-gwymp ôl-bys yn hecs llythrennau bach SHA3-256(author_pubkey); mae bob amser ar gael ar gyfer unrhyw qub wedi'i lofnodi. CAIFF gwylwyr ei dalfyrru ar gyfer ei arddangos — mae'r gwyliwr cyfeirio yn rendro qub: wedi'i ddilyn gan y pedwar byte cyntaf a'r pedwar byte olaf (qub:<8 hex>…<8 hex>).

Gall dilyswr cydymffurfiol gwblhau pob gwiriad yn §9.4 heb gysylltu â'r API qub, heb unrhyw rwydwaith y tu hwnt i storfa parhaol a drand, a heb unrhyw chwilio ochr-gweinydd. Mae datrys tystiolaeth yn gam ymdrech-orau ar wahân a berfformir dim ond ar ôl i ddilysu llofnod lwyddo.

9.6 Effaith Maint

Ar gyfer qub testun o 500–2,000 byte, mae ML-DSA-65 yn treblu'r maint wedi'i storio yn fras. Mae'r gost absoliwt yn ddibwys.

9.7 Dilysu Cyd-arwyddwr (Cytundebau Dwyochrog Cytundeb)

Ar gyfer cytundebau dwyochrog (content_type = 0x03), mae ail haen lofnod yn profi bod y ddau barti wedi cydsynio i'r un telerau.

Meysydd amlen:

• cosigner_pubkey: Allwedd gyhoeddus ML-DSA-65 y cyd-arwyddwr (Parti B).
• cosigner_signature: Llofnod dros yr un sig_input â'r awdur (§9.3).

RHAID i'r ddau faes fod yn bresennol gyda'i gilydd neu'r ddau yn absennol. Os yw union un yn bresennol, RHAID i wylwyr riportio gwall cywirdeb.

Gweithdrefn dilysu:

1. If cosigner_pubkey absent and cosigner_signature absent → no cosigner. Done.
2. If exactly one is present → integrity error.
3. Verify cosigner_pubkey != author_pubkey (prevent self-cosigning).
   Fail → display "cosigner pubkey must differ from author."
4. Reconstruct sig_input using the same formula as §9.3 (V2 only — the
   legacy V1 fallback is retired; all pact clients produce V2 signatures).
5. Verify(cosigner_pubkey, sig_input, cosigner_signature).
6. Success → display "co-signed by [cosigner fingerprint]."
7. Failure → display "co-signature verification failed."

Priodweddau:

• Mae'r cyd-arwyddwr yn llofnodi'r un sig_input â'r awdur — mae'r ddau barti'n ymrwymo i'r un qub_id, body_hash, ac unlock_at (ac, o dan V2, yr un sender_label_hash a reply_to_or_zero).
• Er mwyn galluogi'r cyd-arwyddwr i ailadeiladu preimage V2 heb fynediad i fytiau amrwd yr amlen, mae'r gwasanaeth llwyfannu yn gorfodi ar amser llwyfannu fod sender_label amlen cytundeb yn hafal i pact_terms.party_a.label a bod reply_to yn absennol. Mae'r ddau amod yn wir ar gyfer pob cytundeb cleient-cyfeirio; caiff amlenni sy'n torri hyn eu gwrthod wrth lwyfannu.
• NID yw deilliad qub_id (§4.1) yn cynnwys meysydd cyd-arwyddwr. Nid yw ychwanegu cyd-arwyddwr at amlen sy'n bodoli yn newid y qub_id.
• Gall cytundeb fod wedi'i lofnodi gan yr awdur yn unig (ymrwymiad un-ochrog), cyd-arwyddwr yn unig (anarferol), neu'r ddau (prawf dwyochrog llawn).

Gât-rhwymo-e-bost (gweithredol). Pan fydd cytundeb wedi'i lwyfannu yn cario cyswllt e-bost Parti B (§6.1), RHAID i'r gwasanaeth uwchlwytho qub wrthod y cais cyd-arwyddo oni bai bod marciwr dilysu-e-bost byrhoedlog yn bodoli sy'n cyfateb i'r ID llwyfannu a hash-e-bost-wedi'i-normaleiddio'r cyswllt hwnnw. Caiff y marciwr ei ysgrifennu gan /api/v1/auth/verify pan fydd y tocyn dolen-hud yn cario staging_id a bod y cyfeiriad wedi'i ddilysu yn cyfateb i SHA-256(normalise_email(party_b.contact)) — ble mae normalise_email(addr) yn cadw cas y rhan leol ac yn lleihau'r rhan parth yn unig (yn unol â RFC 5321 §2.3.11), ac mae SHA-256 yma yn hash NIST FIPS 180-4 (gwahanol i'r SHA3-256 a ddefnyddir mewn deilliadau §4) — ac yn dod i ben 900 eiliad (15 munud) ar ôl cyhoeddi. Mae hyn yn gât gwrth-ddynwarediad gweithredol, NID yn rhan o brawf qub ar-y-gadwyn — mae dilyswr trydydd-parti sy'n ailchwarae §11 angen dim ond storfa parhaol a drand, heb unrhyw chwilio ochr-gweinydd. Mae'r marciwr yn bodoli ar yr ochr gweinydd yn unig ac nid yw byth yn rhan o'r corff wedi'i lofnodi.

Effaith maint (awdur ML-DSA-65 + cyd-arwyddwr):

10. Rendro a Glanhau Markdown

Mae'r adran hon yn ddiogelwch-feirniadol. Mae'r gwyliwr yn rendro qubs testun (content_type = 0x01) gan ddefnyddio is-set Markdown cyfyngedig.

10.1 Elfennau a Ganiateir

• Penawdau: # trwy #### (dim ##### nac ######)
• Pwyslais: trwm (**), italig (*), trwy-rwygiad (~~)
• Rhestrau: trefnedig (1.) ac anhrefnedig (-, *)
• Dyfynfeydd (>)
• Côd: rhychwantau mewnlinell (```) a blociau wedi'u ffensio (`````)
• Llinellau llorweddol (---)
• Toriadau llinell (dwy ofod olynol neu linell wag)
• Paragraffau

10.2 Elfennau Gwaharddedig

10.3 Gweithrediad

RHAID i weithrediadau ddefnyddio parseu rhestr ganiataol llym, nid rhestr-bloc. Y dull a argymhellir:

1. Parsio Markdown gan ddefnyddio pulldown-cmark (neu gyfwerth).
2. Cerdded yr AST a gollwng unrhyw nod nad yw yn y rhestr ganiataol (§10.1).
3. Ar gyfer nodau dolen: allyrru'r URL fel testun gweladwy, nid fel elfen <a> y gellir ei chlicio.
4. Trosi'r AST wedi'i hidlo i gynrychioliad canol-gam wedi'i deipio (e.e., enum MarkdownNode gydag amrywiadau diogel yn unig). Mae HTML amrwd yn strwythurol an-gynrychioliadwy yn y IR hwn.
5. Rendro o'r IR wedi'i deipio i'r haen olwg targed (e.e., cydrannau golwg adweithiol, nodau DOM). Dim cydgysylltiad llinyn HTML na innerHTML ar unrhyw bwynt.

Mae dulliau rhestr-bloc yn fregus oherwydd gall estyniadau Markdown newydd neu cwirciau parser gyflwyno elfennau heb eu hidlo. Mae'r dull AST-wedi'i-deipio yn gwneud XSS yn strwythurol amhosibl — nid oes amrywiad sy'n gallu cario HTML mympwyol.

10.4 Cyfyngiadau Maint a Strwythur

• Dyfnder pennawd a renderir mwyaf: #### (H4). Mae ##### a dyfnach yn cael eu rendro fel testun trwm.
• Dim cyfyngiad ar nifer paragraffau (cyfyngiadau maint corff yn §6 yw'r cyfyngiad).
• Blociau côd wedi'u ffensio: dim amlygu cystrawen yn MVP. Wedi'u rendro fel testun cyn-fformatiedig monospace.

11. Dilysu Trydydd Parti

Gall unrhyw drydydd parti ddilysu qub cyhoeddus heb gydweithrediad qub. Y weithdrefn dilysu:

1. Obtain arweave_tx_id (from delivery URL or direct knowledge).
2. Fetch SealedQubCbor from any storage gateway.
3. Confirm storage block inclusion (block height, block timestamp).
4. Parse SealedQubCbor → SealedQub.
5. Fetch drand round signature for SealedQub.drand_round.
6. tlock_decrypt(tlock_ciphertext, round_signature) → QubEnvelope CBOR bytes.
7. Parse → QubEnvelope.
8. Verify SHA3-256(body) == body_hash.
9. Verify QubEnvelope.qub_id == SealedQub.qub_id.
10. Verify QubEnvelope.unlock_at == SealedQub.unlock_at.
11. If sig_alg != 0x00: verify author_signature (see §9.4).
12. All checks pass → qub is verified.

Beth mae dilysu yn ei brofi:

Beth NAD yw dilysu yn ei brofi:

12. Fersiynu

12.1 Fersiwn Protocol

Mae'r maes version (u8) yn SealedQub a QubEnvelope yn adnabod prif fersiwn y protocol.

• RHAID i wylwyr wrthod prif fersiynau anhysbys gyda gwall clir.
• O fewn prif fersiwn hysbys, RHAID i ddadgodyddion wrthod allweddi map anhysbys (§3.1) — mae esblygiad sgema yn digwydd trwy gyflwyno version newydd, nid trwy ychwanegu allweddi y byddai dadgodyddion presennol yn eu hanwybyddu. (Roedd diwygiadau cynharach o'r fanyleb hon yn caniatáu goddef meysydd dewisol anhysbys; mae'r cymal hwnnw wedi'i dynnu'n ôl — roedd yn gwneud encode(decode(x)) yn anfewnsaethol ac yn agor fector cynnwys-cudd-wedi'i-lofnodi ar lwythi tâl cytundeb.)
• Mae mathau cynnwys (content_type) a chynlluniau llofnod (sig_alg) wedi'u gatio gan fersiwn: gellir cyflwyno gwerthoedd newydd dim ond ochr yn ochr â fersiwn protocol newydd neu ddiweddariad cofrestrfa penodol.

12.2 Hanes Fersiwn

12.3 Cydnawsedd Ymlaen

RHAID i wyliwr v1 sy'n dod ar draws QubEnvelope gydag allweddi map CBOR anhysbys (allweddi nad ydynt yn y drefn safonol §3.2) ei wrthod gyda gwall dadgodio (§3.1). Mae cydnawsedd ymlaen yn dibynnu ar y maes version, nid ar oddefiant allweddi: mae ychwanegiadau yn y dyfodol — hyd yn oed metadata bach — yn glanio o dan werth version newydd, y mae gwyliwr v1 yn ei wrthod gyda gwall "protocol mwy newydd" clir yn hytrach na gollwng yn dawel gynnwys y mae'r llofnodion yn ymrwymo iddo.

DYLAI gwyliwr v1 sy'n dod ar draws sig_alg = 0x01 (ML-DSA-65) ond heb gefnogaeth dilysu ML-DSA-65 arddangos cynnwys y qub gyda hysbysiad "llofnod yn bresennol ond nid yn ddilysadwy", nid gwrthod y qub yn gyfan gwbl. Mae'r gweithrediad cyfeirio heddiw yn gwrthod pob gwerth sig_alg heblaw 0x00 ac 0x01 oherwydd nad oes algorithm dilys arall yn y gofrestrfa v1 — mae gwrthodiad llym a meddal-fethu yn arsylladwy-fath nes bod trydydd algorithm yn cael ei gofrestru. Mae'r ymddygiad meddal-fethu uchod yn dod yn lwyth-eredig unwaith y mae §9.2 yn derbyn cofnod newydd, ac fe ddiweddarir y gwyliwr cyfeirio i feddal-fethu ar y pwynt hwnnw.

12.4 Fersiwn Amlapio Allanol

Mae'r OuterWrapper a ddisgrifir yn §13 yn cario ei byte version ei hun, annibynnol ar SealedQub.version a QubEnvelope.version. Mae'r ddau ofod fersiwn yn esblygu ar wahân: mae amnewid cymesur diogel-ôl-gwantwm yn y dyfodol yn codi'r byte amlapio heb gyffwrdd â fersiwn y protocol mewnol, ac mae ychwanegiad haen-protocol yn y dyfodol (e.e., maes amlen newydd) yn codi'r fersiwn fewnol heb gyffwrdd â'r byte amlapio.

RHAID i wylwyr wrthod fersiynau amlapio anhysbys gyda gwall clir. Mae'r protocol yn cadw'r gofod fersiwn amlapio yn fwriadol gul nes bod gyrrwr ymfudo concrid yn ymddangos (e.e., arweiniad NIST yn ffafrio AEAD gwahanol); dyrannir slot 0x02 yn yr un diwygiad sy'n cyflwyno'r algorithm.

13. Amlapio Amgryptio Allanol

13.1 Rhesymeg

Mae haenau'r protocol (QubEnvelope → tlock → SealedQub) yn gwneud qub wedi'i selio yn wedi'i gloi-amser: mae'r corff yn anddarllenadwy tan unlock_at ac mae llofnod rownd drand wedi'i gyhoeddi. Ar ôl datgloi, fodd bynnag, mae llofnod y rownd yn gyhoeddus ac mae siâp CBOR safonol SealedQub yn adnabyddadwy, felly gallai cynaeafwr a fynegeiodd drafodion storfa parhaol swmp-ddatgryptio'r corpws qub cyfan.

Mae'r amlapio amgryptio allanol yn cau'r sianel honno trwy interposio haen AEAD gymesur ychwanegol rhwng yr SealedQubCbor safonol a'r bytes wedi'u hysgrifennu i storfa parhaol. Mae'r allwedd 256-bit K yn byw dim ond yn ffragment URL y ddolen drosglwyddo ac ar ddyfeisiau defnyddwyr; nid yw porwyr yn trosglwyddo ffragmentau URL i weinyddion, felly mae qub.social, pob porth storfa, a phob CDN o flaen y naill na'r llall yn arsylladwy-ddall i K. Mae pob qub mewn storfa parhaol felly'n cyphertext ansafonol y mae ei destun plaen yn anadferadwy heb yr URL a ddewisodd y crëwr ei rannu.

Effaith net:

• Imiwnedd rhifo trwy ragosodiad. Mae bytes wedi'u hamlapio mewn storfa parhaol yn anwahaniaethol o ran byte oddi wrth cyphertext mympwyol. Nid yw strategaeth cynaeafwr o "GraphQL-ymholiad am uwchlwythiadau ar siâp qub, swmp-ddatgryptio gyda llofnodion drand cyhoeddus" yn dod i ben gyda thestun plaen.
• Ystum preifatrwydd crypto-malu. All qub.social yn llythrennol ddim datgryptio ei gorpws ei hun. Mae gwysion yn cyrraedd cyphertext, nid testun plaen.
• Ysgol cyfrinachedd dwy-haen. Rhagosodiad = mynediad wedi'i reoli gan ddolen (yr adran hon). Mae qubs preifat wedi'u hamgryptio i'r derbynnydd (nodwedd Cam 2 wedi'i chadw, heb ei manylu eto) yn haenu ar ben fel yr ail haen.

13.2 Haenu

plaintext body                       ← QubEnvelope.body (§2.2)
  ↓ canonical CBOR (§3)
envelope CBOR
  ↓ tlock encrypt to drand round (§7 step 10)
tlock_ciphertext (inside SealedQub) (§2.3)
  ↓ canonical CBOR (§3)
SealedQubCbor bytes                  ← inner wire artifact
  ↓ AES-256-GCM(K, nonce, AAD=qub_id) (§7 step 12a, this section)
OuterWrapper CBOR bytes              ← uploaded to permanent storage (§7 step 15)

Mae selio a datgloi yn yr haen protocol (§7, §8) yn ddigyfnewid o dan ffin yr amlapio; mae'r amlapio yn ymgysylltu ar safle galwad seal() ac yn datgysylltu ar safle galwad unlock().

13.3 Strwythur Data OuterWrapper

struct OuterWrapper {
    version:    u8,           // 0x01, see §12.4
    qub_id:     [u8; 32],     // copied from inner SealedQub; AEAD AAD
    nonce:      [u8; 12],     // 96-bit AEAD nonce
    ciphertext: Vec<u8>,      // AES-256-GCM(K, nonce, SealedQubCbor, AAD=qub_id) || 16-byte tag
}

Diymyriadau maes.

• RHAID i version fod yn 0x01 ar gyfer bytes amlapio v1.0.
• RHAID i qub_id gyfateb i faes qub_id y SealedQub a adferir ar ôl dadamlapio. Nid yw'r cam dadamlapio yn gorfodi hyn yn uniongyrchol (mae rhwymo AAD AEAD yn gwneud ymyrraeth lefel-byte yn amhosibl), ond mae'r haen datgloi yn gwirio'r berthynas yn drosglwyddadwy: os bydd crëwr yn amlapio SealedQubCbor na fydd ei qub_id mewnol yn cyfateb i qub_id yr amlapio, mae §8 cam 11 yn methu.
• RHAID i nonce fod yn 96 bit (12 byte), wedi'i gynhyrchu o'r newydd gan CSPRNG ar gyfer pob gweithred amlapio. Mae ailddefnyddio nonce o dan yr un allwedd yn caniatáu ymosodiadau ailddefnyddio-nonce AEAD sy'n adfer y testun plaen; RHAID i gynhyrchwyr drin parau (key, nonce) fel un-saethiad.
• Mae ciphertext yn allbwn AES-256-GCM: bytes cyphertext wedi'u cydgysylltu gyda thag dilysu 16-byte. ciphertext.len() == SealedQubCbor.len() + 16 yn union.

Amgodio CBOR. CBOR safonol fesul §3, gyda'r un rheol trefnu-allweddi (wedi'i drefnu yn ôl hyd byte amgodedig yn esgynnol, yna'n lecsicograffig). Y pedair allwedd yw:

Mae byte cyntaf CBOR y OuterWrapper felly'n bennawd map o hyd pendant ar gyfer map 4-cofnod (0xA4).

13.4 Rhwymo AAD i qub_id

Mae'r amlapio yn rhwymo qub_id fel data ardystiedig ychwanegol AEAD. Dyma'r amddiffyn strwythurol llwyth-eredig yn erbyn tair dosbarth o ymosodiad:

Nid yw cario qub_id yn nhestun plaen yr amlapio yn gwanhau imiwnedd rhifo'n ystyrlon — mae qub_id ei hun yn hash SHA3-256 o preimage §4.1 heb preimage adferadwy o'r crynodeb, ac mae rhifwr a gynaeafodd y bytes amlapio yn barod yn dysgu dim o'r qub_id gweladwy na allent fynd amdano o fodolaeth yr uwchlwythiad ei hun.

13.5 Algorithmau Amlapio a Dadamlapio

wrap_sealed_qub(SealedQubCbor S, qub_id Q, key K, nonce N):
    require K.len() == 32 and N.len() == 12 and Q.len() == 32
    C := AES_256_GCM_encrypt(key=K, nonce=N, msg=S, aad=Q)
    // C includes the 16-byte authentication tag at the end
    return canonical_cbor_encode(OuterWrapper{
        version:    0x01,
        qub_id:     Q,
        nonce:      N,
        ciphertext: C,
    })

unwrap_sealed_qub(OuterWrapper bytes W, key K):
    require K.len() == 32
    O := canonical_cbor_decode(W) as OuterWrapper
    require O.version == 0x01           // §12.4
    P := AES_256_GCM_decrypt(
            key=K, nonce=O.nonce, ciphertext=O.ciphertext, aad=O.qub_id
         )
    // any AEAD failure → DECRYPT_FAILED, indistinguishable to caller
    return P                            // P is the inner SealedQubCbor

Cwymp modd-methiant. Mae K anghywir, nonce anghywir, annhebygrwydd AAD, a cyphertext sydd wedi'i ymyrryd â hi, i gyd yn cynhyrchu'r un gwall DECRYPT_FAILED. Priodwedd AEAD bwriadol yw hwn: byddai gwahaniaethu'r modd methiant yn creu sianel ochr y gallai ymosodwr o bell ei brofio trwy anfon amlapiadau anffurfiol ac amseru'r ymateb. RHAID i weithrediadau cyfeirio gwympo pob methiant AEAD i un siâp gwall.

13.6 Deunydd Allwedd a Dosbarthu

Mae'r allwedd amlapio K yn werth hap-unffurf 256-bit a gynhyrchwyd fesul-qub gan CSPRNG. Mae'r gweithrediadau cyfeirio yn ei ffynonellu o:

• Crëwr WASM: getrandom (WebCrypto o dan y backend wasm_js).
• Galwr yr API selio ochr-gweinydd: ei CSPRNG lleol; mae'r galwr yn cyflenwi ac yn cadw K fel wrapper_key_b64url. Mae'r Worker yn defnyddio K yn y cof ar gyfer yr amlapio ond RHAID iddo BEIDIO â'i chadw'n barhaol. Mae hyn yn galluogi ailgais idempotent i adfer ymateb wedi'i olygu gan ddefnyddio gallu cadwedig y galwr yn hytrach na dibynnu ar gyfrinach un-saethiad a gynhyrchwyd gan y gweinydd.

Dosbarthu: RHAID amgodio K fel base64 diogel-URL (RFC 4648 §5, dim padin) a'i atodi i'r ddolen drosglwyddo fel y cydran ffragment:

delivery_url = <origin>/c/<arweave_tx_id>#<base64url(K)>

Nid yw'r ffragment byth yn cael ei drosglwyddo i unrhyw weinydd gan borwr cydymffurfiol. Mae sianeli adfer (mynegai hanes ochr-gweinydd, anfon-awtomatig e-bost dewis-i-mewn) sy'n cadw'r ddolen drosglwyddo lawn — gan gynnwys y ffragment — y tu hwnt i ddyfais y defnyddiwr yn fasnach benodol yn erbyn yr ystum crypto-malu rhagosodedig a RHAID iddynt gael eu gatio ar gydsyniad defnyddiwr penodol.

Colled ffragment. Os bydd defnyddiwr yn colli ffragment yr URL ac nad oes ganddo unrhyw sianel adfer, mae'r qub yn anddarllenadwy. Hwn yw'r fasnach llwyth-eredig yn y dyluniad a RHAID iddo gael ei ddatgelu i'r defnyddiwr ar amser selio. Mae'r MVP yn cryfhau'r datgeliad amser-selio gyda chopi "cadwch yr URL hwn" penodol a sianel adfer e-bost-wedi'i-ddilysu i ddefnyddwyr sy'n dewis i mewn.

13.7 Allan-o-Gwmpas ar gyfer yr Adran Hon

• Mae llofnodi awduriaeth (§9) yn ddigyfnewid: caiff llofnodion eu cyfrifo y tu mewn i'r QubEnvelope mewnol ac maent yn cael eu hadfer ar ôl dadamlapio → datgryptio tlock → parsio CBOR.
• Mae qubs preifat wedi'u hamgryptio i'r derbynnydd (nodwedd Cam 2 wedi'i chadw, heb ei manylu eto) yn cyfansoddi ar ben yr amlapio hwn fel ail haen cyfrinachedd; gall y ddwy haen fod yn weithredol ar yr un pryd.
• Mae cytundebau (§6, content_type 0x03) yn cael eu hamlapio yn union fel qubs testun; mae'r amlapio yn ddall-byte i'r math cynnwys mewnol.

13.8 qubs cyhoeddus (hepgor amlapio)

Mae'r amlapio allanol yn ddewisol ar yr haen drosglwyddo. Gall crëwr selio qub fel un cyhoeddus, ac yn yr achos hwnnw caiff yr SealedQubCbor safonol ei ysgrifennu i storfa parhaol yn uniongyrchol, heb unrhyw haen OuterWrapper a heb unrhyw allwedd K:

SealedQubCbor bytes  ──(public)──▶  uploaded to permanent storage as-is
SealedQubCbor bytes  ──(private)─▶  AES-256-GCM(K, …) ▶ OuterWrapper ▶ uploaded

Mae qub cyhoeddus wedi'i gloi-amser ond heb ei gatio gan ddolen: mae'n aros yn anddarllenadwy tan i'w rownd drand gyhoeddi (mae'r haen tlock yn ddigyfnewid), ond ar ôl datgloi gall unrhyw un sydd â'r arweave_tx_id ei ddatgryptio — nid oes angen ffragment URL, oherwydd nad oes K. Hon yw'r fasnach fwriadol ar gyfer arwynebau y mae'n rhaid i'r gweinydd eu gyrru: mae e-byst hysbysu-datgelu, embeds trydydd-parti, a SEO cyfoethocach ar ôl datgelu i gyd angen dolen sy'n gweithio heb gyfrinach nad yw'r gweinydd byth yn ei dal (§13.6).

Canlyniadau y mae'n RHAID i gynhyrchydd eu hystyried:

• Dim imiwnedd rhifo. Mae qubs cyhoeddus yn fforffedu priodwedd imiwnedd-rhifo §13.1 trwy adeiladwaith. Mae'r gwasanaeth uwchlwytho cyfeirio yn stampio tag storfa parhaol Visibility: public arnynt (ac arnynt hwy yn unig) fel eu bod yn ddarganfyddadwy yn fwriadol; nid yw qubs preifat yn cario tag o'r fath ac maent yn cadw eu hanwahaniaethedd o ran byte.
• Teitl plaen wedi'i ddinoethi ar amser selio. Mae maes title §3.2 yn destun plaen y tu mewn i SealedQubCbor. O dan yr amlapio mae wedi'i guddio tan i wyliwr gyflenwi K; heb yr amlapio mae'n ddarllenadwy gan y byd ar storfa parhaol o eiliad yr uwchlwytho, cyn datgloi. RHAID i apiau crëwr cydymffurfiol ddatgelu hyn ar amser selio.
• Mae canfod yn strwythurol. Mae gwyliwr/embed cydymffurfiol yn gwahaniaethu'r ddau siâp trwy barsio: mae bytes sy'n parsio fel OuterWrapper yn cymryd y llwybr dadamlapio-gyda-K; mae bytes sy'n parsio fel SealedQubCbor noeth yn cael eu derbyn yn uniongyrchol. Nid oes angen unrhyw faner wifren, ac nid yw qub_id yn rhwymo gwelededd — mae'r un cynnwys yn unfath o ran byte ar haen SealedQub p'un a yw wedi'i selio'n gyhoeddus neu'n breifat.

Mae preifat (wedi'i amlapio) yn aros yn rhagosodiad; mae cyhoeddus yn ddewis crëwr penodol fesul-qub.

14. Fectorau Prawf

14.1 Deilliad qub_id

Input:
  version      = 0x01
  content_type = 0x01
  created_at   = 1735689600 (2025-01-01 00:00:00 UTC)
  unlock_at    = 1736294400 (2025-01-08 00:00:00 UTC)
  outcome_at   = absent
  drand_round  = 4695445  (= (1736294400 - 1595431050) / 30, drand mainnet params §14.2)
  body         = "Hello, future."  (UTF-8, 14 bytes)
  title        = absent

Intermediate:
  body_hash  = SHA3-256("Hello, future.")
             = 76ab8b3f843c6ed4f2d0fd75b9f457b4
               ad49dd4450f9c22723ae430e3af3211d
  title_hash = [0u8; 32]   (title absent — §4.2.1 sentinel)

Domain separator (10 bytes):
  [0x51, 0x55, 0x42, 0x5F, 0x49, 0x44, 0x5F, 0x56, 0x32, 0x00]

Preimage (108 bytes — V1.2):
  domain_separator   ||  // 10 bytes
  0x01               ||  // version
  0x01               ||  // content_type
  0x0000000067748580 ||  // created_at as i64 big-endian (1735689600)
  0x00000000677DC000 ||  // unlock_at as i64 big-endian (1736294400)
  0x0000000000000000 ||  // outcome_at_or_zero (outcome_at absent)
  0x000000000047A595 ||  // drand_round as u64 big-endian (4695445)
  body_hash          ||  // 32 bytes
  title_hash             // 32 bytes (all-zeros sentinel; title absent)

Expected output:
  qub_id = SHA3-256(preimage)
         = 3a9fcb31b750d985c262fada6d4f777f
           d6a28be831d941d85c131f5a4bbaf8a4

RHAID i weithrediadau gynhyrchu gwerthoedd body_hash a qub_id union yr un fath ar gyfer y mewnbwn hwn. DYLAI'r fector prawf hwn fod y prawf uned cyntaf a ysgrifennir. Cyfrifwyd y gwerthoedd safonol uchod gan y gweithrediad cyfeirio a RHAID iddynt gyfateb bit-am-bit. Cynlluniau preimage hanesyddol (cyn-lansio — nid oedd unrhyw qubs byw yn dibynnu arnynt): y qub_id V1.0 92-byte oedd 3d9fc2390eab043d38a1669ed3b71be76f9eefe872b9569ab1aaa027b88392b0; y qub_id V1.1 100-byte (ar ôl plygu outcome_at_or_zero i mewn) oedd b0d032898ad629795150fdcb3f84e518f59ed05b7a2a82bc24ebdb87f52144ed. Mae V1.2 yn plygu drand_round i mewn ac yn codi'r gwahanydd parth i QUB_ID_V2.

14.2 Mapio Rownd-Datgloi

Input:
  unlock_at           = 1735689600
  chain_genesis_time  = 1595431050
  chain_period_seconds = 30

Calculation:
  (1735689600 - 1595431050) / 30 = 4675285.0
  ceil(4675285.0) = 4675285

drand_round = 4675285

14.3 Tro Cylch CBOR Safonol

RHAID i weithrediadau ddilysu bod serialize(parse(serialize(qub))) == serialize(qub) ar gyfer pob mewnbwn dilys. Mae hwn yn brawf priodwedd, nid yn fector sengl.

14.4 CBOR PactTerms (content_type 0x03)

Input:
  pact_version = 1
  title        = "Scooter deposit"
  terms        = [
    { key: "Item",    value: "Honda Metropolitan scooter" },
    { key: "Price",   value: "$100" },
    { key: "Deposit", value: "$10" }
  ]
  party_a      = { label: "Alice" }
  party_b      = { label: "Bob", contact: "bob@example.com" }
  notes        = absent

Canonical CBOR key order (PactTerms):
  "notes"(6) < "terms"(6) < "title"(6) < "party_a"(8) < "party_b"(8) < "pact_version"(13)

Canonical CBOR key order (PactTerm):
  "key"(4) < "value"(6)

Canonical CBOR key order (PartyIdentifier):
  "label"(6) < "contact"(8)

Cyfrifir y bytes CBOR safonol a'r body_hash SHA3-256 gan y gweithrediad cyfeirio. RHAID i weithrediadau gynhyrchu CBOR byte-fath ar gyfer y mewnbwn hwn.

RHAID i weithrediadau hefyd ddilysu bod serialize(parse(serialize(pact))) == serialize(pact) ar gyfer pob mewnbwn PactTerms dilys (prawf priodwedd).

14.5 Fectorau Traws-Iaith Amlapio Allanol

Mae gan yr amlapio allanol (§13) ffigwr safonol ar wahân ar crates/qub-core/tests/vectors/wrapper_v1.json. Mae pob achos yn sefydlogi tupl (key, nonce, qub_id, sealed_cbor) fel mewnbynnau hecs di-ddehongli ac yn haeru allbwn expected_wrapper_hex penodol. Mae'r ddau weithrediad cyfeirio'n defnyddio'r un ffeil JSON:

• Rust: crates/qub-core/tests/wrapper_vectors.rs (cargo test -p qub-core --test wrapper_vectors).
• TypeScript: workers/api/src/crypto/__tests__/wrapper.test.ts (npm test).

Mae'r ffigwr ar hyn o bryd yn pinio tri achos:

RHAID i weithrediadau gynhyrchu expected_wrapper_hex byte-fath ar gyfer y mewnbynnau a recordiwyd. Mae adfywio'r ffigwr yn gofyn QUB_REGEN_VECTORS=1 cargo test -p qub-core --test wrapper_vectors ac mae wedi'i gadw ar gyfer newidiadau fformat bwriadol.

15. Llywodraethu Proffil Crypto (Dyfodol)

Mae'r adran hon yn wybodaethol ar gyfer v1 ac yn dod yn normadol y tro cyntaf y mae ail algorithm yn dod i mewn i unrhyw un o primitifau cryptograffig qub.

15.1 Ystum Cyfredol

Mae protocol v1 yn rhwymo'n union un algorithm fesul primitif:

• Llofnod: ML-DSA-65 (sig_alg = 0x01; allwedd gyhoeddus 1952-byte, llofnod 3309-byte) a heb ei lofnodi (sig_alg = 0x00). Nid yw'r gofrestrfa §9.2 yn diffinio unrhyw werthoedd eraill; RHAID i ddilysydd v1 wrthod pob sig_alg y tu allan i {0x00, 0x01}. Rhagwelir cofnod Ed25519 yn y dyfodol (§15.3) ond nid yw wedi'i ddyrannu yn v1.
• Cloi-amser: drand quicknet yn unig — mae hash y gadwyn, yr allwedd gyhoeddus, amser geni a chyfnod yn baramedrau rhwydwaith sefydlog a gariwyd gan y DrandTimelockProvider::quicknet() cyfeirio (crates/qub-core/src/tlock.rs) a config/drand-endpoints.json.
• Amlapio allanol: AES-256-GCM v1 yn unig (§13).

Mae dilyswyr ar hyn o bryd yn caled-godio hydoedd allwedd a llofnod fesul primitif. Nid oes unrhyw wyneb hyblygrwydd yn cael ei amlygu gan y fformat gwifren.

15.2 Siâp Bwriadedig

Pan fydd ail algorithm yn dod i mewn i'r protocol, caiff y dilyswr ei gyflunio ar gyfer CryptoProfile enwedig (e.e., ExqubV1) sy'n rhestru'r set union o werthoedd a ganiateir fesul primitif — sig_algs, cadwyni drand, fersiynau amlapio, mathau cynnwys. Mae'r proffil yn sefydlog ar amser dilysu, byth wedi'i negodi yn-band. Mae unrhyw werth y tu allan i'r proffil gweithredol yn cael ei wrthod.

Mae hyn yn gwarantu na all ychwanegu ML-DSA-87 nac actifadu Ed25519 wanhau cyfluniadau dilysu sy'n bodoli yn ôl-weithredol: mae dilyswr v1 yn aros yn ddilyswr v1 hyd yn oed ar ôl i broffil v2 gael ei gyhoeddi.

15.3 Amodau Sbarduno

Hyrwyddwch §15 i statws normadol pan gynigir unrhyw un o'r canlynol:

• Ail byte sig_alg (actifadu Ed25519, ML-DSA-87, neu unrhyw gofnod newydd yn y gofrestrfa §9).
• Ail gadwyn drand mewn defnydd cynhyrchu.
• Ail fersiwn amlapio allanol.

Hyd hynny mae §15 yn ddalwr lle sy'n sefydlogi siâp yr ymfudo fel bod PRs y dyfodol yn glanio yn erbyn targed hysbys yn hytrach nag ail-ddadlau'r wyneb negodi o'r dechrau.

16. Log Tryloywder a Haenau Gwydnwch (Dyluniad — adolygiad wedi’i gwblhau)

Statws. Mae’r adran hon yn fanyleb dylunio. Mae’r fformatau gwifren, hashio, a model ymddiried isod yn normadol ar gyfer y gweithrediad, ond nid oes unrhyw god log-tryloywder wedi’i ryddhau eto. Mae adolygiad allanol W5 wedi’i gwblhau: mae §16.15 yn cofnodi’r penderfyniadau datrysedig a’r cyfyngiadau lansio rhwymol a ddaeth ohono. Gall y gweithrediad fynd rhagddo o dan y cyfyngiadau hynny. Mae §16 yn aros yn edrych ymlaen yn yr un ystyr â §15 — mae’n sefydlogi’r targed fel bod y gweithrediad yn glanio yn erbyn dyluniad penderfynedig yn hytrach nag ail-ddeillio’r model ymddiried mewn adolygiad cod. Mae’n adiol yn llwyr — mae pob qub presennol yn cadw ei drafodiad Arweave unigol ac nid oes unrhyw newid i fformat gwifren SealedQub / QubEnvelope.

16.1 Rhesymeg a Haenau Gwydnwch

Heddiw mae gwydnwch qub a’i ymrwymiad amserol ill dau yn dibynnu ar un trafodiad Arweave fesul-qub (§11). Mae hynny’n cyplysu latedd selio i derfynoldeb Arweave, yn gwneud yr uwchlwythiad fesul-qub yn gap cost cynnyrch (ARWEAVE_DAILY_CEILING), ac nid yw’n rhoi unrhyw drefn tystiolaeth-ymyrraeth ar draws qubs. Mae’r log tryloywder yn ychwanegu dwy haen oddi tan ac o amgylch yr un haen honno:

Mae T2 yn gwneud Arweave fesul-qub yn ddewis (T3) yn hytrach na’r unig lwybr gwydnwch. Caiff ARWEAVE_DAILY_CEILING ei ymddeol fel cap cynnyrch a’i ostwng i dorrwr cylched ar y waled angor benodol yn unig (§16.7); ni wrthodir seliau defnyddwyr byth am ei oresgyn.

Gonestrwydd gwydnwch (datrysedig — §16.15 Q6). Nid yw gwydnwch yn atchwelyd: mae ysgrifennu R2 T1 yn gydamserol ac yn ysgrifennu-unwaith, felly mae qub haen-rad na phrynodd T3 yn hollol wydn yr eiliad y mae’r sêl yn dychwelyd. Yr hyn sy’n cwrsedu yw’r amser ymrwymo terfyn-uchaf profadwy: ar gyfer qub rhad mae’n dod yn amser bloc yr angor yn hytrach nag amser bloc trafodiad fesul-qub. Ar gyfaint isel — y cyflwr lansio-cynnar ac oddi-ar-frig realistig — y cadens dyddiol llawn yw’r llawr nodweddiadol, nid achos prin. Y fframio cynnyrch felly yw terfyn uchaf heb unrhyw latedd rhifol wedi’i ymrwymo — "wedi’i selio ac yn wydn nawr; ychwanegir stamp amser cyhoeddus annibynnol ar yr angor log nesaf (yn nodweddiadol bob dydd)" — a mae prawf ymrwymiad awr-union yn briodwedd T3 taledig, a ddatgelir ar yr wyneb cymharu-haenau ac yn y telerau (§16.11, §16.15 Q6). Mae unrhyw derfyn amser yn SLO mewnol yn unig, byth yn SLA a farchnatir.

16.2 Strwythur LogLeaf (dau siâp wedi’u hymrwymo)

Mae cofnod log yn LogLeaf, wedi’i amgodio fel CBOR safonol llaw-ysgrifenedig o dan broffil §3.1 (hyd-pendant, dim tagiau, dim arnofau, cyfanrifau siâp byrraf, testun NFC, meysydd dewisol wedi’u hepgor pan fyddant yn absennol, allweddi wedi’u trefnu yn ôl hyd byte amgodedig yn esgynnol yna’n fytewise). Caiff gwarchodwr safonol §3.1 parsio → ail-amgodio → cymharu ei gymhwyso ar y llwybr amgodio cyn hashio (nid ar ddadgodio yn unig), fel na all dau weithrediad anghytuno ar fytes y ddeilen trwy wahaniaeth lled-cyfanrif neu drefn-allweddi. Mae pob cyfanrif yn u8 / u64 / i64; mae pob crynodeb yn llinyn byte 32-byte (bstr[32]). Mae id trafodiad Arweave wedi’i storio’n grynodeb SHA-256 32-byte amrwd a gariwyd fel bstr[32], byth yn llinyn testun base64url (cyfateb i §3.3).

Mae gan y ddeilen ddau siâp a ddewisir gan fyte kind, oherwydd ar y llwybr uwchlwytho rhagosodedig mae’r Worker yn ddall-byte: nid yw POST /api/v1/upload yn derbyn ond qub_id ac unlock_at fel honiadau cleient anymddiried — mae body_hash, drand_round, created_at, a drand_chain_version i gyd wedi’u selio y tu mewn i’r amlapio allanol §13, nad yw’r Worker byth yn dal ei allwedd. Dim ond y llwybr sêl-gweinydd (POST /api/v1/seal) sy’n deillio body_hash / drand_round o destun plaen. Byddai un siâp deilen yn cario body_hash + drand_round felly’n ymrwymo gwerthoedd na ddilysodd y gweithredwr byth ar gyfer mwyafrif y qubs go iawn. Mae’r hollt yn cadw pob gwerth wedi’i ymrwymo’n onest:

Mae deilen kind=0x02 yn ymrwymo’n fwriadol nac i body_hash nac i drand_round: mae’n ardystio ymrwymiad a threfn cyphertext anhryloyw ar gyfeiriad-cynnwys chash, gan hawlio qub_id ac unlock_at — nid ei destun plaen na’i rownd. Daw’r coesau testun-plaen/rownd ar gyfer qub honedig o ddilysu bwndel .qub §11 presennol, nid o’r log (§16.11). Nid yw drand_chain_version yn y ddeilen (mae y tu mewn i’r amlapio ar y llwybr rhagosodedig); mae gronyniad cadwyn yn byw ar yr angor (§16.7). Disgyblaeth amgodydd: gwrthod ref neu chash cyfan-sero, a gwrthod unlock_at / received_at anbositif, gan adlewyrchu’r gwarchodwr sentinel outcome_at > 0 yn cbor.rs.

16.2.1 Dallu qub-preifat

Rhaid i’r log beidio â dod yn oracl rhifo y mae’r amlapio allanol §13 yn bodoli i’w atal (§13.1). Ar gyfer qub preifat (wedi’i amlapio) mae’r ddeilen asserted yn ymrwymo’r dynodwr dall SHA3-256(qub_id ‖ log_blind_secret), lle mae log_blind_secret yn gyfrinach a ddelir gan y gweinydd, ac yn hepgor body_hash. Ni all trydydd parti gysylltu deilen o’r fath â qub_id penodol; gall deiliad y qub, sydd â’r ddolen drosglwyddo ac felly qub_id, ailgyfrifo’r dall i gadarnhau ei gynhwysiad ei hun. Mae qub cyhoeddus (eisoes yn rhifadwy, eisoes yn cario’r tag Arweave Visibility: public fesul §13.8) yn ymrwymo’r qub_id amrwd. Dyma’r unig le mae dilysadwyedd unigol yn ildio’n fwriadol i ddiymyriad preifatrwydd llwyth-eredig; y cwlwm unigol ar gyfer qubs preifat yw chash (§16.9).

Cadwraeth log_blind_secret (datrysedig — §16.15 Q4). Mae’r dall yn amddiffyn anghysylltedd deilen, nid cyfrinachedd testun plaen (mae amlapio §13 yn dal hynny’n annibynnol). Ar gyfaddawd log_blind_secret, ar gyfer unrhyw qub_id y mae’r gwrthwynebydd eisoes yn ei ddal neu’n gallu ei ail-lunio (pob qub y mae ei fwndel/URL ganddo, ynghyd ag unrhyw qub_id entropi-isel neu gyhoeddus) mae’n ailgyfrifo’r ref deilen mewn un hash ac yn ei gysylltu — cysylltiad uniongyrchol o boblogaeth hysbys yw hwn, nid grym-bras dros ofod anhysbys. Dosbarthwch log_blind_secret fel cyfrinach gradd-cydberthynas/Sybil yn yr un haen cadwraeth â chyfrinachau gweinydd eraill, a chylchdroëwch ymlaen yn unig (mae cylchdro’n ail-ddallu deiliennau’r dyfodol; ni all ddatgysylltu rhai sydd eisoes wedi’u hangori’n ôl-weithredol).

16.3 Hashio Deilen a Nod

Hashio gwahanydd-parth RFC 6962 §2.1 gyda SHA-256 wedi’i ddisodli gan SHA3-256:

leaf_hash      = SHA3-256(0x00 || canonical_cbor(LogLeaf))
node_hash(l,r) = SHA3-256(0x01 || l || r)
empty tree     = SHA3-256("")          // defined but never anchored

Mae bytes rhagddodiad parth 0x02 (cadwyn cofnodion, §16.4) a 0x03 (hash STH, §16.6) wedi’u cadw’n ôl ac yn ddatgysylltiedig oddi wrth y rhain. Mae’n nhw’n fytes sengl ac felly ni allant wrthdaro â’r gwahanwyr parth ASCII 10-byte presennol (QUB_ID_V2, ayyb). Y goeden yw’r goeden chwith-lawn anghytbwys RFC 6962 (pob hollt mewnol ar y pŵer mwyaf o ddau sydd yn llym lai na chyfrif deiliennau’r is-goeden), sy’n caniatáu i brofion cynhwysiad a chysondeb rannu un algorithm llwybr-archwilio. Mae’r fanyleb gyfeirio’n cario pseudocod deillio chwith/dde penodol ac yn pinio fector prawf nad yw’n bŵer-o-ddau (5-deilen) fel bod yr achos dyrchafu ymyl-dde — y mae fector 4-deilen yn ei guddio — yn cael ei ymarfer.

16.4 Cadwyno Hash (mewnol)

Mae’r LogDO yn cynnal cadwyn cofnodion mewnol ar gyfer cysondeb-damwain yn unig. Ni chyhoeddir hi byth ac nid yw byth yn wynebu’r dilysydd:

entry_chain[seq] = SHA3-256(0x02 || entry_chain[seq-1] || leaf_hash[seq])
entry_chain[-1]  = SHA3-256("QUB_TLOG_GENESIS_V1")

Yr awdurdod atodi-yn-unig a gyhoeddir yw’r gwreiddyn Merkle cronnus + ei angor (§16.5–16.6), byth y drefn amrwd y mae’r gweithredwr yn digwydd gweini deiliennau ynddi: mae’r gadwyn yn ailgyfrifo ar gyfer unrhyw drefn a weinir, felly dim ond y gwreiddyn wedi’i angori sy’n pinio safle safonol.

16.5 Coeden Merkle Gronnus a Swpio

Mae un goeden RFC 6962 sy’n tyfu’n barhaus dros bob deilen yn nhrefn seq — nid coed fesul-swp ynysig. (Gwrthodwyd adeiladwaith deilen-gludo-cadwynog fesul-swp: nid yw’n berthynas rhagddodiad gwir, felly mae ei "brofion cysondeb" yn anghadarn.) Mae’r goeden gronnus yn rhoi profion cysondeb RFC 9162 dilys ac yn caniatáu i un angor diweddar brofi cynhwysiad ar gyfer unrhyw qub hŷn.

Y Gwrthrych Gwydn LogDO yw’r unig ysgrifennwr (blockConcurrencyWhile, gan adlewyrchu QuotaDO / EntitlementDO) — mae atodi i log a rennir yn ddarllen-addasu-ysgrifennu ar gyflwr a rennir ac felly RHAID iddo fynd trwy DO, byth KV. Mae’n caosio ffin ymyl-dde’r goeden (O(log n) hashiau) fel bod cau swp yn O(batch). Swp yw’r set o ddeiliennau wedi’u hangori gyda’i gilydd; mae ei sbardunau’n gyfluniadwy, nid wedi’u rhewi’n brotocol: cynnydd tree_size o LOG_BATCH_MAX_LEAVES o leiaf (rhagosodiad 4096), neu oedran yn cyrraedd y cadens angori, neu ffwlsiad gorfodol pan fydd sêl T3 taledig yn glanio. Mae root_i yn Hash Coeden Merkle cronnus dros ddeiliennau 0 .. tree_size_i.

16.6 Pen Coeden wedi’i Lofnodi trwy Angor Arweave

Mae trafodiad angor Arweave YN y Pen Coeden wedi’i Lofnodi ac yn disodli llofnod gweithredwr ar gyfer pen y goeden ei hun: nid oes angen allwedd qub ar yr angor dyddiol oherwydd mai owner y trafodiad Arweave yw’r llofnod. Mae thesis y ffos yn dal — y sylwedd anghyfnewidiol, nid cyfrinach a ddelir gan qub, sy’n llwyth-eredig ar gyfer y gwreiddyn wedi’i angori.

Mae’n union un allwedd lofnodi qub gynnes yn y dyluniad, ac mae wedi’i pinio: yr allwedd dderbynneb fesul-sêl (§16.10). Mae ei hallwedd gyhoeddus wedi’i hymrwymo yn LogProfile (a ddosberthir gyda’r dilysydd) a wedi’i thraws-lofnodi gan anchor_owner, fel bod dilysydd yn dilysu derbynneb yn erbyn yr un gwreiddyn piniedig â’r angor. Dyma ddatrysiad §16.15 Q2 — byddai allwedd dderbynneb anbinniedig, gweithredwr-gylchdroadwy yn ymwrthodadwy (gallai’r gweithredwr wadu mai ei allwedd ydoedd), a fyddai’n dirymu gwerth atebolrwydd y dderbynneb yn erbyn y gwrthwynebydd lefel-gweithredwr y mae’r dderbynneb yn bodoli i’w atal. Felly: nid yw qub yn dal unrhyw allwedd lofnodi-log anbinniedig; mae’r allwedd dderbynneb wedi’i pinio ac wedi’i thraws-lofnodi gan anchor_owner.

Mae’r SignedTreeHead yn CBOR safonol (allweddi yn ôl hyd amgodedig): size:u64, root:bstr[32], batch:u64, prev:bstr[32] (sth_hash blaenorol; genesis = 32 byte sero), log_id:bstr[32], first_seq:u64, anchored_at:i64. Ei hash yw sth_hash = SHA3-256(0x03 || canonical_cbor(SignedTreeHead)).

Gwreiddyn ymddiried piniedig. log_id = SHA3-256("QUB_TLOG_V1" || anchor_owner_address). RHAID i ddilysydd cydymffurfiol fynnu anchor_tx.owner == LogProfile.anchor_owner, lle mae anchor_owner (a allwedd gyhoeddus yr allwedd dderbynneb) wedi’i bobi i mewn i qub_core fel y LogProfile — ochr yn ochr â’r cysonion quicknet sydd eisoes yn DrandTimelockProvider::quicknet() — ac a ddosberthir gyda deuaidd y dilysydd. RHAID i’r dilysydd hefyd ddilysu rhwymo data → tx_id y trafodiad Arweave yn lleol yn hytrach nag ymddiried mewn ymateb /raw/ porth. Mae hyn yn cau twll ymwrthysgrifennu waled-droseddol: mae "wedi’i angori ar Arweave" yn ddiystyr nes bod y dilysydd yn pinio pa waled.

Mae cylchdro’n estyniad llywodraethu §15, nid ailddefnydd (datrysedig — §16.15 Q3). Nid yw wyneb proffil §15.2 ond yn rhestru sig_algs / cadwyni drand / fersiynau amlapio / mathau cynnwys ar hyn o bryd, ac nid yw sbardunau §15.3 yn rhestru’r un o’r rhain — nid yw LogProfile / anchor_owner eto yn wyneb §15. Rhaid felly adeiladu llywodraethu cylchdro: estynnir §15.3 (isod) i ychwanegu’r sbardun LogProfile, ac mae cylchdro’n godiad LogProfile wedi’i lofnodi a ryddheir mewn diweddariad dilysydd. Mae cylchdro bwriadedig yn cario traws-lofnod allanol → mewnol; ni all cylchdro wedi’i yrru-gan-gyfaddawd wneud hynny (mae’r allwedd allanol yn anymddiried/annargaeledd yn union bryd hynny) ac mae’n disgyn yn ôl i’r codiad a lywodraethir gan §15, gyda’r gwiriad fforch angor-blaenorol (isod) yn ffinio difrod yn y cyfamser.

Ffenestr ymwrthysgrifennu (paramedr ymddiried dosbarth-cyntaf). Nid yw deilen yn ymwrthysgrifennu-wrthsafol nes bod ei hangor sy’n ei gorchuddio wedi’i gadarnhau ar Arweave. Y ffenestr yw received_at → cadarnhad angor (≤ cadens + terfynoldeb Arweave). Oddi mewn iddi yr unig warantau yw’r dderbynneb sêl piniedig (§16.10) a chyfanrwydd gweithredol qub. Mae tri artiffact atebolrwydd yn gwneud hyn yn onest yn hytrach na llaw-chwifio (model y tyst yw datrysiad §16.15 Q2):

1. Derbynneb sêl piniedig wedi’i lofnodi — yr analog SCT a ddychwelir yn yr ymateb uwchlwytho (§16.10), wedi’i lofnodi gan yr allwedd dderbynneb piniedig, wedi’i thraws-lofnodi gan anchor_owner. Mae deilen a ollyngir cyn ei hangor yn gadael i’r dioddefwr dderbynneb anymwrthysgrifenadwy i’w gyhoeddi, gan gau’r twll hepgoriad-distaw.
2. Methodoleg monitor a gyhoeddir + cerdded cadwyn-blaenorol — caiff cadwyn prev yr angor ei cherdded pen→genesis; mae fforch (dau angor ar un size gyda root gwahanol, neu prev toredig) yn brawf cyhoeddadwy o gamymddwyn. Mae canfod ymwrthysgrifennu yn ymrwymiad gweithredol datganedig, nid yn dybiaeth ddistaw.
3. Pennau deuol hunan-gyhoeddedig — caiff pob pen newydd {sth_hash, tree_size} ei bostio i ystorfa GitHub gyhoeddus, atodi-yn-unig sy’n eiddo i qub (y goes hunan-gyhoeddi tystiolaeth-ymyrraeth llwyth-eredig), gyda phostiad cymdeithasol fel cadarnhad gwneud-eich-gorau yn unig. RHAID i bostiad a fethodd dudalennu (peidio â methu’n ddistaw).

Terfyn gonestrwydd (cyfyngiad rhwymol). Oherwydd bod qub yn rheoli’r ddau wyneb postio, mae hyn yn hunan-gyhoeddedig, nid yn dyst-annibynnol. Ni all unrhyw wyneb cynnyrch, marchnata, na chyfreithiol hawlio bod y log "wedi’i dystio’n annibynnol"; yr hawliad a ganiateir yw bod ymwrthysgrifennu’n ganfyddadwy ac yn gadael derbynneb anymwrthysgrifenadwy. Mae tyst trydydd-parti annibynnol gwir wedi’i ohirio i godiad llywodraethu §15 yn y dyfodol.

Mae received_at yn weithredwr-honedig ac ni all unrhyw hawliad bwyso arno — ni chaiff byth ei amlygu fel prawf neu fel cadarnhad anghydfod ar unrhyw wyneb cynnyrch / cyfreithiol / API / rendro-prawf. Amser bloc angor Arweave T yw’r unig stamp amser di-ymddiried (terfyn uchaf ar "wedi’i logio erbyn"). RHAID i unrhyw wiriad pwyll monitor ar received_at gymharu yn erbyn T, nid yn erbyn y maes STH anchored_at a reolir gan y gweithredwr; mae gwiriad o’r fath yn warchodwr yn erbyn nam cloc gweithredwr gonest yn unig, nid yn rheolaeth atebolrwydd yn erbyn gweithredwr maleisus (§16.15 Q5).

16.7 Fformat a Chadens Trafodiad Angor

Y AnchorBundle yw corff trafodiad Arweave CBOR-safonol, a ysgrifennir trwy’r bwndlydd §16.8: ver:u8, sth:bstr (bytes SignedTreeHead safonol), prev_anchor:bstr (bytes amrwd id trafodiad angor blaenorol; wedi’i hepgor ar genesis), chain_hash:tstr (y gadwyn drand mewn grym — quicknet), a ffrwd deilen-CBOR y swp yn nhrefn seq fel bod yr angor yn hunan-gynwysedig: mae monitor yn ail-ddeillio root o’r corff heb unrhyw ddibyniaeth qub. (Os daw’r ffrwd deilennau’n fawr ar gyfaint uchel, gall diwygiad yn y dyfodol ymrwymo ystod deilennau yn unig trwy gyfeirnod; nodwyd, heb ei fabwysiadu yn v1.)

Mae tagiau Arweave yn rhifadwy’n fwriadol — bwriedir i’r log gael ei ddarganfod, yn wahanol i qubs preifat: App-Name: qub-tlog, Anchor-Format: 1, Log-Id: <hex>, Batch: <n>, Tree-Size: <n>, Root: <hex>, Prev-Anchor: <tx>, Content-Type: application/cbor. Mae tagiau’n awgrymiadau anymddiried; y corff CBOR yw’r unig awdurdod.

Cadens: dyddiol trwy ragosodiad, wedi’i ailedrych gyda chyfaint (mae’r sbardun maint yn awtomatig-fyrhau’r cadens effeithiol o dan lwyth); mae sêl T3 taledig yn gorfodi angor fel nad yw cwsmeriaid sy’n talu byth yn aros diwrnod. Mae’r waled angor yn benodol ac yn gyflymder-isel, ar wahân i’r waled uwchlwytho — RHAID iddi fod yn JWK ei hun (allwedd benodol, nid rôl resymegol ar y waled uwchlwytho) fel na all cyfaddawd waled-uwchlwytho ffugio angorau — gyda chyllideb trafodiad-angor caled-fesul-dydd (yr ARWEAVE_DAILY_CEILING a ostyngwyd). Mynegir yr ystum cadwraeth yn blaen: allwedd gynnes cwmpas-cul gyda thorrwr cylched tynn a balans isel, nid "oer" — ni all waled sy’n awto-lofnodi’n ddyddiol fod yn oer, ac nid yw’r fanyleb yn esgus fel arall.

16.8 Bwndlydd ANS-104

Amgodydd DataItem ANS-104 a llofnodydd hash-dwfn mewnol, tua 300 llinell, Web Crypto yn unig, dim dibyniaethau npm (mae’r ddau SDK Turbo’n methu’r gât gadwyn-gyflenwi npm ci --ignore-scripts). Cynllun byte DataItem:

signatureType (2, LE) || raw_signature || owner || target(flag+0|32) || anchor(flag+0|32) || num_tags(8, LE) || tags_len(8, LE) || avro_tags || data

Llofnodi yw deepHash Arweave — crynodeb SHA-384 ailadroddol (gofyniad gwifren Arweave, crypto.subtle.digest("SHA-384")) dros ["dataitem", "1", sig_type, owner, target, anchor, encoded_tags, data] — yna RSA-PSS dros yr hash dwfn gyda JWK y waled trwy crypto.subtle; id = base64url(SHA-256(signature)). Mae’r SHA-384 yma wedi’i gwarantîn fel primitif gwifren-Arweave-yn-unig, byth yn brimitif ymddiried qub (mae §15 yn cofnodi’r ffens; mae hashio ymddiried qub yn SHA3-256 drwyddi draw).

Mae un llwybr cod yn gwasanaethu tri defnyddiwr: parhauster fesul-qub T3 taledig, y dewis-arall annargaeledd-Arweave (ciwio’r DataItem, dychwelyd y gydnabyddiaeth R2-yn-gyntaf beth bynnag — mae hyn yn cau’r pen-marw 503 ARWEAVE_UNAVAILABLE presennol), ac ysgrifennu’r AnchorBundle. Cynllun llofnod (datrysedig — §16.15 Q8): mae v1 yn llofnodi gyda RSA-PSS (math llofnod 1) gan ailddefnyddio mecanwaith JWK waled Arweave presennol (dim cadwraeth allwedd hir-oes newydd, gan wasanaethu’r thesis "un gyfrinach yn llai"); mae Ed25519 wedi’i ohirio i lwybr ymfudo-PQ §15.

Y hash dwfn llaw-lunio yw’r cod risg-uchaf, gorchudd-naturiol-isaf yn W5, felly mae ei gatio’n annegoadwy (§16.15 Q8):

1. Mae’r ffigwr traws-iaith tlog_v1.json (Rust + TS, patrwm §14.5 wrapper_v1.json) yn gorchuddio hash-dwfn, bytes + id DataItem, hashiau deilen, gwreiddyn 5-deilen + llwybr archwilio, hash STH, prawf cynhwysiad, a phrawf cysondeb — yn y ddau gyfeiriad llofnodi a dilysu (mae’r cyfeiriad dilysu o bwys oherwydd bod gwiriad lleol tx → tx_id §16.6 yn tynnu’r hash dwfn i mewn i bob dilysydd unigol, nid y ysgrifennwr yn unig).
2. Tro-cylch rhyngweithredu un-tro trwy fwndlydd ANS-104 cyfeirio, a ddefnyddir fel data prawf statig yn unig — byth yn ddibyniaeth amser-rhedeg npm (mae’r ystum Web-Crypto-yn-unig / dim-sgriptiau-gosod yn sefyll).
3. RHAID i’r llwybr hash-dwfn + RSA-PSS dro-gylchu trwy’r un primitifau crypto.subtle a ddefnyddir mewn cynhyrchu, fel bod yr amgodydd mewnol yn fyte-gydnaws.
4. Mae monitor derbyn ôl-fwndel parhaus yn cadarnhau bod pob DataItem angor / dewis-arall yn cyflawni derbyniad Arweave mewn gwirionedd, gyda larwm + torrwr cylched — oherwydd bod yr hash dwfn hefyd yn gwasanaethu’r ciw dewis-arall annargaeledd-Arweave, felly byddai atchweliad distaw’n llenwi’r ciw hwnnw â chofnodion a wrthodwyd-gan-y-rhwydwaith yn ystod yr union doriad y mae’n bodoli i’w gorchuddio.

16.9 Profion Cynhwysiad a Chysondeb

Mae’r ddau’n RFC 9162, SHA3-256, a weinir fel CBOR safonol.

InclusionProof — GET /api/v1/qub/:tx_id/proof: ver:u8, leaf:bstr (y CBOR deilen union — mae’r dilysydd yn ailgyfrifo leaf_hash ei hun ac nid yw byth yn ymddiried mewn hash a gyflenwir), index:u64, size:u64, audit:[bstr[32]], root:bstr[32], anchor:{ txid:bstr[32], batch:u64, sth:bstr[32], log_id:bstr[32], block_height?:u64, anchored_at?:i64 }.

ConsistencyProof — GET /api/v1/log/consistency?first=<size_a>&second=<size_b>: ver:u8, first_size:u64, second_size:u64, first_root:bstr[32], second_root:bstr[32], nodes:[bstr[32]], first_anchor, second_anchor. Un rhestr allweddi diamwys, wedi’i pinio gan fector prawf.

Dilysu unigol (dim gweinydd qub, yn estyn §11):

1.  Parse .qub bundle → SealedQub; recompute qub_id (§4.1).
2.  Read leaf.kind.
3a. kind=0x01 (attested):
      assert leaf.ref == qub_id
      assert leaf.body_hash   == SHA3-256(body)
      assert leaf.drand_round == unlock_round(unlock_at)
3b. kind=0x02 (asserted):
      assert leaf.ref == SHA3-256(qub_id || blind)   // holder supplies blind
      OR treat ref as opaque and bind via leaf.chash == SHA3-256(stored_bytes)
4.  Recompute leaf_hash = SHA3-256(0x00 || leaf); fold `audit` per RFC 6962
    using index/size; require derived root == proof.root.
5.  Fetch anchor.txid from any gateway; verify the tx data → tx_id binding
    (do not trust a gateway /raw/ response); REQUIRE anchor_tx.owner ==
    LogProfile.anchor_owner.
6.  Parse AnchorBundle; require committed root == proof.root and size ==
    proof.size; read the Arweave block time T.
7.  Emit the claim scoped by leaf.kind (§16.11).

RHAID i storfa gweini-prawf fod yn gyfesuryn-allweddedig (datrysedig — §16.15 Q7, rhagamod blocio). Mae cynhyrchu prawf deilen-oer yn niwtral-o-ran-cywirdeb dim ond os yw’r deunydd archwilio R2 yn storfa nod-Merkle barhaus wedi’i hallweddu gan gyfesuryn coeden absoliwt (level, index) — nid deltas nod fesul-batch. Gyda storfa cyfesuryn-allweddedig, mae unrhyw lwybr archwilio (leaf i, size N) yn set o O(log N) GETs R2 uniongyrchol heb ail-gyfrifo ar draws ffiniau swp; gyda storfa swp-allweddedig nid ydyw, sef y bwlch cynllun-storfa y mae’r datrysiad hwn yn ei gau. Mae cyrff y deiliennau’r un modd yn gyfeiriadadwy-gan-gynnwys gan seq. RHAID i fector prawf W5 brofi deilen oer oes-genesis yn erbyn gwreiddyn llawer-diweddarach gan ddefnyddio R2 + Arweave yn unig gyda storfa’r LogDO wedi’i sychu, fel bod yr hawliad diogelwch-adfeddiant yn §16.13 wedi’i ategu yn hytrach na’i honni. Mae’r O(log N) GETs R2 dilyniannol yn perthyn dim ond ar y pwynt-terfyn prawf anghydamserol — byth ar lwybr poeth y sêl (§16.10) nac ar cron fesul-tic.

16.10 Trefn Cydnabyddiaeth R2-yn-Gyntaf

Daw dilyniant POST /api/v1/upload yn:

1. Gatiau hanner-blaen (awthen, dilysu, allwedd-rhanc idempotency) — yn ddigyfnewid.
2. Yn gydamserol await QUB_CACHE.put(qub-cache/<tx_id>, wrappedBytes) — y llawr gwydnwch; hefyd yn cau ras rhag-gaosio W1 (gynt yn ctx.waitUntil ar ôl cyflwyno Arweave).
3. Yn gydamserol await LogDO.append(leaf) — un RPC DO mewn-colo; mae’r unig ysgrifennwr yn aseinio seq, yn estyn y gadwyn cofnodion, ac yn diweddaru’r ffin. (Darllen-addasu-ysgrifennu ar gyflwr a rennir → DO, byth KV.) Mae’r RPC append yn gwneud dim ond hynny — mae gwaith cau-swp Merkle O(batch) yn rhedeg oddi ar yr RPC hwn ar larwm y LogDO, neu mae p95 yr atodi’n brigo bob LOG_BATCH_MAX_LEAVES-fed sêl.
4. Dychwelyd y gydnabyddiaeth nawr — gyda’r dderbynneb sêl (wedi’i lofnodi gan yr allwedd dderbynneb piniedig, §16.6) a { tx_id, log_seq, anchor_status: "pending" }. Caiff y ffan-allan Arweave aml-eiliad ei dynnu o’r llwybr beirniadol.
5. Mae un ctx.waitUntil yn ciwio’r gwaith gohiriedig: y cyflwyniad Arweave fesul-qub (nawr gwneud-eich-gorau / taledig; ar fethiant mae’n llwybro i giw dewis-arall y bwndlydd yn hytrach na 503-io’r defnyddiwr) ynghyd â’r ysgrifau meta-darpariaethol presennol. Mae cau-swp ac angori’n rhedeg yn annibynnol o larwm y LogDO a’r cron angor dyddiol. Dim ctx.waitUntil y tu mewn i ddolen; mae allwedd-rhanc idempotency presennol yn cael ei chadw.

Cyllideb latedd (datrysedig — §16.15 Q7). Mae’r targed < 300 ms p95 yn gât lansio a fesurir, nid yn dybiaeth. Y llwybr beirniadol gonest yw’r darlleniadau KV hanner-blaen + un PUT R2 + dau Wrthrych Gwydn cyfresol — y debyd cwota-sêl QuotaDO presennol a’r atodi LogDO newydd — felly rhaid i’r gyllideb gyfrif am ddau dro-cylch DO mewn-colo, nid un. Rhyddhewch larwm latedd LogDO sy’n adlewyrchu un QuotaDO a thrin atchweliad p95 fel blociwr rhyddhau.

16.11 Model Ymddiried — yr hawliad union, wedi’i sgopio gan fath deilen

Ar gyfer kind=0x01 (ardystiedig): "Caiff y cynnwys hwn — corff sy’n cyfateb i body_hash, wedi’i adnabod gan qub_id — ei ymrwymo i log atodi-yn-unig qub yn safle seq ac roedd yn bodoli dim hwyrach nag amser bloc Arweave T; roedd yn anddarllenadwy’n gryptograffig tan rownd drand R = unlock_round(unlock_at)." Dyma’r triphlyg llawn {rhwymo rownd tlock + cynhwysiad Merkle + gwreiddyn wedi’i angori}.

Ar gyfer kind=0x02 (honedig, y rhagosodiad): "Caiff cyphertext anhryloyw â chyfeiriad-cynnwys chash, sy’n hawlio qub_id ac unlock_at, ei ymrwymo i’r log atodi-yn-unig yn safle seq ac roedd yn bodoli dim hwyrach nag amser bloc Arweave T." Cyflenwir y coesau rownd a chorff gan ddilysu bwndel .qub §11 presennol (qub_core::unlock), nid gan y log; yr hyn mae’r log yn ei ychwanegu dros drafodiad noeth fesul-qub yw trefn tystiolaeth-ymyrraeth, amser ymrwymo terfyn-uchaf di-ymddiried, a gwrthsafedd ymwrthysgrifennu.

Mae’r ddau hawliad yn eithrio, fesul §11: awduriaeth heb sig_alg ≥ 0x01, bwriad, ac amseru is-ronyniad-angor. Nid yw’r naill na’r llall yn gadael i unrhyw hawliad bwyso ar received_at.

Nenfwd hawliad (cyfyngiad lansio rhwymol — datrysedig §16.15 Q1). Ar gyfer qubs rhad / rhagosodedig (kind=0x02), yr hawliad kind=0x02 sgopiedig uchod yw’r nenfwd ar yr hyn y caiff unrhyw wyneb cynnyrch, marchnata, telerau, na rendro-prawf ei haeru. Ni all unrhyw wyneb ddatgan na goblygu bod y log yn profi cynnwys neu rownd ddatgloi qub rhagosodedig — mae’r log yn profi trefn + amser ymrwymo terfyn-uchaf di-ymddiried o gyphertext anhryloyw. Daw prawf cynnwys a rownd yn unig o ddilysu bwndel .qub §11 presennol, sy’n log-annibynnol. Mae hwn yn flociwr lansio caled ar gopi, nid yn ffafriaeth arddull; dyma’r datrysiad sy’n cadw’r llwybr rhagosodedig dall-byte yn onest.

16.12 Fersiynu a Chydlynu W3

Nid oes codiad gwifren SealedQub ac felly nid oes codiad fersiwn-protocol (§12.1): mae’r log yn ochr-gar sy’n ymrwymo i feysydd a bytes presennol, felly nid yw’n mynd i mewn i hanes fersiwn-protocol §12.2. Mae drand_chain_version dewisol W3 yn ddigyffwrdd ac yn aros yr unig faes SealedQub dewisol. Yn lle hynny mae’r log yn cyflwyno ei ofodau fersiwn annibynnol ei hun — LOG_VERSION_1, ANCHOR_FORMAT_1, InclusionProof.ver — gan adlewyrchu annibyniaeth fersiwn-amlapio §12.4 (mae’r amlapio’n cario byte fersiwn yn annibynnol ar fersiwn y protocol, ac mae fersiynau’r log yn dilyn yr un gwahaniad).

Caiff prawf ei nôl trwy ragosodiad, gyda chydreidiad dewisol. Ni all prawf fodoli ar amser selio (nid yw’r angor wedi’i ysgrifennu eto), felly mae bwndel .qub amser-selio’n aros yn ddi-brawf. Mae dilysydd W7 yn nôl GET …/proof unwaith, neu mewn modd cwbl-all-lein yn ail-lunio’r prawf o’r AnchorBundle cyhoeddus trwy ymholiad Arweave ar Log-Id. Mae bwndel .qub (W7) yn cadw’n ôl aelod inclusion_proof dewisol — absennol ar amser selio, wedi’i boblogi gan ail-allforio ôl-angor ar gyfer archifo oer — gan ddilyn yr un patrwm "dewisol, wedi’i hepgor trwy ragosodiad, adiol" â drand_chain_version W3.

16.13 Cadw

Caiff ffenestri cadw ar gyfer cynffon agored y LogDO, sylwedd gweini-prawf R2, cownteri torrwr-cylched yr angor, a chiw dewis-arall y bwndlydd eu nodi yn docs/DATA-RETENTION.md. Egwyddor: mae storfa fesul-cofnod poeth y log (LogDO) yn adfeddiannadwy ôl-angor; mae ei deunydd archwilio — y storfa nod-Merkle cyfesuryn-allweddedig (level, index) + cyrff y deiliennau wedi’u hallweddu gan seq (§16.9) + angorau Arweave — yn barhaol. Nid yw adfeddiannu deilen oer o’r DO byth yn dirymu prawf a gyhoeddwyd, oherwydd bod prawf yn datrys yn erbyn y storfa nod R2 barhaol honno a’r angor Arweave, nid y DO (ac mae fector prawf DO-wedi’i-sychu §16.9 yn ei brofi).

16.14 Fectorau Prawf

Mae W5 yn rhyddhau’r ffigwr traws-iaith tlog_v1.json (§16.8) ynghyd â fectorau wedi’u gweithio: deilen kind=0x01 a deilen kind=0x02 → leaf_hash; y gwreiddyn cronnus 5-deilen; un prawf cynhwysiad; un prawf cysondeb; un AnchorBundle; ac un id DataItem. Mae’r rhain yn byw ochr yn ochr â fectorau amlapio-allanol §14.5 ac yn cael eu hymarfer gan y gweithrediadau Rust (qub-core) a TypeScript (Worker) fel ei gilydd.

16.15 Penderfyniadau Adolygiad (W5 — datrysedig)

Mae adolygiad allanol W5 (tro dylunio gwrthwynebol + cymeradwyaeth y perchennog) wedi’i gwblhau. Mae pob penderfyniad isod yn setlo ac yn cael ei adlewyrchu yn nhestun §16 uchod; ailddatganir y cyfyngiadau lansio rhwymol ar y diwedd. Gall y gweithrediad fynd rhagddo o danynt.

1. Gonestrwydd deilen llwybr-rhagosodedig (kind=0x02) — DATRYSEDIG. Rhyddhewch yr hollt dau-fath-deilen fel y’i nodir: nid yw kind=0x02 yn ymrwymo nac i body_hash nac i drand_round. Dim maes *_body_hash ar y llwybr dall-byte (byddai’n arwydd "dilyswyd" ffug mwyaf darllenadwy i integreiddwyr ac yn gyfleustra y mae §11 eisoes yn ei ddarparu o’r bwndel). Peidiwch â mynnu sêl-gweinydd ar gyfer qubs log-ardystiedig (byddai hynny’n gorfodi testun plaen trwy’r Worker ac yn dinistrio’r ffos crypto-malu). Mae unrhyw fyrgylchu hunan-ddisgrifio’n perthyn yn y bwndel .qub / amlen prawf fel maes dilysydd-ailgyfrifedig, byth yn faes deilen. Nenfwd hawliad a gadarnhawyd gan y perchennog: §16.11.
2. Atebolrwydd ymwrthysgrifennu / hepgoriad — DATRYSEDIG. Mae’r allwedd derbynneb-sêl wedi’i pinio yn LogProfile + wedi’i thraws-lofnodi gan anchor_owner (gan gau’r gwrth-ddywediad "dim allwedd lofnodi" blaenorol; §16.6). Model tyst lansio: derbynneb piniedig + methodoleg monitor + cerdded cadwyn-blaenorol + pennau deuol hunan-gyhoeddedig (ystorfa GitHub gyhoeddus sy’n eiddo i qub, cymdeithasol gwneud-eich-gorau), wedi’i farchnata fel canfyddadwy + â derbynneb, byth wedi’i dystio’n annibynnol. Mae tyst trydydd-parti gwir wedi’i ohirio i godiad llywodraethu §15.
3. Gwreiddyn ymddiried angor-owner piniedig + cylchdro — DATRYSEDIG. Mabwysiadwch y pin LogProfile (§16.6); mae’r dilysydd yn gwirio anchor_tx.owner == anchor_owner ac yn dilysu’r rhwymo data → tx_id yn lleol. Mae llywodraethu cylchdro’n estyniad i’w adeiladu §15 (ychwanegwyd sbardun §15.3), nid ailddefnydd; mae cylchdroeon bwriadedig yn traws-lofnodi, mae cylchdroeon wedi’u gyrru-gan-gyfaddawd yn disgyn yn ôl i’r codiad §15 gyda’r gwiriad fforch yn ffinio difrod.
4. Dallu deilen qub-preifat — DATRYSEDIG. Cadwch ddallu ar gyfer qubs preifat (ref = SHA3-256(qub_id ‖ log_blind_secret)), qub_id amrwd ar gyfer qubs cyhoeddus (eisoes §16.2.1), chash fel y cwlwm unigol. Mae log_blind_secret yn gyfrinach gradd-cydberthynas/Sybil, cylchdroi-ymlaen yn unig (§16.2.1).
5. received_at — DATRYSEDIG. Cadwch ef yn y ddeilen, wedi’i ymrwymo ond yn benodol an-dystiolaethol; byth wedi’i amlygu fel prawf neu gadarnhad anghydfod ar unrhyw wyneb. Mae unrhyw wiriad pwyll monitor yn cymharu yn erbyn amser bloc Arweave T, nid yr anchored_at a reolir gan y gweithredwr (§16.6).
6. Amseru-profadwy haen-rad — DATRYSEDIG (cymeradwyaeth y perchennog). Nid yw gwydnwch yn atchwelyd; dim ond yr amser ymrwymo terfyn-uchaf profadwy sy’n cwrsedu i amser bloc yr angor. Nid yw copi haen-rad yn defnyddio unrhyw SLA rhifol ("…ychwanegir ar yr angor log nesaf, yn nodweddiadol bob dydd"); mae prawf awr-union yn briodwedd T3 taledig, a ddatgelir ar yr wyneb cymharu-haenau + yn y telerau (§16.1).
7. Coeden gronnus ar Workers — DATRYSEDIG. Un goeden RFC 9162 gronnus + LogDO unig-ysgrifennwr ffin-gaosiedig (penrhyddid cyfforddus yn erbyn nenfwd DO ~1k ysgrifau/eiliad; gohiriwch rhannu Merkle-o-wreiddiau-rhanc nes bod yn agos ato). Rhagamod blocio: storfa nod R2 cyfesuryn-allweddedig (level, index) + y fector prawf deilen-oer DO-wedi’i-sychu (§16.9); mae < 300 ms yn gât lansio a fesurir dros ddau DO cyfresol (§16.10).
8. Cynllun llofnod ANS-104 + hash-dwfn — DATRYSEDIG. RSA-PSS (math llofnod 1, gan ailddefnyddio JWK y waled-angor benodol); Ed25519 wedi’i ohirio i lwybr PQ §15. Mae’r hash dwfn SHA-384 llaw-lunio wedi’i gatio ar y ffigwr traws-weithrediad y-ddau-gyfeiriad, gwiriad rhyngweithredu bwndlydd-cyfeirio statig-yn-unig, y tro-cylch crypto.subtle-a-rennir, a’r monitor derbyn-Arweave ôl-fwndel (§16.8).

Cyfyngiadau lansio rhwymol (cariwch i mewn i’r gweithrediad + adolygiad cynnyrch/cyfreithiol):

• Nenfwd hawliad (Q1/Q6). Ni all unrhyw wyneb ddweud bod y log yn profi cynnwys neu rownd ddatgloi qub rhagosodedig; yr hawliad a ganiateir yw wedi’i drefnu, yn dystiolaeth-ymyrraeth, gydag amser ymrwymo terfyn-uchaf di-ymddiried. Nid yw copi stamp-amser haen-rad yn cario unrhyw latedd rhifol; mae prawf awr-union yn T3 taledig yn unig.
• Gonestrwydd tyst (Q2). Marchnatwch ymwrthysgrifennu fel canfyddadwy + â derbynneb, byth wedi’i dystio’n annibynnol.
• Allweddi derbynneb + angor (Q2/Q8). Mae’r allwedd dderbynneb wedi’i pinio + wedi’i thraws-lofnodi; mae’r waled angor yn JWK ei hun yn wahanol i’r waled uwchlwytho.
• Gât hash-dwfn (Q8). Nid oes unrhyw angor na thrafodiad T3 yn rhyddhau nes bod y ffigwr y-ddau-gyfeiriad + gwiriad rhyngweithredu’n pasio; mae’r monitor derbyn yn tudalennu ar fethiant.
• Rhagamod storfa (Q7). Mae storfa nod cyfesuryn-allweddedig + fector deilen-oer DO-wedi’i-sychu yn rhagofynion ar gyfer y warant "ni ddirymir prawf gan adfeddiant byth".