1/ 很高兴分享我刚刚获得了我的第三个以太坊基金会学术资助，这次是在2025年学术资助轮 🎉 该项目将结合模糊测试、强化学习和形式化方法来研究以太坊共识。