Rust + Python · Veri Kalitesi · Açık Kaynak

Verinizin
kanıtı.

“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.

taranıyor doğrulandı fark
01 — PROBLEM

“Geçti” diyen bir kontrol hiçbir şey kanıtlamaz.

Ç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.

02 — NASIL ÇALIŞIR

Profille → doğrula → karşılaştır, kanıtla birlikte.

01 · PROFİL

Veriyi parmak izle

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.

02 · DOĞRULA

Sınırlı, satır seviyesinde kanıt

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.

03 · KANITLA

Sonucu imzala

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.

30 saniyelik demo · Python
import proofframe as pf

profile = pf.profile(df)                # kanonik pf-fp-v1 parmak izi
report  = pf.validate(df, contract)     # sınırlı, satır seviyesi kanıt
receipt = report.sign(secret_key)       # Ed25519 imzalı makbuz

print(profile.fingerprint)             # pf-fp-v1:9a3f…e2
print(report.passed, report.violation_count)  # False  3
03 — NE ELDE EDERSİNİZ

Hatta güvenebileceğiniz tek motor.

Tek motor, iki dil

Python bağlarına sahip bir Rust çekirdeği — PyArrow, Pandas ve Polars aynı yerel yolu besler, deterministik JSON çıkar.

Kanıt taşıyan kontroller

Kanonik parmak izleri, anahtarlı diff'ler, PII & sızıntı taramaları ve Ed25519 imzalı makbuzlar — hisler değil, kanıt.

crates.io + PyPI

Apache-2.0 altında yayında, #![forbid(unsafe_code)], Python 3.10+ için ABI-kararlı wheel'ler.

Verinizin doğru olduğunu kanıtlamanız mı gerek?

Kanıt taşıyan kontrolleri hattınızın ucuna koyalım.

Proje başlat →
04 — SAHADA KANIT

7,6M gerçek Bitcoin satırı, 1.742 sn'de doğrulandı.

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.

05 — KURULUM

Kur, çalıştır, kanıtla.

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.

$ pip install proofframe==0.4.0a3
$ cargo add proofframe@0.4.0-alpha.3
PyPI

pip install

Python 3.10+ için ABI-kararlı wheel'ler — pf.validate, pf.profile, pf.diff, pf.scan_pii ve imzalı makbuzlar.

CRATES.IO

cargo add

Tipli struct'lar döndüren deyimsel bir API'ye sahip saf-Rust varsayılan yapı — zorunlu Python bağlantısı yok.

DOCS.RS

API'yi oku

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 →

06 / DATA CONTRACT DOSSIER PROOFFRAME · RUST + PYTHON · APACHE-2.0

A table should carry its own evidence.Tablo kendi kanıtını taşımalı.

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.

01 / PROFILE

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.

02 / VALIDATE

Return the failing rows.Hatalı satırları döndür.

Contracts preserve violation count, evidence rows and truncation state.Sözleşmeler ihlal sayısı, evidence satırları ve truncation durumunu korur.

03 / DIFF

Explain the change.Değişimi açıkla.

Keyed comparison separates added, removed and modified records.Keyed karşılaştırma eklenen, silinen ve değişen kayıtları ayırır.

04 / SCAN

Expose unsafe fields.Güvensiz alanları aç.

PII and target-leakage checks stay in the same evidence model.PII ve target-leakage kontrolleri aynı evidence modelinde kalır.

05 / SIGN

Seal the receipt.Receipt'i mühürle.

RFC 8785 canonical JSON, BLAKE3 and Ed25519 produce a verifiable record.RFC 8785 kanonik JSON, BLAKE3 ve Ed25519 doğrulanabilir kayıt üretir.

ONE ENGINE / TWO LANGUAGE SURFACES

The Python path does not reimplement the Rust path.Python yolu Rust yolunu yeniden yazmaz.

RUST
typed structs · pure-Rust default build · forbid unsafe code
PYTHON
ABI-stable wheels for Python 3.10+
INPUTS
PyArrow · Pandas · Polars through the same native engine
OUTPUT
deterministic JSON · canonical fingerprint · signed receipt
PUBLIC BENCHMARK 7.6M

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ı.

RECORDED TIME 1.742s

Published validation run for the 7.6M-row dataset.7,6 milyon satırlık veri için yayımlanan doğrulama koşusu.

Built by Emir Hüseyin İnci Sistem Mühendisi · Bursa, Türkiye Systems that decide. Proof that stays. Birlikte çalışalım →