Sharp: Short Relaxed Range Proofs.

Geoffroy Couteau Dahmun Goudarzi Michael Klooß Michael Reichle

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

Keyphrases

wide range
real world
feature selection
high quality
theorem proving
databases
three dimensional
similarity measure
search algorithm
theorem prover