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 space.
In this technical AMA, you’re going to witness two serial tech entrepreneurs scale a very interesting discussion, venturing into how 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 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 .
Join the AMA or RSVP via
Kadena
An Enterprise-focused & high-throughput scalable . 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, and who’ve met while working at JP Morgan, have developed a new private 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 9th, 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.
Join the
Published at Sun, 05 May 2019 17:04:32 +0000
