FPoR: Fair proof-of-reputation consensus for blockchain.
Tao ZhangZhigang HuangPublished in: ICT Express (2023)
Keyphrases
- theorem proving
- theorem prover
- reputation systems
- interactive theorem proving
- reputation models
- trust evaluation
- learning algorithm
- information systems
- knowledge representation
- electronic commerce
- artificial intelligence
- linear logic
- information retrieval
- natural deduction
- data mining
- proof planning
- directed networks
- real world
- databases