https://github.com/eth-sri/zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
https://github.com/eth-sri/zkay

blockchain compiler ethereum privacy programming-language zero-knowledge-proofs

Last synced: 6 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/eth-sri/zkay
• Owner: eth-sri
• License: mit
• Created: 2019-09-20T09:06:12.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-01-05T18:01:43.000Z (about 2 years ago)
• Last Synced: 2025-07-14T01:37:26.468Z (6 months ago)
• Topics: blockchain, compiler, ethereum, privacy, programming-language, zero-knowledge-proofs
• Language: Python
• Homepage:
• Size: 30.4 MB
• Stars: 88
• Watchers: 10
• Forks: 20
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-zk - zkay: A Language for Private Smart Contracts on Ethereum