本文介绍了Veridise团队在智能合约安全领域的学术研究成果，共精选五篇论文，涵盖了智能合约的安全性检查、优化及验证等多个方面。每篇论文的研究均对智能合约的设计与安全审计具有重要的指导意义，并且为Veridise开发内部工具提供了基础和灵感。
以太坊基金会宣布启动2025年学术资助计划，投入200万美元用于支持与以太坊相关的学术研究，包括经济学、博弈论、密码学、共识算法、协议设计、网络、客户端工程、安全、形式化验证和人文科学等领域。申请面向学术研究人员、教育工作者和智库开放，截止日期为2025年3月16日。
本文总结了以太坊基金会在2022年资助的学术研究项目的结果，这些项目涵盖了共识机制、MEV、安全、隐私、交易费用等多个领域，旨在推动以太坊生态的知识发展。
Veridise
以太坊中文