Starlib aims to provide a modular and composable framework for formally verifying succinct non-interactive arguments of knowledge (SNARKs).