A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool