Кстати, работаю над глубокими анализами, охватывающими Minimmit, MonadBFT и, возможно, Hydrangea. Есть ли какие-то другие недавние интересные проекты, которые я пропустил?