Recurring Contingent Payment for Proofs of Retrievability.
Aydin AbadiSteven J. MurdochThomas ZachariasPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- electronic commerce
- prior art
- equational theories
- credit card
- theorem prover
- formal proof
- concept drift
- theorem proving
- formal proofs
- decision procedures
- data integrity
- mathematical proofs
- databases
- data streams
- payment systems
- electronic payment
- distributed databases
- case study
- automated theorem provers
- knowledge base