Industrial Equations is an organisation working on distributed systems, with an emphasis on blockchain and adversarial environments. We design protocols, write and audit smart contracts, specify mechanisms, and engineer systems that continue to behave correctly under partial failure and in the presence of rational or malicious actors.

Work is rigorous, explicit, and delivered as documented artifacts: specifications, proofs, threat models, reference implementations, audit reports. We do not ship slide decks.

Five service lines - smart contracts, distributed systems, protocol & mechanism design, audits, and research - are catalogued on services.

To start a conversation, see contact.