Consulting firms are often necessarily opaque in describing their work. As our work is primarily open source, we seek to be fully transparent. Each project below lists source of funding, and outlines technical contributions in detail.

LayerZero Mathematics

Jolt Formal Verification

Formally Verifying the Jolt zk-VM

a16z Engineering

Jolt Optimisations

Micro optimisations to the Jolt zk-VM