ditto icon indicating copy to clipboard operation
ditto copied to clipboard
verified publisher icon ditto-lab

self-audit

Open 0xbok opened this issue 3 years ago • 0 comments

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

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