终于在剑桥与@alignedlayer的@mauro_aligned谈论zkvms、密码学和相关话题。