我们的客户是基于 BitVM 方法的首个比特币安全等效的 Layer2 解决方案。他们的核心目标是通过加密创新和区块链协议工程，解决比特币 Layer2 中安全性与图灵完备性之间的权衡。最终旨在促进繁荣的比特币生态系统。
该公司在区块链和加密货币领域运营，提供安全基础设施以创建和管理去中心化数字资产。他们专注于开发优先考虑隐私和安全的交易和资产管理解决方案。通过集成先进的加密协议，该平台允许用户发行、转移和跟踪数字资产，如代币或数字货币，重点关注可扩展性和效率。此外，他们提供的服务使用户能够自动化复杂的财务操作，并无缝管理跨多个区块链的资产。
主要职责：
• 设计和构建 Bitlayer 的比特币友好的 ZK 证明系统。
• 设计和开发在比特币上验证 ZK 证明的协议。
• 不断优化我们的证明系统，以提供更短的证明时间和更低的资本成本。
• 与其他团队合作，将证明系统集成到 Bitlayer 的 Layer 2 系统中。
• 指导和培训初级 ZK 工程师。
主要要求：
• 在 Rust 或 C++ 等通用编程语言方面具备扎实的编程技能。
• 精通比特币脚本语言的编程技能。
• 了解最先进的 ZK 证明系统（如 Plonky2 / Plonky3 / Halo2 等）和 zkVM（如 RiscZero / SP1 等）。
• 精通开源贡献 - 遵循编码标准，编写干净且可维护的代码，并遵循最佳实践。
• 精通系统级软件的性能基准测试、分析和优化。
• 深入理解区块链技术和扩展解决方案。
• 具备足够的数学和密码学背景知识，能够快速学习最新的 ZK 证明系统。
优先要求：
• 在密码学或区块链领域的顶尖论文。
• 设计和构建 ZK rollup 系统的经验。
• 技术写作经验（出版物、文章、推特线程等）。
• 能够用英语进行演讲的能力。
我们可能会使用人工智能（AI）工具来支持招聘过程的某些部分，例如审核申请、分析简历或评估回应。这些工具辅助我们的招聘团队，但并不取代人类的判断。最终的招聘决策仍由人类做出。如果您想了解更多关于您的数据如何处理的信息，请与我们联系。
申请此职位 
