安比(SECBIT)實(shí)驗(yàn)室由一群熱愛(ài)區(qū)塊鏈技術(shù)的極客組建,專(zhuān)注于可信智能合約與安全共識(shí)協(xié)議研究孟害。實(shí)驗(yàn)室成員遍布在全球多個(gè)國(guó)家拒炎,專(zhuān)業(yè)領(lǐng)域涉及區(qū)塊鏈底層架構(gòu)、智能合約語(yǔ)言挨务、形式化驗(yàn)證击你、密碼學(xué)與安全協(xié)議、編譯與分析技術(shù)谎柄、博弈論與加密經(jīng)濟(jì)學(xué)等諸多學(xué)科丁侄。安比(SECBIT)實(shí)驗(yàn)室目前著重于研究區(qū)塊鏈智能合約的安全問(wèn)題,助力區(qū)塊鏈團(tuán)隊(duì)提高智能合約的可靠性與安全性朝巫,開(kāi)展構(gòu)建智能合約安全框架的理論探索與技術(shù)研發(fā)鸿摇,參與共建共識(shí)、可信劈猿、有序的區(qū)塊鏈經(jīng)濟(jì)體拙吉。