Identify exact bytes.Kesin byte'ı tanı.
Typed Arrow data produces a canonical pf-fp-v1 BLAKE3 fingerprint.Tipli Arrow verisi kanonik pf-fp-v1 BLAKE3 fingerprint üretir.
“Veri için Ruff.”
ProofFrame, Rust ve Python için Arrow-yerel bir veri-kalite motoru. Bir veri kümesini profilleyin, bir sözleşmeye göre denetleyin, iki sürümü anahtara göre karşılaştırın — ve tam olarak neyin denetlendiğini kanıtlayan kanonik bir BLAKE3 parmak izi ile Ed25519 imzalı bir makbuz alın.
Çoğu veri aracı tek bir dar soruyu yanıtlar — bu tablo geçti mi? — ve her şeyi bir boolean'ın arkasına gizler. Bir hat ilerideki bir adımda kırıldığında ya da bir denetçi bir modelin hangi veriyle eğitildiğini sorduğunda, neyin denetlendiğine, neden başarısız olduğuna ya da tam olarak o veri kümesinin yeniden tanımlanıp tanımlanamayacağına dair hiçbir kayıt yoktur. Veri, hakkındaki kanıttan daha hızlı akar — bozuk veri yayınlanır ve kimse ne olduğunu kanıtlayamaz.
Her profil, Arrow gösterimden değil, tipli bayttan üretilen kanonik bir pf-fp-v1 BLAKE3 parmak izi yayar — böylece tam veri kümesi her zaman yeniden tanımlanabilir.
Sözleşmeler; başarısız satırları, toplam ihlal sayısını ve kırpılma durumunu döndürür — gerçek hataları gizleyen belirsiz bir geçti/kaldı asla değil.
Ed25519 imzalı makbuzlar (RFC 8785 + BLAKE3) bir kontrolü, herkesin sonradan yeniden denetleyebileceği, doğrulanabilir ve kurcalamaya dirençli bir kayda dönüştürür.
Python bağlarına sahip bir Rust çekirdeği — PyArrow, Pandas ve Polars aynı yerel yolu besler, deterministik JSON çıkar.
Kanonik parmak izleri, anahtarlı diff'ler, PII & sızıntı taramaları ve Ed25519 imzalı makbuzlar — hisler değil, kanıt.
Apache-2.0 altında yayında, #![forbid(unsafe_code)], Python 3.10+ için ABI-kararlı wheel'ler.
Kanıt taşıyan kontrolleri hattınızın ucuna koyalım.
ProofFrame, 7,6 milyon gerçek Bitcoin piyasa satırı üzerinde satır seviyesinde tam bir sözleşme çalıştırdı — örneklem değil, tüm veri kümesi — ve kanonik bir parmak izi ile imzalı bir makbuz üretti. Yazıyı okuyun ya da not defterini Kaggle'da kendiniz çalıştırın.
ProofFrame her iki kayıt defterine de Apache-2.0 altında yayınlanır — Rust kullanıcıları için saf-Rust bir crate ve Python için ABI-kararlı wheel'ler.
Python 3.10+ için ABI-kararlı wheel'ler — pf.validate, pf.profile, pf.diff, pf.scan_pii ve imzalı makbuzlar.
Tipli struct'lar döndüren deyimsel bir API'ye sahip saf-Rust varsayılan yapı — zorunlu Python bağlantısı yok.
Tam Rust API dokümantasyonu, yayınlanan her sürüm için docs.rs'te üretilir.
Herkes için Apache-2.0. Ticari destek, özel veri sözleşmeleri veya SLA mı gerekiyor? İletişime geçin →
ProofFrame runs one Arrow-native engine behind Rust and Python. Profiles identify exact typed bytes, contracts return bounded row-level violations, keyed diffs explain change and signed receipts preserve what was checked.ProofFrame Rust ve Python arkasında tek Arrow-native motor çalıştırır. Profiller kesin tipli byte'ları tanımlar, sözleşmeler sınırlı satır-seviyesi ihlal döndürür, keyed diff değişimi açıklar ve imzalı receipt neyin kontrol edildiğini korur.
Typed Arrow data produces a canonical pf-fp-v1 BLAKE3 fingerprint.Tipli Arrow verisi kanonik pf-fp-v1 BLAKE3 fingerprint üretir.
Contracts preserve violation count, evidence rows and truncation state.Sözleşmeler ihlal sayısı, evidence satırları ve truncation durumunu korur.
Keyed comparison separates added, removed and modified records.Keyed karşılaştırma eklenen, silinen ve değişen kayıtları ayırır.
PII and target-leakage checks stay in the same evidence model.PII ve target-leakage kontrolleri aynı evidence modelinde kalır.
RFC 8785 canonical JSON, BLAKE3 and Ed25519 produce a verifiable record.RFC 8785 kanonik JSON, BLAKE3 ve Ed25519 doğrulanabilir kayıt üretir.
Real Bitcoin rows checked by one exact, row-level contract.Tek kesin, satır-seviyesi sözleşmeyle kontrol edilen gerçek Bitcoin satırı.
Published validation run for the 7.6M-row dataset.7,6 milyon satırlık veri için yayımlanan doğrulama koşusu.