Protocol
Lemma: the middle layer our products share.
Applications need privacy without opacity to the law, compliance without mass disclosure, and proofs that stay sound across the retention horizon. Lemma is that shared middle layer, consumed by proof-of-reserves, tokenized-asset compliance, and agentic compliance.
Design
A post-quantum verifiability protocol for regulated finance.
This is the interface all three applications are built against.
Problem: institutions must attest solvency, policy execution, and, increasingly, autonomous agent decisions continuously across regimes, without surrendering custody or privacy. Object: a selectively disclosable, post-quantum-ready protocol with executable policy and target succinct state proofs (verification cost is designed to stay flat as history grows; analytical today, not yet measured at scale). First consumers: the three vertical applications on this site.
Machine-checked, not asserted: the core is mechanized in Lean 4: 359 proof files carrying no sorry placeholders and no project-level axioms, rebuilt on every change in continuous integration. Where a property is proven, the proof is the artifact. Where it is not yet proven, this site says so.
Consumed by