Login / Signup
stoRNA: Stateless Transparent Proofs of Storage-time.
Reyhaneh Rabaninejad
Behzad Abdolmaleki
Giulio Malavolta
Antonis Michalas
Amir Nabizadeh
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
storage and retrieval
theorem proving
data storage
mathematical proofs
storage requirements
file system
neural network
formal proofs
theorem prover
metadata
information systems
formal proof
digital libraries
computational complexity
random access
storage capacity
equational theories
databases