자율 소프트웨어는 이미 여기에 있습니다 — 거래를 실행하고, 코드를 배포하고, 계약을 협상합니다. Mindburn Labs는 이러한 시스템이 평판이 아닌 연산을 통해 신뢰받아야 한다고 믿기에 존재합니다.
모델이 제안하고, 실행이 통제되고, 증명이 내보내집니다. 이것이 우리가 구축하는 모든 것에 적용하는 아키텍처 불변성입니다.
Key Milestones
운영 원칙
증명 우선
모든 작업이 암호화 영수증을 생성합니다. 영수증 없으면 실행 없음.
기본 차단
모든 작업은 명시적으로 승인되어야 합니다. 침묵은 거부입니다. 암묵적 신뢰 없음.
오프라인 검증 가능
모든 영수증을 네트워크 접속 없이 검증할 수 있습니다. 증명은 자체 완결적입니다.
리더십
Ivan Peychev
창업자 겸 CEO. 이전에 대규모 분산 시스템 구축. AI 작업의 증명 가능한 신뢰성에 집중.
Kirill Melnikov
공동 창업자 겸 CTO. 암호화 프로토콜과 결정론적 실행 전문 시스템 엔지니어.
Antigravity
AI 시스템 아키텍트. 자율 엔지니어링 워크플로 및 코드 품질 인프라 담당.
이것이 표준이 되는 이유
Mindburn Labs는 자율 소프트웨어를 위한 증명 우선 실행 인프라를 구축합니다. AI 기반 시스템의 신뢰 적자가 10년간의 핵심 인프라 과제라고 믿습니다.
투자 논거
모든 AI 에이전트에는 거버넌스가 필요합니다
AI 에이전트가 데모에서 프로덕션으로 이동할 때 결정론적 실행 경계는 필수가 됩니다.
기능이 아닌 표준이 승리합니다
HTTPS가 표준이었기 때문에 이겼습니다. HELM의 적합성 레벨은 동일한 역학을 만듭니다.
OSS 채택이 엔터프라이즈 수익으로 이어집니다
모든 HELM OSS 채용은 미래의 Enterprise 고객을 만듭니다.
증명 우선은 방어 가능합니다
경쟁자들은 대시보드를 팝니다. 우리는 오프라인에서 작동하는 암호화 영수증을 배송합니다.
트랙션
검증 가능한 자율성에 대한 작업
자율 소프트웨어를 위한 실행 인프라를 구축하고 있습니다. 모든 작업이 통제됩니다. 모든 영수증이 암호화됩니다. 모든 증명이 재생 가능합니다.
왜 Mindburn Labs인가
리모트 퍼스트
어디서든 일하세요. 비동기 우선 커뮤니케이션. 깊은 집중을 위해 최적화합니다.
어려운 문제
형식 검증, 암호화 증명, 결정론적 실행 — 영구적 솔루션을 가진 문제들.
연구 시간
20% 전용 연구 시간. 논문 발표, 프로토타입 구축, 아이디어 탐구.
실제 임팩트
당신의 코드가 프로덕션에서 실행됩니다. 모든 도구 호출이 통제되고, 모든 영수증이 검증 가능합니다.
초기 지분
차세대 자율 시스템을 구동할 인프라에 대한 의미 있는 소유권.
BS 없는 문화
소규모 팀, 수평 구조, 높은 신뢰. 중요한 코드를 배포하세요.
채용 중
능력과 호기심으로 채용합니다. 자격증이 아닌.
창립 엔지니어 — 실행 커널
결정론적 실행 커널 설계 및 구현.
시스템적으로 사고하고, 증명을 코드처럼 작성하며, 운영자처럼 배포하는 엔지니어를 찾습니다.
- 강력한 시스템 프로그래밍 (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 파이프라인, 관측 가능성, Fleet 운영 도구.
미래를 함께 만들 준비가 되셨나요?
우리는 항상 뛰어난 엔지니어와 연구자를 찾고 있습니다.
비전 2030
모든 자율적 행동이 암호화 영수증을 생성하는 세계. 신뢰가 가정이 아닌 계산되는 곳. 증명이 제품인 곳.
올바르게 행동했음을 증명할 수 없는 기계는 행동할 권리가 없습니다.
마법이 깨진 일요일
그 해에는 분위기가 있었다. 모든 데모에서 느낄 수 있었다.
모델이 질문에 훌륭하게 답한 후 두 프롬프트 뒤에 자신있게 은행계좌를 발명했다.
매번 해결책은 같았다: 더 긴 프롬프트, 더 엄격한 프롬프트.
꿈은 AI가 신뢰할 수 있게 되는 것이 아닙니다. 꿈은 신뢰가 계산 가능해지는 것입니다.
그 일요일, 마법이 깨졌다. 선언문이 아니라. 두 가지 매우 지루한 아이디어로:
2030년까지 대다수의 경제 거래가 자율 소프트웨어에 의해 시작될 것입니다. 문제는 이것이 일어나느냐가 아닙니다 — 우리가 준비가 되어 있느냐입니다.
그게 전부입니다. 그것이 우리의 베팅입니다.
실행 권한 문제
커널은 단일 불변 원칙을 강제합니다: 모델은 제안하고, 커널은 처리합니다.
누가 실행할 수 있는가? 어떤 제약 하에서? 어떤 영수증으로? 이것이 신뢰 경계를 정의하는 질문입니다.
형식으로서의 신뢰
신뢰는 감정이 아닙니다. 형식입니다. 스키마, 해시, 타임스탬프가 있습니다.
신뢰를 바이트로 직렬화할 수 있으면 머신 속도로 검증할 수 있습니다. 그것이 최종 상태입니다.
증명 내보내기
전환
내러티브 신뢰에서 계산적 신뢰로의 변환.
암호학적 거버너의 시대
인간은 일하는 것을 멈추지 않는다. 실행을 멈춘다. 역할이 운영자에서 거버너로 바뀐다.
거버너는 하루 종일 버튼을 누르지 않는다. 상한선을 설정하고 예외를 승인하고 증거를 요구한다.
모든 컨트롤 플레인은 마찰을 추가합니다. 문제는 그 마찰이 생산적인지 기생적인지입니다.
부록
작업은 해싱 전에 정준 바이트 표현으로 직렬화됩니다. 모호함 없음.
정책이 변경되면 모든 보류 중인 제안이 재평가됩니다. 오래된 승인 없음.
모든 작업에는 가스 예산이 있습니다. 초과는 거부되며, 논쟁하지 않습니다.
모델이 제안하는 것과 인간이 검증할 수 있는 것 사이의 격차 — 페이지가 아닌 초 단위로 측정.
모든 세션이 자체 완결적이고 검증 가능한 증명 번들을 생성합니다. 내보내기. 검증. 재생.