Common Prefix
Blockchain protocol design and formal verification consulting team
Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về Common Prefix
Common Prefix là một công ty R&D blockchain khoa học, tập trung vào nghiên cứu giao thức. Hoạt động cốt lõi của công ty bao gồm thiết kế giao thức, xác minh hình thức, kiểm toán bảo mật và triển khai kỹ thuật cho các giao thức L1, L2 và DeFi trên các chuỗi như Bitcoin, Ethereum, Solana, Sui, Cosmos và các chuỗi khác. Điểm khác biệt chính của công ty là kết hợp các chứng minh mật mã học thuật (ví dụ: định lý an toàn và tính sống) với kỹ thuật thực hành, sử dụng các công cụ mô hình hóa hình thức như Lean 4 để xác minh logic giao thức từ những nguyên lý cơ bản. Vấn đề đau đớn trên thị trường mà công ty giải quyết: các giao thức blockchain thường xuyên gặp phải lỗ hổng bảo mật do khoảng cách lý thuyết hoặc sự không khớp trong triển khai, điều này đặc biệt rủi ro đối với việc áp dụng của các tổ chức. Common Prefix giảm thiểu điều này bằng cách chứng minh toán học các thuộc tính của giao thức trước khi triển khai. Trong sáu tháng qua (tháng 3–tháng 9 năm 2026), công ty đã hợp tác với Ripple để xác minh hình thức XRP Ledger, bao gồm các sửa đổi mới như Single Asset Vaults và Lending Protocol; bài báo BitVM3 của công ty đã được chấp nhận tại ACM CCS 2026; một bài báo chung với Quai Network về phân bổ phần thưởng tối ưu đã được chấp nhận tại AFT 2026; một bài báo về tính cuối cùng nhanh của Ethereum (SSF) đã được xuất bản trong kỷ yếu IEEE ICBC 2026; và công ty đã trình bày lộ trình chuyển đổi của Zano sang pure proof of stake tại CryptoCanal ở Amsterdam.
In June 2026, Common Prefix completed a formal verification of the XRP Ledger Lending Protocol (XLS-66) using Lean 4, strengthening contract correctness guarantees. The same month it also published an analysis of the Secret Network ~$4.67M security incident.
Future strategy and roadmap: Common Prefix plans to extend formal verification to more major chains and DeFi protocols and to keep publishing security research and incident post-mortems.
Dionysis Zindros — Co-founder & CEO; Stanford postdoc and University of Athens PhD, former Google, Twitter and IOHK engineer, co-invented OpenBazaar.
Nikolaos Kamarinakis — Co-founder & CTO; focuses on interoperability and smart contract auditing, represented Greece at the European Cyber Security Challenge three years running.
Zeta Avarikioti — Co-founder & Chief Scientist; assistant professor at TU Wien with a PhD from ETH Zurich, received the 2025 Hedy Lamarr Prize.
Apostolos Tzinas — Co-founder & Product Lead; focuses on consensus protocols and DeFi research.
Haris Karavasilis — COO; formerly at Amazon and Piraeus Bank, oversees finance, legal and marketing.