最後在劍橋與 @mauro_aligned 討論 zkvms、密碼學和 @alignedlayer