Lova - A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation

Noel Elias

doi:10.69091/koine/vol-5-W15

DE CIFRIS KOINE

Lova - A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation

Noel Elias¹

¹University of Texas

In CIFRIS24 ACTA.
From the book series De Cifris Koine.

https://doi.org/10.69091/koine/vol-5-W15
Published by De Cifris Press on February 2025

Download article (PDF), pp. 105-108

Cite this

@incollection{KOINE:Elias2025,
  author = {Elias, N.},
  title = {Lova - A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation},
  booktitle = {CIFRIS24 ACTA},
  year = {2025},
  month = {February},
  publisher = {De Cifris Press},
  series = {De Cifris Koine},
  pages = {105--108},
  volume = {5},
  url = {https://doi.org/10.69091/koine/vol-5-W15},
  DOI = {10.69091/koine/vol-5-W15},
  ISSN = {3034-9796},
  ISBN = {979-12-81863-04-0},
  note = {Noel Elias}
}