我建立了一個新的部落格，並且已經有幾篇文章。 這裡有一篇關於在研究 LatticeFold 時掉進兔子洞的文章，尋找一個具有高效遞歸和硬體友好型域的證明系統。