K-Veritas, hesaplama sonuçlarını kod ve donanımlarına doğrulanabilir bir PDF ile bağlıyor

K-Veritas ne yapıyor

Hacker News'te bir Show HN gönderisinde tanıtılan K-Veritas adlı proje, hesaplama deneylerinin oynanmaya karşı doğrulanabilir şekilde incelenmesini sağlayan bir komut satırı aracı. GitHub deposuna göre, yayımlanan bir sonucu onu üreten tam koda, donanıma ve zamana bağlıyor ve kanıtları, herkesin deneyi yeniden çalıştırmadan doğrulayabileceği kriptografik olarak imzalı bir PDF içinde paketliyor. Araç Go 1.22 ile yazılmış, tek bir statik binary olarak geliyor, runtime bağımlılığı yok ve herhangi bir dilde yazılmış programlarla çalışıyor.

Bir oturum nasıl işliyor

Temel iş akışı dört komuttan oluşuyor. kveritas init bir oturum başlatır ve varsayılan olarak redakte edilmiştir. kveritas run --, telemetriyi kaydederken aracın altında herhangi bir komutu çalıştırır. kveritas seal oturumu bir raport PDF'si olarak imzalar, kveritas verify ise onu denetler; attestation sunucusunu atlayan bir --offline bayrağı da vardır.

Programlar sonuçları stdout'a basit protokol satırları yazarak bildirir — KVERITAS_METRIC, KVERITAS_CLAIM, KVERITAS_INPUT üzerinden seed taahhütleri ve hesaplama maliyeti denetimlerini besleyen model ve iş yükü kartları. Keras eğitim geçmişlerinden, scikit-learn çapraz doğrulamasından ve metriğe benzer yerel değişkenlerden gelen metrikler otomatik algılanır; böylece basit çalışmalar için hiçbir enstrümantasyon gerekmez.

Bir platform uyarısı: mühürleme, doğrulama, kanıtlar, checkout, benchmark artifact'leri, provenance ve ifşa düzeyleri Linux, macOS ve Windows'ta çalışır; ancak süreç başına donanım atıfı ile dosya/alt süreç etkinlik haritası yalnızca Linux'ta mevcuttur; diğerlerinde araç sistem geneli ölçümlere geri döner.

Tutarlılık ve olabilirlik denetimleri

Sahtecilikle mücadele işinin çoğunu iki mekanizma yapıyor.

HMCA ya da yürütme tutarlılığı adı verilen ilki, kasıtlı olarak metrik kördür — bildirilen sonuca hiç bakmaz. Bir çalışma sırasında arka planda çalışan bir örnekleyici, süreç başına telemetriyi yaklaşık 10 Hz ile kaydeder: CPU, bellek, bağlam değişimleri, sayfa hataları, CPU frekansı ve I/O, ayrıca GPU kullanıldığında GPU kullanımı, belleği, gücü ve sıcaklığı. Mühürleme sırasında HMCA, bu kanalların tek bir sürecin gölgeleri olarak birlikte dalgalanıp dalgalanmadığını puanlar. Gerçek bir çalışma her kanalı tek bir etkinlik akışından besler; uydurma veya yeniden oynatılmış bir iz bunu yapmaz. Kararlar PASS, WARN, FAIL veya N/A'dır ve hafif çalışmalar yalnızca gerçekte sahip oldukları etkinliğe göre değerlendirilir.

İkincisi hesaplama maliyeti attestation'ıdır. Bir çalışma model kartı bildirdiğinde, mühürleme adımı bildirilen FLOP sayısını donanımın fiziksel olarak sağlayabileceğiyle zaman, enerji ve bellek sınırlarını kullanarak denetler. Zaman sınırı her cihazı toplar ve depo, boşta bir CPU üzerinde bildirilen 175 milyar parametreli bir modelin bu şekilde yakalandığını belirtir. Sert bir ihlal FABRICATION-IMPOSSIBLE olarak etiketlenir ve imzaya gömülür; dürüst çalışmalar geçer çünkü sınırlar cömertçe belirlenmiştir.

İfşa, provenance ve kanıtlar

Her çalışma, içerik adresli kaynak anlık görüntülerinin imzalı bir zaman çizelgesi olarak kaydedilir — çalışma başında, işaretlenen her aşamada ve çalışma sonunda — Merkle bağlantılı olarak imzaya bağlanır. İfşa oturum başına bir seçimdir: varsayılan olarak redakte edilmiş, bir bayrakla gerçek dosya adları veya tamamen açık; bu son seçenek kaynak kodun bir checkout paketini de yazar. Veri kümeleri ve ağırlıklar asla dahil edilmez ve .kveritasignore ile hariç tutulan dosyalar yine de yalnızca hash yaprakları olarak görünür, böylece sessizce çıkarılamazlar.

Seçici ifşa kanıtları daha da ileri gider: bir yazar, diğer hiçbirini açığa çıkarmadan bir dosyanın imzalı bir anlık görüntünün parçası olduğunu gösterebilir. Ayrıca kveritas init --harness ile bir agent modu bulunur; bu mod — Claude Code için hook'lar dahil — belirlenmiş agent eylemlerinin hash zincirli bir günlüğünü kaydeder ve doğrulama, oynanmayı tam olarak hangi girdiye kadar yerelleştirebilir, agent başına atıfla birlikte.

Kriptografik olarak, kanonik JSON SHA-256 ile hash'lenir ve 4096 bitlik bir anahtarla RSA-PSS kullanılarak imzalanır; mühür, PDF'e %%EOF'tan sonra gömülür. Raporlar ayrıca hesap gerektirmeden sunucu tarafı denetim için kveritas.org/verify adresine yüklenebilir.

Neden önemli

Yeniden üretilebilirlik, hesaplama bilimi ve makine öğrenmesinde kronik bir zayıflıktır: incelemeciler deneyleri neredeyse hiç yeniden çalıştırmaz, dolayısıyla yayımlanan sayılar büyük ölçüde güvene dayanır. K-Veritas bir sonucun doğru olduğunu kanıtlamaz, ama bir sonucu sahtelemenin ekonomisini değiştirir — uydurma bir iddianın ayrıca tutarlı düşük düzey telemetriyi ve bildirilen donanım üzerinde makul bir enerji ve zaman bütçesini de sahtelemesi gerekir. Benchmark gönderimleri, AI-agent transkriptleri ve yeniden çalıştırılması pratik olmayan makaleler için iddia, kod ve makine arasındaki bu bağlantı gerçek bir hesap verebilirlik katmanı ekler. Yalnızca Linux'ta çalışan telemetri sınırları ve örnekleyicinin istemci tarafında çalışması ise dikkatle değerlendirilmesi gereken açık uyarılardır.