Jak sprawdzić dowód Proovik bez zaufania do Proovik

To ta część, której zwykle domaga się postępowanie sporne, więc lepiej ją pokazać, niż o niej argumentować. Znacznik czasu znajduje się wewnątrz nagłówka, a nagłówek jest wejściem dowodu pracy. Zmiana godziny zmienia wejście, a praca przestaje być prawidłowa. Sprawdza się to doświadczalnie, zmieniając nagłówek zweryfikowany w kroku 4 i powtarzając obliczenie:

Uczciwa odpowiedź brzmi tak i warto zrozumieć dlaczego. Zapisany dowód nie jest żywym zapytaniem do sieci: to fakt historyczny, zweryfikowany według reguł obowiązujących w chwili zakotwiczenia. Kaspa zmienia się z czasem — przejście Crescendo/Toccata zmieniło na przykład rytm DAA i sposób liczenia trudności — ale to nie wymazuje przeszłości: oznacza tylko, że blok ze stycznia 2026 r. weryfikuje się regułami ze stycznia 2026 r., a blok za trzy lata regułami obowiązującymi za trzy lata.

Weryfikator referencyjny jest zbudowany właśnie do tego: rozróżnia epoki. Zna punkt aktywacji każdej zmiany konsensusu (na przykład stałą CRESCENDO_DAA_MAINNET) i stosuje do każdego bloku reguły jego epoki, a nie dzisiejsze. Późniejszy hardfork dodaje nową epokę; nie unieważnia wcześniejszych.

Weryfikator referencyjny to 248 linii Pythona bez zewnętrznych zależności: implementuje blake2b z kluczem, permutację Keccak-f[1600], generator xoshiro256++ i arytmetykę macierzy. Czyta się go w jedno popołudnie, a audytuje w dwa.

Proovik świadczy usługę niekwalifikowanego elektronicznego znacznika czasu w rozumieniu art. 3 pkt 16 lit. i) rozporządzenia (UE) nr 910/2014. Warto wyraźnie powiedzieć, co to oznacza.

• Zgodnie z art. 41 ust. 1 przywołanego rozporządzenia elektronicznemu znacznikowi czasu nie można odmówić skutku prawnego ani dopuszczalności jako dowodu w postępowaniu sądowym wyłącznie z tego powodu, że ma postać elektroniczną lub że nie spełnia wymogów znacznika kwalifikowanego.
• Znacznik niekwalifikowany nie korzysta z domniemania dokładności daty i czasu z art. 41 ust. 2, zastrzeżonego dla kwalifikowanych. W razie zakwestionowania ciężar wykazania dowodu spoczywa na tym, kto go przedstawia.
• Właśnie dlatego ta specyfikacja istnieje: aby ten ciężar dało się udźwignąć arytmetycznym sprawdzeniem, powtarzalnym przez każdego, zamiast oświadczeniem dostawcy.

Proovik nie weryfikuje treści, autorstwa ani legalności dokumentów i w żadnym momencie nie ma do nich dostępu: otrzymuje wyłącznie ich skrót kryptograficzny. Poświadczany jest dowód istnienia i wcześniejszej daty względem określonej chwili.