Consulting firms are often necessarily opaque in describing their work. As our work is primarily open source, we seek to be as transparent as possible about what we have done and who funded it. In most cases, this takes the form of blog posts, though some work also leads to technical papers submitted to journals and conferences.

Mathematics

Jolt Formal Verification

Formally Verifying the Jolt zk-VM

Engineering

Jolt Optimisations

Micro optimisations to the Jolt zk-VM