ZisK will focus on a low-latency, open-source zkVM proving technology, Baylina said in a post on X.