A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts. - View it on GitHub