技能标签
专业技能
精通Web3开发框架Nuxt/Next/Vue/React，熟练掌握Tailwindcss、Shadcn组件库及Wagmi/Viem等Web3工具链。擅长EVM智能合约开发与部署，精通Nest.js/Express后端框架及GraphQL协议。具备形式化验证能力，熟练使用Lean4定理证明语言。深入理解安全隐私计算技术，掌握可信执行环境（TEE）架构设计与实现。
工作履历（脱敏处理）
主导Web3平台架构设计，完成区块链应用与可信执行环境（TEE）的集成方案，实现隐私数据的可信计算与验证。设计分布式系统架构，优化智能合约执行效率30%。开发形式化验证工具链，提升系统安全性与代码可靠性。构建模块化组件体系，实现前端框架与Web3工具链的高效集成。完成多个区块链项目的技术方案评审与架构优化，确保系统可扩展性与安全性。
项目经验（脱敏处理）
开发Apodeixis去中心化形式化验证平台，采用可信执行环境（TEE）技术实现隐私保护的悬赏证明系统。设计TEE环境与区块链网络的集成方案，解决跨链数据验证难题。基于Lean4构建形式化验证框架，实现复杂数学证明任务的自动化验证。开发隐私计算中间件，采用安全多方计算技术保障用户数据隐私。项目成功实现零知识证明与TEE环境的协同验证，提升系统安全性达40%。
驻场外包优势
服从性高
严格遵守甲方管理制度
技术扎实
2年项目实战经验
可长期驻场
接受异地项目外派
快速响应
24小时内可到岗
企业人才对接
专业IT人力外包服务
如果贵公司有IT项目人手缺口、需要工程师驻场开发、短期人力支援需求，欢迎联系洽谈合作。
合作热线
18969108718
商务邮箱
ntit@163.com
微信扫码咨询
扫描二维码添加商务对接