ditto icon indicating copy to clipboard operation
ditto copied to clipboard

Published 20 hours ago • verified publisher icon ditto-lab

self-audit

Open 0xbok opened this issue 1 year ago • 0 comments

  • manual review
  • invariants and invariant testing
  • formally verify?

0xbok avatar Aug 20 '22 10:08 0xbok