Anonymous proof-of-asset transactions using designated blind signatures.
Neetu SharmaRajeev Anand SahuVishal SaraswatJoaquín García-AlfaroPublished in: CoRR (2020)
Keyphrases
- theorem prover
- theorem proving
- signature verification
- electronic transactions
- reputation mechanisms
- natural deduction
- linear logic
- database
- transaction management
- mathematical proofs
- concurrency control
- transaction model
- financial markets
- transaction processing
- distributed database systems
- payment scheme
- electronic commerce