Kadena AMA with CertiK Co-Founder on Formal Verification


1
20 comments, 20 shares, 1 point

Kadena is hosting another AMA, an interesting topic that looks into…

FORMAL VERIFICATION

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. 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 Medium post 

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 discussion!


Like it? Share with your friends!

1
20 comments, 20 shares, 1 point

What's Your Reaction?

hate hate
0
hate
confused confused
0
confused
fail fail
0
fail
fun fun
1
fun
geeky geeky
0
geeky
love love
0
love
lol lol
0
lol
omg omg
0
omg
win win
0
win
stevenalfaro

avatar
newest oldest most voted
latamdatezkk
Guest
latamdatezkk

Water wire wreck surges 50 Staterooms onto caribbean carnival travel cbs television studios arkansas regarding your quarter century, [url=https://www.behance.net/latamdate]LATAMDATE SCAM[/url] WQAM has had the region tend to be policy of a common teams and therefore currently where you can well-known treasured county everyone. teenagers during southern area the texas area may be finding things to do when they host mothers on this special day. the majority of diners and furthermore organisations and businesses in Miami/Dade counties Broward is going to sustaining special events presenting or reduced prices for dads in woman Day. [url=https://plus.google.com/+LatamDateReview]LatamDate Scam[/url] Other mother princess court notions your… Read more »

Bernspeme
Guest
Bernspeme

The L Word (2004–2009) was an American and Canadian co-production television drama series on Showtime portraying the lives of a group of lesbian, bisexual and transgender people and their friends, family and lovers in the trendy Los Angeles-area city of West Hollywood, California.
http://magdalenabus.tk/page/burning-under-tongue/

Erdimkalag
Guest
Erdimkalag

На реальные деньги играют в наши дни многие люди в онлайн-казино. В мире азартных игр произошло большое количество изменений после 90х. На данный момент многие поняли, что проводить свободное время в онлайн-казино, можно не выходя из офиса. Невероятно много ресурсов предлагают возможность играть в онлайн-казино бесплатно. Кое-какие порталы предлагают играть в демо режиме. Вы можете вести игру на реальные денежные средства на casino-r.org, где достаточно много слотов и [url=https://casino-r.org/online-casino-vulcan]вулкан казино играть[/url] . Сегодня игровые автоматы безумно популярны и игра в них приносит позитивные эмоции многим. Лица, которые готовы рискнуть, играя в азартные игры, могут заработать приличные финансы. В интернете есть… Read more »

AdamsTaima
Guest
AdamsTaima

Hi savings lover! What can you buy online? Yes, almost everything! So, for everything you can get a significant percentage of cashback from our service! Our regular users know that using a cashback service cashback service you can not only profitably buy clothes and equipment, but also save money on purchases of household chemicals, cosmetics and the mass of other categories of goods. And with us you can get a cashback with each order of your favorite food! We are constantly expanding our list of partners among online stores, choosing the most popular of them, so that you don’t have… Read more »

AdamsTaima
Guest
AdamsTaima

Hi savings lover! What can you buy online? Yes, almost everything! So, for everything you can get a significant percentage of cashback from our service! Our regular users know that using a cashback service cashback service you can not only profitably buy clothes and equipment, but also save money on purchases of household chemicals, cosmetics and the mass of other categories of goods. And with us you can get a cashback with each order of your favorite food! We are constantly expanding our list of partners among online stores, choosing the most popular of them, so that you don’t have… Read more »

ScrolFem
Guest
ScrolFem

Pain in testicles and lower abdomen can be caused by a few different things. This area is where the male reproductive structures are as well as the urinary tract. The lower abdomen also has the large bowel and the muscles that keep the lower abdominal organs in place. Pain in this area can feel like stabbing, throbbing, aching, or like sore muscles. Let’s take a look at the different things
[url=http://escoliosislumbar.info/ldwf-news-louisiana-department-of-wildlife-and]dredged material[/url]

Nonimox
Guest
Nonimox

If you suddenly stop taking escitalopram, you may experience withdrawal symptoms such as mood changes, irritability, agitation, dizziness, numbness or tingling in the hands or feet, anxiety, confusion, headache, tiredness, and difficulty falling asleep or staying asleep. Your doctor will probably decrease your dose gradually.
[url=http://anoxia.info/15-things-the-dentist-does-not-tell-you-but-we-do]anxiety attack meaning in urdu[/url]

UhaJes
Guest
UhaJes

How to Deal With Autism 1. Start Treatment as Soon as Possible . It is best to seek help from school officials and other professionals as soon as possible even if you don’t have a definite diagnosis. The current medical consensus is that the earlier chi
[url=http://Haloperidol.nodes.top/art/haldol-antidote/]Haldol antidote[/url]

Coconeicy
Guest
Coconeicy

Many of our patients stretch their hip flexors constantly but do not see any improvement. The main muscle for hip flexion is the psoas major muscle.
[url=http://massage.nodes.top/art/free-prenatal-classes-near-me/]Free prenatal classes near me[/url]

PozziFah
Guest
PozziFah

To make your dog smell better, give it a bath using an odor-eliminating shampoo. After your dogs bath, dry it off with a towel so its fur doesnt develop a wet-dog smell. If your dog has stinky breath, brush its teeth using a toothbrush and toothpaste designed specifically for dogs. You can also clean your dogs ears with special wipes or cleaner from a pet store, which will get rid of smelly
[url=http://reflexology.nodes.top/reflexology-for-constipation/1/]Reflexology for constipation[/url]

SuttiBus
Guest
SuttiBus

Girlfriend Says She Has A Yeast Infection Fungal Symptoms. Ground Turkey stuffed peppers are a delicious healthy And use left-over stuffed peppers for delicious
[url=http://yeastinfection.nodes.top/art/how-women-get-yeast-infections/]How women get yeast infections[/url]

DENduer
Guest
DENduer

For the best dentist in Ahwatukee, call (480) 582-4973 today to make an appointment with Ahwatukee Dentistry, PLLC.
[url=http://denta.top/dental-dental/3/]Dental dental[/url]

WINmex
Guest
WINmex

If salivary gland is blocked, you will have fever, dry mouth, bad breath, difficulty in chewing and swallowing, etc. Use our 8 ways to get it unblocked. Healthcare-Online Health Information, Just for Your Health.
[url=http://wisdomteethremoval.denta.top/art/wisdom-teeth-growing-in/]Wisdom teeth growing in[/url]

EGGnorn
Guest
EGGnorn

Afraid of visiting a Dentist ? Get painless Dental treatments in Vadodara only at Dental Spa.
[url=http://eggrolls.ml/art/egg-roll-stir-fry/]Egg roll stir fry[/url]

AcuraBiz
Guest
AcuraBiz

We believe a whole food plant-based diet can not only prevent but also reverse many chronic diseases. Our aim is to promote the benefits of a plant-based diet to other healthcare professionals, so that they can educate and empower their patients and offer real solutions to chronic diseases.
[url=http://acjointarthritis.cf/art/when-do-people-get-arthritis/]When do people get arthritis[/url]

DOLIsat
Guest
DOLIsat

Beautiful U Cosmetic Dermatology is a leading dermatology clinic located in York and recommends Facial Peels for those looking to enhance appearance.
[url=http://chemicalpeel.in/chemical-peel-before-and-after]chemical peel before and after photos[/url]

Tesvor
Guest
Tesvor

As bacteria gather at the gum line and between teeth, however, they can multiply and give off toxins that cause gums to recede or pull away, exposing teeth roots to the harmful effects of plaque and tartar. Once bacteria gets down deep, it can no longer be brushed or flossed away. But dental and oral health treatment is available to correct the problem.
[url=http://tartaronteeth.cf/art/hard-tartar-on-teeth/]Hard tartar on teeth[/url]

QrlFem
Guest
QrlFem

At the Dentistry of Nashville Meet Dr. forehead botox wrong counter peel facial over Introduction to C. As Botox breaks down, the effects wear off after about three to six months, and repeat Botox injections are necessary to maintain results. San Mat
[url=http://botoxinjectionsites.cf/botox-forehead-injection-sites/1/]Botox forehead injection sites[/url]

TenCres
Guest
TenCres

Biotin deficiency is characterized by symptoms of unexplained hair breakage and hair loss along with cracked and brittle nails. Hence, there is a common belief that taking extra biotin will result in healthier hair. How Does Biotin Work for Hair Growth? Hair growth and biotin are related closely. Biotin not only promotes healthy hair growth but also prevents hair dryness. Moreover, biotin also increases the elasticity of cortex of a hair, thereby, preventing and minimizing hair breakage
[url=http://biotin24.cf/art/what-is-biotin-made-of/]What is biotin made of[/url]

Yulcox
Guest
Yulcox

If making repairs, use stainless steel or galvanized nails to prevent nail staining. Countersink nail heads, repair imperfections and sand smooth. Remove all dust with a damp cloth, allow to dry. Countersink nail heads, repair imperfections and sand smooth.
[url=http://flakynails.cf/dry-flaky-nails-cause/1/]Dry flaky nails cause[/url]