我创建了一个新博客，并且已经有了一些帖子。 这是关于在研究 LatticeFold 时掉进兔子洞的文章，寻找一个具有高效递归和硬件友好字段的证明系统。