Enfin parler des zkvms, de la cryptographie et de @alignedlayer avec @mauro_aligned à Cambridge