Proovik
Sertifioi
Julkinen todennin · PVK-PROOF/1

Miten Proovikin todiste tarkistetaan luottamatta Proovikiin

Tarvitset todistetiedoston (tai sertifikaatin PDF-tiedoston) ja oman kopiosi alkuperäisestä asiakirjasta. Mitään ei ladata palvelimelle: tiiviste lasketaan selaimessasi. Alla on koko määrittely vaihe vaiheelta ja todellisin arvoin.

Versio 1 Verkko: Kaspa mainnet Viitetodennin: 248 riviä Pythonia, ei riippuvuuksia
Työkalu

Todenna todiste verkossa

Tarkista sertifikaatti tässä samalla moottorilla, joka kuvataan alla. Asiakirja ei poistu laitteeltasi: sen SHA-256 lasketaan selaimessasi ja vain tiiviste liikkuu. Sinä annat tiivisteen, sitä ei koskaan oteta todistetiedostosta. Jos vedät sertifikaatin PDF-tiedoston, siihen liitetty todistepaketti puretaan selaimessasi eikä PDF-tiedostoakaan lähetetä.

1 · Todistetiedosto

2 · Alkuperäinen asiakirja

Todennin ei koskaan ota tiivistettä todistetiedostosta: sinä annat sen.

Paketti ja tiiviste lähetetään osoitteeseen POST /api/verify/proof. Ei tiliä. Raja: 120 todennusta tunnissa ja IP-osoitetta kohti.

Se on painettu sertifikaatin PDF-tiedostoon ja näkyy Kaspan lohkoketjuselaimessa.

Voit laskea sen vetämällä asiakirjan toiseen välilehteen: arvo on yhteinen.

Tämä tapa rakentaa paketin uudelleen kyselemällä osoitteesta api.kaspa.org. Kaspa tarjoaa täyden otsakkeen vain noin 40 tunnin ajan ankkuroinnista: sen jälkeen lenkkejä 3 ja 4 ei voi laskea uudelleen ja lopputulos on Ei ratkaiseva, ei koskaan ”Osoittaa”. Täydelliseen todennukseen käytä aikanaan talteen otettua todistetiedostoa.

GET /api/verify/proof/{txid}?hash=…. Raja: 30 tunnissa ja IP-osoitetta kohti (kysely menee verkkoon).

Lopputulos ·

Osoitettu Ei ratkaiseva Ei osoitettu

Neljä lenkkiä täsmäävät: asiakirja, jonka SHA-256 tämä on, oli olemassa silloin kun ilmoitettu lohko louhittiin. Muista, mitä todiste ei osoita: tekijyyttä eikä sisällön totuudenmukaisuutta.

Se, mikä voitiin laskea uudelleen, täsmää, mutta ketjun sulkemiseen puuttuu jokin tieto (yleensä lohkon täysi otsake, karsintaikkunan ulkopuolelta). Tämä ei ole todisteen vika: kyse on osittaisesta todennuksesta. Aikanaan talteen otetulla todistetiedostolla tai täydellisellä todistepaketilla se voidaan viedä loppuun.

Ainakin yksi lenkki ei täsmää annetun tiivisteen kanssa. Yleisintä on, ettei asiakirja ole täsmälleen se, joka leimattiin (yksikin eri tavu muuttaa SHA-256:n), tai ettei todistetiedosto kuulu tähän asiakirjaan. Tarkista kunkin lenkin tiedot.

Katso tapahtuma verkossa
asiakirja
txid
block_hash
verkko
tapa
otsake
todennettu

Lenkit yksi kerrallaan

  1. Hyväksynnän todiste (KIP-15)

    Paketti ei sisällä hyväksynnän todistetta. Se on valinnainen: se ei vaikuta lopputulokseen.

Varoitukset

Mitä kukin lenkki tarkoittaa

Todisteen kattavuus

Mitä tarkalleen väitetään

Täsmällisyys on tässä tärkeämpää kuin kaunopuheisuus, sillä siitä riippuu, kestääkö todiste vastapuolen kuulustelun.

Mitä todiste osoittaa

Että tavujono, jonka SHA-256 on tietty arvo, sisällytettiin Kaspa-verkon tapahtumaan, että kyseinen tapahtuma sidottiin lohkon otsakkeeseen ja että tälle otsakkeelle — joka sisältää aikaleiman — suoritettiin kelvollinen työntodiste. Koska aikaleima on sisällä siinä datassa, jolle työ tehtiin, sen muuttaminen mitätöi työn. Päivämäärä ei ole kenenkään ilmoitus: se on jo kulutettu fysikaalinen suure.

Mitä todiste EI osoita

Kuka asiakirjan loi, onko sen sisältö totta, oliko sen tekijällä oikeus luoda se, eikä sitä, ettei asiakirja olisi ollut olemassa aiemmin. Se osoittaa aiemmuuden tiettyyn hetkeen nähden, ei tekijyyttä eikä totuudenmukaisuutta. Proovik ei näe asiakirjaa missään vaiheessa: se saa vain sen tiivisteen.

Tiivisteestä

SHA-256 on 256-bittinen tiivistefunktio. Kahta eri asiakirjaa, joilla on sama tiiviste, ei ole koskaan löydetty, ja arvioitu vaivannäkö ylittää sen, mitä ihmiskunta kykenee laskemaan. Siksi, jos annetun asiakirjan tiiviste vastaa ketjussa olevaa, asiakirja on sama ilman käytännön epäilyksen varaa.

Todellinen esimerkki · 20.9.2026

Neljä lenkkiä

Todennus on ketju. Jokainen lenkki liittyy seuraavaan, ja yhden pettäminen riittää tekemään todisteesta arvottoman. Alla näkyvät arvot ovat todellisia: ne kuuluvat 20. syyskuuta 2026 myönnettyyn sertifikaattiin.

1 2 3 4

1 · Tapahtuman data on asiakirjan tiiviste

Vastaa
Mitä se tarkistaa
Että tiedostosi tiiviste on täsmälleen se, joka on Kaspassa.
Jos se pettäisi
Joku olisi muuttanut asiakirjaa, vaikka vain yhden tavun verran.
Miten
Jokainen Kaspa-tapahtuma sallii vapaan kentän, payload. Proovik kirjoittaa sinne asiakirjan SHA-256:n 32 tavua, eikä mitään muuta. Tarkistus on kirjaimellinen vertailu.
Näytä laskenta 
SHA-256(documento) == transaccion.payload
documento0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8
payload0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8

2 · Tapahtuma on sidottu lohkon otsakkeeseen

Vastaa
Mitä se tarkistaa
Että tämä tapahtuma kuuluu siihen lohkoon, jonka todiste ilmoittaa, eikä mihinkään muuhun.
Jos se pettäisi
Tapahtuma olisi olemassa, mutta ei tuossa lohkossa eikä tuolla päiväyksellä.
Miten
Kaspa kirjaa ketjun jokaiseen otsakkeeseen sitoumuksen niistä tapahtumista, jotka kyseinen lohko hyväksyy. KIP-15:n voimaantulon jälkeen tuo kenttä, acceptedIdMerkleRoot, ei ole pelkkä Merkle-juuri vaan ketjutettu arvo: se yhdistää vanhemman lohkon sitoumuksen hyväksyttyjen tapahtumien juureen. Uudelleenlaskenta, joka sivuuttaa tämän ketjutuksen, epäonnistuu, ja se on yleisin syy virheellisiin todennuksiin.
Näytä laskenta 
nodo(a,b) = blake2b-256( clave = "MerkleBranchHash", a ‖ b )

AIMR      = raiz Merkle sobre las transacciones aceptadas, en orden canonico
SeqCommit = nodo( SeqCommit_del_padre_seleccionado , AIMR )

valido ⟹ SeqCommit == cabecera.acceptedIdMerkleRoot
AIMRb3bc256951640ff6468511fb62ec8fb280dafb99ebf7ecd00245d0cc3c9debb3
vanhemman seq.2b3265225d51e5b051e46b9f164dc116cf2e21d566827abc8a7b1ae036d8330d
laskettu7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
otsakkeessa7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
Kaksi todennettua sudenkuoppaa

Hyväksyttyjen tapahtumien järjestys on KIP-15:n määräämä kanoninen järjestys, ei se järjestys, jossa jokin API ne palauttaa, eikä tiivisteen mukainen järjestys. Ja lohkon puun lehdet — kun todennetaan sisältymistä eikä hyväksyntää — eivät ole txid-arvoja vaan tx::hash-arvoja, jotka lasketaan täydellä koodauksella (mukaan lukien signature script -kentät ja tallennusmassan sitoumus).

3 · Otsake tuottaa ilmoitetun lohkotiivisteen

Vastaa
Mitä se tarkistaa
Että vastaanotettu otsake, tavu tavulta uudelleen laskettuna, tuottaa täsmälleen tämän lohkotiivisteen.
Jos se pettäisi
Otsake ei olisi tuon lohkon otsake: sen sisältämä päiväys olisi arvoton.
Miten
Lohkon tiiviste on sen sarjoitetun otsakkeen tiiviste. Sen uudelleenlaskenta osoittaa, että annettu otsake on täsmälleen se, joka se väittää olevansa, eikä mihinkään sen kenttään — aikaleima mukaan lukien — ole koskettu.
Näytä laskenta 
h = blake2b-256( clave = "BlockHash" )

h ← version                    u16  little-endian
h ← numero de niveles          u64  little-endian
para cada nivel:
    h ← numero de padres       u64  little-endian
    h ← cada hash de padre      32 bytes
h ← hashMerkleRoot             32 bytes
h ← acceptedIdMerkleRoot       32 bytes
h ← utxoCommitment             32 bytes
h ← timestamp                  u64  little-endian   ← la marca temporal
h ← bits                       u32  little-endian
h ← nonce                      u64  little-endian
h ← daaScore                   u64  little-endian
h ← blueScore                  u64  little-endian
h ← longitud de blueWork       u64  little-endian
h ← blueWork      big-endian, sin ceros a la izquierda
h ← pruningPoint               32 bytes
lohko77ee3a38aecdb3d8e97a010f7f8f78927e48282d22ebfae3004713ba8a9d51fc
Ehdoton vaatimus

Otsake sitoutuu kaikkiin vanhempien tasoihin — nykyisin niitä on 56 ja yli kaksisataa tiivistettä. Jos yksikin puuttuu, tiivistettä ei voi muodostaa uudelleen. Tästä syystä todistetiedoston on otettava talteen koko otsake ankkurointihetkellä: noin kolmenkymmenen tunnin jälkeen verkko hylkää nämä tiedot ja julkiset palvelut palauttavat typistetyn otsakkeen.

4 · Kyseiselle otsakkeelle suoritettiin kelvollinen työntodiste

Kelvollinen työ
Mitä se tarkistaa
Että työ tehtiin tälle otsakkeelle, tämä päiväys sisällään. Päiväyksen muuttaminen mitätöi työn.
Jos se pettäisi
Päiväys olisi ilmoitus eikä jo kulutettu fysikaalinen suure.
Miten
Tässä todiste lakkaa olemasta väite ja muuttuu toteamukseksi. Kaspa vaatii, että sen työfunktion (kHeavyHash) soveltaminen otsakkeeseen tuottaa kynnysarvon alittavan tuloksen. Sen saavuttaminen vaatii tuhansia biljoonia yrityksiä: todellista, peruuttamattomasti kulutettua energiaa.
Näytä laskenta 
pre = hash_de_cabecera( con timestamp = 0 y nonce = 0 )
M   = matriz 64x64 generada con xoshiro256++ sembrado con pre,
      regenerada hasta que su rango sea 64
p   = cSHAKE256("ProofOfWorkHash")( pre ‖ timestamp ‖ 32 ceros ‖ nonce )
r   = cSHAKE256("HeavyHash")( (M · nibbles(p)) ⊕ p )

valido  ⟹  entero_little_endian(r)  ≤  objetivo(bits)
pre6e4f2ca8feb279a54f2c4ac8d57c867917f1766a7936a5bd7bd9351557d3c6f7
tulos0x15222b53caabb3b049ec84e25d0a0c7a35512f9d557adb4bc20
tavoite0x2345b0000000000000000000000000000000000000000000000
ankkuroitu2026-09-20 00:03:00 UTC
Päivämäärä

Miksi päivämäärä on fysikaalinen suure eikä ilmoitus

Tätä osaa vastapuoli yleensä vaatii esiin, joten se kannattaa näyttää eikä perustella. Aikaleima on sisällä otsakkeessa, ja otsake on työntodisteen syöte. Kun muutat kellonaikaa, muutat syötettä, eikä työ ole enää kelvollinen. Tämä todetaan kokeellisesti muuttamalla vaiheessa 4 todennettua otsaketta ja toistamalla laskenta:

Otsakkeen muuttamisen vaikutus työntodisteen tulokseen
Otsake Työn tulos Lopputulos
Alkuperäinen, koskematon0x15222b53caabb3b049ec…Kelvollinen
nonce + 10x6775abc19ba960657f66…Virheellinen
timestamp siirretty sekunnin eteenpäin0xaee1e8274b1d268866ed…Virheellinen
Seuraus

Jotta asiakirjan voisi esittää eri päiväyksellä, tuon otsakkeen työntodiste olisi tehtävä uudelleen verkon todellista vaikeustasoa vastaan. Kyse ei ole kustannuskynnyksestä: kyse on laskentakynnyksestä, joka on koko verkon yhteenlasketun tehon luokkaa siltä ajanjaksolta, joka aiotaan väärentää. Kukaan ei ilmoita päivämäärää. Päivämäärä maksetaan.

Pysyvyys

Toimiiko se yhä tulevien hardforkien jälkeen?

Rehellinen vastaus on kyllä, ja on syytä ymmärtää miksi. Talteen otettu todiste ei ole elävä kysely verkkoon: se on historiallinen tosiasia, joka todennetaan ankkurointihetkellä voimassa olleiden sääntöjen mukaan. Kaspa muuttuu ajan myötä — Crescendo/Toccata-siirtymä muutti esimerkiksi DAA:n rytmiä ja vaikeustason laskentaa — mutta se ei pyyhi menneisyyttä: se tarkoittaa vain, että tammikuun 2026 lohko todennetaan tammikuun 2026 säännöillä ja kolmen vuoden päästä syntynyt lohko silloin voimassa olevilla säännöillä.

Viitetodennin on rakennettu juuri tätä varten: se erottaa aikakaudet. Se tuntee kunkin konsensusmuutoksen aktivointipisteen (esimerkiksi vakion CRESCENDO_DAA_MAINNET) ja soveltaa kuhunkin lohkoon sen oman aikakauden sääntöjä, ei tämän päivän. Myöhempi hardfork lisää uuden aikakauden; se ei mitätöi aiempia.

Todisteen pysyvyys lepää siis kolmen ehdon varassa, jotka kaikki ovat sen haltijan hallinnassa:

1

Ota talteen ikkunan sisällä

Tallenna koko otsake ankkurointihetkellä, ennen kuin verkko hylkää täydet tiedot (noin 30–40 tuntia).

2

Säilytä todiste

Todistetiedosto (tai PDF, johon se on upotettu) on omavarainen: se ei viittaa mihinkään palvelimeen eikä verkkokyselyyn.

3

Säilytä viitetodennin

248 riviä avointa koodia, ei riippuvuuksia, johdettavissa uudelleen Kaspan julkisesta lähdekoodista. Vaikka se katoaisi, sen voi kirjoittaa uudelleen.

Todentakaa se itse

Tee se ilman Proovikia

Viitetodennin on 248 riviä Pythonia ilman ulkoisia riippuvuuksia: se toteuttaa avaimellisen blake2b:n, Keccak-f[1600]-permutaation, xoshiro256++-generaattorin ja matriisilaskennan. Sen lukee yhdessä iltapäivässä ja auditoi kahdessa.

Pääte 
$ python3 verificador_kaspa.py prueba.json 0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8

  OK    1. El payload on-chain es el hash del documento
  OK    2. La transaccion esta en el arbol Merkle del bloque
  OK    3. La cabecera produce el hash de bloque declarado
  OK    4. La prueba de trabajo de esa cabecera es valida

RESULTADO: PRUEBA VALIDA

Lataa viitetodennin

Kaksi tiedostoa. Sijoittakaa ne samaan kansioon ja suorittakaa ensimmäinen. Ne eivät asenna mitään eivätkä ota yhteyttä verkkoon.

verificador_kaspa.py kaspa_pow.py

Se, joka ei halua ajaa toisen kirjoittamaa koodia, voi toteuttaa sen itse: neljä algoritmia on kuvattu edellä yksiselitteisesti, ja kaikki parametrit ovat peräisin rusty-kaspa-projektin julkisesta lähdekoodista. Yhtä perusteltua on hakea tapahtuma vertailun vuoksi mistä tahansa julkisesta Kaspan lohkoketjuselaimesta, mutta ero kannattaa ymmärtää: lohkoketjuselain on todistajanlausunto; laskenta on todistus. Tämä määrittely on olemassa, jottei ensin mainitusta tarvitse riippua.

Oikeudellinen kehys

Oikeudellinen kattavuus

Proovik tarjoaa ei-hyväksytyn sähköisen aikaleiman palvelua asetuksen (EU) N:o 910/2014 3 artiklan 16 alakohdan i alakohdan tarkoittamassa mielessä. On syytä olla täsmällinen siitä, mitä se merkitsee.

  • Mainitun asetuksen 41 artiklan 1 kohdan mukaan sähköiseltä aikaleimalta ei saa evätä oikeusvaikutuksia eikä sen käyttökelpoisuutta todisteena oikeudellisissa menettelyissä pelkästään sillä perusteella, että se on sähköisessä muodossa tai ettei se ole hyväksytty.
  • Ei-hyväksytty aikaleima ei nauti 41 artiklan 2 kohdan olettamaa päivämäärän ja kellonajan paikkansapitävyydestä, joka on varattu hyväksytyille. Riitautustilanteessa näyttötaakka todisteesta on sillä, joka sen esittää.
  • Juuri siksi tämä määrittely on olemassa: jotta tuo taakka täytetään laskennallisella tarkistuksella, jonka kuka tahansa voi toistaa, eikä palveluntarjoajan ilmoituksella.

Proovik ei tarkasta asiakirjojen sisältöä, tekijyyttä eikä laillisuutta eikä missään vaiheessa pääse niihin käsiksi: se saa vain niiden kryptografisen tiivisteen. Se, mikä osoitetaan, on todiste olemassaolosta ja aiemmuudesta tiettyyn hetkeen nähden.

Lähteet

Otsakkeen ja tapahtuman sarjoitus, Merkle-puun rakentaminen ja työntodiste Kaspan viitetoteutuksen lähdekoodin mukaisesti (rusty-kaspa): consensus/core/src/hashing/header.rs, consensus/core/src/hashing/tx.rs, consensus/core/src/merkle.rs, crypto/hashes/src/pow_hashers.rs, consensus/pow/.

Esimerkkeinä käytetyt arvot kuuluvat todellisiin sertifikaatteihin ja ovat kenen tahansa tarkistettavissa. Tämä määrittely on versioitu: todisteet kertovat sisällään, millä versiolla ne on myönnetty.