A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.