A third research track focuses on zero-knowledge virtual machines that enable verifiable execution, with a data-layer refactor that merges blobs through erasure coding, rounding up the tracks.