Interesting there’s a programming language for composable zero knowledge proofs.

https://pod.org