# About the ZF\* category

**URL:** <https://forum.zenprotocol.com/t/about-the-zf-category/42>\
**Category:** ZF\*\
**Created:** [May 19, 2018, 3:44pm UTC](https://forum.zenprotocol.com/t/about-the-zf-category/42 "2018-05-19T15:44:14Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![IsRod](https://avatars.discourse-cdn.com/v4/letter/i/bbce88/32.png) [@IsRod](https://forum.zenprotocol.com/u/IsRod)\
**Post date:** [May 19, 2018, 3:44pm UTC](https://forum.zenprotocol.com/t/about-the-zf-category/42/1 "2018-05-19T15:44:14Z")

</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: [https://github.com/zenprotocol/ZFS-SDK](https://github.com/zenprotocol/ZFS-SDK)