Proofs of discrete logarithm equality across groups.

Melissa Chase Michele Orrù Trevor Perrin Greg Zaverucha

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

Keyphrases

cluster analysis
theorem proving
databases
similarity measure
finite number
mathematical proofs
database
real time
neural network
computer vision
e learning
data structure
search algorithm
translation invariant
decision procedures
discrete version