我創建了一個新博客，並且已經有幾篇文章了。 這是一個關於在研究 LatticeFold 時掉進兔子洞，尋找具有高效遞歸和硬體友好欄位的證明系統。