CertiK

CertiK

CertiK于2017年底在美國紐約和硅谷成立,2019年初落成北京辦公室。公司由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立,通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務。
12

文章

100886

瀏覽

微信公眾號

  • 以太坊網絡升級可能破壞現有智能合約

    如今,以太坊網絡正蓬勃發展,開發人員計劃引入新的系統把目前每秒20個交易量擴展到每秒數十萬交易量,這也正是21世紀探索開發區塊鏈的大勢所趨。對于智能合約開發人員來說,這意味著需要持續跟蹤以太坊更新的情況,了解每個代碼的更改形式。聽起來這似乎大幅增加了智能合約開發人員的工作量,但是別忘了CertiK就是在這個時候來為大家提供幫助的,因此完全不需要擔心此次的以太坊網絡升級。
    2019-10-18 12:36:27 10071
    • 區塊鏈技術與去中心化金融體系

      要想了解去中心化金融體系,首先要了解一下錯綜復雜的金融史。不管你是什么專業背景,什么職業,你的生活都和金融脫不了干系。今天不妨就來簡單了解一下我們的金融發展是怎樣走到今天的,未來又將是怎樣的一番局面。歷史上金融體系第一個重要的發展,就是它自身向”金融“方向轉變。這句話聽起來有些抽象,直接一點來說,就是當人們最終擁有足夠的資源進行交易、易物與合作,而不僅局限于眼前的生存時,抽象的金融便形成了。比如多余的小麥可換取陶器、動物,甚至是原始的人像雕塑或者玩具。
      2019-10-14 14:38:27 3978
      • 區塊鏈的三難困境,有這樣一種解決途徑?

        三難困境一直是加密貨幣面臨的最大障礙。這個概念最開始由VitalikButerin提出,他指出了開發人員在創建可擴展、分散的和安全的區塊鏈時所面臨的三個挑戰。具體來說,這三個方面是:1. 分散性:創建一個擁有不依賴于控制中心點的區塊鏈系統;2. 可擴展性:區塊鏈系統具有處理越來越多事務的能力;3. 安全性:區塊鏈系統能夠按預期操作,防御攻擊、防范bug和其他不可預見的問題。
        2019-10-11 13:04:38 5987
        • CertiK已完成對Waltonchain形式化驗證審計

          CertiK已完成對Waltonchain golang語言的公鏈及其跨鏈智能合約的官方安全審計,并對其程序設計和運行情況進行了重點審計。Waltonchain (簡稱WTC),將區塊鏈技術引入物聯網,解決了物聯網發展過程中所面臨的中心化問題,基于密碼學原理,憑借分布式點對點網絡,實現有序交易記錄的永久性存儲,不可刪除和篡改,公開并且可溯源,能完美解決互聯網虛擬世界的信任和權益問題。WTC將構建現實世界與區塊鏈完美結合的商業生態鏈,引領人類全面進入可信賴的數字化生活,開創物聯網的新紀元。
          2019-10-09 13:55:24 2570
          • 一分鐘了解比特幣:為什么比特幣如此具有價值

            如果你已經閱讀了前面的文章,你就會理解比特幣作為一個純粹用代碼創建的貨幣系統是如何工作的。但是這種貨幣到底有何價值呢?它的價值是怎么樣被體現的呢?比特幣在最初被發明出來的時候,基本上毫無價值。但自那時起,比特幣的價格就開始逐漸上升(當然一路上也有很多大起大落)。在它的價格最低點時只值幾美分,在鼎盛時期,一個比特幣價值就超過了2萬美元。
            2019-10-08 11:26:24 9450
            • 一分鐘了解比特幣:哈希函數

              長假最后一天,不知道假期結束甚至幾年后回想起來是否還記得住祖國70歲生日的這段時光呢?是否那個時候還會覺得這七天過的有意義呢?除了國慶閱兵和幾個讓人值得刷一刷的電影,如果你除了娛樂還沒有什么特別的記憶,不妨讀下本系列文章一分鐘了解比特幣,告訴大家你學習到了當下最熱門的有關比特幣的技術知識,而且是有深度有內涵的那種哦。
              2019-10-07 21:32:04 11190
              • 一分鐘了解比特幣:挖礦與共識機制

                假期余額嚴重不足,我們的“一分鐘了解比特幣”系列文章也已發布過半。如果在閱讀我們的文章當中有什么問題,不妨在公眾號下面留言,也許我們以后會推出文章來專門解答你的問題。通過上一篇文章,我們知道了如何保證財產和信息的安全性、私有性。但是,在沒有中央服務器來協調的情況下,怎樣才能讓每個人都認可他人的賬戶余額確實是賬戶持有者說的那么多呢?
                2019-10-06 11:42:12 14013
                • 了解比特幣:如何對身份進行加密

                  假期三天倒計時,希望讀完本系列文章的你在收獲知識的同時能夠有些小小的成就感。別人還在游玩曬朋友圈的時候,你已經把朋友圈分享的一些文章變成自己所了解的知識了。上一篇文章中,我們簡單介紹了區塊鏈的結構基礎。(此處來自謝耳朵的靈魂拷問:你們讀了上一篇有關比特幣的文章了嗎?這張圖可不是PS來的,美劇《生活大爆炸》第十一季第九集的開篇就是這句話)是不是發現如果你不了解比特幣就有些out了呢?就連自身就很火的美劇,也會加入比特幣的內容在劇本里,來增加熱點與實事內容。
                  2019-10-05 18:57:52 12771
                  • 《深入淺出比特幣》之二:如何對身份進行加密

                    上一篇文章中,我們簡單介紹了區塊鏈的結構基礎。今天,我們將探討區塊鏈系統中存在的一個問題——如何實現安全與匿名,透明與清晰并存的理想狀態。在沒有中央服務器可以登錄的情況下,我們該如何保護隱私?如何安全地“登錄”比特幣?如何才能確保信息的公開性和透明性呢?
                    2019-09-25 12:21:11 14531
                    • 《深入淺出比特幣》之一:比特幣究竟是什么?

                      剛剛接觸比特幣的人通常認為,計算機上的某種數據或文件就是 “比特幣”,但這種理解是錯誤的。比特幣并不以數據的形式存在,但可以用賬本上的數字表示出來。這里所說的賬本是虛擬的會計賬本,是所有權的有形證明。如果有人說“我有一個比特幣”,這個意思是我們可以看到公開發行的會計賬本,可以閱讀這些數字,而所有者則可以向他人展示,“我有一個與我的名字和賬戶相關的比特幣”。
                      2019-09-24 12:14:34 12686
                      • 比特幣錢包的作用

                        比特幣錢包里存儲著你的比特幣信息,包括比特幣地址(類似于你的銀行卡賬號)、私鑰(類似于你銀行卡的密碼)。就像實物錢包里可以存放多張銀行卡,比特幣錢包里也可以存儲多個比特幣地址,以及每個比特幣地址所對應的獨立的私鑰。比特幣錢包的核心功能就是保護你的私鑰,如果錢包丟失,你將永遠失去這筆比特幣。
                        2018-10-08 14:32:03 1985
                        • 什么是比特幣

                          比特幣(Bitcoin)是由中本聰在2009年提出的一種數字虛擬貨幣。比特幣沒有實物,而是以數據的形式,存在計算機中。比特幣不依賴特定的貨幣機構發行。
                          2018-10-04 20:04:40 1654
掃二維碼

掃一掃,關注微信公眾號

时时彩龙虎和计划app