A Different Base Approach for Better Efficiency on Range Proofs.

Esra Günsay Cansu Betin Onur Murat Cenk

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

Keyphrases

wide range
theorem proving
information systems
data mining
artificial intelligence
theorem prover