• Attention! If you want to see both (Russian and English) localizations of the forum, go to the profile preferences and select "Display nodes in all languages". By default, you are shown the localization that corresponds to your interface language.

    Внимание! Если вы хотите видеть обе (Русскую и Английскую) локализации форума, пройдите в настройки профиля и выберите пункт «Отображать разделы на всех языках». По умолчанию, вам отображается та локализация, которая соответствует вашему языку интерфейса.

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

hermitude-floo

Hamster
Threads
1
Messages
1
Points
0


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 May 7th, 2019

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.

Join the discussion!
 
Last edited:
Reactions: LEO
Top Bottom