文件名称：contracts:合同实例
文件大小：151KB
文件格式：ZIP
更新时间：2024-06-15 23:23:55
F*
合约范例 该存储库包含几个示例Zen Protocol合同，这些合同已经准备好进行部署，并且可以用作开发人员参考。 每个目录中的README.md应该提供有关构建和测试说明的更多详细信息。
【文件预览】：
contracts-master
----Bet()
--------Tests()
--------Bet.fst(8KB)
--------README.md(136B)
----Dex001()
--------README.tex.md(6KB)
--------tex()
--------Dex001.fst(17KB)
--------doc()
--------README.md(6KB)
----AuthenticatedSupply()
--------README.md(49B)
--------AuthenticatedSupply.fst(4KB)
----CGP()
--------CGP.fst(9KB)
----MOfN()
--------MOfN.fst(7KB)
--------README.md(20B)
----Oracle()
--------Tests()
--------Oracle.fst(11KB)
----NamedToken()
--------NamedToken.fst(1KB)
----.gitignore(24B)
----README.md(260B)
----AmericanCall()
--------README.tex.md(3KB)
--------AmericanCall.fst(12KB)
--------tex()
--------README.md(11KB)
----Oracle2()
--------Oracle2.fst(6KB)