RE: Join Kadena and Certik for a LIVE AMA on Formal Verification - May 7th at 3pm ET / 12pm PT

You are viewing a single comment's thread from:

Join Kadena and Certik for a LIVE AMA on Formal Verification - May 7th at 3pm ET / 12pm PT

in blockchain •  6 years ago 

I've like to see a discussion on the Formal verification of smart contracts

blockchain
6 years ago by

Downvoting a post can decrease pending rewards and make it less visible. Common reasons:

  • Disagreement on rewards
  • Fraud or plagiarism
  • Hate speech or trolling
  • Miscategorized content or spam

Submit
$0.00
    0
    Authors get paid when people like you upvote their post.
    If you enjoyed what you read here, create your account today and start earning FREE STEEM!