Proovik
Onayla
Herkese açık doğrulayıcı · PVK-PROOF/1

Bir Proovik kanıtı, Proovik'e güvenmeden nasıl doğrulanır

Kanıt dosyasına (ya da sertifikanın PDF'sine) ve orijinal belgenin kendi kopyanıza ihtiyacınız var. Hiçbir şey yüklenmez: özet tarayıcınızda hesaplanır. Aşağıda, adım adım ve gerçek değerlerle tam spesifikasyon.

Sürüm 1 Ağ: Kaspa mainnet Referans doğrulayıcı: 248 satır Python, bağımlılık yok
Araç

Çevrimiçi bir kanıt doğrulayın

Bir sertifikayı burada, aşağıda anlatılan motorun aynısıyla kontrol edin. Belge cihazınızdan çıkmaz: SHA-256 değeri tarayıcınızda hesaplanır ve yalnızca özet gider. Hash'i siz verirsiniz, asla kanıt dosyasından alınmaz. Sertifikanın PDF'sini sürüklerseniz ekli kanıt paketi tarayıcınızda çıkarılır ve PDF de gönderilmez.

1 · Kanıt dosyası

2 · Orijinal belge

Doğrulayıcı hash'i asla kanıt dosyasından almaz: onu siz verirsiniz.

Paket ve hash POST /api/verify/proof adresine gönderilir. Hesap gerekmez. Sınır: IP başına saatte 120 doğrulama.

PDF sertifikada yazar ve Kaspa gezgininde görünür.

Diğer sekmede belgeyi sürükleyerek hesaplayabilirsiniz: değer paylaşılır.

Bu mod, api.kaspa.org adresini sorgulayarak paketi yeniden oluşturur. Kaspa, eksiksiz başlığı sabitlemeden sonra yalnızca yaklaşık 40 saat boyunca sunar: bu sürenin ardından 3. ve 4. halkalar yeniden hesaplanamaz ve karar Kesin değil olur, asla “Kanıtlıyor” olmaz. Eksiksiz bir doğrulama için o an yakalanmış kanıt dosyasını kullanın.

GET /api/verify/proof/{txid}?hash=…. Sınır: IP başına saatte 30 (ağı sorgular).

Karar ·

Kanıtlandı Kesin değil Kanıtlanmadı

Dört halka da tutuyor: bu SHA-256 değerine sahip belge, belirtilen blok kazıldığında mevcuttu. Kanıtın neyi kanıtlamadığını unutmayın: yazarlığı ya da içeriğin doğruluğunu.

Yeniden hesaplanabilenler tutuyor, ancak zinciri kapatmak için bazı veriler eksik (genellikle budama penceresinin dışında kalan eksiksiz blok başlığı). Bu, kanıtın bir kusuru değildir: kısmi bir doğrulamadır. O an yakalanmış kanıt dosyasıyla ya da eksiksiz kanıt paketiyle tamamlanabilir.

En az bir halka, verilen hash ile tutmuyor. En sık görülen nedenler: belge tam olarak mühürlenen belge değildir (tek bir bayt farkı SHA-256'yı değiştirir) ya da kanıt dosyası bu belgeye ait değildir. Her halkanın ayrıntısını inceleyin.

İşlemi ağda görüntüle
belge
txid
block_hash
ağ
mod
başlık
doğrulandı

Halkalar, tek tek

  1. Kabul tanığı (KIP-15)

    Paket, kabul tanığı içermiyor. İsteğe bağlıdır: kararı etkilemez.

Uyarılar

Her halka ne anlama gelir

Kanıtın kapsamı

Tam olarak ne iddia ediliyor

Burada kesinlik, belagatten daha önemlidir; çünkü kanıtın çekişmeli bir yargılamada ayakta kalması buna bağlıdır.

Kanıtın kanıtladıkları

SHA-256 değeri belirli bir sayı olan bir bayt dizisinin bir Kaspa ağı işlemine yerleştirildiğini, bu işlemin bir blok başlığı içinde taahhüt altına alındığını ve zaman damgası da içeren o başlık üzerinde geçerli bir iş kanıtı yürütüldüğünü. Zaman damgası, işin üzerinde yapıldığı verinin içinde olduğundan onu değiştirmek işi geçersiz kılar. Tarih kimsenin beyanı değildir: çoktan harcanmış fiziksel bir büyüklüktür.

Kanıtın kanıtlaMADIĞI şeyler

Belgeyi kimin oluşturduğunu, içeriğinin doğru olup olmadığını, yazarının onu oluşturmaya hakkı olup olmadığını ya da belgenin daha önce var olmadığını. Belirli bir ana kadarki önceliği kanıtlar; yazarlığı ya da doğruluğu değil. Proovik belgeyi hiçbir aşamada görmez: yalnızca hash'ini alır.

Hash hakkında

SHA-256, 256 bitlik bir özetleme fonksiyonudur. Aynı özete sahip iki farklı belge bulmak bugüne dek hiç başarılamamıştır ve bunun için tahmin edilen çaba, insanlığın hesaplayabileceğinin ötesindedir. Bu nedenle, sunulan belgenin özeti zincirdekiyle örtüşüyorsa belge aynı belgedir; pratikte şüpheye yer kalmaz.

Gerçek örnek · 20.09.2026

Dört halka

Doğrulama bir zincirdir. Her halka bir sonrakine bağlanır ve tek bir halkanın kopması kanıtı geçersiz kılar. Aşağıda görünen değerler gerçektir: 20 Eylül 2026'da düzenlenmiş bir sertifikaya aittir.

1 2 3 4

1 · İşlemin verisi, belgenin özetidir

Eşleşiyor
Ne kontrol eder
Dosyanızın özetinin, Kaspa'da bulunanla tam olarak aynı olduğunu.
Başarısız olsaydı
Birileri belgeyi, tek bir bayt bile olsa değiştirmiş olurdu.
Nasıl
Her Kaspa işlemi serbest bir alan kabul eder: payload. Proovik oraya belgenin SHA-256 değerinin 32 baytını yazar, başka hiçbir şey yazmaz. Kontrol, birebir bir karşılaştırmadır.
Hesabı görün 
SHA-256(documento) == transaccion.payload
documento0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8
payload0f7383b381366cc3a75dadd7e4a1e8998c492f7c5c5610f4384d7320f484aad8

2 · İşlem, blok başlığında taahhüt altına alınmıştır

Eşleşiyor
Ne kontrol eder
Bu işlemin, kanıtın beyan ettiği bloğa ait olduğunu, başka bir bloğa değil.
Başarısız olsaydı
İşlem var olurdu, ama o blokta ve o tarihle değil.
Nasıl
Kaspa, zincirdeki her başlıkta o bloğun kabul ettiği işlemlere dair bir taahhüt kaydeder. KIP-15 yürürlüğe girdiğinden beri bu alan, acceptedIdMerkleRoot, basit bir Merkle kökü değil zincirlenmiş bir değerdir: ebeveyn bloğun taahhüdünü, kabul edilen işlemlerin köküyle birleştirir. Bu zincirlemeyi göz ardı eden bir yeniden hesaplama başarısız olur ve hatalı doğrulamaların en sık nedeni budur.
Hesabı görün 
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
ebeveyn seq.2b3265225d51e5b051e46b9f164dc116cf2e21d566827abc8a7b1ae036d8330d
hesaplanan7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
başlıkta7843221eda25f05ddf9872ed57b59fb95c4f15aa7bf15017105e9797ef09caa5
Doğrulanmış iki tuzak

Kabul edilen işlemlerin sırası, KIP-15'in belirlediği kanonik sıradır; bir API'nin döndürdüğü sıra ya da hash'e göre sıra değil. Ayrıca bir bloğun ağacındaki yapraklar —kabul yerine dahil olma doğrulandığında— txid değerleri değil, tam kodlamayla (imza betikleri ve depolama kütlesi taahhüdü dâhil) hesaplanan tx::hash değerleridir.

3 · Başlık, beyan edilen blok hash'ini üretir

Eşleşiyor
Ne kontrol eder
Alınan başlığın, bayt bayt yeniden hesaplandığında tam olarak bu blok hash'ini verdiğini.
Başarısız olsaydı
Başlık o bloğa ait olmazdı: içerdiği tarihin hiçbir değeri kalmazdı.
Nasıl
Bir bloğun hash'i, serileştirilmiş başlığının özetidir. Yeniden hesaplamak, sunulan başlığın tam olarak iddia ettiği başlık olduğunu ve —zaman damgası dâhil— hiçbir alanına dokunulmadığını kanıtlar.
Hesabı görün 
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
blok77ee3a38aecdb3d8e97a010f7f8f78927e48282d22ebfae3004713ba8a9d51fc
Pazarlığa kapalı gereklilik

Başlık tüm ebeveyn seviyelerine taahhüt verir; bugün bunlar, iki yüzden fazla hash içeren 56 seviyedir. Tek biri eksik olursa özet yeniden oluşturulamaz. Kanıt dosyasının, başlığın tamamını sabitleme anında yakalaması gerekmesinin nedeni budur: yaklaşık otuz saat sonra ağ bu verileri atar ve herkese açık servisler başlığı kırpılmış olarak döndürür.

4 · Bu başlık üzerinde geçerli bir iş kanıtı yürütüldü

Geçerli iş
Ne kontrol eder
İşin, içinde bu tarih bulunan bu başlık üzerinde yapıldığını. Tarihi değiştirmek işi geçersiz kılar.
Başarısız olsaydı
Tarih, çoktan harcanmış fiziksel bir büyüklük değil, bir beyan olurdu.
Nasıl
Kanıtın bir iddia olmaktan çıkıp bir tespite dönüştüğü yer burasıdır. Kaspa, iş fonksiyonunu (kHeavyHash) başlığa uygulamanın sonucunun bir eşiğin altında kalmasını şart koşar. Buna ulaşmak katrilyonlarca deneme gerektirir: gerçek ve geri döndürülemez biçimde harcanmış enerji.
Hesabı görün 
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
sonuç0x15222b53caabb3b049ec84e25d0a0c7a35512f9d557adb4bc20
hedef0x2345b0000000000000000000000000000000000000000000000
sabitlendi2026-09-20 00:03:00 UTC
Tarih

Tarih neden bir beyan değil, fiziksel bir büyüklüktür

Bu, çekişmeli yargılamada genellikle en çok sorgulanan kısımdır; bu yüzden tartışmak yerine göstermek daha iyidir. Zaman damgası başlığın içindedir ve başlık, iş kanıtının girdisidir. Saati değiştirmek girdiyi değiştirir ve iş artık geçerli olmaz. Bu, 4. adımda doğrulanan başlık değiştirilip hesaplama tekrarlanarak deneysel olarak gösterilebilir:

Başlığı değiştirmenin iş kanıtı sonucuna etkisi
Başlık İş sonucu Karar
Orijinal, dokunulmamış0x15222b53caabb3b049ec…Geçerli
nonce + 10x6775abc19ba960657f66…Geçersiz
timestamp bir saniye ileri alınmış0xaee1e8274b1d268866ed…Geçersiz
Doğurduğu sonuç

Belgeyi farklı bir tarihle sunabilmek için, o başlığın iş kanıtının ağın gerçek zorluğuna karşı yeniden yapılması gerekirdi. Bu bir maliyet engeli değildir: tahrif edilmek istenen aralık boyunca tüm ağın toplam gücü mertebesinde bir hesaplama engelidir. Tarihi kimse beyan etmez. Tarihin bedeli ödenir.

Kalıcılık

Gelecekteki hardfork'lardan sonra da çalışmaya devam edecek mi?

Dürüst yanıt evettir ve nedenini anlamakta yarar var. Yakalanmış bir kanıt, ağa yapılan canlı bir sorgu değildir: sabitlendiği anda yürürlükte olan kurallara göre doğrulanan tarihsel bir olgudur. Kaspa zamanla değişir; örneğin Crescendo/Toccata geçişi DAA ritmini ve zorluk sayımını değiştirdi. Ama bu, geçmişi silmez: yalnızca Ocak 2026 tarihli bir bloğun Ocak 2026 kurallarıyla, üç yıl sonraki bir bloğun da üç yıl sonrasının kurallarıyla doğrulanacağı anlamına gelir.

Referans doğrulayıcı tam da bunun için tasarlanmıştır: dönemleri ayırt eder. Her konsensüs değişikliğinin etkinleşme noktasını bilir (örneğin CRESCENDO_DAA_MAINNET sabiti) ve her bloğa bugünün değil, kendi döneminin kurallarını uygular. Sonraki bir hardfork yeni bir dönem ekler; öncekileri geçersiz kılmaz.

Kanıtın kalıcılığı böylece üç koşula dayanır ve üçü de kanıtı elinde tutanın denetimindedir:

1

Pencere içinde yakalayın

Ağ eksiksiz verileri atmadan önce (yaklaşık 30-40 saat) başlığın tamamını sabitleme anında kaydedin.

2

Kanıtı saklayın

Kanıt dosyası (ya da onu gömülü olarak taşıyan PDF) kendine yeterlidir: hiçbir sunucuya yönlendirmez, çevrimiçi sorgu yapmaz.

3

Referans doğrulayıcıyı koruyun

248 satır açık kaynak kod, bağımlılık yok, Kaspa'nın herkese açık kaynak kodundan yeniden türetilebilir. Kaybolsa bile yeniden yazılabilir.

Kendiniz doğrulayın

Proovik olmadan yapın

Referans doğrulayıcı, dış bağımlılığı olmayan 248 satır Python'dur: anahtarlı blake2b'yi, Keccak-f[1600] permütasyonunu, xoshiro256++ üretecini ve matris aritmetiğini uygular. Bir öğleden sonrada okunur, iki öğleden sonrada denetlenir.

Terminal 
$ 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

Referans doğrulayıcıyı indirin

İki dosya. Bunları aynı klasöre koyun ve ilkini çalıştırın. Hiçbir şey kurmazlar ve ağa çıkmazlar.

verificador_kaspa.py kaspa_pow.py

Başkasının kodunu çalıştırmak istemeyen, kodu yeniden yazabilir: dört algoritma yukarıda hiçbir belirsizliğe yer bırakmadan anlatılmıştır ve tüm parametreler rusty-kaspa'nın herkese açık kaynak kodundan gelir. İşlemi karşılaştırma amacıyla herhangi bir herkese açık Kaspa gezgininde sorgulamak da aynı ölçüde meşrudur, ama aradaki farkı anlamakta yarar var: gezgin bir tanıklıktır; hesaplama ise bir ispattır. Bu spesifikasyon, birincisine bağımlı kalmamak için vardır.

Hukuki çerçeve

Hukuki kapsam

Proovik, (AB) 910/2014 sayılı Tüzük'ün 3.16.i) maddesi anlamında nitelikli olmayan elektronik zaman damgası hizmeti sunar. Bunun ne anlama geldiği konusunda açık olmakta yarar var.

  • Anılan Tüzük'ün 41.1. maddesi uyarınca, bir elektronik zaman damgasının hukuki sonuç doğurması ve yargılamada delil olarak kabul edilebilirliği, yalnızca elektronik biçimde olması ya da nitelikli bir damganın gereklerini karşılamaması nedeniyle reddedilemez.
  • Nitelikli olmayan bir damga, yalnızca nitelikli damgalara tanınan 41.2. maddedeki tarih ve saat doğruluğu karinesinden yararlanmaz. İtiraz hâlinde kanıtı temellendirme yükü, onu sunan tarafa düşer.
  • Bu spesifikasyon tam da bu nedenle vardır: söz konusu yük, hizmet sağlayıcının beyanıyla değil, herkesin yeniden üretebileceği aritmetik bir kontrolle karşılansın diye.

Proovik, belgelerin içeriğini, yazarlığını ya da hukuka uygunluğunu denetlemez ve hiçbir aşamada belgelere erişmez: yalnızca kriptografik özetlerini alır. Kanıtlanan şey, belirli bir ana kadarki varlık ve öncelik kanıtıdır.

Kaynaklar

Kaspa referans uygulamasının (rusty-kaspa) kaynak koduna göre başlık ve işlem serileştirmesi, Merkle ağacı oluşturma ve iş kanıtı: 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/.

Örnek olarak kullanılan değerler gerçek sertifikalara aittir ve herkes tarafından kontrol edilebilir. Bu spesifikasyon sürümlenir: kanıtlar, hangi sürümle düzenlendiklerini kendi içlerinde belirtir.