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

in #blockchain • 5 years ago (edited)

Check this out.


Stuart Popejoy, President & Founder over at Kadena, and..
Ronghui Gu, the Co-founder Certik

Will be hosting a Town Hall AMA on Discord on May 7th at 3pm ET / 12pm PT.
The discussion will circle around the topic of ‘’Formal Verification’’ and its application and use within the Blockchain space.

You can already sign up for the event by visiting THIS LINK

You can drop any questions you have about Formal Verification in their Discord: https://discord.io/kadena

Formal Verification

Formal verification is the overarching term used to describe a collection of techniques based on mathematics focused on reducing the instances of bugs and vulnerabilities of smart contracts. Perhaps this video will run you through:

In the context of technology, formal verification is the act of proving or disproving the correctness of intended algorithms.

Those participating in the event will have the opportunity to hear the CEO of Kadena & Certik have in depth discussion on Proof Verification, while open to suggestions. In blockchain networks, the diversity in smart contract vulnerabilities and exploits have led to a need for improved smart contract programming and auditing. So this is one you can’t miss out on!

A Quick Overview of Kadena


Kadena is a blockchain startup that brings together both the Private & Public sector through scalable Blockchain. The project introduces a new consensus mechanism called ‘’Chainweb’’ and a private blockchain platform, scalableBFT.

Kadena is a public proof-of-work blockchain, designed in an effort to meet Enterprise Blockchain expectations. Spearheaded by two ex JP Morgan employees, Will Martino and Stuart Popejoy.

You’re invited to join in on the discussion, along with blockchain developers and enthusiasts out there.

Catch the AMA live on 7th May, 2019 via the official Kadena Discord Group

How?

Kadena’s team gather all the best questions and pass them to our hosts during the AMA. See you there!

#ama #kadena #certik #ask-kadena
5 years ago in #blockchain by
$57.68
  • Past Payouts $57.68, 0.00 TRX
  • - Author $43.47, 0.00 TRX
  • - Curators $14.21, 0.00 TRX
173 votes
Reply 5
Sort:  
  • Trending
    • [-]
     5 years ago 

    Formal Verification, in regards to securing Smart-contracts?

    [-]
     5 years ago 

    That's right! So anyone's welcome to ask about Formal Verification methods so looks like an interesting discussion (if you're a techy kinda guy!)

    $0.00
      Reply
      [-]
       5 years ago 

      Interesting! Will join in on the discussion, I've got a few questions I woud like to ask myself. It would be a good idea, to host an AMA on Steemit in the future

      $0.00
        Reply
        [-]
         5 years ago 

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

        $0.00
          Reply
          [-]
           5 years ago 

          Congratulations @enterpriseblock! You have completed the following achievement on the Steem blockchain and have been rewarded with new badge(s) :

          You received more than 500 as payout for your posts. Your next target is to reach a total payout of 1000

          You can view your badges on your Steem Board and compare to others on the Steem Ranking
          If you no longer want to receive notifications, reply to this comment with the word STOP

          Vote for @Steemitboard as a witness to get one more award and increased upvotes!
          $0.00
            Reply

            Coin Marketplace

            STEEM 0.18
            TRX 0.13
            JST 0.027
            BTC 61119.19
            ETH 2615.15
            USDT 1.00
            SBD 2.65