공연
RD 인기지표
RD 성장지표
비교
업데이트 따라가기
팔로우 목록
인물
Informal Systems 소개
인포멀 시스템즈(Informal Systems)는 코스모스 네트워크의 핵심 소프트웨어 개발사로, 텐더민트 합의 엔진과 IBC 크로스체인 통신 프로토콜에 중점을 두며 형식 검증에 주력합니다. 주요 사업으로는 블록체인 네트워크에 고도로 안전한 합의 메커니즘 제공, 크로스체인 상호운용성 표준 개발, 그리고 검증자 노드(예: Informal Staking) 운영을 통한 네트워크 탈중앙화 지원이 있습니다. 시장의痛点은 블록체인 간 통일된 안전한 통신 프로토콜이 부족하고, 합의 알고리즘이 공격에 취약하며 형식 검증이 어려워 크로스체인 자산 전송과 생태계 협력에 신뢰 위험이 발생한다는 점입니다. 인포멀 시스템즈는 형식적 방법(예: TLA+ 명세)을 사용해 핵심 프로토콜을 검증하고 IBC를 업계 표준으로 추진함으로써 상호운용성과 보안 문제를 해결합니다. 지난 6개월(2026년 3월~9월) 동안 이 회사는 Starknet 등 레이어 2 네트워크와의 파트너십을 지속적으로 확대하고, IBC를 코스모스 외 생태계에 통합해 크로스체인 범위를 넓혔습니다. 또한 검증자 노드 서비스는 계속 활성화되어 있으며, 여러 블록체인 네트워크의 합의 보안 감사에 참여하고 있습니다. 전반적으로 최근 개발은 IBC 사용 사례 확대와 프로토콜 형식 보증 강화에 초점을 맞추고 있습니다.
Informal Systems는 2020년 초 Ethan Buchman, Zarko Milosevic, Josef Widder 등이 Interchain Foundation에서 창립하여 Cosmos 네트워크에 엄격한 프로토콜 엔지니어링을 제공했습니다. 첫 번째 주요 프로젝트는 IBC 프로토콜의 Rust 구현과 TLA+ 형식 명세였으며, 모델 검사 결과를 통해 프로토콜이 개선되었고 Hermes 릴레이어가 개발되어 2021년 IBC 출시 이후 프로덕션에 배포되었습니다. 팀은 또한 Tendermint 라이트 클라이언트를 공식 검증하고 Rust 구현을 유지했습니다. 2022년 여름, Informal은 Tendermint Core(Go)의 유지보수를 인수하여 v0.35/v0.36 철회 이후 신뢰를 회복하고 ABCI 2.0을 발전시켰으며 v0.37/v0.38을 출시했습니다. Apalache 기호 모델 검사기는 Tendermint 합의, 라이트 클라이언트, 빠른 동기화 등 여러 핵심 프로토콜의 보안 감사 및 명세 검증에 사용되었습니다. 2023년, Informal은 Cosmos Hub의 V8과 V9 출시를 지원했으며, V9는 Replicated Security를 도입하여 체인 간 공유 보안의 기반을 마련했습니다. 이러한 노력은 Cosmos 생태계의 형식적 방법 및 인프라 기반을 구축했습니다.
Informal Systems는 Ethan Buchman, Arianne Flemming, Zarko Milosevic이 공동 창립했습니다. Ethan Buchman(CEO)은 Cosmos와 Tendermint의 공동 창립자이며, Interchain Foundation의 전 기술 이사였고, University of Guelph에서 석사 학위를 받았습니다. 또한 Cycles Protocol을 이끌고 있습니다. Arianne Flemming(COO)은 Princeton University를 졸업했으며, 여러 회사를 설립했고, Creative Destruction Lab에서 머신러닝 부문 부소장을 역임했습니다. Zarko Milosevic(CTO)은 EPFL에서 분산 시스템 박사 학위를 받았으며, 합의 프로토콜과 형식 검증을 전문으로 합니다.