Я создал новый блог и уже опубликовал несколько постов. Вот один из них о том, как я погрузился в изучение LatticeFold в поисках системы доказательств с эффективной рекурсией и аппаратно-дружественными полями.