# ZF\*

**URL:** https://forum.zenprotocol.com/c/technical/zf/13.md

[Latest](https://forum.zenprotocol.com/latest.md) · [Categories](https://forum.zenprotocol.com/categories.md)

---

## [About the ZF\* category](https://forum.zenprotocol.com/t/about-the-zf-category/42)

<div class="topic-metadata">

**Author:** [@IsRod](https://forum.zenprotocol.com/u/IsRod)\
**Replies:** 0

</div>

ZF\* is a formal verification language developed as an offshoot of Microsoft’s F\*. ZF\* was built in-house by the Zen Protocol team for creating formally verified smart contracts. You can read more about ZF\* SDK here: http…

---

## [https://www.youtube.com/watch?v=FMDm-I5fxZ8](https://forum.zenprotocol.com/t/https-www-youtube-com-watch-v-fmdm-i5fxz8/101)

<div class="topic-metadata">

**Author:** [@IsRod](https://forum.zenprotocol.com/u/IsRod)\
**Replies:** 0\
**Last updated:** [July 23, 2018, 8:04am UTC](https://forum.zenprotocol.com/t/https-www-youtube-com-watch-v-fmdm-i5fxz8/101 "2018-07-23T08:04:16Z")

</div>

Asher Manning is LIVE! Watch Ash speak about “Practical Dependent Types for Better Blockchains” at the first Israeli Functional Programming Conference