Common Prefix
Blockchain protocol design and formal verification consulting team
表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Common Prefix
Common Prefix 是一家專注於協議研究的科學區塊鏈研發公司。其核心業務涵蓋比特幣、以太坊、Solana、Sui、Cosmos 等鏈上 L1、L2 及 DeFi 協議的協議設計、形式驗證、安全審計與工程實現。其關鍵差異化在於將學術級別的密碼學證明（例如安全性與活性定理）與實際工程相結合，使用 Lean 4 等形式建模工具從第一性原理驗證協議邏輯。它解決的市場痛點是：區塊鏈協議經常因理論缺口或實現不匹配而遭受安全漏洞，這對機構採用尤其構成風險。Common Prefix 透過在部署前以數學方式證明協議屬性來緩解此問題。在過去六個月（2026年3月至9月）中，它與 Ripple 合作對 XRP Ledger 進行形式驗證，涵蓋單一資產金庫和借貸協議等新修正案；其 BitVM3 論文被 ACM CCS 2026 收錄；與 Quai Network 合作關於最優獎勵分配的論文被 AFT 2026 收錄；關於以太坊快速最終性（SSF）的論文發表於 IEEE ICBC 2026 會議論文集；並在阿姆斯特丹的 CryptoCanal 上展示了 Zano 邁向純權益證明的路徑。
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.