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