高级软件工程师,系统

11小时前全职
35.8万 - 39.4万 / 年 Succinct

Succinct

location 旧金山
unsaved
我们正在构建的内容 ZK 证明是区块链扩展、互操作性和隐私的关键技术之一,但对于大多数开发者来说过于复杂。Succinct 的使命是让零知识证明对任何开发者都变得可访问。 SP1 是一款最先进的、100% 开源的 zkVM,其性能可与定制的 ZK 电路相媲美,速度比现有的任何 zkVM 快多达 30 倍。SP1 是 ZKP 采用的一个转折点:它使任何开发者通过在 Rust 中编写普通代码(而不是复杂电路)来轻松使用 ZKP。Succinct 证明网络正在积极开发中,是一个托管基础设施层,任何应用程序都可以将开源证明系统的证明生成外包给它。 目前,包括 Polygon、Sovereign、Celestia、Wormhole、Lido、Taiko、EigenLayer、Avail、Near 和 Gnosis 在内的顶尖团队正在使用 Succinct 的基础设施来构建 ZKP。我们在 ZK 领域有着优秀产品和前沿技术工作的交付记录,并且已经产生了可观的收入。 我们最近宣布在 Paradigm 的带领下完成了 5500 万美元的种子轮和 A 轮融资,Paradigm 是加密领域最优秀的投资者。我们的团队虽然仍然较小,但实力强大,我们正在寻找对在快节奏环境中努力解决具有挑战性且影响深远的问题充满热情的优秀人才。我们的办公室位于旧金山,我们对在当地的候选人有很强的偏好,但也欢迎优秀的远程候选人。 职位描述 我们正在寻找一位专注于 Rust 开发的高级系统工程师加入我们的团队,负责架构和开发低级后端系统。您将主导以性能为导向的绿地项目,生成高度优化的 zkVM 代码,并积极为我们的 GitHub 仓库做开源贡献,参与 ZK 前沿工作。在这个角色中,您将: • 开发和维护 SP1 的 API • 为 Succinct 的 GitHub 仓库做贡献 • 设计和开发 Rust 系统库 • 理解来自 SP1 的字节码并与低级 Rust 库构建集成 • 如有需要,能够深入编译器和操作系统开发 • 不断寻求创新,并战略性思考如何改进系统 资格要求 • 精通低级 Rust 开发 • 对计算机架构和系统有深入理解 • 具备行业标准编译器技术的经验 • 拥有责任心 • 具备良好的沟通和协作能力 加分项 • 具备 LLVM 或 Cranelift 之一的经验 • 熟悉以性能为导向的系统 • 熟悉嵌入式 Rust 系统 • 熟悉密码学 工作地点 我们团队的每个人都位于旧金山,并且一起在办公室工作。理想情况下,我们希望找到喜欢面对面工作的候选人,并且已经在旧金山或愿意搬迁(我们可以承担搬迁费用)。对于那些非常合适的高级候选人,我们会考虑远程职位,只要您在前几个月能亲自入职。 福利 • 高于市场的薪资和慷慨的股权补偿 • 为员工及其家属提供健康、牙科和视力保险 • 办公室提供午餐和晚餐 • 可选的公司支付的活动和会议差旅 即使列出的资格要求似乎与您不完全匹配,热情和积极向上的人总是欢迎的!无论如何,请随时联系我们或申请,我们非常乐意与您交谈。