以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 非小號 > Info

開發新編程語言提升代碼安全,Voyage獲蠻子基金投資_Voyage:MIYAGI

Author:

Time:1900/1/1 0:00:00

據多家媒體報道,編程語言項目Voyage宣布獲得蠻子基金投資,融資額未透露。Voyage同時宣布此前曾獲HardCandyLab,Roark,SparkCapital,InkLabsFoundation和Coinness等百余家機構以及個人投資。Voyage項目主要研發一種基于Scala、同時結合Solidity的全棧開發語言。作為一種新編程語言,Voyage想要解決原有編程語言在適用于合約開發時存在的問題:高風險:Solidity的問題是具有高復雜性和高風險性,開發者以此來編寫智能合約容易存在漏洞,TheDao事件正是這個缺陷的教訓;高難度:很多底層公鏈如Bitcoin、Litecoin、Zcash,Bitshares、Steemit、EOS都是基于C++開發,但問題在于C++語言本身并非針對區塊鏈設計,用其編寫智能合約存在一些不必要的開發難度。在此背景下,Voyage想提供一套部署簡單、具備通用性和安全性的開發工具。部署簡單是指Voyage基于Scala語言,和java高度相似,對于開發者來說較為熟悉;Voyage也可直接應用于Java平臺如EOS上。通用性是說Voyage整合不同的底層公鏈,做出跨鏈、跨平臺的DApp開發者工具——Voyage工具鏈。區塊鏈目前還沒有主導性的編程語言和開發工具包,不同的生態有不同的編程語言,缺少統一性和兼容性。Voyage想通過兩個編譯器來讓A平臺的DApp能在其他底層公鏈上運行,而無需掌握該公鏈的結構或編程語言。同時,Voyage工具鏈將DApp開發常用的函數、組件等封裝成模塊提供給DApp開發者。前面我們說到Solidity具有高復雜性,在此基礎上設計邏輯復雜的智能合約很容易出現漏洞,因此,目前以太坊上的應用邏輯也較為簡單雷同。Voyage基于語言簡單、提供模塊化組件的特點,可較簡單的開發邏輯復雜的合約,減少出現邏輯漏洞。目前,Voyage尚在開發測試中,Beta版預計于Q3上線。除了上面我們提到的這些編程語言,適用于的區塊鏈還有不少方興未艾的開發語言,如GO語言。Go語言在2009年被開發,是一個開源的編程語言,性能高、適用于高并發場景,已成為很多分布式系統的首選語言,使用Go語言開發的項目有以太坊、SiaCoin、IPFS等。延伸閱讀:解決區塊鏈應用落地難題,Voyage要做DApp友好的開發者工具

石油區塊鏈公司 VAKT 牽頭財團開發新加坡電子提單:7月14日消息,新加坡海事港務局 ( MPA ) 選擇基于區塊鏈的石油交易平臺 VAKT 領導其針對水運石油市場的電子提單 (eBL) 的開發。參與該財團開發解決方案的其他公司包括 BP、摩科瑞、Hafnia、Wilhelmsen Ships Service、VOPAK、SMBC、ING 和 Contour。VAKT 表示,通過將提單數字化,僅在石油貿易中就可以在全球范圍內節省數十億美元。

據悉,在實物石油交易中,所有權轉讓仍然是一個復雜的紙質流程,但借助 VAKT 的‘vLogistics’服務,現在有一組 API 允許這些關鍵合作伙伴貢獻他們的數據,以幫助交易者實現所有權轉移。VAKT 的平臺使用以太坊的許可區塊鏈版本。[2022/7/15 2:14:16]

Cardano創始人Charles Hoskinson透露正在開發新穩定幣項目Djed:Cardano創始人Charles Hoskinson稱,其開發公司Input Output Global(IOG)已經創建自己的穩定幣Djed,這是一種“加密貨幣支撐的錨定算法穩定幣”。

Hoskinson最近表示自己一直很忙,并在AMA直播視頻中透露關于Djed的細節。“Djed是一種算法穩定幣協議,運轉方式類似于一家自治銀行,以與目標價格掛鉤的價格區間買賣穩定幣。從某種意義上說,這是一種加密貨幣支撐,即銀行在其儲備中保留一種波動性很大的加密貨幣。”

Hoskinson稱,盡管完整的白皮書尚未發布,但研究人員已經花了大量時間使用Isabelle代碼驗證新項目。Isabelle代碼是計算機科學家用來證明定理并使其易于轉換為代碼的工具。新的穩定幣最終將在Cardano的智能合約平臺Plutus中實現。(The Daily Hodl)[2021/7/18 0:59:46]

黃立成投資的秘銀(Mithril)將在Qtum上開發新的社交媒體應用程序:量子鏈Qtum官方推特宣布,社交媒體區塊鏈項目Mithril計劃在Qtum上開發社交媒體分散應用程序DApps。Mithril 是去中心化的社交網絡,目前在okex價格為3.8626美元,24小時跌幅11.86%;量子鏈Qtum是基于UTXO模型的POS智能合約平臺,現全球均價27.1美元,24小時漲幅5.34%。[2018/3/6]

Tags:VoyageVOYYAG區塊鏈Voyager TokenVOY幣MIYAGI區塊鏈dapp開發合法嗎

非小號
加密貓開發者違反保密協議被起訴_XIO:區塊鏈

區塊鏈和加密貨幣領域定期會出現很多有趣的項目,加密貓就是其中之一。加密貓上線之初就募集了100萬美元,因此受到了很多關注.

1900/1/1 0:00:00
被遺忘的智能合約_TRA:Knight War The Holy Trio

編者按:本文來自橙皮書,星球日報經授權轉載。本文作者為KateSills,翻譯Retric。這篇文章大概是我看過的對“智能合約”這一概念最好的入門綜述了.

1900/1/1 0:00:00
區塊鏈日報 | EOS社區成員對投票受阻表態;韓國將監管數字貨幣交易所;美國運通發布區塊鏈崗位招聘_OIN:比特幣最新消息今天價格

頭條 EOS眾多社區成員對投票受阻表達看法,或因上線前被發現漏洞據Coindesk消息,針對主網投票難以達到15%的現狀,EOSSW/Eden成員VahidToosi稱,大莊家正在場外守候觀望.

1900/1/1 0:00:00
簽約阿森納之后再獲垂青,加密競猜游戲平臺CashBet融資3800萬美金_BET:BETT價格

近日,一站式加密競猜游戲平臺Cashbet宣布完成3800萬美元融資,參與此次投資的機構包括NirvanaCapital、NodeCapital、ASYNC等.

1900/1/1 0:00:00
扎堆上線的區塊鏈競猜,這屆世界杯有點熱鬧_HOME:Homeros

期待已久的世界杯已經進入激情倒數,翹首等待的不僅是億萬球迷,還有瞄準這一億萬市場的各路玩家。今天,又一家競猜游戲平臺擠進擁擠的賽道:區塊鏈游戲「愛鏈LoveChain」上線全新世界杯版本,建立一.

1900/1/1 0:00:00
蘋果iPhone手機上線股票軟件數字貨幣行情、Mac受惡意挖礦軟件攻擊_數字貨幣:MAC

今日,蘋果iPhone手機自帶股票軟件上線數字貨幣行情,比特幣、以太幣、以特幣現金、EOS幣等主流貨幣均已上線.

1900/1/1 0:00:00
ads