Revisiting the Nova Proof System on a Cycle of Curves.

Wilson Nguyen Dan Boneh Srinath Setty

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

Keyphrases

modal logic
search algorithm
differential geometry
closed curves
planar curves
data sets
data mining
artificial intelligence
computer vision
image processing
pose estimation
implicit polynomial