Invite: Formal Verification Ama With Kadena & Certik On: What, Where And Why

Kadena is hosting another AMA, an interesting topic that looks into… 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. Join the AMA HERE or RSVP via Eventbrite Kadena An Enterprise-focused & high-throughput scalable Blockchain.…

Excerpt (1195 of 2191 characters). Read the whole post on the forum ↗