Unifying Compilers for SNARKs, SMT, and More.

Alex Ozdemir Fraser Brown Riad S. Wahby

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

Keyphrases

programming language
hardware and software
computer architecture
statistical machine translation
general purpose
computer systems
modulo theories
databases
database systems
search algorithm
search space
word alignment