Patrick Mockridge

Patrick Mockridge

Protocol engineer

DarkWow · Rholo · Azoth · Mudra

Aberystwyth, Wales

Profile and method

Process safety taught me that a plausible number is not a safe number — so every result here is either proved or carries its limits. I was a process safety engineer from 2006 to 2015, chartered in 2013, and have worked independently since 2016 on protocol software, formal verification, and numerical systems. The method is the same in both fields: specify the failure mode before the architecture; prove what can be proved; contain what cannot; record provenance with every result. Where proof stops is stated in the limits.

The projects are instances of that method. DarkWow is containment: private coordination on a public chain, with authority held as an object capability rather than a public administrator. Rholo is continuity: a dissolved network’s node ported to Rust, with its language laws machine-checked at the model level and conformance-tested at the node. Azoth is provenance: chemical-engineering calculations where every number carries its source and verification state, and unsupported answers are refused. Mudra is verification in a familiar form: a spreadsheet calculation proved correct without revealing the sheet.

Selected work

  • DarkWowDesigned for private organisations on a public chain, without an administrator or a public voter roll
    2026–; redesign April–October 2026Research prototype (mainnet TBD); genesis-set contracts; one developer with AI; mechanized circuit gate; HAZOP tabletopProtocol, consensus, contracts, wallet
    Record →
  • RholoA Rust node for the ρ-calculus: native object capabilities and machine-checked laws
    2026; port August–October 2026 (about two months)Pre-release; 85 laws (109 entries), 100 proved including 23 node-tied; 14 crates, 0 unsafe; community testnet livePort lead and maintainer
    Record →
  • AzothA process calculation library where every number carries its provenance
    2026v0.1.x; 97 upstream issues filed (80 closed); no-op Gibbs minimizer and wrong-unit vapour-pressure curve; not for design workAuthor
    Record →
  • MudraProve a committed calculation trace is unchanged without revealing the spreadsheet
    2026Research build; ~6 KB proof; insurance brokering and fiscal metering case studiesAuthor
    Record →

Chronology

PeriodWork
2026Delivery: Rholo port (August–October), DarkWow redesign (April–October), Azoth, Mudra.
2022–2026Independent research and writing: network analysis, evidence archiving, influence/secrecy simulation; RChain legacy work: Gorki/BigSur old-node fork, RGov/Rhobot recovery proposal with Jim Whitescarver (2024); UNISS/Ingenesist simulations (2026).
2019–2022Created the Romeo–Juliet Framework; continued RChain work; independent research through COVID; property purchase and renovation; crypto investments.
2016–2019Treehouse AI and Robotics software nanodegrees; early ERC-1155 context at Enjin (2016); named advisor, Enjin Coin ICO (2017); CoEngineers, early investor (2017–2019).
2006–2015Chemical engineer, process safety; UK and North Africa. Chartered 2013. Bitcoin since 2011; London Ethereum community, 2014.
2002–2006MEng Chemical Engineering, University of Edinburgh.

Research and writing

Romeo–Juliet critical risk-analysis framework; UNISS/Ingenesist simulations; DarkFi stack analyses. Selected writing · Ingenesist archive.