Kierkegaard📜
架构师
Apodeixis Technology LLC · 2年经验
日薪：
￥500/8h
地点：
广州 天河
时间：
下班后周六周日可工作日远程可工作日驻场（自由职业原因）
信用行为
0
接单数
0
评价数
0
收藏数
技术能力
精通前端框架Nuxt、Next、Vue、React，Tailwindcss和Shadcn等组件库，Web3组件如Wagmi、Viem等，擅长EVM智能合约开发，后端框架掌握Nest、express、精通Graphql. 精通形式化证明语言，擅长编写Lean4定理证明. 掌握安全隐私计算TEE技术.
项目经验
开发了Apodeixis去中心化Lean4形式化证明悬赏平台，该项目运用谷歌TEE服（可信执行环境）服务搭建，允许用户做隐私保护的悬赏证明任务.
Kierkegaard📜
架构师 · 2年经验 · Apodeixis Technology LLC
0
累计接单
0
用户评价
0
被收藏
信用行为
0
接单数
0
评价数
0
收藏数
技术能力
精通前端框架Nuxt、Next、Vue、React，Tailwindcss和Shadcn等组件库，Web3组件如Wagmi、Viem等，擅长EVM智能合约开发，后端框架掌握Nest、express、精通Graphql. 精通形式化证明语言，擅长编写Lean4定理证明. 掌握安全隐私计算TEE技术.
项目经验
开发了Apodeixis去中心化Lean4形式化证明悬赏平台，该项目运用谷歌TEE服（可信执行环境）服务搭建，允许用户做隐私保护的悬赏证明任务.
立即沟通
