本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請注明出處。
在Fairyproof Tech的審計報告中,我們會交代對每一份合約的審計流程。大體上來說,這個流程主要包括兩個步驟:一是標準化審計步驟,二是人工審計步驟。
實際上這也是目前業內比較通行的步驟。不同審計機構可能在審計流程中的具體步驟和細節上存在差異,但歸納起來也都會包含這兩個大的步驟。
在Fairyproof Tech前面發布的文章中,我們特別強調過智能合約和傳統工業流水線上批量產出的標準化產品不同,它不是按流水線、標準化作業生產出來的,而是人為編寫出來的。即便是照抄現有的合約,合約的編寫者通常也會在照抄的合約上做一些小的改動。因此,兩份合約哪怕是功能上一樣、邏輯一樣、特點一樣,在具體的編寫方式上都會存在差異。而這個差異往往就是漏洞、風險的來源。但這個差異又很難用機器大工業中常見的標準工具檢測出來。但如果無法用工具檢測,單憑人力檢測,不僅工作量大,而且效率低,并且時常還會出人為方面的錯漏。這看似矛盾的兩方面交織在一起,一直貫穿著整個審計過程的始終,也是推進行業前進和革新的根本動力。
獨家 | 美、布兩油增幅擴大 滬深300指數漲幅創6月新高:金色財經報道,截止北京時間10:30分,亞洲股市整體均出現上漲,國內方面:深證成指漲幅擴大至3%,上證綜指漲2.8%,創業板指漲2.29%,滬深300指數漲幅擴大至3%,盤中創去年6月以來最大日漲幅。
國外方面:日經225指數漲幅擴大至1.28%,韓國KOSPI指數漲幅擴大至1.19%。
現貨市場方面:美、布兩油漲幅擴大至3%,布倫特原油現報51.30美元/桶,WTI原油現報46.10美元/桶。國際黃金小幅震蕩,現報1594.42美元/盎司。[2020/3/2]
對Fairyproof Tech來說,我們對合約的檢測一方面會盡量使用工具進行驗證以提高效率并減輕人為驗證時可能出現的差異和錯漏;而另一方面我們又特別強調人工檢測的重要性,并強調人工檢測對合約質量的最后把關,因為人工檢測不僅是用來檢測工具無法檢測出來的問題,更是用來預判和發現業界未曾記錄的風險、做到防患于未然的保證。
獨家 | 金色財經2月23日挖礦收益數據播報:金色財經報道,據印比特數據顯示,按照BTC參考價格69500元、電價0.38元/kWh計算,當前在售主流BTC礦機的市場價格及回本周期為:芯動T3+-57T(全新現貨9700元,296天回本)、阿瓦隆1066-50T(全新現貨6180元,224天回本)、神馬M20S-68T(全新現貨12600元,266天回本)、螞蟻S17Pro-56T(全新現貨12500元,327天回本)。[2020/2/23]
Fairyproof Tech自成立以來便一直致力于對合約審計標準化工具的使用和開發。在這方面,我們大膽借鑒了業界前輩已經積累的經驗,對目前市面上已經存在的合約檢測工具(如Security、Mythril、Oyente、ECF、Maian、Lem等)都進行了細致的研究和測試。但我們發現這些工具或多或少都存在一定的局限,并且在我們具體的使用過程中還存在各種不便之處,因此我們也在前輩研發的基礎上大力開發自己的自動化檢測工具,并將我們的工具投入到合約的審計工作中。這一方面提高Fairyproof Tech的工作效率,另一方面將我們不斷積累的經驗優化、集成到這些工具中,讓它們更好地服務于Fairyproof Tech的合約審計。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,2月6日,Bakkt比特幣月度期貨合約單日交易額為1338萬美元,環比下降31%;未平倉合約量為1516萬美元,環比上漲17%[2020/2/7]
對標準化檢測工具的研發及推進將始終是Fairyproof Tech開發工作的重點和必須攻克的難點。我們認為這也是業界未來發展的方向和制高點。把握這個方向、占據這個制高點不僅對Fairyproof Tech本身的發展,更對整個行業的發展都將起到重要的推進作用。
對工具的研發和使用是Fairyproof Tech工作的重點,而對人工審查的強調及對審計工程師的培養、培訓則是Fairyproof Tech工作的重心和核心。
Fairyproof Tech認為人工審計不僅是對工具審計的查漏補缺,人工審計所積累的經驗和技能也是改進和提升工具最好的素材和動力,人工審計本身更是對整個審計過程的最后把關。所以無論從哪方面說,人工審計的重要性都不言而喻。
獨家 | 胡繼曄:EURO Chain的推出主要是平衡數據應用和隱私保護之間的關系:12月17日,歐洲中央銀行發布了一個基于POC(Proof-of-Concept,概念驗證)名為EURO Chain的項目。中國政法大學區塊鏈金融法治研究中心主任胡繼曄對金色財經分析表示,歐洲央行推出的EURO chain與歐盟2018年5月25號通過的《通用數據保護條例》(General Data Protection Regulation, 簡稱GDPR)的原則是完全一致的。也就意味著,EURO Chain的推出主要是為了保護客戶隱私,即平衡數據應用和隱私保護之間的關系。如何來平衡二者的關系,這是一個負責任的金融機構應該考慮的。
另外,胡繼曄表示,EURO chain的推出很大程度上是因為Libra。近期,Libra對白皮書進行了修改,在引人注意的是刪除了分紅的條款。我們可以看到,Libra希望是向跨過跨境的金融服務機構來過渡。但是,歐洲央行一直明確反對Libra,在反對的同時也希望有自己的數字貨幣。
所以,歐洲央行推出EUROchain是面對Libra對其產生的沖擊而提出的應對之策。這也是我的一個非常重要的觀點,歐洲央行推出EUROchain是因為要對抗Libra。[2019/12/27]
獨家 | 聯想超級課開設區塊鏈課程《技術入門及落地應用案例》:金色財經報道,聯想超級課第41期開設區塊鏈課程《技術入門及落地應用案例》,將于11月13日15:00開課,課程內容包括:1.比特幣和區塊鏈的關系?2.為什么區塊鏈值得信任?3.區塊鏈有哪些應用場景?4.區塊鏈應用案例分析。授課講師為聯想專家高級工程師、全國Linux領域超高貢獻的十大工程師之一曹達士。
金色財經查詢此前課程發現,曹達士在聯想超級課第6期就曾開設《解密區塊鏈》課程。課程從五大類進行了講解:現代密碼學成果;比特幣;分布式,去中心化;區塊鏈(Blockchain);區塊鏈平臺與應用前景(以太坊,Ethereum)。[2019/11/12]
人工審計所進行的是非標準化的活動。所謂的非標準化活動就是因人而異,難以絕對統一。因為每個審計工程師都有自己的習慣和自己的思路。在這種情況下如何既發揮人工審計的靈活性和創造性又避免人工審計中人為因素導致的錯漏則是Fairyproof Tech在人工審計過程中關注的重點和難點。
我們對此采取的主要措施是流程統一和交叉審計。這兩點也是Fairyproof Tech在人工審計這個大步驟中重點進行的兩個細分步驟
所謂的流程統一就是我們為合約人工審計的流程制定了一個統一的框架和流程,這個框架和流程確保我們每個審計工程師都要延這個大方向走,不出方向性錯誤,這也是企業戰略中常說的目標一致、路徑一致,在合約審計中,我們也需要這種一致。
在這種一致框架和流程的規制下,每個審計工程師可以發揮自己的主觀能動性和創造性,按自己的習慣和特點審計合約,我們不予具體地干預。
但是即便方向一致,每個工程師在具體的進度、能力、判斷上還是會出現差異,而這些差異就有可能導致風險、漏洞逃過審計。
這時我們就需要第二個手段----交叉審計來防范這個問題。
所謂的交叉審計就是一份合約我們會由多個工程師審計。這個過程是將不同工程師的不同的思路和理解進行匯總的過程,也就是我們常說的“集思廣益”。通過這種方式,我們能盡量大地覆蓋風險的范圍和種類,盡量小地減少個人理解偏差在審計中造成的誤判。
所以Fairyproof Tech的審計報告中所提到的審計流程歸納起來就是利用工具的標準化審計和依賴工程師經驗的人工審計。
作者:
Fairyproof TechCEO 譚粵飛
美國弗吉尼亞理工大學(Virginia Tech, Blacksburg, VA, USA) 工業工程(Industrial Engineering) 碩士(Master)。曾任美國硅谷半導體公司 AIBT Inc(San Jose, CA, USA) 軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事 。個人擁有4項區塊鏈相關專利、3本出版著作。
關于Fairyproof Tech:
Fairyproof Tech科技有限公司是一家專注區塊鏈生態安全的公司。Fairyproof Tech科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊團隊正式收入。
團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目, 并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
Tags:PROTECECHProofEXCAVO ProtocolMegatech MGT TokenECHO幣0XPROOF幣
盡管技術發展和標準對于實現新的數字身份框架非常重要,但法律和法規問題也同樣重要。文/歐盟區塊鏈瞭望臺和論壇編譯/Meagreeee、柳葉驚鴻 對于一個運行中的社會經濟來說,沒有什么比身份更重要了.
1900/1/1 0:00:00繼以太坊創始人 Vitalik Buterin 鼓勵支持PoW的礦工轉向以太坊經典(ETC)之后,DCG(Digital Currency Group)創始人也作出了類似呼吁.
1900/1/1 0:00:00借貸市場0VIX已在Polygon zkEVM網絡啟動:3月28日消息,借貸市場0VIX已在Polygon zkEVM網絡啟動,成為首個在Polygon zkEVM網絡部署的DeFi協議.
1900/1/1 0:00:00火幣生態鏈火幣生態鏈(Heco)是一個去中心化高效節能公鏈,也是火幣開放平臺推出的首個產品,在支撐高性能交易的基礎上,實現智能合約的兼容。 Heco的原生數字資產為HT,采用HPoS共識機制.
1900/1/1 0:00:00其實Web3概念早在2017年的時候就火了起來,但是直到現在也沒有很準確的定義來概括它。歸納總結出的原因是因為它涵蓋的東西太多龐雜了,甚至可以這樣認為,推動互聯網發展的組件都可以稱之為Web3.
1900/1/1 0:00:00向父母介紹完區塊鏈之后,他們就會放過你了嗎?反正我父母沒有,接著開始追問:那區塊鏈和炒 Token 有什么關系?尤其是那個比特幣,究竟是個什么東西?這讓我想起來在剛剛入門區塊鏈行業的時候.
1900/1/1 0:00:00