Homepage
Open in app
Sign in
Get started
Top Stories published by Kadena in April of 2019
All
2019
April
Sort by most read
Marie Leaf
in
Kadena
Apr 5, 2019
Pact: Solving Smart Contract Governance and Upgradeability
Read more…
663
1 response
Miguel Angel Romero Jr.
in
Kadena
Apr 17, 2019
Kadena AMA with Ronghui Gu
Formal Verification: What, Where, and Why
Read more…
675
March 2019
May 2019
About
Kadena
Kadena has the only scalable layer 1 PoW blockchain along with Pact, the safest smart contract language. Founded by
@SirLensALot
&
@_wjmartino_
who created JP Morgan’s first blockchain and was the tech lead for the SEC’s first Crypto Committee.
More information
Tags
Formal Verification
Blockchain
Kadena
Ama
Programming
Governance
Kadena
Smart Contracts
Blockchain
Editors
Monica Quaintance
Will Martino
Tony Pham
Anastasia Bez
Emily Pillmore
Doug Beardsley
Stuart Popejoy
Kadena
Heekyun
Jose Cardona
Writers
Will Martino
Linda Ortega
Jose Cardona
Francesco Melpignano
Tyler Benster
Dan Wiggins
Matteo Palermo
Randy Daal
John Wiegley
Albert G
Julianne Jones
Jermaine Jong
Robert Soeldner
Andy
Tasos
Ryan Levy
Glenn Reyes