Vero

Vero is a WIP programming language that can generate zkSNARKs of its executions.