Zillqa, the first peer-reviewed and safe-by-design smart contract language, powers Zilliqa. The use of functional programming design concepts (as in OCaml) makes it more amenable to static checks and formal verification. Buy Zilliqa in India