关于服务
翻译我在Tezos区块链的所有层级开发和验证智能合约。Michelson是一种低级堆栈语言，Tezos虚拟机实际执行它，并且它被设计为适合形式验证。当需要对燃气、存储和堆栈操作进行精确控制时，我直接用Michelson编写合约，而在更快和更可读的路径更重要时，我使用更高级的LIGO和SmartPy语言。从我们开始的任何一端，我都会读取和解析编译后的Michelson，以便您确切知道什么进入了网络。
您将获得：一个具有深思熟虑的存储方案和入口点的工作合约；正确实现的FA2和FA1.2代币标准；模块化和属性测试；燃气和存储成本审查；一份报告，详细说明每个入口点、失败分支和权限检查。我在沙盒和Ghostnet上进行测试，然后再进行主网发布，并记录原始和更新步骤，以便您的团队可以在没有我的情况下重新部署。
我还审核现成的合约：我构建存储映射，追踪每个入口点，寻找重入、整数溢出、破损的访问控制和不安全的外部调用，并提供优先级列表和修复建议。发送给我一个规范或当前代码——我会回复工作范围、固定价格和时间表。
您将获得：一个具有深思熟虑的存储方案和入口点的工作合约；正确实现的FA2和FA1.2代币标准；模块化和属性测试；燃气和存储成本审查；一份报告，详细说明每个入口点、失败分支和权限检查。我在沙盒和Ghostnet上进行测试，然后再进行主网发布，并记录原始和更新步骤，以便您的团队可以在没有我的情况下重新部署。
我还审核现成的合约：我构建存储映射，追踪每个入口点，寻找重入、整数溢出、破损的访问控制和不安全的外部调用，并提供优先级列表和修复建议。发送给我一个规范或当前代码——我会回复工作范围、固定价格和时间表。
