Publicly-Verifiable Proofs of Storage Based on the Discrete Logarithm Problem.
Miaomiao TianShibei YeHong ZhongFei ChenChuang GaoJie ChenPublished in: IEEE Access (2019)
Keyphrases
- elliptic curve
- group signature scheme
- formal proofs
- sufficient conditions
- data sets
- file system
- data storage
- theorem proving
- storage requirements
- signature scheme
- formal proof
- efficient storage
- decision procedures
- storage and retrieval
- databases
- processing capabilities
- random access
- storage management
- storage space
- data model