Tôi đã tạo một blog mới và đã có một vài bài đăng. Đây là một câu về việc rơi xuống hố thỏ khi nhìn vào LatticeFold, để tìm kiếm một hệ thống chứng minh với đệ quy hiệu quả và các trường thân thiện với phần cứng.