Cryptographic proof of
what your audit actually said.

Two auditors can review the same contract and reach different conclusions. Months later, when a hack happens, there is no way to prove who said what.

QARK fixes that. Every audit report gets a cryptographic fingerprint. Two fingerprints go into a browser. One click tells you whether the reports agree or diverge — without either party revealing the report.

How it works

• An auditor runs qark-commit on a finished report. The report gets a 256-bit fingerprint and a private blinding file.
• Two auditors — or the same auditor at two points in time — each contribute their fingerprint.
• Anyone runs qark-verify. It returns CONSISTENT if the reports describe the same findings, CONTRADICTION if they don't.
• Neither party's report is ever revealed. The proof is purely algebraic.

The primitive

The underlying construction is a Module-SIS lattice commitment with a gadget-decomposition conflict relation. Post-quantum security based on Module-SIS hardness. Provisional patent filed.

It's the same class of hardness assumption behind NIST's post-quantum standards. Different application.