Lurk – A Turing-complete programming language for ZK-SNARKs