本文介绍了Veridise团队在智能合约安全领域的学术研究成果，共精选五篇论文，涵盖了智能合约的安全性检查、优化及验证等多个方面。每篇论文的研究均对智能合约的设计与安全审计具有重要的指导意义，并且为Veridise开发内部工具提供了基础和灵感。
Slang v1是一套为以太坊开发者提供的Solidity代码分析和工具的模块化编译器API。它能够支持80多种版本的Solidity，并提供高效的错误容忍解析器和符号追踪分析，旨在简化开发工具的构建。Slang的独特之处在于，它不仅是编译器，而是为开发者工具打造的API，极大提高了Soliditiy工具的开发效率。
Veridise
Nomic