Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies.
Maria BorgeEleftherios Kokoris-KogiasPhilipp JovanovicLinus GasserNicolas GaillyBryan FordPublished in: EuroS&P Workshops (2017)
Keyphrases
- theorem proving
- real time
- mathematical proofs
- formal proof
- proof planning
- automated theorem proving
- theorem prover
- cooperative
- data sets
- neural network
- search engine
- artificial intelligence
- evolutionary algorithm
- database
- databases
- logical rules
- linear logic
- data mining
- special case
- computer vision
- preprocessing
- video sequences
- high level
- three dimensional
- web services
- image processing
- feature selection