Deixis PBC

Deixis, PBC is a technology company focused on the digital governance of contracts. The organization develops middleware and methods to transform contract management from a social construct into a technical construct, enabling the electronic evaluation of contracts against real-world observations in near real-time. Their approach utilizes blockchain-based technology to provide digital contracts with provable properties, targeting applications in fields such as the Internet of Things, medical treatment enforcement, and payment systems. The company holds patents related to the compositional construction of digital twins for business processes and anonymous distributed consensus for protocol verification.

These technologies aim to address challenges in contract trust and consistency by ensuring that agreements electronically reflect the actual state of affairs. By introducing tools that allow for near real-time validation of contractual conditions against data streams, Deixis seeks to bridge the gap between human trust and automated governance. The company's work involves complex systems architecture, including categorical wiring diagrams and validation frameworks, providing organizations with mechanisms to manage and enforce multi-system communications and business process workflows.