(2026-02) Implementable Witness Encryption from Arithmetic Affine Determinant Programs
2026-02-03
We propose a Witness Encryption scheme that is practically implementable for an instance that contains verification of a general-purpose SNARK for NP. Our construction is a modification of the Affine Determinant Program framework adapted for a certain class of arithmetic circuits.