Street Fighting Mathematics and Engineering
On A Tangent Ltd.
On A Tangent Ltd. is a consulting firm primarily dedicated to open-source work. Current engagements include formal verification of the Jolt zk-VM in Lean. See Projects for further details.