Proof of Assets in the Diem Blockchain.

Panagiotis Chatzigiannis Konstantinos Chalkias

Published in: ACNS Workshops (2021)

Keyphrases

theorem proving
theorem prover
neural network
computer vision
decision making
search space
long term
special case
linear logic
formal proof
geometry theorem proving