Proof-Carrying Smart Contracts.

Thomas D. Dickerson Paul Gazzillo Maurice Herlihy Vikram Saraph Eric Koskinen

Published in: Financial Cryptography Workshops (2018)

Keyphrases

linear logic
multiscale
context aware
theorem proving
moral hazard
adverse selection
data sets
real world
learning algorithm
artificial intelligence
feature selection
search algorithm
smart environments
smart grid
mathematical proofs