Login / Signup

Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges.

Konstantinos ChalkiasPanagiotis ChatzigiannisYan Ji
Published in: Financial Cryptography Workshops (2022)
Keyphrases
  • formal proof
  • formal proofs
  • theorem proving
  • theorem prover
  • mathematical proofs
  • database
  • data sets
  • search algorithm
  • natural deduction
  • equational theories
  • neural network
  • decision making
  • automated theorem provers