Post Quantum na Ebidensya para sa mga Autonomous Agent sa Quantova Virtual Machine

Abstrak

Ang mga autonomous agent at superintelligence agent ay nagsasagawa na ngayon ng mga pagbabayad, desisyon at filing sa ngalan ng mga kumpanya sa pagbabangko, pamahalaan, pangangalagang pangkalusugan at pananalapi. Ang mga rekord ng ginawa ng mga agent na iyon ay hawak ng mga operator na ang asal mismo ang inilalarawan ng mga rekord. Maaaring isulat muli ng tagapag-ingat ang gayong mga rekord, at kung nilalagdaan man ang mga ito, nilalagdaan ang mga ito gamit ang ECDSA, EdDSA o RSA, na sa pamamagitan ng Shor's algorithm ay kayang pekein ng isang quantum computer sa polynomial time.

Ang Qstamp ay isang bukas na SDK at isang hanay ng mga Quanta smart contract sa Quantova Virtual Machine (QVM) na ginagawang pangmatagalang ebidensya na mabeberipika ng sinuman ang mga rekord ng agent, habang nananatiling pribado sa operator ang mga rekord mismo. Ang bawat rekord ay pinaiikli sa isang SHA3 256 digest at itinatali sa isang bagong 256 bit na salt. Pinagsasama ang mga nagreresultang leaf sa isang RFC 9162 hash tree na may hanggang 2²⁰ na leaf, at kino-commit ang tree sa pamamagitan ng iisang domain separated na 32 byte na halaga na nagtatali sa chain, sa kontrata, sa signer, sa uri ng rekord at sa laki ng batch. Ina-anchor ang commitment ng isang attested na Quanta smart contract sa isang transaksyong nilagdaan gamit ang ML DSA 65 at ginagawang pinal ng isang komite ng mga validator na lumagda sa bawat block gamit ang ML DSA 65 mula pa sa genesis.

Tinutukoy namin ang isang evidence forgery game at pinatutunayan na ang advantage ng anumang klasiko o quantum na kalaban ay nalilimitahan ng collision advantage at second preimage advantage laban sa SHA3 256, ng isang q fold na EUF-CMA advantage laban sa ML DSA 65 at ng probabilidad ng isang consensus failure. Eksaktong isinasaad namin kung ano ang pinatutunayan ng isang resibo at kung ano ang hindi nito pinatutunayan, inilalarawan kung paano kino-compile, ina-attest at idine-deploy ang mga kontrata, nagbibigay ng pamamaraan ng beripikasyon na angkop sa mga utos ng mga hukuman at regulator kasama ang isang ganap na nalutas na halimbawa mula sa Quantova test network, at iniuugnay ang konstruksyon sa mga obligasyon sa pagtatala ng rekord sa European Union, United Kingdom, Estados Unidos, Japan, Korea at Hong Kong.

Mga susing salita

1. Panimula at buod ng mga ambag

Ang mga software agent na binuo sa malalaking modelo ay tumatawag na ngayon ng mga tool, naglilipat ng pondo, nag-aapruba ng kredito at lumilikha ng nilalaman sa ngalan ng mga tao at institusyon. Kapag kinuwestiyon sa kalaunan ang gayong aksyon, ang tanong sa harap ng isang hukuman, isang superbisor o isang insurer ay usapin ng katotohanan. Ano ang ginawa ng agent, sa ilalim ng aling modelo at patakaran, at kailan? Halos palaging kinukuha ang sagot mula sa mga rekord na itinatago ng operator ng agent, na siya ring partidong ang asal ay pinag-uusapan.

Dalawang kahinaan ang sumusunod dito. Ang una ay ang kustodiya. Ang isang rekord na hawak sa isang database sa ilalim ng administratibong kontrol ng operator ay maaaring baguhin ng operator, at walang anuman sa rekord mismo ang nagbubunyag ng pagbabago. Ang ikalawa ay ang tibay. Kung pinoprotektahan ang mga rekord sa paraang cryptographic, ang proteksyon ay isang digital na lagda sa ECDSA, EdDSA o RSA, at ipinahihiwatig ng mga nailathalang tantiya ng resource na ang isang fault tolerant na quantum computer na may sapat na laki ay makapepeke ng gayong mga lagda sa loob ng mga oras o araw [10, 11, 8]. Maraming rekord ang dapat panatilihin nang anim hanggang sampung taon [37, 35], na mahaba kung ihahambing sa kawalang-katiyakan kung kailan maaaring umiral ang gayong makina [13].

Tinutugunan ng Qstamp ang dalawang kahinaan sa pamamagitan ng iisang konstruksyon. Ang bawat rekord ay ginagawang isang salted na SHA3 256 commitment sa loob ng hangganan ng operator. Ang isang batch na may hanggang 2²⁰ na commitment ay pinagsasama-sama sa isang hash tree, at ang iisang 32 byte na halaga na nagtatali sa tree sa chain, kontrata, signer, uri at laki nito ay ina-anchor sa pamamagitan ng isang Quanta smart contract sa Quantova Virtual Machine. Ang bawat lagdang inaasahan ng anchor na iyon, mula sa account na nagsusumite nito hanggang sa komiteng gumagawa nitong pinal, ay isang ML DSA 65 na lagda [24], at ganito na mula pa sa genesis block ng network. Hindi kailanman umaalis sa operator ang rekord, at ang sinumang partidong may hawak ng rekord at ng resibo nito ay makapagbeberipika nito sa kalaunan nang hindi nagtitiwala sa operator o sa Quantova Inc.

Ang papel na ito ay nag-aambag ng mga sumusunod.

1. Isang pormal na modelo ng operator bilang isang insider na kalaban at ng quantum na kalaban laban sa mga klasikong lagda, at isang predicate na sumasaklaw sa mga hinihingi sa pagtatala ng rekord ng kasalukuyang regulasyon (Seksyon 2 at Seksyon 3).
2. Isang kumpletong espesipikasyon ng konstruksyon ng Qstamp nang eksakto ayon sa pagkaka-implement nito sa SDK release 0.1.4, kabilang ang mga encoding, ang mga algoritmo sa stamping at beripikasyon at ang kinalabasan ng beripikasyon na may tatlong halaga (Seksyon 5).
3. Isang reduction na nagpapatunay na ang evidence forgery laban sa Qstamp ay nalilimitahan ng collision resistance at second preimage resistance ng SHA3 256, ng unforgeability ng ML DSA 65 at ng safety ng consensus, kasama ang mga katangiang binding, hiding at liveness at ang mga konkretong klasiko at quantum na hangganan (Seksyon 6).
4. Isang tiyak na pahayag kung ano ang pinatutunayan at hindi pinatutunayan ng isang resibo para sa mga autonomous agent (Seksyon 7), at isang pamamaraan ng beripikasyon para sa mga utos ng mga hukuman at regulator na inilalarawan gamit ang isang tunay na pagpapatakbo sa test network (Seksyon 8).
5. Isang pagmamapa mula sa mga legal na obligasyon tungo sa mga pormal na katangiang ibinibigay at sa mga hangganan ng mga ito (Seksyon 9), isang pagsusuri kung bakit nangangailangan ang mga katangian ng isang post quantum na layer 1 na may attested na code ng kontrata (Seksyon 10), at ang sinukat na gastos at latency (Seksyon 11).

Inilalarawan lamang ng papel ang aktibo na sa petsa ng Bersyon 1.0. Tumatakbo ang konstruksyon sa Quantova test network, na ang mga resibo ay walang bisa bilang ebidensya. Ang paggamit sa production ay magaganap sa Quantova main network kapag nailunsad na ito. Tinutukoy bilang gayon ang mga nakaplanong feature sa Seksyon 6.7 at Seksyon 12.

2. Ang problema, na isinasaad sa matematikal na anyo

Sa kabuuan ng papel, ang H ay tumutukoy sa SHA3 256 [22], ang ‖ ay tumutukoy sa pagdudugtong ng mga byte, ang λ ay tumutukoy sa security parameter, at ang isang algoritmo ay efficient kung tumatakbo ito sa oras na polynomial sa λ sa isang klasikong computer (PPT) o sa isang quantum computer (QPT).

2.1 Mga rekord na kontrolado ng operator at ang insider na kalaban

Hindi ito binabago ng mga lagdang kinalkula ng O. Kung ang bawat entry ay may σ_j = Sign(sk_O, e_j), ang O, na may hawak ng sk_O, ay nakakakalkula ng isang balidong σ′ para sa anumang kapalit na e′. Pinatutunayan ng lagda ng isang tagapag-ingat ang pinagmulan sa harap ng mga ikatlong partido ngunit walang sinasabi tungkol sa integridad laban sa tagapag-ingat. Ang integridad laban sa O ay nangangailangan ng isang saksi W, isang partido o sistemang hindi mababago ng O ang estado, na nagtatakda ng isang halagang hinango mula sa Λ bago ang t_a. Sa kasalukuyang praktika, ang tiwala ng V sa estado ng W ay nakasalalay sa mga lagda ng W, na halos palaging ECDSA sa secp256k1 o P 256 [26, 29], Ed25519 [30] o RSA, o sa walang lagda man lamang kapag ang saksi ay isang panloob na sistema ng operator.

2.2 Ang Shor's algorithm at ang nailathalang gastos nito

2.2.1 Ang order finding reduction

Hayaang ang N ay isang odd composite integer na hindi prime power, at hayaang ang a ay kinuha nang uniform mula sa mga unit modulo N. Ang order ng a ay

Kung even ang r at a^r/2 ≢ −1 (mod N), hinahati ng N ang (a^r/2 − 1)(a^r/2 + 1) ngunit hindi ang alinman sa dalawang factor, kaya ang

ay isang non trivial na factor. Para sa N na may hindi bababa sa dalawang magkaibang odd prime factor, ang pangyayaring ito ay may probabilidad na hindi bababa sa kalahati sa pagpili ng a [2, 12]. Samakatuwid, ang factoring ay nare-reduce sa klasikong polynomial time tungo sa pagkalkula ng mga order, at ang ambag ni Shor ay isang quantum na algoritmo para sa huli [1, 2].

2.2.2 Ang quantum Fourier transform

Piliin ang Q = 2^ℓ kung saan N² ≤ Q < 2N². Inilalagay ang isang register na may ℓ na qubit sa uniform superposition at kinakalkula nang reversible ang map na x ↦ a^x mod N tungo sa isang ikalawang register,

Kumikilos ang quantum Fourier transform sa ℤ_Q sa unang register bilang

at eksaktong ini-implement gamit ang O(ℓ²) na one qubit at two qubit gate. Dahil periodic sa x ang ikalawang register na may period na r, ang isang pagsukat sa unang register pagkatapos ng transform ay nagbabalik, nang may probabilidad na Ω(1/log log N), ng isang halagang y na

para sa ilang integer s na coprime sa r. Ayon sa teorema ni Legendre, ang s/r ay isang convergent ng continued fraction expansion ng y/Q, na nagbibigay ng r sa klasikong paraan. Ang modular exponentiation ang nangingibabaw sa gastos, na may O(ℓ³) na gate para sa schoolbook arithmetic.

2.2.3 Mga discrete logarithm at elliptic curve

Hayaang ang ⟨P⟩ ay isang cyclic group na may prime order q at hayaang ang Q′ = dP ay isang public key. Ang function na

ay constant nang eksakto sa mga coset ng subgroup L. Ang isang two register na Fourier transform sa ℤ_q² na sinusundan ng pagsukat ay nagbibigay ng (u, v) kung saan v ≡ ud (mod q), kaya d = v·u⁻¹ mod q tuwing u ≠ 0 [2]. Para sa isang elliptic curve group, sinusuri nang reversible ang group law gamit ang arithmetic sa base field [9]. Nagbibigay sina Roetteler, Naehrig, Svore at Lauter ng isang konkretong circuit para sa mga prime field curve na may bit length na n [8] na gumagamit ng

at ng bilang ng Toffoli gate na nasa order ng 10¹¹ para sa n = 256. Naaangkop ang tantiya sa secp256k1 at P 256, na pinagbabatayan ng karamihan ng mga deployment ng ECDSA, at, nang may halos walang pagbabago, sa 255 bit na curve ng Ed25519. Ito ay mga logical qubit. Pinararami ng fault tolerant na implementasyon ang pisikal na bilang ayon sa overhead ng error correcting code.

2.2.4 Mga tantiya ng resource para sa RSA 2048

Para sa RSA, tinantiya nina Gidney at Ekerå noong 2019 na ang isang 2048 bit na modulus ay maaaring i-factor sa loob ng humigit-kumulang 8 oras gamit ang 20 milyong noisy qubit, sa palagay na ang physical gate error rate ay 10⁻³, ang surface code cycle time ay isang microsecond at ang reaction time ng control system ay sampung microsecond [10]. Binago ni Gidney ang tantiya noong 2025 tungo sa mas kaunti sa isang milyong noisy qubit at wala pang isang linggong run time sa ilalim ng parehong mga palagay sa hardware [11].

2.3 Ang kahihinatnan para sa mga lagda, ledger at log

Retroaktibo ang kahihinatnan sa ebidensya. Hayaang ang isang entry e ay nilagdaan sa oras na t_c sa ilalim ng pk, at hayaang ang t_q ay ang unang oras kung kailan kayang patakbuhin ng kalaban ang A_Shor. Sa anumang oras na T ≥ t_q, lumilikha ang kalaban ng (e′, σ′) kung saan Verify(pk, e′, σ′) = 1. Ang isang verifier sa T ay may hawak na dalawang pares na kapwa nagve-verify, at walang ibinibigay na impormasyon ang beripikasyon ng lagda kung alin ang umiiral sa t_c. Kailangan lamang ng kalaban ang pk, na pampubliko at, sa mga ledger, inilalathala kasama ng unang transaksyon ng account. Samakatuwid, maaaring kolektahin ngayon ang mga public key at mga nilagdaang rekord at pekein sa kalaunan. Kung ang x ay ang panahon kung kailan dapat manatiling matibay ang ebidensya, ang y ay ang panahong kailangan upang ilipat ito at ang z ay ang panahon hanggang t_q, ang kondisyon ni Mosca [13]

ay tumutukoy kung kailan nalalantad ang ebidensya. Mahahaba ang mga panahon ng pagpapanatili. Ang mga rekord ng broker dealer sa ilalim ng Rule 17a 4 ay itinatago nang hanggang anim na taon [37], at ang teknikal na dokumentasyon ng mga high risk na AI system nang sampung taon matapos ilagay ang sistema sa merkado [35].

Ang mga smart contract platform na nasa production ngayon ay nagpapahintulot ng mga transaksyon gamit ang ECDSA o EdDSA. Sa gayong platform, ang pahayag na pinahintulutan ng isang account ang isang transaksyon ay pinatutunayan lamang ng isang klasikong lagda, at pagkatapos ng t_q, ang anumang account na kilala ang public key ay maaaring palagdain ng kahit ano. Kung mananatiling mapagkakatiwalaan ang pagkakasunod-sunod ng mga nakaraang block ay nakasalalay sa kung paano nalalaman ng isang verifier ang canonical na kasaysayan. Ang isang kalahok na patuloy na sumubaybay sa chain ay nananatiling may kaalaman nito. Kung ang consensus mismo ay pinatutunayan ng mga klasikong lagda, ang isang verifier na bumubuo muli ng kasaysayan pagkatapos ng t_q mula sa mga lagda lamang, gaya ng gagawin ng isang hukuman o auditor, ay hindi makapagtatangi sa canonical na kasaysayan mula sa isang alternatibong nilagdaan gamit ang mga nabawing key. Kung ang pagkakasunod-sunod ay sinisiguro ng proof of work, napananatili ng pagkakasunod-sunod ang hash based na seguridad ngunit nananatiling klasiko ang pagpapahintulot sa bawat transaksyon. Ang layer ng lagda ang nasisira.

Pinahihina ang mga hash function ngunit hindi nasisira. Nakahahanap ang Grover's algorithm ng preimage ng isang n bit na function gamit ang O(2^n/2) na ebalwasyon [3], at optimal ito para sa generic na paghahanap [4]. Nakahahanap ang algoritmo nina Brassard, Høyer at Tapp ng mga collision gamit ang O(2^n/3) na ebalwasyon kung may quantum accessible memory na kapareho ang laki [5], na optimal din para sa mga generic na function [6]. Ipinakikita ni Bernstein na kapag isinama sa pagbibilang ang gastos ng memoryang iyon, hindi mas mura ang quantum collision search kaysa sa klasikong parallel collision search na humigit-kumulang 2^n/2 [7]. Para sa n = 256, nananatili ang mga margin na hindi bababa sa 2⁸⁵ sa modelong pinakapabor sa umaatake at humigit-kumulang 2¹²⁸ sa ilalim ng makatotohanang gastos. Ang asimetriyang ito sa pagitan ng mga lagda at mga hash ang pundasyon ng disenyo sa Seksyon 5.

2.3.1 Mga klasikong primitive sa imprastraktura ng agent

Ang imprastrakturang ginagamit ngayon upang kilalanin, pahintulutan at i-audit ang mga agent ay nakasalalay sa isang maliit na set ng mga public key primitive. Isinasaad ng talahanayan, para sa bawat isa, ang problemang pinagbabatayan nito at ang epekto ng Shor's algorithm.

Iba ang asal ng mga symmetric primitive. Hindi apektado ng Shor's algorithm ang HMAC at ang SHA2 family at pinahihina lamang ng Grover's algorithm, kaya napananatili ng HMAC na may 256 bit na key ang humigit-kumulang 128 bit na seguridad laban sa key search. Gayunman, walang pinatutunayan ang isang message authentication code sa isang ikatlong partido. Ang sinumang may hawak ng key ay makakakalkula muli ng isang balidong tag para sa anumang binagong entry, at sa isang audit log, ang may hawak ng key ay ang operator, kaya naaangkop nang walang pagbabago ang Obserbasyon 1. Ganito rin ang isang hash chain na itinatago ng operator nang walang panlabas na anchor, na kayang kalkulahing muli ng operator mula sa anumang binagong punto pasulong.

2.4 Ang puwang sa regulasyon

Sa iba't ibang hurisdiksyon, hinihingi ng mga tuntunin na ang ilang rekord ay malikha, mapanatili sa loob ng mga itinakdang panahon at maprotektahan laban sa pagbabago, o maitago sa paraang natutukoy ang pagbabago. Hinihingi ng EU AI Act na pahintulutan ng mga high risk na AI system ang awtomatikong pagtatala ng mga event sa buong buhay ng mga ito (Artikulo 12), at hinihingi sa mga provider at deployer na itago ang mga log na iyon sa loob ng panahong angkop sa nilalayong layunin, na hindi bababa sa anim na buwan (Artikulo 19 at Artikulo 26(6)) [35]. Nagbibigay ang susog na eIDAS 2 ng legal na pagkilala sa mga elektronikong ledger at nag-uugnay ng presumption ng integridad at ng kronolohikal na pagkakasunod-sunod sa mga qualified electronic ledger (Artikulo 45h at 45i) [36]. Hinihingi ng SEC Rule 17a 4 sa mga broker dealer na itago ang mga elektronikong rekord alinman kasama ng isang kumpleto at may time stamp na audit trail o sa anyong hindi maisusulat muli at hindi mabubura [37]. Hinihingi ng UK GDPR Artikulo 5(1)(f) ang angkop na seguridad ng personal na datos, kabilang ang proteksyon laban sa hindi awtorisadong pagproseso at aksidenteng pagkawala o pinsala [38]. Hinihingi ng Japanese Electronic Books Maintenance Act ang mga hakbang na tumitiyak sa pagiging tunay ng mga elektronikong rekord, gaya ng mga time stamp o mga sistemang nagtatala ng mga pagwawasto at pagbura [39]. Kabilang sa mga hakbang pangkaligtasan na hinihingi sa ilalim ng Artikulo 29 ng Korean Personal Information Protection Act ang pagtatago ng mga rekord ng access at ang pagprotekta sa mga ito laban sa pamemeke at pagbabago [40]. Hinihingi ng Data Protection Principle 4 ng Hong Kong Personal Data (Privacy) Ordinance sa mga data user na gawin ang lahat ng praktikal na hakbang upang protektahan ang personal na datos laban sa hindi awtorisado o aksidenteng access, pagproseso, pagbura, pagkawala o paggamit [41].

Ang parehong abot-tanaw ay pinamamahalaan na ngayon ng mga mandato sa post quantum na migrasyon. Iminumungkahi ng NIST IR 8547, sa initial public draft nito, na ang mga quantum vulnerable na public key algorithm sa 112 bit na antas ng seguridad ay gawing deprecated pagkatapos ng 2030 at na ang lahat ng quantum vulnerable na public key algorithm ay ipagbawal pagkatapos ng 2035 [27]. Inaatasan ng Executive Order 14412 ang mga pederal na sistema ng Estados Unidos na gumamit ng post quantum key establishment pagsapit ng 31 Disyembre 2030 at ng mga post quantum na digital na lagda pagsapit ng 31 Disyembre 2031 [28]. Samakatuwid, ang mga rekord na nilikha ngayon ay susuriin sa loob ng kanilang mga panahon ng pagpapanatili sa panahong pormal nang ipinagbabawal ang mga lagdang nagpoprotekta sa mga ito.

Tahasang isinasaad ng mga batas ang Ret sa pamamagitan ng mga panahon ng pagpapanatili at isinasaad ang Int sa mga terminong gaya ng proteksyon laban sa pagbabago o pamemeke, storage na hindi maisusulat muli o mga audit trail. Ang Ver at ang Time ay sumusunod mula sa layunin ng superbisyon at ng ebidensya. Ang puwang ay na ang bawat mekanismong ang Int ay nakasalalay sa isang klasikong lagda ay tumutugon sa Int para lamang sa 𝒜 na limitado sa mga kalabang aktibo bago ang t_q. Tuwing t₀ + R > t_q, nabibigo ang predicate sa natitirang bahagi ng panahon. Dinisenyo ang Qstamp upang magbigay ng Int, Ver at Time para sa lahat ng t sa panahong iyon laban sa mga klasiko at quantum na kalaban, sa ilalim ng mga palagay ng Seksyon 3. Nananatiling obligasyon ng tagapag-ingat ang Ret. Walang batas na binanggit dito ang humihingi ng Qstamp. Mga katangian ang hinihingi ng mga batas, at inilalahad ng Seksyon 9 kung alin sa mga ito ang ibinibigay ng Qstamp.

3. Modelo ng sistema at modelo ng banta

3.1 Mga partido

• Operator O. Nagpapatakbo ng isa o higit pang agent, may hawak ng kanilang mga rekord, at kumokontrol sa isang signing key sk_S na ang ML DSA 65 public key ang tumutukoy sa address ng chain na S. Pinatatakbo ng O ang Qstamp SDK.
• Verifier V. Isang hukuman, regulator, auditor, insurer o kabilang partido. Ang hawak lamang ng V ay mga pampublikong parameter, na ang genesis hash G ng chain, ang address C ng opisyal na kontrata ng Qstamp at ang inilathalang validator set, kasama ng anumang iharap ng O.
• Network. Ang Quantova chain, na binubuo ng QVM, ng isang komite ng mga validator na 𝒱 na gumagawang pinal sa mga block, at ng mga RPC endpoint at isang explorer na naghahatid ng datos ng chain.
• Kalaban A. Anumang partidong naghahangad na tanggapin ng V ang isang maling pahayag tungkol sa isang rekord.

3.2 Mga palagay

3.3 Mga klase ng kalaban

Ang isang klasikong kalaban ay PPT. Ang isang quantum na kalaban ay QPT, maaaring magpatakbo ng Shor's algorithm at Grover's algorithm nang offline, at may quantum access sa H kung saan ginagamit ang isang random oracle model [16]. Maaaring i-corrupt ng dalawang klase ang operator pagkatapos ng isang oras na t*, na nagmomodelo sa isang insider na sa kalaunan ay nagnanais na isulat muli ang kasaysayan o sa isang paglaon na pagkakompromiso ng sk_S. Maaaring kontrolin ng dalawa ang anumang iba pang account, i-corrupt ang mga miyembro ng komite hanggang sa hangganan ng T3, antalain, baguhin ang pagkakasunod-sunod o itapon ang mga mensahe sa network, at magpatakbo ng sarili nilang mga RPC endpoint. Ipinapalagay na ang tapat na operator ay nag-i-stamp nang tama bago ang t*.

Tatlong usapin ang nasa labas ng modelo at isinasaad upang hindi mapagkamalang mga garantiya. Ang isang rekord na mali noong in-stamp ay nananatiling mali, dahil itinatakda ng Qstamp ang nilalaman at hindi ito hinahatulan. Ang isang kalabang may hawak ng sk_S bago ma-stamp ang isang rekord ay makapag-i-stamp sa pangalan ng S, na isang usapin ng kustodiya ng key. Ang availability ng rekord at ng resibo nito ay pananagutan ng tagapag-ingat, dahil ang nawalang salt ay ginagawang hindi mapatunayan ang katumbas na inclusion.

4. Ang balangkas ng Quantova

Inilalarawan ng seksyong ito ang mga bahaging inaasahan ng Qstamp, ayon sa kalagayan ng mga ito sa petsa ng papel na ito.

4.1 Quanta, ang wika ng smart contract

Ang Quanta ang wika ng kontrata ng Quantova chain. Ang isang Quanta contract ay kino-compile tungo sa isang QVM container. Ang awtoridad sa loob ng isang kontrata ay hinahango lamang mula sa mga napatunayang lagda. Ang caller ng isang entry point ay ang napatunayang signer ng transaksyon, at ang isang kontrata ay makapagbeberipika ng karagdagang mga ML DSA na lagda sa mga nilagdaang order sa pamamagitan ng QVM instruction na VERIFY_ML. Ginagamit ng bawat gayong beripikasyon ang FIPS 204 context string na QVM/contract/v1, na itinatali ng FIPS 204 sa nilagdaang mensahe bilang

kaya ang isang lagdang nilikha para sa isang order ng kontrata ay hindi maihaharap bilang lagda sa anumang ibang konteksto [24]. Ang bukas na kontrata ng Qstamp ay ang sumusunod na Quanta source, na walang hawak na state, pondo o may-ari.

Nagdaragdag ang mga template na issuer at council ng mga nilagdaang order na may nonce na hawak ng kontrata, isang deadline at isang domain value bawat deployment, upang ang isang order ay hindi maulit, hindi magamit nang huli o hindi magamit sa ibang deployment.

4.2 Ang attested na compiler

Ang isang container na c ay kinikilala sa pamamagitan ng id(c) = H(c). Tumatanggap lamang ang chain ng isang deployment kung ang identifier ay may ML DSA 65 na lagda ng compiler provenance key,

Itinatatag ng lagda na ang naka-deploy na container ay nilikha ng attested na compiler. Ang pagkakapareho sa sinuring source ay itinatatag naman sa pamamagitan ng reproduksyon. Kino-compile ng isang tagasuri ang inilathalang source, inihahambing ang nagresultang container byte por byte sa naka-deploy, at sa gayon ay kinukumpirmang ang code sa C ay ang code na sinuri. Ang inilathalang source ng bukas na kontrata ng Qstamp ay kino-compile byte por byte tungo sa kontratang naka-deploy sa test network. Ipinapalagay ng garantiya ang ligtas na pag-iingat ng Quantova Inc sa provenance key. Para lamang sa katangian ng pagkakakilanlan ng code, isa itong palagay sa tiwala na karagdagan sa T1 hanggang T5.

4.3 Ang Quantova Virtual Machine at ang execution layer

Ang QVM ay isang metered register machine na may mga native instruction para sa beripikasyon ng ML DSA at SLH DSA [25], hashing at mga hash tree. Bago ang pagpapatakbo, isinusulat ng QVM ang napatunayang nagpadala ng transaksyon sa memorya ng kontrata bilang caller, kaya ang naitalang signer ay hindi maiimpluwensiyahan ng call data. Atomic ang pagpapatakbo. Kung ang S ay ang state, ang tx ay isang transaksyon at ang m ay ang meter limit nito,

kung saan ang E ay ang listahan ng mga inilabas na event. Itinatala lamang ang mga event at mga pagbabago sa state kapag matagumpay, at kino-commit ang mga event sa event root ng block header. Samakatuwid, ang isang pinal na transaksyon na walang event nito ay walang pinatutunayan tungkol sa isang stamp, at hinihingi ng beripikasyon sa Seksyon 5 ang event.

4.4 Consensus at finality

Ang bawat account, bawat transaksyon at bawat sertipiko ng finality sa Quantova chain ay nilagdaan gamit ang ML DSA 65 mula pa sa genesis block, at available ang SLH DSA bilang alternatibong account scheme na inilarawan sa itaas. Ang isang address ay isang 32 byte na halagang hinango mula sa isang ML DSA 65 public key. Ginagawang pinal ang mga block ng isang na-sample na komite na ang sertipiko ay may mga ML DSA 65 na lagdang umaabot sa finality threshold, at naaabot ang finality sa loob ng humigit-kumulang 0.2 segundo. Iminumungkahi ang block time sa buong segundo. Sa ilalim ng T4, ang isang tinanggap na block B na may parent P ay tumutugon sa

kaya hindi kailanman bumababa ang block time at hindi ito maaaring mauna nang higit sa 15 segundo sa mga tapat na orasan.

4.5 Mga bayad

May metering ang pagpapatakbo, at ang bayad para sa isang call na gumagamit ng m na unit ng meter ay

at ibinabalik ang hindi nagamit na reserba. May takdang haba ang call data ng stamp call at naglalabas ito ng iisang event na may takdang haba, kaya hindi nakasalalay ang bayad nito sa laki ng batch na N. Sa test network, ang isang stamp ay nagkakahalaga ng 0.005 TQTOV, ibig sabihin ay 5000 quon, anuman ang N. Ang TQTOV ay mga unit ng test network na walang halagang pananalapi.

5. Ang konstruksyon ng Qstamp

5.1 Notasyon

5.2 Mga leaf, tree at commitment

Para sa rekord na r_i na may digest na d_i = D_alg(r_i), ang leaf ay

isang ebalwasyon ng H sa eksaktong 1 + 14 + 1 + 32 + 32 = 80 byte. Binubuo ng mga leaf ang tree ng RFC 9162 Section 2.1 [31], na ang mga interior node ay

isang ebalwasyon ng H sa eksaktong 65 byte.

Ang commitment ay

isang ebalwasyon ng H sa eksaktong 1 + 14 + 32 + 32 + 32 + 8 + 8 + 32 = 159 byte. Pinaghihiwalay ang tatlong papel ayon sa kanilang unang byte at sa kanilang haba, isang katangiang ginagamit sa Lemma 1. Sinusunod ng konstruksyon ang hash tree ni Merkle [18] at ang ideya ng pag-uugnay nina Haber at Stornetta [19], kasama ang domain separation ng RFC 9162 at isang tahasang pagtatali ng laki at konteksto.

5.3 Pag-anchor

Hinahati ang K sa dalawang 16 byte na kalahati (hi, lo) at isinusumite mula sa S sa isang call sa opisyal na kontrata C,

May takdang haba ang call data, na binubuo ng 4 byte na selector, 120 byte ng host context, ang 32 byte na commitment at ang 8 byte na kind. May 72 byte ang datos ng event. Dahil walang state na itinatago ang kontrata, anumang bilang ng mga stamp ng anumang commitment ay maaaring magkasabay na umiral, at walang stamp ang makapipigil na maitala ang iba.

5.4 Resibo

Tumatanggap ang bawat rekord ng sarili nitong resibo, ang tuple na

kung saan fmt = qstamp-receipt/1, ang pangalan ng chain na id at ang genesis G, ang kontrata C, ang kind k bilang isang decimal string, ang algoritmo ng digest, ang digest at ang salt, ang posisyon, ang laki ng batch at ang inclusion path, ang tree root, at ang anchoring na transaksyon, ang block height h, ang block identifier B, ang block time t sa segundo mula 1970 at ang signer S. Walang anumang bahagi ng rekord ang nilalaman ng isang resibo. Naglalaman nga ito ng digest at ng salt, na mahalaga para sa Seksyon 6.5.

5.5 Mga algoritmo

Nagbabalik ang beripikasyon ng isa sa tatlong kinalabasan. Ang valid ay nangangahulugang pumasa ang bawat pagsusuri. Ang invalid ay nangangahulugang nabigo ang hindi bababa sa isang substantibong pagsusuri, kabilang ang kaso kung saan walang rekord o digest na ibinigay. Ang indeterminate ay nangangahulugang ang bawat nabigong pagsusuri ay isang transport failure, gaya ng isang endpoint na hindi maabot o isang pinutol na listahan ng event. Hindi kailanman iniuulat bilang valid ang indeterminate. Ang mga pagsusuri ay pinangalanang format, contract, content, inclusion, chain, transaction, event at block, walo sa kabuuan.

$ npm install @quantovainc/qstamp
added 2 packages

$ npx @quantovainc/qstamp --version
0.1.4

$ openssl rand -hex 32 > signer.key && chmod 600 signer.key
$ node account.js
address  Q1NUR6ETECQXEVE77TJ9YPZ6WAWYMT45WCJANV5J43X93SF79DWE0S0D572X
status   registered, ready to stamp

{
  "evaluation": {"approved_by": "Model Risk Committee", "auc": 0.871},
  "model": "risk-model 3.2.1",
  "time": "2026-10-09T09:39:27.273Z",
  "training_data": "dataset manifest 2026-09-30",
  "weights_sha3": "f01483b8e6269760c5c2e2025875b6e5d1b16402443e9a98d73e0a43156bf17b"
}

const qstamp = require('@quantovainc/qstamp');
const batch = [];

agent.on('action', (action) => {
  const bytes = Buffer.from(canonicalJson(action));
  log.write(bytes);
  batch.push({ digest: qstamp.digestBytes(bytes) });
});

setInterval(async () => {
  const records = batch.splice(0);
  if (records.length === 0) return;
  const receipts = await qstamp.stamp({
    seed, index: 0, kind: 'ai_agent_action', records,
    onPending: savePending,
  });
  receipts.forEach(storeBesideAction);
}, 60000);

{
  "agent": "credit-decision-agent-07",
  "amount_usd": 125000,
  "applicant": "APP-54a49c823275",
  "decision": "approve",
  "human_review": false,
  "model": "risk-model 3.2.1",
  "operator": "Example Bank plc",
  "policy": "retail-lending-policy 2026-10",
  "reasons": ["score_above_threshold"],
  "risk_score": 645,
  "time": "2026-10-09T09:39:25.132Z",
  "tool": "credit_bureau.lookup"
}

$ npx @quantovainc/qstamp hash action-04.json
  action-04.json

$ npx @quantovainc/qstamp verify action-04.json.qstamp.json --file action-04.json
pass format · pass contract · pass content · pass inclusion
pass chain · pass transaction · pass event · pass block
VALID  stamped no later than 2026-10-09T09:39:25Z in block 2011753

$ npx @quantovainc/qstamp verify action-04.json.qstamp.json --file altered.json
FAIL content  the content does not match the fingerprint in the receipt
INVALID

6. Pagsusuri ng seguridad

6.1 Ang evidence forgery game

Sinasaklaw ng game ang insider na sumusulat muli ng kasaysayan pagkatapos ng pangyayari, dahil nakukuha ng A ang sk_S at kailangan pa ring ikabit ang r′ sa isang anchor mula bago ang t*. Sinasaklaw nito ang outsider na nagpapalit ng nilalaman, at ang ikatlong partidong nagtatangkang idiin ang S gamit ang isang rekord na hindi kailanman in-stamp ng S. Ang isang bagong stamp ng r′ pagkatapos ng t* ay hindi pamemeke, dahil isinasaad ng resibo nito ang isang mas huling oras.

6.2 Domain separation

Kung wala ang mga role prefix, maihaharap ang isang interior node bilang isang leaf, ang klasikong second preimage ambiguity ng mga Merkle tree na walang prefix na inaalis ng RFC 9162 [31]. Kung wala ang u64(N), hindi matutukoy ng isang root ang hugis ng tree nito, at maaaring mag-verify ang iisang path sa ilalim ng iba't ibang laki.

6.3 Pangunahing teorema

Balangkas ng patunay. Hayaang manalo ang A na may output na (r′, ρ′), kung saan pinangangalanan ng ρ′ ang alg′, d′, s′, ang posisyong i, ang laki na N′, ang path na π′, ang root′, ang kind k′, ang transaksyong tx, ang height h, ang oras na t ≤ t* at ang signer S. Ibinibigay ng pagiging valid ng lahat ng walong pagsusuri ang mga sumusunod na katotohanan. Ang G at ang C ay ang mga opisyal na halaga. D(r′) = d′. RootFromPath(L′, i, N′, π′) = root′ kung saan ang L′ ay ang leaf ng (alg′, d′, s′). Sa ilalim ng T5, ang pinal na block sa height h ay naglalaman ng tx mula S patungong C at ng isang event ng C na may datos na S ‖ K′ ‖ u64(k′), kung saan K′ = Commit(G, C, S, k′, N′, root′). Hinahati namin ang pangyayaring pagkapanalo.

1. Consensus failure. Ang block na iniulat sa height h ay hindi ang natatanging pinal na block sa height na iyon. Sinasalungat nito ang T3 maliban nang may probabilidad na Adv_consensus, matapos ibukod ang mga pinekeng lagda ng komite, na sakop ng susunod na kaso.
2. Pamemeke ng lagda. Ang canonical na block sa height h ay may transaksyon mula sa S na hindi nilagdaan ng challenger bago ang t*, o isang lagda ng komite na hindi nilikha ng sinumang tapat na miyembro. Bago ang t*, ang mga tapat na stamp ay eksaktong ang mga signing query, kaya hinuhulaan ng B₃ kung alin sa q na key ang pineke, inilalagay roon ang challenge key nito at inilalabas ang pamemeke. Nagkakahalaga ito ng hindi hihigit sa q · Adv^EUF-CMA.
3. Tapat na anchor. Kung hindi, ang event ay inilabas ng isang tapat na stamp na may batch na (r₀, …, r_N−1), mga salt na s_i, kind k at commitment K, dahil tapat ang bawat transaksyon mula sa S bago ang t* at pinangangalanan ng datos ng event ang S. Ang pagtutugma ng event ay nagbibigay ng K′ = K at k′ = k. Ayon sa Lemma 1, alinman sa (N′, root′) = (N, root) o naglalabas ang B₁ o ang B₂ ng isang collision ng dalawang 159 byte na string.
4. Parehong tree. Kapag magkapareho ang laki at root, kinakalkula muli ng Algoritmo 3 ang root mula sa L′ sa kahabaan ng isang path na ang hugis ay nakasalalay lamang sa (i, N). Maglakad mula sa root patungo sa leaf. Sa unang antas kung saan nagkakaiba ang tapat at ang iniharap na mga input ng node, ang dalawang input ay nagha-hash sa parehong output, na ayon sa Lemma 1 ay isang collision ng dalawang 65 byte na string. Kung walang antas na nagkakaiba, L′ = L_i.
5. Parehong leaf. Ayon sa Lemma 1, alinman sa (alg′, d′, s′) = (alg, d_i, s_i) o nagko-collide ang dalawang 80 byte na input.
6. Parehong digest. Kung gayon, D(r′) = d_i = D(r_i) kung saan r′ ≠ r_i, dahil nanalo ang A, na isang collision ng D = SHA3 256.

Natitira na lamang na iugnay ang bawat collision na natagpuan sa mga kaso 3 hanggang 6 sa B₁ o sa B₂. Kung ang tapat na input ng nagko-collide na pares ay isang function ng mga halagang pinili ng A lamang, gaya ng kapag pinili ng A ang batch at walang bagong salt ang nagko-collide na input, ang pares ay isang collision at inilalabas ng B₁. Kung ang tapat na input ay naglalaman ng halagang hindi pinili ng A, ibig sabihin ang isang salt na s_i o isang rekord na ibinigay ng isang tapat na partido, ang tapat na input ay isang target na itinakda bago maghanap ang A, at nakahanap ang A ng ikalawang input na may parehong image. Ito ay isang second preimage sa kahulugan nina Rogaway at Shrimpton para sa mga target na kinuha mula sa tapat na distribusyon [17], at inilalabas ng B₂. Disjoint ang dalawang pag-uugnay, kaya ang isang union bound sa mga kaso 1 hanggang 6 ay nagbibigay ng (22). ∎

Para sa alg = 2, ang hakbang ng digest sa kaso 6 ay nakasalalay sa SHA 256 at nadaragdagan ang hangganan ng mga katumbas na termino ng SHA 256. Ang binding ay nangangailangan lamang ng T1 hanggang T3 sa standard model. Ginagamit ng hiding sa Seksyon 6.5 ang random oracle model [15, 16].

6.4 Pagtatali ng konteksto, replay at front running

Sumusunod ito mula sa Lemma 1, at may limang kahihinatnan ito. Ang isang commitment na na-anchor sa isang chain ay hindi nagve-verify laban sa iba, dahil magkaiba ang G, at ang isang muling inilunsad na network na may bagong genesis ay hindi makapagbeberipika ng mga lumang resibo. Ang isang resibo ay hindi nagve-verify laban sa ibang kontrata, dahil magkaiba ang C. Ang isang front runner F na kumokopya ng K mula sa isang nakabinbing transaksyon at nagsusumite ng stamp(K, k) mula sa sarili nitong account ay nakakakuha ng isang event na pinangangalanan ang F, at ang isang resibong pinangangalanan ang F ay nagve-verify lamang kung K = Commit(G, C, F, k, N, root), isang collision. Dahil stateless ang bukas na kontrata, hindi pinipigilan ng kopya na maitala ang orihinal na transaksyon ng S, kaya ang front running ay hindi nagnanakaw at hindi rin humaharang sa isang stamp. Hindi mapapalitan ang label ng idineklarang kind pagkatapos ng pag-anchor. Takda ang laki ng batch, na nag-aalis sa kalabuan sa laki ng mga hubad na RFC 9162 root.

6.5 Hiding

Mahalaga ang pasubaling ito. Alam ng may hawak ng resibo ang s_i at ang d_i. Dahil walang salt ang d_i = D(r_i), masusubok ng may hawak ng resibo ang isang hula para sa isang rekord na mababa ang entropy, gaya ng isang halaga ng pera o isang maikling code, gamit ang iisang hash evaluation. Samakatuwid, dapat protektahan ang mga resibo gaya ng mga rekord na inilalarawan ng mga ito. Pinoprotektahan ng hiding ang nilalaman laban sa mga nagmamasid sa chain, hindi laban sa mga may hawak ng resibo.

6.6 Mga konkretong hangganan

Ang NIST category 3 ay nangangahulugang ang pagsira sa scheme ay nangangailangan ng mga resource na maihahambing o higit pa sa key search sa isang block cipher na may 192 bit na key [24]. Isinasaad ng FIPS 202 ang collision resistance na 128 bit at ang preimage at second preimage resistance na 256 bit para sa SHA3 256 laban sa klasikong atake [22].

6.7 Liveness, indeterminacy at ang pinagkakatiwalaang endpoint

Liveness ng stamping. Nakukumpleto ang isang stamp kapag ginawang pinal ng komite ang transaksyon nito. Kung hindi naobserbahan ang finality sa loob ng timeout, ibinabalik ng Algoritmo 1 ang na-persist na nakabinbing batch, na naglalaman ng mga salt, ng commitment at ng identifier ng transaksyon. Kinukumpleto ang mga resibo sa kalaunan mula sa batch na iyon nang walang ikalawang pagbabayad. Ang isang error na lumitaw habang isinusumite ang transaksyon ay naglalaman din ng nakabinbing batch, kaya hindi kailanman nawawala ang mga salt dahil sa isang network failure.

Ang pinagkakatiwalaang endpoint ng release 0.1. Tumatakbo ang mga pagsusuri 1 hanggang 4 sa makina ng verifier at hindi nakasalalay sa anumang panlabas na partido. Sinasagot ng mga RPC endpoint ang mga pagsusuring chain, transaction, event at block, kaya kinakailangan ang T5. Ang isang endpoint na pinatatakbo nang hindi tapat ay maaaring mag-ulat ng isang anchor na hindi umiiral. Binabawasan ng release 0.1 ang panganib na ito sa pamamagitan ng paggamit sa opisyal na endpoint bilang default, ng pagsusuri na ang bawat endpoint ay naghahatid ng chain na pinangalanan sa resibo, ng paghingi na magkasundo ang bawat kinonsultang endpoint, at ng pag-uulat kung aling mga endpoint ang kinonsulta. Kung wala ang T5, nadaragdagan ang (22) ng isang terminong Adv_endpoint na katumbas ng probabilidad na ang bawat kinonsultang endpoint ay nagsisinungaling nang magkakatugma. Sinasaklaw din ng T5 ang channel patungo sa bawat endpoint. Dumaraan ang mga tugon sa TLS, na isang transport security sa labas ng Quantova protocol at maaaring gumamit ng klasikong key exchange at mga sertipiko, kaya ang isang kalabang kayang magpanggap bilang isang endpoint sa transport layer ay ibinibilang sa parehong termino.

Mga nakaplanong offline finality proof. Sa isang paparating na release, dadalhin ng bawat resibo ang block header ng height h, ang sertipiko ng finality ng komite at isang inclusion proof ng Stamped event laban sa event root ng header. Kung gayon, ang kakailanganin lamang ng beripikasyon ay ang resibo, ang rekord at ang inilathalang validator set. Mawawala ang termino ng endpoint at ang mga pagsusuri sa chain ay mauuwi sa beripikasyon ng ML DSA 65 sa ilalim ng T2 at T3, kaya totoo ang (22) nang wala ang T5.

7. Aplikasyon sa mga autonomous agent at superintelligence agent

7.1 Mga canonical na rekord ng aksyon

Ang isang aksyon na a ng isang agent ay nagiging ebidensya lamang sa pamamagitan ng isang byte encoding na canon(a), at ang digest ay d = D(canon(a)). Dapat itakda at bigyan ng bersyon ng operator ang encoding, dahil ang dalawang serialisation ng parehong nilalaman ay nagbibigay ng magkaibang digest. Ang pagbabago ng serialisation ay nagdudulot ng isang maling hatol na invalid, hindi kailanman ng isang maling hatol na valid. Ang isang canonical na JSON form na may mga key na nakaayos nang lexicographic at walang hindi makabuluhang whitespace, gaya ng scheme ng RFC 8785 [32], ay tumutugon sa pangangailangang ito. Hina-hash ng SDK ang eksaktong mga byte na ibinigay rito at hindi ito nagpapataw ng serialisation. Pinangangalanan ng isang kapaki-pakinabang na rekord ng aksyon ang agent, ang operator, ang modelo at ang bersyon nito, ang umiiral na patakaran, ang tool na ginamit, ang mga input na inasahan, ang desisyon o output, kung sinuri ito ng isang tao at ang oras na iginiit ng agent.

7.2 Batching

Nangongolekta ang isang operator ng mga aksyon sa loob ng isang window na Δ, o hanggang sa isang bilang, at ini-stamp ang mga ito bilang iisang batch. Ang isang aksyong ginawa sa oras na τ ay may anchor na ang block ay ginawang pinal nang hindi lalampas sa τ + Δ + t_fin, kung saan ang t_fin ay ang latency ng stamping. Ang gastos bawat aksyon ay fee / N. Ang mahahalagang aksyon, gaya ng mga pagbabayad na lampas sa isang threshold, ay maaaring i-stamp nang isa-isa bago o pagkatapos ng pagpapatupad upang maging pinal ang rekord bago makumpleto ang aksyon. Pinahihintulutan ng onPending hook ang operator na i-persist ang bawat isinumiteng batch bago maghintay ng finality.

7.3 Mga uri ng rekord

Ang kind ay isang 64 bit na halagang itinatali sa K at inilalabas sa event. Isinasaad nito kung ano ang idineklara ng S na nilalaman ng batch. Hindi ito isang beripikadong klasipikasyon ng nilalaman.

7.4 Mga model passport

Ang isang model passport ay isang paraan ng paggamit, hindi isang hiwalay na mekanismo. Sa paglabas, ini-stamp ng operator, gamit ang kind na ai_model, ang isang rekord na naglilista ng mga digest ng mga artefact ng modelo, ng digest ng dataset manifest na in-stamp gamit ang kind na ai_dataset, at ng mga digest ng mga ulat sa ebalwasyon. Pinangangalanan ng bawat susunod na rekord ng aksyon ang bersyon ng modelo at ang digest ng passport nito, kaya ang resibo para sa isang aksyon ay humahantong sa resibong nagtakda sa modelong inasahan ng aksyon.

7.5 Ang pinatutunayan ng isang resibo at ang hindi nito pinatutunayan

8. Pamamaraang pang-ebidensya para sa utos ng hukuman

Ipagpalagay na inuutusan ng isang hukuman o regulator ang isang kumpanya ng SI na ipakita kung ano ang ginawa ng agent nito sa isang partikular na usapin. Ang pamamaraan sa ibaba ay walang hinihingi sa kumpanya maliban sa paghaharap ng mga dokumento, at walang hinihingi sa verifier maliban sa mga pampublikong parameter at pagkalkula.

1. Paghaharap. Iniharap ng kumpanya ang rekord r at ang resibo nitong ρ. Maaari ding hingin ng utos ang tuntunin sa canonicalisation na ginamit para sa mga rekord ng ganoong uri.
2. Muling pagkalkula. Kinakalkula muli ng verifier ang d = H(r), ang leaf L mula sa (alg, d, s), ang root mula sa (L, i, N, π) gamit ang Algoritmo 3, at ang K mula sa (G, C, S, k, N, root). Hindi nangangailangan ang hakbang na ito ng access sa network at maaaring isagawa gamit ang SDK, gamit ang command na qstamp verify, o gamit ang isang malayang implementasyon ng Seksyon 5.
3. Anchor. Gamit ang pampublikong chain, sa pamamagitan ng isa o higit pang malayang RPC endpoint at sa explorer, sinusuri ng verifier na ang transaksyong pinangalanan sa ρ ay ipinadala ng S sa opisyal na kontrata C at na ang block h ay naglalaman ng Stamped event ng C na may datos na S ‖ K ‖ u64(k). Ang explorer ay isang pagtingin sa datos ng chain na nagbibigay-daan sa isang mambabasang hindi teknikal na kumpirmahin ang parehong mga katotohanan. Hindi ito isang hiwalay na trust anchor.
4. Finality. Sinusuri ng verifier na pinal na ang transaksyon at na ang block sa height h ay may identifier na B at oras na t.
5. Resulta. Kung pumasa ang bawat pagsusuri, valid ang resulta, at isinasaad ng Proposisyon 5 kung ano ang naitatag. Kung nabigo ang isang substantibong pagsusuri, invalid ang resulta, at tinutukoy ng nabigong pagsusuri kung aling kawing ang hindi totoo. Kung hindi makonsulta ang network, indeterminate ang resulta at inuulit ang pamamaraan.

8.1 Detalyadong halimbawa mula sa Quantova test network

Nilikha ng isang agent sa pagpapasya sa kredito ang sumusunod na rekord, na naka-serialise bilang canonical na JSON na may mga nakaayos na key at walang hindi makabuluhang whitespace.

In-stamp ang rekord sa isang batch na may anim na rekord. Ang mga halaga sa ibaba ay kinuha mula sa pagpapatakbong iyon.

Maaaring suriin ang anchoring na transaksyon sa https://qvmscan.io/tx/QTX1V53JW528S64SZYD6EDZ563N0PUUA2ARGNQHV4LTJMNH24PQS5VPQTAH8RQ.

Nagbalik ng valid ang beripikasyon ng resibo laban sa rekord, at pumasa ang lahat ng walong pagsusuri.

Pagkatapos ay binago ang halaga sa rekord nang 1000 at inulit ang beripikasyon gamit ang parehong resibo. Nabigo ang pagsusuring content at invalid ang resulta. Hindi naaapektuhan ng pagbabago ang iba pang mga pagsusuri, na siyang nilalayong asal, dahil pinangangalanan ng hatol ang eksaktong kawing na nasira. Bilang paglalarawan, ang pagpapalit ng 125000 ng 126000 ay nagbibigay ng digest na

Dalawang katangian ng halimbawa ang nararapat bigyan ng puna. Una, ang field ng oras sa loob ng rekord, 09:39:25.132, ay isang paggigiit ng agent at hindi sertipikado. Ang block time ay isang buong segundo, 09:39:25, at tumutugma sa rekord sa resolusyong iyon. Ikalawa, ang oras na sinukat mula sa pagsusumite hanggang sa naobserbahang finality ay humigit-kumulang 0.7 segundo, na kasama ang polling interval ng SDK.

9. Pagmamapa sa regulasyon

Iniuugnay ng talahanayan ang bawat obligasyon sa pormal na katangiang ibinibigay ng Qstamp at sa mga hangganan ng katangiang iyon. Ang mga paraphrase ay mga buod para sa oryentasyon at hindi pumapalit sa mga legal na teksto [35, 36, 37, 38, 39, 40, 41, 27]. Walang batas na binanggit ang humihingi ng Qstamp. Ang bawat isa ay humihingi ng mga katangian ng mga rekord, at ibinibigay ng Qstamp ang ilan sa mga ito.

Nananatiling responsable ang bawat organisasyon sa pagtugon sa buong mga hinihingi ng mga batas na naaangkop dito, at dapat itong humingi ng sarili nitong legal na payo.

10. Kung ano ang nagpapaiba sa konstruksyong ito

Ipinapangatwiran namin na ang pangmatagalang ebidensya para sa mga agent ay nangangailangan ng apat na katangian nang sabay-sabay, at na hindi makakamit ng isang klasikong chain ang una sa mga ito para sa umiiral nitong kasaysayan sa pamamagitan lamang ng migrasyon.

1. R1. Post quantum na pagpapatunay ng buong kasaysayan. Ang bawat lagdang inaasahan ng isang anchor, mula sa account na nagsusumite hanggang sa finality, ay post quantum, pabalik hanggang sa genesis, at hindi tumatanggap ang protocol ng anumang klasikong lagda na makapagtatatag ng isang katunggaling katotohanan.
2. R2. Malayang saksi. Itinatakda ang anchor ng isang komiteng malaya sa tagapag-ingat, hindi ng tagapag-ingat o ng iisang awtoridad.
3. R3. Attested na code. Mapapatunayang ang code na nagtatala ng isang anchor ay ang sinuring code, at hindi ito mapapalitan sa parehong address.
4. R4. Programmable na awtoridad. Ang mga patakaran ng institusyon, gaya ng mga awtorisadong issuer, pag-apruba ng maraming partido at pagbawi, ay pinatatakbo sa ilalim ng post quantum na pagpapatunay.

Inilalarawan ng kondisyon sa Proposisyon 6 ang isang tunay na lunas, na dapat isaad nang patas. Maiingatan ang ebidensya sa pamamagitan ng renewal, kung saan kino-commit ang lumang ebidensya sa ilalim ng mas matitibay na primitive bago mabigo ang mga luma, gaya ng renewal nina Haber at Stornetta [19] at ng Evidence Record Syntax ng RFC 4998 [34]. Dapat maganap ang renewal bago ang t_q, dapat mismong mabeberipika, at pinoprotektahan lamang nito ang na-renew. Ang isang network na post quantum mula pa sa genesis ay walang kailangang i-renew para sa sarili nitong kasaysayan. Ito ang kahulugan kung paanong ang pag-retrofit sa isang klasikong chain ay nag-iiwan sa naunang kasaysayan nito na mapepeke maliban kung ito ay ma-renew sa tamang panahon.

Tumutugon sa R1 ang isang post quantum na time stamp authority ngunit nakasalalay ito sa iisang awtoridad at walang iniaalok na programmable na patakaran. Tumutugon sa R2 at R4 ang isang ledger na walang attested na code, ngunit kailangang malayang i-audit ng verifier ang bytecode sa address ng kontrata. Ibinubuod ng talahanayan ang mga karaniwang deployment ng bawat kategorya noong 2026. Inilalarawan nito ang mga kategorya, hindi ang mga pinangalanang produkto.

Sa aming pagkakaalam, kakaunting production network ang pinagsama ang R1 hanggang R4 mula pa sa genesis sa petsa ng papel na ito. Hindi namin sinasabing eksklusibo sa Quantova ang kombinasyon, at ang argumento ng seksyong ito ay nakasalalay lamang sa mga katangian, hindi sa pagkakakilanlan ng anumang network.

11. Ekonomiya at pagganap

Ayon sa (15), ang bayad ng isang stamp ay nakasalalay lamang sa meter na nagamit ng call na may takdang haba, kaya ang isang stamp ay nagkakahalaga ng 0.005 TQTOV, 5000 quon, sa test network para sa anumang N. Ang amortised na gastos bawat rekord ay

Sa chain, ang bawat stamp ay nagdaragdag ng 164 byte ng call data at isang 72 byte na event, anuman ang N. Ang lokal na beripikasyon ay nagkakahalaga ng isang digest ng rekord at hindi hihigit sa ⌈log₂N⌉ + 2 karagdagang ebalwasyon ng SHA3 256 sa mga input na may takdang haba. Ang beripikasyon sa chain ay nagkakahalaga ng apat na query bawat endpoint, para sa pagkakakilanlan ng chain, transaksyon, mga event at block.

Sa pagpapatakbo sa test network na lumikha ng halimbawa ng Seksyon 8, ang oras mula sa pagsusumite ng isang stamp hanggang sa naobserbahang finality ay humigit-kumulang 0.7 segundo, kumpara sa finality ng chain na humigit-kumulang 0.2 segundo. Ang pagkakaiba ay maiuugnay sa pagsusumite at sa 400 millisecond na polling interval na ginagamit ng SDK upang obserbahan ang finality. Apat na stamp ang nagkahalaga ng 0.02 TQTOV sa kabuuan, ibig sabihin ay 0.005 TQTOV bawat isa. Ang mga bilang na ito ay mga sukat sa test network at hindi mga garantiya ng pagganap o presyo sa main network.

12. Mga limitasyon at gawain sa hinaharap

1. Mga offline finality proof. Kinukumpirma ng release 0.1 ang mga katotohanan sa chain sa pamamagitan ng mga RPC endpoint at samakatuwid ay umaasa sa T5. Nakaplano ang paglalagay ng block header, ng sertipiko ng finality at ng event inclusion proof sa bawat resibo, gaya ng inilarawan sa Seksyon 6.7, at aalisin nito ang pag-asang iyon.
2. Domain bawat deployment sa mga template. Tinatanggihan ng mga template na issuer at council ang mga order na ang domain value ay naiiba sa domain value ng deployment. Ang halaga ay isang 64 bit na numerong pinili ng deployer, at ang pagiging bago nito ay isang obligasyong operasyonal. Ang address ng isang kontrata ay nakasalalay lamang sa account na nagde-deploy at sa bilang ng transaksyon nito, kaya pagkatapos ng isang muling paglulunsad o sa isang fork, maaaring matanggap ng isang bagong deployment ang address ng isang nauna, at ang isang bagong domain value lamang ang pumipigil na tanggapin ang mga order na nilagdaan para sa naunang deployment.
3. Hindi pa sinusuri ng SDK ang pagbawi. Itinatala ng issuer template ang pag-withdraw ng isang commitment kasama ang isang reason code, ngunit hindi kinokonsulta ng Verify ang state na iyon. Ang isang resibo para sa isang na-withdraw na commitment ay nagve-verify pa rin bilang valid, at ang isang verifier na umaasa sa mga pag-withdraw ay dapat mag-query nang hiwalay sa issuer contract.
4. Audit ng ikatlong partido. Sinuri sa loob ang SDK at ang mga kontrata bago ang paglalathala. Inilalathala ang mga template ng kontrata bilang mga halimbawa, at kinakailangan ang isang malayang audit ng isang kwalipikadong ikatlong partido bago ang anumang deployment ng mga ito sa production at inirerekomenda ito bago umasa sa SDK sa production.
5. Resolusyon ng oras. Ang block time ay may resolusyong isang segundo, nililimitahan mula sa itaas ng T4 at mula sa ibaba ng oras lamang ng parent block. Itinatatag ng mga resibo ang pag-iral nang hindi lalampas sa finality, hindi ang pinakamaagang oras.
6. Pagiging kumpleto. Pinatutunayan ng isang resibo ang inclusion, hindi ang pagiging kumpleto. Ang magkakasunod na pagbibilang at ang pagkakadena ng mga batch, gaya ng iminungkahi sa Seksyon 7.5, ay mga praktika ng operator at hindi ipinatutupad ng kontrata.
7. Katayuan ng network. Ang lahat ng resulta sa papel na ito ay tungkol sa test network. Walang bisa bilang ebidensya ang mga resibong nilikha roon, at ang paggamit sa production ay magaganap sa Quantova main network kapag nailunsad na ito.

13. Legal na katayuan ng papel na ito

Ang papel na ito ay isang teknikal na espesipikasyon at paglalarawan ng Qstamp na ibinibigay ng Quantova Inc para sa impormasyon. Hindi ito lumilikha nang mag-isa ng anumang obligasyong kontraktwal, warranty, representasyon o pangako, at hindi ito legal, regulatory, tax o investment na payo. Ang paggamit ng Qstamp, ng Qstamp SDK at ng mga template ng Quanta contract ay pinamamahalaan ng Mga Tuntunin ng Paggamit, ng mga lisensya kung saan inilathala ang software at ng anumang kasunduang nilagdaan kasama ang Quantova Inc, na nangingibabaw sa papel na ito kung may salungatan. Ang mga pahayag tungkol sa mga batas at regulasyon ay mga buod para sa oryentasyon. Ang mga pahayag tungkol sa mga feature sa hinaharap ay naglalarawan ng kasalukuyang mga intensyon at maaaring magbago.

Maliit na titik. Ang bawat pahayag sa papel na ito na ang Quantova o ang Qstamp ay post quantum, o hindi umaasa sa mga klasikong lagda, ay tumutukoy sa Quantova protocol, ibig sabihin ang mga lagda sa mga account, transaksyon at sertipiko ng finality, ang attestation ng code ng kontrata, at ang consensus. Hindi ito sumasaklaw sa transport security sa labas ng protocol, gaya ng mga koneksyong TLS, sertipiko at key exchange na ginagamit ng mga website, ng explorer, ng mga RPC gateway at ng iba pang web hosting, na maaaring gumamit ng mga klasikong algoritmo. Sa release 0.1, ang mga pagsusuri sa chain sa beripikasyon ay umaasa sa integridad ng mga tugong natanggap mula sa mga RPC endpoint, na habang nasa transit ay pinoprotektahan ng transport security na iyon (palagay T5 at Seksyon 6.7). Hangga't hindi pa nagdadala ang mga resibo ng mga offline finality proof, ang isang verifier na nangangailangan ng post quantum na katiyakan para sa mga pagsusuring iyon ay dapat kumuha ng datos ng chain sa isang channel na pinagkakatiwalaan nito o mula sa ilang endpoint na pinatatakbo nang malaya sa isa't isa.

© 2026 Quantova Inc. Ang Qstamp at Quantova ay mga trademark ng Quantova Inc.

14. Mga sanggunian

1. [1]P. W. Shor. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings of the 35th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, 1994, pp. 124 to 134.
2. [2]P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing 26(5), 1997, pp. 1484 to 1509.
3. [3]L. K. Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the 28th Annual ACM Symposium on Theory of Computing (STOC), 1996, pp. 212 to 219.
4. [4]C. H. Bennett, E. Bernstein, G. Brassard and U. Vazirani. Strengths and weaknesses of quantum computing. SIAM Journal on Computing 26(5), 1997, pp. 1510 to 1523.
5. [5]G. Brassard, P. Høyer and A. Tapp. Quantum cryptanalysis of hash and claw-free functions. In LATIN '98: Theoretical Informatics, Lecture Notes in Computer Science 1380, Springer, 1998, pp. 163 to 169.
6. [6]S. Aaronson and Y. Shi. Quantum lower bounds for the collision and the element distinctness problems. Journal of the ACM 51(4), 2004, pp. 595 to 605.
7. [7]D. J. Bernstein. Cost analysis of hash collisions. Will quantum computers make SHARCS obsolete? In Workshop Record of SHARCS 2009, Special-purpose Hardware for Attacking Cryptographic Systems, 2009.
8. [8]M. Roetteler, M. Naehrig, K. M. Svore and K. Lauter. Quantum resource estimates for computing elliptic curve discrete logarithms. In Advances in Cryptology, ASIACRYPT 2017, Lecture Notes in Computer Science 10625, Springer, 2017, pp. 241 to 270.
9. [9]J. Proos and C. Zalka. Shor's discrete logarithm quantum algorithm for elliptic curves. Quantum Information and Computation 3(4), 2003, pp. 317 to 344.
10. [10]C. Gidney and M. Ekerå. How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits. Quantum 5, 433, 2021. First circulated as arXiv:1905.09749, 2019.
11. [11]C. Gidney. How to factor 2048 bit RSA integers with less than a million noisy qubits. arXiv:2505.15917, 2025.
12. [12]M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
13. [13]M. Mosca. Cybersecurity in an era with quantum computers. Will we be ready? IEEE Security and Privacy 16(5), 2018, pp. 38 to 41.
14. [14]S. Goldwasser, S. Micali and R. L. Rivest. A digital signature scheme secure against adaptive chosen-message attacks. SIAM Journal on Computing 17(2), 1988, pp. 281 to 308.
15. [15]M. Bellare and P. Rogaway. Random oracles are practical. A paradigm for designing efficient protocols. In Proceedings of the 1st ACM Conference on Computer and Communications Security (CCS), 1993, pp. 62 to 73.
16. [16]D. Boneh, Ö. Dagdelen, M. Fischlin, A. Lehmann, C. Schaffner and M. Zhandry. Random oracles in a quantum world. In Advances in Cryptology, ASIACRYPT 2011, Lecture Notes in Computer Science 7073, Springer, 2011, pp. 41 to 69.
17. [17]P. Rogaway and T. Shrimpton. Cryptographic hash-function basics. Definitions, implications, and separations for preimage resistance, second-preimage resistance, and collision resistance. In Fast Software Encryption, FSE 2004, Lecture Notes in Computer Science 3017, Springer, 2004, pp. 371 to 388.
18. [18]R. C. Merkle. A digital signature based on a conventional encryption function. In Advances in Cryptology, CRYPTO '87, Lecture Notes in Computer Science 293, Springer, 1988, pp. 369 to 378.
19. [19]S. Haber and W. S. Stornetta. How to time-stamp a digital document. Journal of Cryptology 3(2), 1991, pp. 99 to 111.
20. [20]L. Ducas, E. Kiltz, T. Lepoint, V. Lyubashevsky, P. Schwabe, G. Seiler and D. Stehlé. CRYSTALS-Dilithium. A lattice-based digital signature scheme. IACR Transactions on Cryptographic Hardware and Embedded Systems 2018(1), pp. 238 to 268.
21. [21]E. Kiltz, V. Lyubashevsky and C. Schaffner. A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model. In Advances in Cryptology, EUROCRYPT 2018, Lecture Notes in Computer Science 10822, Springer, 2018.
22. [22]National Institute of Standards and Technology. SHA-3 Standard. Permutation-Based Hash and Extendable-Output Functions. FIPS PUB 202, August 2015.
23. [23]National Institute of Standards and Technology. Secure Hash Standard (SHS). FIPS PUB 180-4, August 2015.
24. [24]National Institute of Standards and Technology. Module-Lattice-Based Digital Signature Standard. FIPS 204, August 2024.
25. [25]National Institute of Standards and Technology. Stateless Hash-Based Digital Signature Standard. FIPS 205, August 2024.
26. [26]National Institute of Standards and Technology. Digital Signature Standard (DSS). FIPS 186-5, February 2023.
27. [27]D. Moody, R. Perlner, A. Regenscheid, A. Robinson and D. Cooper. Transition to Post-Quantum Cryptography Standards. NIST Internal Report 8547, Initial Public Draft, National Institute of Standards and Technology, November 2024.
28. [28]Executive Order 14412. Securing the Nation Against Advanced Cryptographic Attacks. The White House, Washington, signed 22 June 2026.
29. [29]Certicom Research. SEC 2. Recommended Elliptic Curve Domain Parameters. Standards for Efficient Cryptography, Version 2.0, 2010.
30. [30]S. Josefsson and I. Liusvaara. Edwards-Curve Digital Signature Algorithm (EdDSA). RFC 8032, Internet Engineering Task Force, January 2017.
31. [31]B. Laurie, E. Messeri and R. Stradling. Certificate Transparency Version 2.0. RFC 9162, Internet Engineering Task Force, December 2021.
32. [32]A. Rundgren, B. Jordan and S. Erdtman. JSON Canonicalization Scheme (JCS). RFC 8785, Internet Engineering Task Force, June 2020.
33. [33]C. Adams, P. Cain, D. Pinkas and R. Zuccherato. Internet X.509 Public Key Infrastructure Time-Stamp Protocol (TSP). RFC 3161, Internet Engineering Task Force, August 2001.
34. [34]T. Gondrom, R. Brandner and U. Pordesch. Evidence Record Syntax (ERS). RFC 4998, Internet Engineering Task Force, August 2007.
35. [35]Regulation (EU) 2024/1689 of the European Parliament and of the Council of 13 June 2024 laying down harmonised rules on artificial intelligence (Artificial Intelligence Act). Official Journal of the European Union, L series, 12 July 2024.
36. [36]Regulation (EU) 2024/1183 of the European Parliament and of the Council of 11 April 2024 amending Regulation (EU) No 910/2014 as regards establishing the European Digital Identity Framework. Official Journal of the European Union, L series, 30 April 2024.
37. [37]United States Securities and Exchange Commission. Rule 17a-4, Records to be preserved by certain exchange members, brokers and dealers. 17 CFR 240.17a-4.
38. [38]Regulation (EU) 2016/679 as it forms part of the law of the United Kingdom (UK GDPR), Article 5(1)(f).
39. [39]Japan. Act on Special Provisions concerning Preservation Methods for Books and Documents Related to National Tax Prepared by Means of Computers (Act No. 25 of 1998), and its Enforcement Regulation.
40. [40]Republic of Korea. Personal Information Protection Act, Article 29, and the standards on safety measures for personal information issued under it by the Personal Information Protection Commission.
41. [41]Hong Kong Special Administrative Region. Personal Data (Privacy) Ordinance (Cap. 486), Schedule 1, Data Protection Principle 4.