Рет қаралды 3,127
Kadena's Director of Engineering, Doug Beardsley, gives a presentation on the unique features of Pact called Formal Verification. With Formal Verification, smart contract authors and developers are able to detect whether there are potential exploits in their code. Build safer with Pact so you don't get rekt.
Doug Beardsley Twitter: / kadenadireng
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Follow us:
Twitter: kadena_io
Telegram: t.me/kadena_io
Discord: kadena.io/chat
Medium: medium.com/kadena-io