Unifying Compilers for SNARKs, SMT, and More - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Alex Ozdemir, Fraser Brown, Riad S. Wahby. Unifying Compilers for SNARKs, SMT, and More. IACR Cryptology ePrint Archive, 2020:1586, 2020. [doi]

@article{OzdemirBW20,
  title = {Unifying Compilers for SNARKs, SMT, and More},
  author = {Alex Ozdemir and Fraser Brown and Riad S. Wahby},
  year = {2020},
  url = {https://eprint.iacr.org/2020/1586},
  researchr = {https://researchr.org/publication/OzdemirBW20},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2020},
  pages = {1586},
}

runs on WebDSL