GitHub repository: sebinkim/ZKBoo-AES
Primary language: Python
Description: Implementation of ZKBoo for zero-knowledge proof for AES