Aqui está o quarteto fantástico de zk TM verificável em breve