‹
›
This content requires a premium subscription.
Please
log in
or
subscribe
to continue.
<iframe title="Libsyn Player" style="border: none" src="//html5-player.libsyn.com/embed/episode/id/9321701/height/90/theme/custom/thumbnail/yes/direction/forward/render-playlist/no/custom-color/000000/" height="90" width="100%" scrolling="no" allowfullscreen webkitallowfullscreen mozallowfullscreen oallowfullscreen msallowfullscreen></iframe>
QuantLayer Podcast
Zilliqa With Edison Lim: Formal Verification of Smart Contracts, Byzantine Fault Tolerance, and Smart Contract Composition.
30
00:00:00
/ 00:35:55
30
