Homepage
Open in app
Sign in
Get started
Top Stories published by Kadena in May of 2023
All
2023
May
Sort by most read
Kadena
in
Kadena
May 16, 2023
Kadena Tech Bulletin #3
Welcome to the Kadena Tech Bulletin #3! Last month’s recap is filled with…
Read more…
67
Kadena
in
Kadena
May 5, 2023
Randy Daal: Chief Experience Officer
Kadena is extremely pleased to announce that Randy Daal has been promoted to
Chief Experience
…
Read more…
60
Kadena
in
Kadena
May 24, 2023
The KDA Command Line Tools: New Release for Kadena’s Developers and Builders
Read more…
62
Kadena
in
Kadena
May 4, 2023
Part III of the Pact Core Concepts — Testing and Formal Verification in the Pact REPL
Read more…
33
April 2023
June 2023
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
Blokchain
Kadena
Smart Contract Security
Pact
Pact
Smart Contract Blockchain
Blockchain
Developer Tools
Kadena
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