安比(SECBIT)實驗室由一群熱愛區(qū)塊鏈技術(shù)的極客組建逾苫,專注于可信智能合約與安全共識協(xié)議研究卿城。實驗室成員遍布在全球多個國家,專業(yè)領(lǐng)域涉及區(qū)塊鏈底層架構(gòu)铅搓、智能合約語言瑟押、形式化驗證、密碼學與安全協(xié)議星掰、編譯與分析技術(shù)多望、博弈論與加密經(jīng)濟學等諸多學科。安比(SECBIT)實驗室目前著重于研究區(qū)塊鏈智能合約的安全問題氢烘,助力區(qū)塊鏈團隊提高智能合約的可靠性與安全性怀偷,開展構(gòu)建智能合約安全框架的理論探索與技術(shù)研發(fā),參與共建共識播玖、可信椎工、有序的區(qū)塊鏈經(jīng)濟體。