Power Ledger developed an operating system for new energy markets and the power systems that they control.