Arithmetization of predicates into Halo 2 using application specific trace types.

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

information extraction
application specific
general purpose
high bandwidth
user defined
file system
edge preserving
instruction set
metadata
co occurrence
image restoration
human visual system
cad cam