Home » ZkSync launches new STARK-based proof system with a focus on mass usability