On A Tangent Ltd.

On A Tangent Ltd. is a consulting firm primarily dedicated to open-source work. We undertake technical projects, drawing on our background in theoretical computer science and mathematics. Current engagements include formal verification of the Jolt zk-VM in Lean.