zk vérifie. Nous unifions.