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?
- RSVP on EventBrite: http://bit.ly/FVkadenaAMA
- Join the Discord AMA: http://discord.io/kadena
- Ask Questions Inside the #ask-kadena channel
- Prefer Twitter? Tweet with the tag #FormalVerficationAMA.
Kadena’s team gather all the best questions and pass them to our hosts during the AMA. See you there!
Formal Verification, in regards to securing Smart-contracts?
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
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!)
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
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
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
I've like to see a discussion on the Formal verification of smart contracts
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
Congratulations @enterpriseblock! You have completed the following achievement on the Steem blockchain and have been rewarded with new badge(s) :
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
STOPVote for @Steemitboard as a witness to get one more award and increased upvotes!
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit