Snarky – a high level language for verifiable computation

blockchain.works-hub.com