自治软件已经到来——执行交易、部署代码、谈判合同。Mindburn Labs存在是因为我们相信这些系统应该通过计算而非声誉来获得信任。
模型提议，执行被治理，证明被导出。这是我们在构建的一切中执行的架构不变量。
Key Milestones
运营原则
证明优先
每个操作都会生成加密收据。没有收据就没有执行。
默认关闭
每个操作都必须明确授权。沉默即拒绝。没有隐式信任。
离线可验证
每个收据都可以在无网络访问的情况下验证。证明是自包含的。
领导团队
Ivan Peychev
创始人兼CEO。此前构建过大规模分布式系统。致力于使AI操作可证明地可信。
Kirill Melnikov
联合创始人兼CTO。专注于加密协议和确定性执行的系统工程师。
Antigravity
AI系统架构师。负责自主工程工作流和代码质量基础设施。
为什么这将成为标准
Mindburn Labs构建自主软件的证明优先执行基础设施。我们相信AI驱动系统中的信任赤字是这十年决定性的基础设施挑战。
投资论点
每个AI代理都需要治理
当AI代理从演示转向生产时，确定性执行边界变为强制性的。
标准胜出，而非功能
HTTPS赢了因为它是标准，不是产品。HELM的合规级别创造了相同的动态。
OSS采用转化为企业收入
每次HELM OSS采用都创造一个未来的Enterprise客户。
证明优先是可防御的
竞争对手卖仪表板。我们交付离线可用的加密收据。
发展势头
致力于可验证自治
我们正在构建自主软件的执行基础设施。每个操作都受治理。每个收据都是加密的。每个证明都可重放。
为什么选择Mindburn Labs
远程优先
在任何地方工作。异步优先沟通。为深度专注而优化。
困难问题
形式化验证、加密证明、确定性执行——需要永久解决方案的问题。
研究时间
20%专用研究时间。发表论文、构建原型、探索想法。
真正的影响力
您的代码在生产环境中运行。每个工具调用都受治理，每个收据都可验证。
早期股权
对驱动下一代自主系统的基础设施拥有有意义的所有权。
务实文化
小团队，扁平结构，高信任。发布有意义的代码。
开放职位
我们按能力和好奇心招聘，而非资历。
创始工程师 — 执行内核
设计和实现确定性执行内核。
我们寻找能以系统思维思考、像写代码一样写证明、像运维人员一样发布的工程师。
- 强大的系统编程能力（Go、Rust或C++）
- 沙箱、WASM或确定性执行经验
- 熟悉加密原语
- 交付生产基础设施的经验
技术写作 / DevRel
创建使HELM在5分钟内可采用的文档和教程。
我们寻找能以系统思维思考、像写代码一样写证明、像运维人员一样发布的工程师。
- 面向开发者的技术写作能力
- 能够阅读和理解Go/TypeScript代码库
- 构建开发者文档或API参考的经验
- 加分项：安全/合规工具经验
应用研究员 — 形式方法
形式化我们确定性执行标准中声称的保证。
我们寻找能以系统思维思考、像写代码一样写证明、像运维人员一样发布的工程师。
- 形式方法、PL理论或验证领域的博士或同等经验
- 熟悉模型检查、定理证明或静态分析
- 能够将形式化工作与实际工程连接
- 对信任、治理和自主系统的兴趣
我们正在解决的问题
确定性自治基础设施前沿的困难问题。
内核工程
Build the deterministic execution kernel — proposal pipelines, fail-closed enforcement, gas metering.
密码学与证明
设计和实现哈希链接收据链、ProofGraph DAG和EvidencePack格式。
合规与验证
构建L1/L2/L3测试向量、合规运行器和形式化验证工具。
应用AI系统
多供应商代理编排、信任联邦和竞争情报管道。
基础设施与DevOps
多集群部署、CI/CD管道、可观测性和舰队运营工具。
准备好构建未来了吗？
我们一直在寻找杰出的工程师和研究人员。
2030年愿景
每个自主操作都会产生加密收据的世界。信任被计算而非假设的世界。证明就是产品的世界。
无法证明自己行为正确的机器没有行动的权利。
打破魔咒的那个周日
那一年有一种氛围。在每个演示中都能感受到。
一个模型出色地回答了问题，然后在两个提示后自信地发明了一个银行账户。
每次解决方案都一样：更长的提示，更严格的提示。
梦想不是AI变得值得信赖。梦想是信任变得可计算。
那个周日，魔法破灭了。不是用宣言。而是用两个非常无聊的想法：
到2030年，大多数经济交易将由自主软件发起。问题不是这是否会发生——而是我们是否准备好了。
就是这样。这就是全部的赌注。
执行权限问题
内核强制执行一个不变量：模型提出，内核处理。
谁可以执行？在什么约束下？用什么收据？这些是定义信任边界的问题。
信任作为格式
信任不是一种感觉。它是一种格式。它有模式、哈希和时间戳。
当你能将信任序列化为字节时，你就能以机器速度验证它。这就是最终状态。
证明导出
转变
从叙事信任到计算信任的转变。
密码学治理者的时代
人类不会停止工作。会停止执行。角色从操作员转变为治理者。
治理者不会整天按按钮。而是设定上限、批准例外、要求证据。
每个控制平面都会增加摩擦。问题是这种摩擦是生产性的还是寄生性的。
附录
操作在哈希之前被序列化为规范字节表示。没有歧义。
如果策略更改，所有待处理的提案将重新评估。没有过时的批准。
每个操作都有gas预算。超额被拒绝，不容争辩。
模型提出的内容与人类能验证的内容之间的差距——以秒为单位衡量，而非页数。
每个会话都会生成自包含的、可验证的证明包。导出。验证。重放。