zkPi: Proving Lean Theorems in Zero-Knowledge - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Evan Laufer, Alex Ozdemir, Dan Boneh. zkPi: Proving Lean Theorems in Zero-Knowledge. IACR Cryptology ePrint Archive, 2024:267, 2024. [doi]

@article{LauferOB24,
  title = {zkPi: Proving Lean Theorems in Zero-Knowledge},
  author = {Evan Laufer and Alex Ozdemir and Dan Boneh},
  year = {2024},
  url = {https://eprint.iacr.org/2024/267},
  researchr = {https://researchr.org/publication/LauferOB24},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2024},
  pages = {267},
}

runs on WebDSL