GitHub repository: lurk-lang/Nova
Description: Nova: Recursive SNARKs without trusted setup