Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Đầu tư
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Informal Systems
Informal Systems là nhà phát triển phần mềm cốt lõi cho mạng Cosmos, tập trung vào engine đồng thuận Tendermint và giao thức truyền thông xuyên chuỗi IBC, với trọng tâm là xác minh hình thức. Hoạt động kinh doanh chính bao gồm: cung cấp cơ chế đồng thuận bảo mật cao cho các mạng blockchain, phát triển các tiêu chuẩn tương tác xuyên chuỗi, và vận hành các nút xác thực (ví dụ: Informal Staking) để hỗ trợ phi tập trung hóa mạng lưới. Điểm khó khăn của thị trường là các blockchain thiếu các giao thức truyền thông thống nhất và bảo mật; các thuật toán đồng thuận dễ bị tấn công và khó xác minh hình thức, dẫn đến rủi ro tin cậy trong chuyển tài sản xuyên chuỗi và hợp tác hệ sinh thái. Informal Systems giải quyết điều này bằng cách sử dụng các phương pháp hình thức (ví dụ: đặc tả TLA+) để xác minh các giao thức quan trọng và thúc đẩy IBC trở thành tiêu chuẩn ngành, giải quyết các thách thức về tương tác và bảo mật. Trong sáu tháng qua (tháng 3 đến tháng 9 năm 2026), công ty đã tiếp tục thúc đẩy quan hệ đối tác với các mạng Layer 2 như Starknet, tích hợp IBC vào các hệ sinh thái ngoài Cosmos để mở rộng phạm vi xuyên chuỗi. Trong khi đó, dịch vụ nút xác thực của công ty vẫn hoạt động tích cực và công ty tham gia vào các cuộc kiểm toán bảo mật đồng thuận trên nhiều mạng blockchain. Nhìn chung, sự phát triển gần đây tập trung vào việc mở rộng các trường hợp sử dụng IBC và tăng cường các đảm bảo hình thức của giao thức.
Informal Systems được thành lập vào đầu năm 2020 bởi Ethan Buchman, Zarko Milosevic, Josef Widder cùng những người khác, xuất phát từ Interchain Foundation nhằm cung cấp kỹ thuật giao thức chặt chẽ cho mạng lưới Cosmos. Dự án lớn đầu tiên của họ là triển khai giao thức IBC bằng Rust và đặc tả hình thức TLA+; kết quả kiểm tra mô hình đã dẫn đến cải tiến giao thức, và trình chuyển tiếp Hermes được phát triển và triển khai trong sản xuất sau khi IBC ra mắt vào năm 2021. Nhóm cũng xác minh chính thức light client của Tendermint và duy trì triển khai Rust của nó. Vào mùa hè năm 2022, Informal tiếp quản việc bảo trì Tendermint Core (Go), khôi phục lòng tin sau khi rút lui phiên bản v0.35/v0.36, thúc đẩy ABCI 2.0, và phát hành v0.37/v0.38. Trình kiểm tra mô hình ký hiệu Apalache của họ được sử dụng trong kiểm toán bảo mật và xác minh đặc tả của một số giao thức cốt lõi, bao gồm đồng thuận Tendermint, light client và fast sync. Năm 2023, Informal đã giúp Cosmos Hub phát hành V8 và V9, với V9 giới thiệu Replicated Security, đặt nền tảng cho bảo mật chia sẻ giữa các chuỗi. Những nỗ lực này đã thiết lập nền tảng phương pháp hình thức và cơ sở hạ tầng của hệ sinh thái Cosmos.
Informal Systems được đồng sáng lập bởi Ethan Buchman, Arianne Flemming và Zarko Milosevic. Ethan Buchman (CEO) là đồng sáng lập của Cosmos và Tendermint, cựu Giám đốc Kỹ thuật tại Interchain Foundation, và có bằng thạc sĩ từ Đại học Guelph. Ông cũng là người lãnh đạo Cycles Protocol. Arianne Flemming (COO) tốt nghiệp Đại học Princeton, thành lập nhiều công ty, và từng là Phó Giám đốc Học máy tại Creative Destruction Lab. Zarko Milosevic (CTO) có bằng tiến sĩ về hệ thống phân tán từ EPFL, chuyên về giao thức đồng thuận và xác minh hình thức.