FORMAL VERIFICATION: WHAT, WHERE, AND WHY
As the discussion is on ‘’Formal Verification’’, this is the latest series as part of Kedana AMA’s arsenal. From the general public, to the hardcore techies out there. Everyone is open to ask any questions in the areas of Formal Verification and its application and use within the Blockchain space.

In this technical AMA, you’re going to witness two serial tech entrepreneurs scale a very interesting discussion, venturing into how blockchain projects audit their code to meet specific standards.

The term Formal verification in this context expands on the mathematics focused on reducing the instances of bugs and vulnerabilities of smart contracts. A critical requirement if enterprises will ever be comfortable with deployment on top of enterprise blockchain platforms. This AMA is a must-attend session as it is being covered by Certik, one of the, if not, leading security auditing and penetration testing formal verification platforms in blockchain.

Kadena
An Enterprise-focused & high-throughput scalable Blockchain. With only a handful of consensus mechanisms, Kadena is the first to introduce BFT-consensus protocol and Chainweb, a new Proof-of-Work consensus mechanism. Both founding partners, Will Martino and Stuart Popejoy who’ve met while working at JP Morgan, have developed a new private blockchain from the ground up that meet’s enterprise standards

In the past, Kadena held a similar townhall AMA featuring Kyle Samani, co-founder and managing partner at Multicoin Capital — a Crypto-focused Investment Hedge Fund. The topic of discussion was on Proof-of-Work vs Proof-of-Stake, for a quick recap read this

For more information, head over to official EventBrite listing. Those partaking in the AMA can drop their questions in the #ask-kadena channel or tweet with the tag #FormalVerficationAMA.

The AMA is scheduled to go live on May 7th, 2019, don’t forget to tune in to Kadena’s Discord group where questions will be addressed Live by both Will Martino and Ronghui Gu.