Efficient Proofs of Retrievability using Expander Codes.

Françoise Levy-dit-Vehel Maxime Roméas

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

Keyphrases

theorem proving
database
cost effective
error correction
real time
machine learning
information retrieval
theorem prover