Zkenc: Witness Encryption for Quadratic Arithmetic Programs (QAP) | Heykuki News