HolBA icon indicating copy to clipboard operation
HolBA copied to clipboard

Published 20 hours ago • verified publisher icon kth-step

Short term verification goals

Open guancio opened this issue 5 years ago • 1 comments

Let say we fix some short term verification goals (i.e. end of August):

  • Addition using registers?
  • Addition using memory? wow
  • SQRT?
  • Binary search?

guancio avatar Jun 05 '19 13:06 guancio

Keep #73 in mind while proving those contracts.

totorigolo avatar Jun 24 '19 14:06 totorigolo