Zen Protocol Documentation
WebsiteTelegramBlogForum
Search…
Zen Protocol Docs
Apps
Headless Full Node
Wallet
Explorer
Zen.js
Oracle
Dex
Fixed Payout
Smart Contracts
Contract Structure
Contract Cost
Contract Activation
Contract Examples
Smart Contracts SDK
Contracts Language ZF*
Named Token Tutorial
Consensus
Common Goods Pool
Block Validation
Transaction Validation
Serialization
Use Cases
Cold Storage using Full Node
Troubleshooting
Responsible Disclosure
Bug Bounty
Known Bugs
For Miners
Pools
GPU Mining
GPU Bounties
Check Crowdsale Contribution
Alpha call option
Powered By GitBook
Contracts Language ZF*
Documentation for the ZF* (pronounced "Z-F-Star") dialect of F*
ZF* is the smart contracting language for the Zen Protocol. ZF* is a dialect of the F* language.

Prerequisites

Before beginning to develop with ZF*, it is worth developing familiarity with a statically typed functional language, such as F#, OCaml, or Haskell. It's worth skimming through the F* tutorial. Note that the F* tutorial also assumes familiarity with F#, OCaml, or Haskell.
F# ( Online ) * F# Programming WikiBook * F# for C#, Java or Python developers * F# Cheat Sheet * Learn F# in Y Minutes F# ( Books ) * Real-World Functional Programming * Expert F# 4.0 OCaml ( Online ) * OCaml Tutorials * Real World OCaml (Dev version) OCaml ( Books ) * Real World OCaml (Slightly out of date. Use the online dev version for more up-to-date information) Haskell ( Online ) * Learn You a Haskell for Great Good! Haskell ( Books ) * Learn You a Haskell for Great Good!​
Previous
Smart Contracts SDK
Next
Named Token Tutorial
Last modified 3yr ago
Copy link
Contents
Prerequisites