安比(SECBIT)實驗室由一群熱愛區(qū)塊鏈技術的極客組建鲤竹，專注于可信智能合約與安全共識協(xié)議研究。實驗室成員遍布在全球多個國家述雾，專業(yè)領域涉及區(qū)塊鏈底層架構奶卓、智能合約語言评甜、形式化驗證活尊、密碼學與安全協(xié)議隶校、編譯與分析技術漏益、博弈論與加密經濟學等諸多學科。安比(SECBIT)實驗室目前著重于研究區(qū)塊鏈智能合約的安全問題深胳，助力區(qū)塊鏈團隊提高智能合約的可靠性與安全性绰疤，開展構建智能合約安全框架的理論探索與技術研發(fā)，參與共建共識稠屠、可信峦睡、有序的區(qū)塊鏈經濟體翎苫。