zkay

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

GitHub

81 stars
11 watching
21 forks
Language: Python
last commit: 9 months ago
blockchaincompilerethereumprivacyprogramming-languagezero-knowledge-proofs