sriharikapu/ZenProtocolTokenContract
Simple Smart Contract Implementation For Zen Protocol. Zen takes F* as the starting point for defining smart contracts. F*, developed by Microsoft Research, is a functional language aimed at formal verification. Zen uses F*'s powerful proof techniques both to create proofs of correctness, and to prove that contracts execute in a limited amount of time.
正在读取项目信息…