Login / Signup
Proof of Assets in the Diem Blockchain.
Panagiotis Chatzigiannis
Konstantinos Chalkias
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
theorem proving
linear logic
databases
real world
special case
proof planning
database
artificial intelligence
case study
database systems
multi agent
cooperative
control system