VELKRON

TECHNOLOGY

Built like audit
infrastructure.

Three design principles, one stack. Nothing in it asks you to trust a model's opinion of another model.

01PRINCIPLES
T1Determinism over opinion

A verdict you cannot reproduce is not a verdict. Velkron's checks are rules, parsers and logic. Where a model assists, it proposes; the deterministic layer decides. Same input, same verdict, every time.

T2Refusal over guessing

Every check carries a grounding score: how confidently the rulebook covers this case. Below threshold, the system returns REFUSED and escalates. The refusal rate is reported, not hidden. In compliance, abstention is accuracy.

T3Evidence over assertion

A verdict without citations is marketing. Every Velkron verdict names the binding rules it relied on, and the full run is sealed into a receipt that survives audit. The output of verification is a document.

02THE STACK

From rules to receipts to proofs.

Rule engineLIVE
Regulator rulebooks encoded as versioned, testable rule modules. Each rule carries its source citation, so a verdict can always be traced back to the regulator's own text. Adding a jurisdiction is content work on the same engine, not a rebuild: that is what makes UK-first, Gulf-next practical.
Receipt chainIN DEVELOPMENT
Every run is hashed (SHA-256), chained to the previous receipt and sealed. Any edit to any historical record breaks every hash after it, visibly. No blockchain required, no tokens, no theatre: just cryptographic accountability a firm can self-host.
Proof of inferenceRESEARCH
Zero-knowledge circuits (Groth16 over BLS12-381) that prove a committed model produced a given decision on a given input, without revealing weights or data. Machine-checked faithfulness proofs accompany the circuits. Today it covers small decision models; the frontier is scaling the technique up.
03RESEARCH LINEAGE

The stack did not appear last month.

Each component grew out of a public library or research project by the founder. The open-source toolkit is the paper trail.

certain

Conformal prediction: calibrated uncertainty and principled abstention. The math behind the refusal threshold.

groundkit

Deterministic grounding of LLM output against authoritative sources. The math behind rule citation checking.

disco

Verifier-gated evolutionary search: only proven candidates survive. Verification as a filter on generation.

stigma

Multi-agent consensus with persistent trust. How multiple checkers agree without a single point of failure.

github.com/ss1738 ↗

Technical questions welcome.

Talk to the founder›