Proovik
Certifiera
Offentlig verifierare · PVK-PROOF/1

Så kontrollerar du ett Proovik-bevis utan att lita på Proovik

Du behöver bevisfilen (eller certifikatets PDF) och din kopia av originaldokumentet. Ingenting laddas upp: hashen beräknas i din webbläsare. Nedan följer den fullständiga specifikationen, steg för steg och med verkliga värden.

Version 1 Nätverk: Kaspa mainnet Referensverifierare: 248 rader Python, utan beroenden
Verktyg

Verifiera ett bevis online

Kontrollera ett certifikat här med samma motor som beskrivs nedan. Dokumentet lämnar aldrig din enhet: dess SHA-256 beräknas i din webbläsare och bara hashen skickas. Hashen lämnar du själv, den hämtas aldrig från bevisfilen. Om du drar in certifikatets PDF extraheras det bifogade bevispaketet i din webbläsare, och PDF:en skickas inte heller.

1 · Bevisfil

2 · Originaldokument

Verifieraren tar aldrig hashen från bevisfilen: den lämnar du.

Paketet och hashen skickas till POST /api/verify/proof. Utan konto. Gräns: 120 verifieringar per timme och IP.

Det står i PDF-certifikatet och visas i Kaspas blockutforskare.

Du kan beräkna den genom att dra in dokumentet i den andra fliken: värdet delas.

Det här läget bygger om paketet genom att fråga api.kaspa.org. Kaspa levererar bara det fullständiga blockhuvudet i ungefär 40 timmar efter förankringen: därefter går länk 3 och 4 inte att räkna om och utslaget blir Ej avgörande, aldrig ”Styrker”. För en fullständig verifiering, använd bevisfilen som fångades vid tillfället.

GET /api/verify/proof/{txid}?hash=…. Gräns: 30 per timme och IP (den frågar nätverket).

Utslag ·

Styrkt Ej avgörande Ej styrkt

De fyra länkarna stämmer: dokumentet med den här SHA-256 fanns när det angivna blocket minerades. Kom ihåg vad beviset inte styrker: varken upphovsmannaskap eller innehållets sanningshalt.

Det som gick att räkna om stämmer, men någon uppgift saknas (vanligen det fullständiga blockhuvudet, utanför beskärningsfönstret) för att sluta kedjan. Det är inget fel på beviset: det är en partiell verifiering. Med bevisfilen som fångades vid tillfället, eller med det fullständiga bevispaketet, går den att slutföra.

Minst en länk stämmer inte med den angivna hashen. Vanligast: dokumentet är inte exakt det som tidsstämplades (en enda avvikande byte ändrar SHA-256) eller så hör bevisfilen inte till det här dokumentet. Granska detaljerna för varje länk.

Se transaktionen i nätverket
dokument
txid
block_hash
nätverk
läge
blockhuvud
verifierat

Länkarna, en och en

  1. Acceptansvittne (KIP-15)

    Paketet innehåller inget acceptansvittne. Det är valfritt: det påverkar inte utslaget.

Varningar

Vad varje länk betyder

Bevisets omfattning

Vad som exakt påstås

Precisionen väger tyngre än vältaligheten här, för det är den som avgör om beviset håller i ett kontradiktoriskt förfarande.

Vad beviset styrker

Att en bytesträng vars SHA-256 är ett bestämt värde infogades i en transaktion i Kaspa-nätverket, att den transaktionen bands inuti ett blockhuvud, och att ett giltigt arbetsbevis utfördes över det blockhuvudet —som innehåller en tidsstämpel—. Eftersom tidsstämpeln ligger inuti de data som arbetet utfördes på gör varje ändring av den arbetet ogiltigt. Datumet är ingens påstående: det är en fysisk storhet som redan är förbrukad.

Vad beviset INTE styrker

Vem som skapade dokumentet, om innehållet är sant, om upphovsmannen hade rätt att skapa det, eller att dokumentet inte fanns tidigare. Det styrker prioritet till en tidpunkt, inte upphovsmannaskap eller sanningshalt. Proovik ser aldrig dokumentet: det tar bara emot dess hash.

Om hashen

SHA-256 är en sammandragsfunktion på 256 bitar. Att hitta två olika dokument med samma sammandrag har aldrig lyckats, och den uppskattade insatsen överstiger vad mänskligheten förmår beräkna. Om sammandraget av det inlämnade dokumentet stämmer med det som ligger i kedjan är dokumentet därför detsamma, utan praktiskt utrymme för tvivel.

Verkligt exempel · 2026-09-20

De fyra länkarna

Verifieringen är en kedja. Varje länk hakar i nästa, och det räcker att en brister för att beviset ska bli värdelöst. Värdena nedan är verkliga: de hör till ett certifikat utfärdat den 20 september 2026.

1 2 3 4

1 · Transaktionens data är dokumentets sammandrag

Överensstämmer
Vad den kontrollerar
Att din fils hash är exakt den som ligger i Kaspa.
Om den brast
Då hade någon ändrat dokumentet, om så bara en byte.
Hur
Varje Kaspa-transaktion har ett fritt fält, payload. Där skriver Proovik de 32 byten av dokumentets SHA-256, och inget annat. Kontrollen är en bokstavlig jämförelse.
Se beräkningen 
SHA-256(documento) == transaccion.payload
documento0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8
payload0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8

2 · Transaktionen är bunden i blockhuvudet

Överensstämmer
Vad den kontrollerar
Att den här transaktionen ingår i det block som beviset anger, och inte i något annat.
Om den brast
Transaktionen skulle finnas, men inte i det blocket och inte med det datumet.
Hur
Kaspa registrerar i varje blockhuvud i kedjan ett åtagande om de transaktioner som blocket accepterar. Sedan KIP-15 trädde i kraft är det fältet, acceptedIdMerkleRoot, inte en enkel Merkle-rot utan ett kedjat värde: det kombinerar föräldrablockets åtagande med roten för de accepterade transaktionerna. En omräkning som bortser från den kedjningen misslyckas, och det är den vanligaste orsaken till felaktiga verifieringar.
Se beräkningen 
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
förälder-seq.2b3265225d51e5b051e46b9f164dc116cf2e21d566827abc8a7b1ae036d8330d
beräknat7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
i blockhuvudet7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
Två verifierade fallgropar

Ordningen på de accepterade transaktionerna är den kanoniska ordning som KIP-15 fastställer, inte den ordning ett API returnerar dem i och inte heller ordning efter hash. Och löven i ett blocks träd —när inkludering och inte acceptans verifieras— är inte txid utan tx::hash, beräknade med den fullständiga kodningen (inklusive signature scripts och åtagandet om lagringsmassa).

3 · Blockhuvudet ger den deklarerade blockhashen

Överensstämmer
Vad den kontrollerar
Att det mottagna blockhuvudet, omräknat byte för byte, ger exakt den här blockhashen.
Om den brast
Blockhuvudet vore inte blockets: datumet i det skulle vara värdelöst.
Hur
Ett blocks hash är sammandraget av dess serialiserade blockhuvud. Att räkna om den visar att det inlämnade blockhuvudet är exakt det som det utger sig för att vara, och att inget av dess fält —tidsstämpeln inräknad— har rörts.
Se beräkningen 
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
block77ee3a38aecdb3d8e97a010f7f8f78927e48282d22ebfae3004713ba8a9d51fc
Icke förhandlingsbart krav

Blockhuvudet binder sig till alla föräldranivåer —i dag är de 56, med drygt tvåhundra hashar—. Saknas en enda går sammandraget inte att rekonstruera. Det är därför bevisfilen måste fånga hela blockhuvudet vid förankringen: efter ett trettiotal timmar kastar nätverket bort de uppgifterna och offentliga tjänster returnerar ett avkortat blockhuvud.

4 · Ett giltigt arbetsbevis utfördes över det blockhuvudet

Giltigt arbete
Vad den kontrollerar
Att arbetet gjordes över det här blockhuvudet, med det här datumet inuti. Att ändra datumet gör arbetet ogiltigt.
Om den brast
Datumet vore ett påstående, inte en fysisk storhet som redan är förbrukad.
Hur
Här upphör beviset att vara ett påstående och blir ett konstaterande. Kaspa kräver att resultatet av att tillämpa nätverkets arbetsfunktion (kHeavyHash) på blockhuvudet hamnar under ett tröskelvärde. Att nå dit kräver tusentals biljoner försök: verklig energi, oåterkalleligt förbrukad.
Se beräkningen 
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
resultat0x15222b53caabb3b049ec84e25d0a0c7a35512f9d557adb4bc20
mål0x2345b0000000000000000000000000000000000000000000000
förankrat2026-09-20 00:03:00 UTC
Datumet

Därför är datumet en fysisk storhet och inte ett påstående

Det här är den del som det kontradiktoriska förfarandet oftast kräver, så den bör visas snarare än argumenteras. Tidsstämpeln ligger inuti blockhuvudet, och blockhuvudet är indata till arbetsbeviset. Ändrar man tiden ändrar man indata, och arbetet upphör att vara giltigt. Det kontrolleras experimentellt genom att ändra det blockhuvud som verifierades i steg 4 och göra om beräkningen:

Effekten av att ändra blockhuvudet på arbetsbevisets resultat
Blockhuvud Arbetets resultat Utslag
Original, orört0x15222b53caabb3b049ec…Giltigt
nonce + 10x6775abc19ba960657f66…Ogiltigt
timestamp flyttad fram en sekund0xaee1e8274b1d268866ed…Ogiltigt
Följden

För att lägga fram dokumentet med ett annat datum skulle man behöva göra om arbetsbeviset för det blockhuvudet mot nätverkets verkliga svårighetsgrad. Det är inte en kostnadsbarriär: det är en beräkningsbarriär i storleksordningen hela nätverkets samlade effekt under det intervall man vill förfalska. Ingen deklarerar datumet. Datumet betalas.

Beständighet

Fungerar det fortfarande efter framtida hardforkar?

Det ärliga svaret är ja, och det är värt att förstå varför. Ett fångat bevis är ingen levande fråga till nätverket: det är ett historiskt faktum, verifierat enligt de regler som gällde när det förankrades. Kaspa förändras med tiden —övergången Crescendo/Toccata ändrade till exempel DAA-takten och svårighetsräkningen— men det raderar inte det förflutna: det betyder bara att ett block från januari 2026 verifieras med januari 2026 års regler, och ett om tre år med reglerna om tre år.

Referensverifieraren är byggd just för det: den skiljer på epoker. Den känner aktiveringspunkten för varje konsensusändring (till exempel konstanten CRESCENDO_DAA_MAINNET) och tillämpar på varje block reglerna för dess epok, inte dagens. En senare hardfork lägger till en ny epok; den ogiltigförklarar inte de tidigare.

Bevisets beständighet vilar då på tre villkor, alla under kontroll av den som innehar det:

1

Fånga inom fönstret

Spara hela blockhuvudet vid förankringen, innan nätverket kastar bort de fullständiga uppgifterna (cirka 30-40 timmar).

2

Spara beviset

Bevisfilen (eller PDF:en som har den inbäddad) är självbärande: den hänvisar inte till någon server och gör ingen uppslagning online.

3

Behåll referensverifieraren

248 rader öppen kod, utan beroenden, härledbara ur Kaspas offentliga källkod. Även om den gick förlorad går den att skriva om.

Verifiera det själv

Gör det utan Proovik

Referensverifieraren är 248 rader Python utan externa beroenden: den implementerar blake2b med nyckel, permutationen Keccak-f[1600], generatorn xoshiro256++ och matrisaritmetiken. Den läses på en eftermiddag och granskas på två.

Terminalfönster 
$ 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

Ladda ner referensverifieraren

Två filer. Lägg dem i samma mapp och kör den första. De installerar ingenting och går aldrig ut på nätet.

verificador_kaspa.py kaspa_pow.py

Den som hellre slipper köra andras kod kan implementera om den: de fyra algoritmerna är beskrivna ovan utan tvetydighet, och alla parametrar kommer från den offentliga källkoden till rusty-kaspa. Det är lika legitimt att slå upp transaktionen i vilken offentlig Kaspa-blockutforskare som helst som kontroll, men skillnaden är värd att förstå: blockutforskaren är ett vittnesmål; beräkningen är en demonstration. Den här specifikationen finns till för att slippa vara beroende av det förra.

Rättslig ram

Rättslig omfattning

Proovik tillhandahåller en icke kvalificerad elektronisk tidsstämplingstjänst i den mening som avses i artikel 3.16 i) i förordning (EU) nr 910/2014. Det är värt att vara tydlig med vad det innebär.

  • Enligt artikel 41.1 i nämnda förordning får en elektronisk tidsstämplings rättsliga verkan och giltighet som bevis vid rättsliga förfaranden inte förnekas enbart på grund av att den har elektronisk form eller inte uppfyller kraven för en kvalificerad stämpling.
  • En icke kvalificerad stämpling omfattas inte av presumtionen om korrekt datum och tid i artikel 41.2, som är förbehållen de kvalificerade. Vid bestridande vilar bördan att styrka beviset på den som lägger fram det.
  • Det är just därför den här specifikationen finns: för att den bördan ska kunna fullgöras med en aritmetisk kontroll som vem som helst kan upprepa, i stället för med tillhandahållarens försäkran.

Proovik kontrollerar varken dokumentens innehåll, upphovsmannaskap eller laglighet, och får aldrig tillgång till dem: det tar bara emot deras kryptografiska sammandrag. Det som styrks är ett existens- och prioritetsbevis till en bestämd tidpunkt.

Referenser

Serialisering av blockhuvud och transaktion, uppbyggnad av Merkle-trädet och arbetsbevis, enligt källkoden till Kaspas referensimplementation (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/.

Värdena som används som exempel hör till verkliga certifikat och kan kontrolleras av vem som helst. Den här specifikationen versionshanteras: bevisen anger internt vilken version de utfärdades med.