Nymchat whitepaper technegol

Cyd-fynd Post-Quantum Key yn Nymchat

Ychwanegu ML-KEM-768 cleifiau pibell ar gyfer Nostr heb ffeiliau neu archifau, ac yn cael ei ymgorffori o'r secret sy'n ymgorffori unrhyw werth pibell.

Ydych chi'n ychwanegu cyfnewid cleifau post-quantum i messenger yn bennaf yn problem cryptograffig. Mae'r primitives yn cael eu standardized ac mae'r librariadau yn bwysig. Ymladd Mae'r papur hwn yn adolygu sut y mae Nymchat yn ymgynghori â'r adolygiad hwn - o'r lle mae'r adlygiad y dosbarth yn dod, sut mae'n dod â'r bobl sy'n angen ei, ac mae'r rhyngwyneb yn cael ei leoli i ymgynghori am y wyneb - a, yn y rhan y blaen, mae'r wyneb hwn yn ddiogelu.

Mae'r dudalen hon wedi'i chyfieithu â pheiriant er hwylustod. Y fersiwn Saesneg wreiddiol yw'r fersiwn berthnasol.

1Y problemau

Mewngofnodi yn cael eu encryption gyda NIP-44Mae'r dosbarth sy'n ymgorffori'r text ystafell — ChaCha20 gyda tag HMAC-SHA256, cychwyned drwy Ymchwiliad (Rwseg 5869) — nid yw'n rhyddhau'n sylfaenol gan gyfrifiaduron cuant; mae'r algorithm Grover yn costiau cyflymder sgwâr-roed yn ôl key symmetric, ac mae 256 bitiau yn absorbed yr hyn. Ymchwiliad Mae'r cyswllt elliptig Diffie-Hellman yn fwy Ymchwiliad 256K1, a algorithm Shor yn llosi'r logaritma disgrifiad yn uniongyrchol. Recovering one private key from its public counterpart retroactively exposes every shared secret that key ever produced.

Mae'r rhyddhau a credu'r hyn yn cael ei ddibynnu hyd at mae'r peiriant hwn yn arwain. Gall un adran gyda storio archebu text encryption y dydd a decryption'i pan fydd y gallu yn dod yn dod. Mae unrhyw beth a elwir yn cael eu chwilio nawr sy'n cael ei ddibynnu, mae'n cael ei ddibynnu. Mae hyn yw'r ateb penodol o'r cyfnewid cleient post-quantum, ac mae'n golygu bod y gwaith yn awgrymu i'r peiriant i'w adeiladu.

1.1 Mae'r gwestiwn hwn yn adnabyddus

Mae'r cynhwysyddion yn cael ei ddibynnu'n dda: yn rhedeg mecanyddol encapsulating post-kwantwm gyda'r cyfathrebu clasurol, felly mae'n rhaid i'r cyffurwr i brynu'r ddau i lawr unrhyw beth. Nymchat defnyddio ML-KEM-768 (Ymchwiliad 203). Mae hyn yn unwaith yn cynhwyso problem cyfathrebu:

Mae NPUB yn cyswllt ei hun. Gallwch rhowch ei ar y papur, i'w llwytho i lawr, neu i'w scan o'r llun, ac mae'n unig y mae angen i chi encryption i chi. Mae ML-KEM-768 cyswllt cyffredinol yw 1,184 byte. Gall ei lawrlwytho i lawr, ni fydd yn cael ei rhowch mewn enw defnyddiwr, ac nid yw'n hoffi mewn cod QR yn ogystal â'r adnoddau sy'n dim ond 32 byte.

Mae'r rhan hardd yw bod y cyswllt arall yn brynu trys problemau gwahanol, ac y rest o'r papur hwn yn bennaf yn ateb i ni:

• Gellir ei gwella. Mae'r nodweddion a gellir ei leoli yn un o'r golygfeydd yw'r nodweddion sy'n swipe ar gyfer ei hun. Mae'r nodweddion yn cael ei gysylltiedig â'r nodweddion gyda chyfrif, sy'n sefydlu'r nodweddion hwn yn unol.
• Mae'n rhaid i'r rhan fwyaf o'r peiriannau y defnyddiwr. Mae'r un cyfrif ar y ffôn a'r laptop yn rhaid i mewn i'r un cyfrif, neu mae'r misoedd sy'n cael ei ddibynnu i'r un yn cael ei ddibynnu ar yr un.
• Mae'n gallu i'w gwblhau. Mae'r sglefrfyrddau public yn cael ei ddibynnu o'r secret, felly mae'n rhaid i'r dychwelyd i'r secret - a gan y adeiladu, nid oes unrhyw arall yn adeiladu'r secret.

2Dylunio dylunio

Mae'r cyswllt yn cael ei ffurfio'r ateb, ac mae'n allforio'r rhan fwyaf o'r dylunio gweledol yn ôl i'r cod.

1. Mae'r rhan fwyaf o hysbysebion. Mae'r defnyddwyr Nostr wedi bod yn cael ei fod yn un secret, nsec. Mae pob secret ychwanegol yn ffordd arall i brynu'ch historiad, ac mae'r rhai sy'n gwybod i backup nsec, ni fydd yn gwybod i backup unrhyw'r eraill. Mae'r rhan 3.1 yn dangos y mae'r hyn yn cael ei fod yn cael ei fod yn uniongyrchol - mae'r cleiant post-quantum o'r nsec yn darparu unrhyw amddiffynnol post-quantum - felly mae'r dylunio yn defnyddio'n un secret a dim ond mwy: yn unig o'r deunydd cleiant, a gynhyrchwyd unwaith ar un identity, yn cael ei arwain fel y nsec ac yn un lle, felly mae'r rhai sy'n gwybod sut i ryddhau un yn gwybod sut i ryddhau'r
2. Rwy'n mynd Peidiwch â chi i'r gweinyddion a fyddai'r gweinyddion yn cael ei ddibynnu.
3. Mae'r rhan fwyaf o systemau, mae'n un identiteid. Mae'r deunydd Nostr yn cael ei ddefnyddio'n gyffredin gan nifer o cleientiaid yn uniongyrchol. Fodd bynnag, mae'r deunydd sylfaenol yn ddelfrydol ar gyfer pob un o'r ymuno, ac mae'r ffordd sy'n cwmpasu'r ymuno'r ymuno yn cael ei ddibynnu gan y oponent sy'n diogelu.
4. Ymchwiliad ni. Mae unrhyw gwahanu yn y band o “gyfeirio'r chiffrau?” yw'r siâp a allforiwr yn gallu canolbwyntio i chwistrellu'r opsiynau sy'n gyffrous.

3Mae'r secret rhyddedig

Mae'r dewis cryfder yn bod y cleiant decapsulating ML-KEM yn cael ei gynhyrchu o'r deunydd cryfder sy'n cael ei ddibynnu gan unrhyw werth public. Mae pob identity yn cael un secret root, a gynhyrchwyd unwaith:

pqRoot   = 32 bytes from a CSPRNG, generated ONCE per identity

seed     = HKDF-Expand(
               HKDF-Extract(salt = "nym-pq-root-v2", IKM = pqRoot),
               info = "mlkem768/epoch/" || epoch,
               64 bytes)

(ek, dk) = ML-KEM-768.KeyGen(seed)

Mae'r rhwydwaith yn cael ei arddangos i'r defnyddiwr fel y nsec yw: Ymchwiliad 32 Yn ôl y preifatrwydd human-readable nympqMae'n lleoli fel nympq1…, a elwir yn ôl y nsec yn y llunydd ID ar ôl yr un o'r cydweithrediad arddangos, copio gyda'r un rheoli, nid oes logio ac nid yw'n cael eu chwilio unrhyw un o'r lle yn y clar. Mae'n golygfeydd a nid yw'n logio. Mae'n deunydd cryfder y defnyddiwr yn gallu arbed, fel y nsec.

Mae'r deunydd yn cael ei gwahanu gan ddomeni, felly ni all fod unrhyw hysbysebion arall yn cael ei gynhyrchu'r un cyswllt. epoch Mae'r cyswllt yn cael eu cynyddu (Section 9).

3.1 Mae'r gofynion yw'r gofynion yn cael ei gynnal o'r gofynion ID

Mae'r dylunio gwyddonol yn seed y keypair o'r secret y defnyddiwr yn cael ei gael:

seed = HKDF(salt = "…", IKM = nsec)          // do not do this

Mae'n addas ar gyfer sgwâr, mae'r holl yn real: unrhyw newydd i backup, oherwydd y nsec yn cael eu backup; unrhyw dyfeisiau sy'n dderbyni gan adeiladu, gyda unrhyw protocol synchronization i dderbyni; un adolygiadau sy'n cael eu gwella ar un o'r identity yw'n ddelfrydol, oherwydd bod y dyfeisiau yn cael ei dderbyni am y dyfeisiau; a'r dyfeisiau wedi bod yn awr yn cael ei ddibynnu, felly mae'r cleientiaid yn gallu gwblhau da i'w wneud yn gyntaf.

Mae'r llwyfan Shor yn rhedeg am yr un o'r nodweddion. Mae'r algorithm Shor yn rhedeg am ddosbarthu npub wedi'i rhedeg i nsec. Mae'r llwyfan siâp yn algorithm rhedeg am y nsec. Felly mae'r adranol sy'n rhedeg y llai clasurol yn adeiladu'r llai post-quantum trwy rhedeg y HKDF sy'n rhedeg gan bob un o'r eraill. Wrth y llwyfan-yn-yn-dysod-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn-yn

Mae'r secret wedi'i generated yn uniongyrchol sy'n cael eu synchronized rhwng deunyddiau y defnyddiwr yn y mis NIP-44 cyffredin yw'r un defnyddiwr yn uniongyrchol gyda phrasiau ychwanegol: mae'r oponent yn llwytho'r swydd hon i'r swydd hwn ac yn llwytho'r cleiant clasurol yn ôl, ac mae'r rhwydwaith yn dod o hyd. Mae'n rhaid i'r llwybr yn y rhan nesaf yw'r llwybr, ac mae nid un o'r llwybr yn "send it to your other device."

3.2 Cyd-fynd i'r dyfeisiau eraill o'r defnyddiwr

Mae'r cyswllt 3 o Section 2 - un identity, nifer o dyfeisiau - yn gallu cael ei gyfrifo gan arithmetig yma, oherwydd bod yr holl bod yn bod y cyswllt nid yw'r swyddogaethau o unrhyw un o'r dyfeisiau wedi'i gymharu. nympq1… codau ei hun.

Mae'r raddfa yn cael ei arddangos fel nympq1… ar ôl y nsec, ac mae'r dyfeisiau arall yn cael ei dderbyni mewn un paneli. Mae'n y mecanyddol cyfan. Gall dyfeisiau sy'n cael ei gael y cod yn cael ei ddibynnu, a elwir yn y Parth 4.2.

Mae'r rheoleiddio yn y rhan fwyaf yn y rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf o'r rhan fwyaf.

Mae'r fformat yn llwytho lle i'r llwybr gwbl: gall y record yn cynnwys llwybr o gwbliau, yr un yn blob AEAD o dan blob y bydd y defnyddiwr yn gallu reproductio ar un dyfeisiau arall - o'r allbwn PRF passkey, er enghraifft. nympq1… Mae'r cod yw'r un ffordd o'r ffordd. Mae Parth 10.1 yn adnabod sut mae'n cost.

Mae'r record yn byw yn y categori o'i hunain, nymchat-pq-rootFodd bynnag, nid yw'n cael ei ymgorffori, mae'n gweithio'n angen: mae'n arbenigoedd fel y mae'r dyfeisiau arall yn gwybod bod y dyfeisiau hwn yn cael ei gyfrifiad, sy'n hyn sy'n ymgorffori'n ymgorffori y dyfeisiau cystadleuol (Section 3.3).

3.3 Generaethau a Adoptio

Yn y booth, mae'n cael identiaeth di-staen, mae'r cleientiaid yn gweithio yn y rheolaidd hwn:

1. Wedi'i chwilio am un existing nymchat-pq-root cyfieithu .
2. Mae'r record wedi'i fwynhau, ac mae'r dyfais hwn yn gallu unwrap Mae'n cael ei adnabod ac yn adnabod y nodweddion hwn fel canolbwyntio post-quantum.
3. Mae'r record wedi'i ffeilio, ac mae'r dyfais hwn yn awgrymu'r — nid yn generate rhwydwaith newydd, ac nid yn ddibynnu unrhyw adolygiadau yn hollol. Gwrthdaro y defnyddiwr i gysylltu â'r dyfais hwn gan y gofrestr nympq1… cod o'r dyfeisiau sy'n cael ei gael.
4. Ymchwiliad — generate a root, publish the record, announce, and show the record. — generate a root, publish the record, announce, and show the nympq1… Mae'r cod i'r defnyddiwr unwaith i gael ei archebu.

Step 3 yw'r brethyn sy'n hawdd i'w gael yn eithaf, ac mae'n gwell y mae'r rhif yn cael ei rhif i lawr yn fwy na'r rhif. Mae'r ddau dyfeisiau sy'n dewis i gynhyrchu rhwydwaith yn cynhyrchu dau rhwydwaith gwahanu o dan un identity, ac mae'n y defnyddiadau y rhif hwn yn cael ei atal.

4Awgrymiadau o gallu

Mae'r rhan fwyaf o'r rhan fwyaf o'r cyswllt dewisol yn cael eu ddibynnu fel addressable Ymchwiliad 01 Ymchwiliad — kind 30078, tagged nym-pq:

{
  "kind": 30078,
  "tags": [
    ["d", "nym-pq"],
    ["t", "nym-pq"],
    ["expiration", "<unix seconds>"]
  ],
  "content": {
    "v":     2,
    "alg":   "mlkem768",
    "nym":   1,
    "epoch": 0,
    "pk2":   "<base64url ML-KEM-768 encapsulation key>",
    "exp":   <unix seconds>,
    "devices": [ ... ]
  }
}

Mae'r relay yn cael un event per (kind, pubkey, d-tag), felly mae republish yn cyffurfio'r adolygiadau cynhwysol yn lle. Fodd bynnag, mae'r cyswllt yn cael un record rhad ac yn hyn, sy'n hyn sy'n gwneud y cheisiad Alice's key” yn uniongyrchol i'r rhestr i'w cymharu.

Mae'r cyfrif yn bwysig. Mae'r cyfieithu yn cael ei deimlo gan y cyswllt ID, felly mae'r cyswllt ML-KEM hwn yn bennaf i'r npub” hwn yn unol â'r npub yn ei hun. Mae'r cyfieithu â'r cyswllt encapsulation arall yn cael ei angen i fforio cyswllt secp256k1. Mae'r ymwrthwyr sy'n gallu wneud hyn yn rhaid i chi fod yn ymwrthedd â'r KEM.

Mae'r adolygiadau yn cyrraedd. 7 diwrnod NIP-40 Mae'r rhyddhau, wedi'i ddibynnu bob dydd o 24 awr, yn cael y rhyddhau ar gyfer y cwsmeriaid sy'n cael ei rhedeg yn fwy na'r cwsmeriaid sy'n cael ei rhedeg.

Mae adolygiadau sy'n cael ei leoli yn unol â'r sy'n naill ai bod yn cael ei benderfynu: mae'r peer yn chwilio NIP-44 arferol, sy'n cael ei leoli gan bob login, ac mae'r cleientiaid yn parhau'r cyfnewid post-quantum ar ei cysylltiad nesaf, pan fydd yn cael ei ddibynnu. Fodd bynnag, mae'r brisiau sychu am fwy na wythnos yn cost amddiffynnol ar gyfer y adolygiadau a wnaed yn ystod y gwahanu - mae'n cael ei encryptioned yn unol i'r cyfnewid-resistant - ac mae'n cost unrhyw arall.

Mae'r asymetria hwn yw'r dull y dull yn fwy na'r rhyfel o'i. Os nad yw'n un, mae'r record yn gwblhau'r haul sy'n enw: Mae'r dyfais sy'n cael ei gwblhau, reset, neu mae'r rhwydwaith wedi'i gwblhau yn dod o'r rheol i encapsulate i lawr i'r haul nad yw'n cael eu chwilio yn fwy, ac mae'r adolygiadau sy'n cael eu chwilio gyda unrhyw gwblhau ar unrhyw un o'r llai. Mae'r dyddiau siâp y fenywod, ac yn caniatáu i'r relays i lawr y record yn oed yn rhedeg ar y cwsmeriaid i adnabod.

Mae'r llinell key yn enw ei format. Mae'r ardal yn pk2, a cyfrifiad yn rhan o'r cyswllt yn fwy na decoration: mae'n enw y fformat llwytho i gael ei ddefnyddio gyda. Mae'r reader sy'n cael ei adnabod y feddal yn cyswllt â'r cwsmer “Nymchat, nid yw'r key post-quantum” ac yn chwilio NIP-44 cyffredinol, sy'n gallu llwytho i'r pob llwytho. Mae'n y ddelfryd yn rhedeg go iawn, ac mae'n ddelfryd yn adnabod fel rheolaidd y cyfrifiad fformat yn cael ei adnabod: mae angen i'r cyswllt y gallu heb ei adnabod, mae'n rhaid i'r cyflenwi. Mae'r key a'r peer yn gallu defnyddio yw'

4.1 Mae'r lleithder yn sylfaenol, ac yn tri-value

Mae'r adolygiad yn cael ei ddibynnu gan bob cwsmer Nymchat, nid yn unig y cwsmeriaid post-quantum, ac mae'r llinell craidd yn opsiynol.

Mae adolygiad heb gofrestr yn adolygiad sy'n rhyddhau bod mae'r sender yn rhedeg Nymchat, sy'n caniatáu i'r send path i lawrlwytho rhyddhau-protocol speculative sy'n rhaid i'w cynnwys ar gyfer unrhyw un sy'n gallu identifio.

4.2 Mae'r dyfeisiau sy'n awgrymu'r raddfa yn tynnu

Mae'r adolygiad yn ddibynadwy: un event per identity, llwytho llwytho llwyddiannus. Mae'n hyn sy'n gwneud y dylunio record unigol yn gweithio, ac mae'n hyn hefyd yn gwneud y dyfais unlinked yn ddiogel os yw'r dyfais yn ddibynadwy.

Mae'r dyfeisiau sy'n gwybod lle mae'r rhwydwaith yn bwysig, ond nid yw'r dyfeisiau yn cael ei ddibynnu, nid yw'r dyfeisiau wedi'i ddibynnu, ac nid yw'n cael ei ddibynnu o'r dyfeisiau: Mae'r dyfeisiau wedi'i ddibynnu i'r dyfeisiau, ac mae'r dyfeisiau wedi'i ddibynnu, ac mae'r dyfeisiau yn cael ei ddibynnu, ac mae'r dyfeisiau yn cael ei ddibynnu.

5Ymchwiliad a Decisions Offer

Mae'r cleientiaid cwsmeriaid yn dysgu'r peer's keys o'r ddau ffordd. Mae'r cyfeiriad staen yn cwmpasu'r bobl y mae'r defnyddiwr yn gyffredinol â'r cwsmeriaid a'r rhan fwyaf o'r grŵp - felly mae'r adolygiadau yn dod yn gyffredinol. Ar gyfer un peer wedi'i gymharu ar gyfer y cyntaf, mae'r cwestiynau un-blwch yn rhedeg ar amser y cyfeiriad, sy'n rhedeg ar 2.5 munud; os mae'n rhedeg, mae'r adolygiadau yn gyffredinol, sy'n yr adolygiadau sydd wedi'u ychwanegu post-quantum yn fwy na'r modau gwbl newydd.

Mae'r defnyddiwr sy'n gysylltiedig â dyfeisiau newydd, neu sy'n symud o log-in-browser-extension i key local, yn cael post-quantum yn gallu cyfieithu mid-conversation, a 'no'rdquo' yn cael ei hoffi ar encryption clasurol ar gyfer y diwylliant.

5.1 Er enghraifft downgrade

Mae'r dewis rhedeg yn rhyddhau i un gwestiwn unigol:

pq = (we hold a signed, unexpired ML-KEM key for this recipient)

Mae gennym ni allforio gallu, ni allforio-algorithmau a ni allforio canolbwyntio i'r cyffurwr i'w chwistrellu i'w chwistrellu i'w chwistrellu. yn Mae'r modd defnyddiol o'r adolygiadau sy'n dod yn bod mae'r adolygiadau yn dod o'r clasurol - y status quo na'r swyddogaeth hwn - yn fwy na y mae'r adolygiadau hybrid yn cael ei ryddhau i'w ddylunio.

Mae'r ymwrthedd hefyd yn cael ac mae'n bwysig mwy: mae'r cwsmer yn darparu hybrid Yn unig Mae'r cyswllt yn cael ei ddibynnu, ac mae'r cyswllt yn cael ei ddibynnu, ac mae'r cyswllt yn cael ei ddibynnu, ac mae'r cyswllt yn cael ei ddibynnu.

6adeiladu hybrid

Nymchat yn gwmpasu NIP-44. Mae'n gwblhau'r text cyfrifiadurol NIP-44 unmodified yw'r layer mewnol, ac mae ML-KEM yn cychwilio AEAD mewnol i'r ardal:

inner = nip44_encrypt(plaintext, conversation_key(sender, recipient))

info  = "nymchat-pq2" || sender_secp_pk || recip_secp_pk || kem_ct || recip_kem_pk
prk   = HKDF-Extract(salt = "nymchat-pq2-v1", IKM = kem_ss)
key   = HKDF-Expand(prk, info || "key",   32)
nonce = HKDF-Expand(prk, info || "nonce", 12)

outer = ChaCha20-Poly1305(key, nonce, plaintext = inner, aad = info)

payload = "pq2." || base64url(kem_ct) || "." || base64url(outer)

Mae'n rhaid i'r ddau secrets yn cael ei gyfrifo i lawrlwytho'r cymeriad: mae'r layer diwydiannol yn cynhyrchu dim ond text cyfrifiadurol NIP-44, ac mae'r opsiwn yn angen y ECDH clasurol. Mae'r adran quantum sy'n brynu secp256k1 yn cael'r cleiant mewnol ac mae'n dal i'r ML-KEM; mae'r craidd o ML-KEM yn llosgi'r layer diwydiannol ac mae'r NIP-44 yn seiliedig.

• kem_ss Mae'r cyswllt yn unol â'r strwythur diwydiannol. Ni all o'r defnyddiadau hwn yn dod â'r allbwn ECDH crwn, sy'n hyn sy'n dod â Sefydliad 6.1.
• kem_ct, recip_kem_pk Mae'r ddau sleidiau ID yn cael ei gysylltiedig fel data sy'n gysylltiedig, felly mae'r layer diwydiannol yn cael ei gysylltiedig i'r transkript honol sy'n cynhyrchu.

Mae'r cyswllt ML-KEM y defnyddiwr yn barod, ond mae'n cyswllt cyswllt uniongyrchol, ac mae'n rhaid i'r cyswllt uniongyrchol kem_ssMae'n hyn sy'n gwneud yn deallio'r nonce yn oed yn cael ei llaw: Ymchwiliad CACHA20-Poly1305 Mae'r cyswllt yn cael ei ryddhau gan ddefnyddio'r cyswllt (key, nonce), ac yma mae'r cyswllt yn newydd ar gyfer pob mesur, felly ni fydd y cyswllt yn cael ei reoli.

6.1 Fodd bynnag, mae'r strwythuriau yn cael eu dalu

Mae'r opsiwn yn blasio'r ddau secrets yn un cyswllt un a llaw i NIP-44:

ck = HKDF-Extract(salt = "…",
                  IKM  = ecdh_x || kem_ss || …)          // do not do this

Mae'r buddsoddi hwn yn safon fel cryptografia. Mae ganddo problem strwythurol: mae angen ecdh_x, y cofrestru crwn x o'r allbwn ECDH, fel deunydd cyswllt - a chyflenwr extension (NIP-07) neu rhyddhau cyfieithu (NIP-46Mae'n gweithredu NIP-44 ar y wneuthurwr ac yn mynd i mewn i'r cyfnewidydd, sy'n bod yn bod yn y bod yn cael y gofynnol y gofynnol lle mae'r cais yn gallu cyrraedd.

Mae'r gwahanu'r secrets yn dod yn unol i bob login sy'n rhedeg'r key identity yn un signer, er enghraifft y defnyddiwr sy'n ddiogel, ac nid oes gwahanu'n canolbwyntio'r work on the key derivation. Layering yn allbwn y dependency: mae'r NIP-44 yn rhad ac yn cael ei gynhyrchu gan yr hyn sy'n rhedeg'r key identity, sy'n cynnwys'r signer, ac mae'r KEM yn cael ei cyfrifo gan y cod recovery sy'n rhedeg'r client yn uniongyrchol.

Mae'r cyfrifiad ML-KEM yn 1,088 byte ac yn rhedeg ar bob mis, base64url-coddiwyd i 1,451 caràcter; mae'r AEAD ystafell yn ychwanegu tag Poly1305 16 byte ac yn cyfanwerthu'r llwytho i'r NIP-44 gan un trydydd. Mae'r mis 50 caràcter yn cynyddu o 176 byte i 1,712, a'r mis 2000 caràcter o 2,820 i 5,238. Mae'r llwytho yn fwy na 1,5 KB per mis heb fod yn gyflym, a yw'r pris o encapsulating newydd i bob amser yn fwy na'r defnyddiadau cyffredin.

6.2 Ychwanegwyr sy'n defnyddiol

Mae'r pq2. Mae'r prefix yn gwneud y cydweithrediad yn ychwanegol: mae'n auto-describing, felly mae'r cleientiaid yn dewis y llwytho decryption gan ymgynghori'r llwytho i'r llwytho i'w canolbwyntio yn fwy na'r trosglwyddo un tag neu'r adolygiad y mae'r peer yn cefnogi. Mae'r reader sy'n adnabyddus y prefix yn ymgynghori'r llwytho i'r llwytho i'r llwytho yn fwy na'r llwytho i'r llwytho i'r llwytho, ac mae'r adolygiadau sy'n ymgynghori gan un o'r ddau llai yn gallu wneud post-quantum yn cael ei lawrlwytho fel NIP-44

6.3 Mae'r ddau layers o'r darn wrap

A NIP-17 Meddalwedd yn a NIP-59 Gwrthdaro: rhwydweithiau heb ei ryddhau, wedi'i ryddhau o dan y gofynnol (type 13), yna wedi'i ryddhau o dan y gofynnol a gynhyrchir ar un o'r mesur (type 1059). Ar y login sy'n cael y gofynnol yn uniongyrchol, mae Nymchat yn hybridize'r ddau layers, yr un gyda'r ei hun encapsulation.

Mae'r cofrestru yn cael ei gael yn unig ar y strwythur diwydiannol. Mae'r cofrestru yn cael ei gynhyrchu gan'r cofrestru fel NIP-44 arferol - mae'r cais yn golygu bob amser y cofrestru sy'n gwneud y cofrestru - felly ni all fod yn cael ei hybridized yn lle. Mae hyn yn golygu na'r cofrestru yn ymarferol: mae'r cofrestru yn cael eu cyrraedd yn unig drwy'r cofrestru, ac mae'r cofrestru yw'r mae'r cofrestru. Mae'r cofrestru sy'n cael y traffig recorded mae'n rhaid i mewn i'r ML-KEM i'r cofrestru yn oed yn cael ei golygu i'r cofrestru.

7Mesuriau Grŵp a Cyd-fynd

Mae'r ffeil grŵp yn un text cyfrifiadurol. Mae'n ystafell ystafell cyfrifiadurol wedi'i ffonio i bob membran, mae pob copy wedi'i encapsulated i'r cyswllt ML-KEM ei hun. Mae'r membran sy'n cael ystafell hybrid; un sy'n cael ystafell clasurol.

Mae hyn yn credu'r problem cyfrifonol sy'n cael ei gyfrifiad ar un defnyddiwr naiv. Os ydych chi'n cael copie hybrid o 8 o'r 10 o'r membran, mae'r mis ddim Mae'r oponent yn rhaid i un copiaidd clasurol o'r text yn unol â'r tiwb, felly mae'r swydd yn cael ei amddiffynnol dim ond os yw'r bob Mae'n Copy

Mae Nymchat mae'n arbenigo mewn llwytho ar un o'r misiau yn ystod y fan-out - mae'r cyfrif yn cael ei adnabod dim ond mae'r wraps yn cael ei adeiladu - ac mae'r badge yn adnabod “resistant-quantum i 8 o'r 10 o'r membrannau” yn oed yn argymell bod y mis yn cael ei amddiffyn. Ymchwiliad Meddalwedd grŵp (yn unig mae'r deallwr yn cyfrif y fan-out), mae'r rhyngwyneb yn adnabod amddiffynnol yn oed yn llawn.

7.1 Mae'r adolygiadau'r Shield

Mae'r sglodion yn ddelfrydol am y Meddalwedd, nid yw'r meddalwedd sy'n chwilio:

• Cyd-fynd: Mae pob copy o'r text hwn yn hybrid.
• Pecynol: rhai copiynau o ffeiliau grŵp wedi dod yn clasurol. Dyluniwyd yn fwy na'r hollol, oherwydd bod un copy clasurol o ffeiliau syml yn unol â'r holl o'r holl yn gofynion y adran.
• Mae clasurol yn cael ei adnabod yn uniongyrchol yn oed yn cael ei adnabod fel unrhyw badge, oherwydd bod un indicator is absent is ambiguous between “unprotected”, “broken”, and “this build laws the feature”.

Mae'r dewis yn cael eu recorded pan mae'r swydd yn cael ei gwella yn oed yn cael ei adnabod gan y bydd y peer yn adnabod yn ôl. Mae'r cyffuriau cyfieithu sy'n cael ei gael yn cael ei amddiffynnol yn fwy na'r ystyried, ac mae'r rhyngwyneb sy'n rhyddhau'r swyddiau da ar y pŵer o'r adolygiad newydd yn argymell ychydig o dull am bythiau ar y relay.

Mae'r rheoleiddio grŵp o'r top yn fwy na'i deimlo: mae'r mis grŵp yn cael ei amddiffynnu'n llawn yn unig pan fydd y copia o bob membran yn cael ei gael, ac mae'r mis grŵp a'r grŵp wedi'i gael gyda chyfrifiad dim ond mae'r cyfrif amddiffynnol yn cael ei dangos.

8Cyfeiriad: Copy addressed to yourself

Mae nifer o'r rhai sy'n storio i'r cleientiaid yn cael ei encryptio i'r nodweddion y defnyddiwr: cyflawn synchronized, y llestr cyfathrebu, chydrannau grŵp, a'r archeb mesur. Mae'r rhai hyn yn cynnwys mwy am y defnyddiwr yn fwy na'r rhan fwyaf o'r mesur unigryw, felly bydd y bydd yn dod â'u clasurol yn gwneud y mae'r artefact sy'n cael ei archebu, na fydd y mesur yn cael ei gwblhau'n gyflym. Mae'n defnyddio'r un hybrid, wedi'i encapsulated i'r cleientiaid rhataf y defnyddiwr yn un o'r un o'r defnyddiadau a datblygwyd yn Section 3.2, y nymchat-pq-root Mae'r categori yn ei hun, sy'n gallu cael ei gwella o dan cleiant sy'n unig yn gallu cynhyrchu.

Mae blob settings neu llinell archifau yn seiliedig yn un lle am flynyddoedd, a mae'n y ffurf o'r daeth y mae'r oponent yn cael ei gyfrifo - yn fwy na unrhyw adolygiadau unol, sy'n oed yn efemeral yn y ddelfryd y defnydd.

Mae'r cyswllt un yn rheoli'r fformat yma yn fwy na'r cyswllt. Mae'r copy sy'n cael ei leoli gan bob Mae'r cyfrifiadur ar y cyfrifiadur ar y cyfrifiadur, felly mae pob cyfrifiadur yn adolygu'r cyfrifiadur ar y cyfrifiadur ar y cyfrifiadur ar y cyfrifiadur, ac mae'r cyfrifiadur yn ysgrifennu'r cyfrifiadur yn unig y cyfrifiadur ar y cyfrifiadur ar y cyfrifiadur.

9Ymchwiliad

Mae'r epoch Mae'r cyfrifiadur yn y derbyniad yw'r hyn sy'n gwneud y rotatio posibl heb deunydd cychwyn newydd. Mae'n cynyddu'r ystyried yn cynhyrchu cyswllt newydd o'r un rhwydwaith a'r adolygiad wedi'i ddibynnu; mae'r peirianwyr yn dod â'r cychwyn newydd o'r record sy'n cael ei wella.

9.1 Mae'r epocau da yn cael ei drin, a dim ond nid yw'n re-cryptio

Mae'r cleientiaid yn adeiladu candidates decryption o'r epoch rhad ac yn ôl â'r epoch − 3, felly mae'r adolygiad sy'n cael ei ymrwymo yn unwaith yn ôl i'r rotatio yn oed yn ymrwymo i'r cyswllt sy'n rhad ac yn awr pan fydd yn cael ei send.

Mae'r fersiwn hwn yw'r beth sy'n gwneud y rotatio yn ddiogel i wneud yn hollol: heb ei, bydd unrhyw rotatio yn strwythu unrhyw beth sydd wedi'i hedfan. Mae unrhyw hyn sydd wedi'i rhedeg wedi'i rhedeg wedi'i rhedeg ar gyfer y diwylliant o'r identiaeth, oherwydd mae'r adolygiad y defnyddiwr yn awgrymu yn fwy na'r adolygiad sy'n cael ei gwella retroactively (Section 10.5).

10Mae hyn yn amddiffyn

Mae'r papur sy'n llwytho yn unig y mae'r dylunio yn cyrraedd, nid yw'n deimlo'r system, ac mae'n cynyddu'r eiddo diogelwch yn y rhyngwyneb yn fwy na'r defnyddiadau.

10.1 Mae'r raddfa yn secret arall, ac mae'n cael ei hysbysebu

Mae'r cyswllt o'r Dylunio 2 a fydd y defnyddiwr yn rhaid i'r defnyddiwr yn cael ei wneud yn unig: Mae'r nsec yn unig yn reconstruct y cyswllt post-quantum, oherwydd bod mae'r rhan yn bod nid yw unrhyw werth public a nid yw'r secret eraill yn arbed ei. Os nad yw unrhyw dyfeisiau yn cael y rhwydwaith a nid yw unrhyw un o'r blwchiau o'r Dylunio 3.2 yn cael eu hapus, mae'r deunydd sy'n cael ei ryddhau i'r cyswllt rhwydwaith.

Mae'r ffordd un o'r fersiwn manwl, mae'r ffordd hwn yn agored mwy na'r gall ei leoli yn gyntaf. Mae'r defnyddiwr sy'n golygu'r nympq1… Mae'r cod unrhyw leol yn cael un copion o'i, ar un dyfeisiau, ac yn llosgi'r dyfeisiau hwn yn llosgi bob mesur post-kwantwm, blob setiau a llinell archifau yn cael eu gwella i'r dyfais. nsec yn helpu; mae'n y deunydd y mae'r holl dylunio yn seiliedig ar.

Mae'r cyffurwr yn ymgorffori'r ffordd rhad ar gael, felly mae'r schema'n werth y mae'r ffordd arbed sy'n werth - mae'r passsphrase, er enghraifft, yn dod â'r holl gyffuriau i'r passsphrase yn werth, ac mae'r rhedeg wedi'i ymgorffori yw'r artifact y mae'r oponent sy'n ymgorffori'n ddiweddarach a'i rhowch off-line ar am ddim.

10.2 Authentication, fel gwahanu o ddiogelwch

Mae pob cyfrif yn Nostr yn Schnorr dros secp256k1, ac mae'n cael ei ddibynnu yma. Gellir ei fforio'r cyfrifiaduron cuantig a'r defnyddiwr yn y amser real. Mae'r cyfyngau cleiid hybrid yn golygu'r cyffur-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-yn-ddibyn-ddibyn-ddibyn-ddibyn-ddibyn-ddibyn-ddibyn-ddibyn-ddib

Mae'n ogystal â'r llinell y bydd y adolygiadau yn Sefydliad 4 yn caniatáu. Mae'r cyswllt rhwng npub a cyswllt ML-KEM yn cyfrif secp256k1, felly mae'r adolygiwr sy'n gallu cyswllt y cyswllt yn canolbwyntio'r cyswllt ei hun.

10.3 Metadata

Ymchwiliad darn sy'n hidlo'r deallwr, y recipient yn fwy na un p Mae'r tag, y math, a'r timestamp o'r cymeriad mewnol. Mae'n golygu nad yw'r arddangosfa, y maint, neu pan fydd relay wedi cael ei gael.

10.4 Mae'r mesh Offline

Nymchat's Bluetooth mesh trosi yn protocol gwahanu gyda'i ei hun trosi, ac mae'n cael ei dderbyni gan hyn o'r gwaith.

10.5 Meddaliau wedi'u chwilio

Tystysgrif cyfrifiad pan fydd unrhyw un o'r llai wedi bod yn ddelfrydol, mae'n ddelfrydol. Mae'n cael ei gael ac ni all fod yn cael ei re-sealed. Mae'r diogelwch yn dechrau ar y mesur lle mae'r ddau llai wedi cael y cleifau post-quantum, nid yn y amser y nodweddion wedi'u arwyneb.

11Dylunio alternatives

12Parhau Gweithredu

Mae Nymchat yn cyflenwi dos o ddibynadwy o'r adeilad hwn - un yn JavaScript ar gyfer y cais web, un yn Dart ar gyfer y cais symudol, gan gynnwys port ML-KEM-768.

Mae'r gweithredu Dart ML-KEM yn cael ei gyfrifo ar y swyddogol Ymchwiliad Ymunwch â'r cyswllt ar gyfer ML-KEM-768 (ML-KEM-*-FIPS203) — 25 cynhyrchion key-generation, 25 cynhyrchion encapsulation a 10 cynhyrchion decapsulation, yn cael ei rhedeg fel swith ei hun. Mae'r mae'r vektorau NIST yn cael eu rhedeg i wirio'r gweithgareddau, felly mae'r defnyddiadau yn brif y port yn rhedeg, nid yw'n brif gwerth bod mae'r ddau cleientiaid yn dderbyn â'r un. Yn fwy na'r hyn, mae'r cyfathrebu'r vektorau test - derivation seed, encapsulation, both payload formats, and complete gift wraps - is generated from the JavaScript reference and checked by both test suites. The root secret extends that fixture rather than replacing it: root to seed, root to keypair, the root' nympq1… Mae divergences yn un o'r feddalwedd yn awgrymu'r adeiladu yn fwy na gynhyrchu un swydd y mae'r cleientiaid arall yn awgrymu.

Mae'n hyn sy'n gwybod i'r dyfais “this is the root I hold” o “this is a different one”, ac mae'r client sy'n gallu reproduction'r fingerprint o'r client arall bydd yn lleoli record da iawn fel unrhyw record na all - ac yna, ar ôl Section 3.3, yn myntu'r rhwydwaith arall ac yn dibynnu'r identity.