我對以太坊研究的理解(不斷更新吧)

  目前看來以太坊和傳統數據語言有類似又有不一樣,因此不少之前研究透徹的問題,在以太坊這兒遇到新的挑戰。安全 好比:eclipse 代碼檢測領域 這裏挑戰很大,由於一行智能合約代碼的錯誤可能覺得着不少數字代幣的丟失,傳統代碼檢測的方案->移植到新的以太坊代碼,會產生新的problem,使用形式化證實已經在合約中流行,可是人工智能的方案尚未使用,主要是因爲沒有數據和標註的問題。區塊鏈 並行 有關並行
相關文章
相關標籤/搜索