浙大 INCAS實驗室BitWalk :Tako智能合約在線服務平臺——維特鏈開發大賽生態解密第3期

2021-02-18 VNT分布式智能價值網絡


9月16日,「維特鏈開發大賽生態解密直播間」系列活動第3期,我們邀請到浙江大學INCAS 實驗室BitWalk小組隊長黃諍傑同學,對他們研發優秀的參賽作品《Tako智能合約在線服務平臺》進行了分享。

本文主要整理於「維特鏈開發大賽生態解密」第3期直播分享內容。

在數字經濟高速發展的新時代,傳統產業轉型升級,利用區塊鏈技術創新傳統應用, 成為各行業應用領域的廣泛需求。傳統應用實施區塊鏈的重要難點在於對原有應用業務流程梳理,開發區塊鏈上的智能合約。應用業務人員不懂開發,智能合約開發專業技術人員不懂業務,智能合約開發工具缺乏,成為當前阻礙區塊鏈應用快速落地的痛點。Tako項目組提出一個智能合約集成在線服務系統,致力於降低智能合約開發難度,讓不懂編程的業務人員也能開發合約,也減少合約專業開發人員的工作量,加速區塊鏈應用落地。

Tako是一個全球首個零門檻智能合約開發權流程解決方案,提供了集智能合約可視編輯、合約代碼生成、形式化安全檢測到一鍵快速部署上鏈的一站式解決方案, 成為最強的「區塊鏈應用落地推進器」


頁面展示


Tako項目團隊源自浙江大學計算機科學與技術學院智能計算與系統實驗室(Incas)區塊鏈團隊。Tako團隊擁有浙江大學區塊鏈俱樂部負責人、全球區塊鏈大賽冠軍獲得者等多位區塊鏈技術專業人才,團隊組員包含了計算機、金融、管理、財務會計等多方面的優秀人員以及創新創業思想非常活躍的人員。團隊不但技術優勢明顯,而且在管理、市場和運營方面也有比較紮實的基礎人才。


1.聽完你們的項目介紹,我們大概可以概括一下,Tako一句話介紹是:為智能合約開發提供一站式解決方案,你們開發這個項目的初心是什麼呢?解決市場哪些痛點?

區塊鏈前景廣闊,但應用落地困難,最重要的一點在於區塊鏈落地的載體——當前智能合約的開發環境還不成熟,開發難度較高。主要體現在需要掌握專門的計算機語言、合約安全性難以保證、部署合約上鏈較為複雜等方面;同時目前該領域也缺乏較為成熟的專門針對智能合約進行管理和交易的平臺,這嚴重製約了合約的流通和創新。

面對編程門檻高、安全性難以檢驗、上鏈複雜等行業痛 點,Tako為用戶提供了實現智能合約的圖形可視化編程與快速代碼生成服務、支持多語言的形式化安全驗證和審計服務以及基於可信優質合約管理和交易的線上合約商店服務等集成化的一站式解決方案。

2.目前市場上是否有類似的項目?如果有,相比於其他項目,《Tako》的核心優勢體現在哪些方面?

當前,市場上存在著Aries、DApp Builder等智能合約開發工具,但這些工具大多只能針對部分場景,例如Dapp開發或者特定鏈開發,且不支持形式化驗證方法,缺乏一站式解決方法。

Tako結合了這些項目的優點,是一個全球首個零門檻智能合約開發權流程解決方案,提供了集智能合約可視編輯、合約代碼生成、形式化安全檢測到一鍵快速部署上鏈的一站式解決方案, 成為最強的「區塊鏈應用落地推進器」

 

3.「區塊鏈應用落地推進器」定位為《Tako》目標,請問你們《Tako》開發時設計思路是怎麼樣的?開發中有設計什麼亮點?

Tako智能合約在線服務系統的主要功能組成。主要功能包括支持多用戶使用的用戶註冊管理功能、可視化合約編輯器功能、安全檢測功能、合約倉庫、合約商店以及合約部署上鏈功能。

Tako平臺主要有以下幾個亮點:基於Blockly的圖形可視化編輯技術、基於符號執行和機器學習的合約安全檢測技術、基於React和 Django的前後端開發技術以及基於多種區塊連結口的部署上鏈技術。

 

4.剛才前面你也提到了現在智能合約服務市場廣闊,你們有什麼宣傳推廣的規劃,來吸引第一批種子用戶呢?

現階段Tako支持個人版,個人用戶可以在此平臺上編寫、審核、發布智能合約,因為可視化編程的優勢, 對於無技術背景的用戶以及會寫程序的開發者而言,他們可以根據不同應用場景不 同的業務流程規則構建不同的智能合約,也可以在合約商店購買合適的合約模板或 解決方案模板以供使用,如存證合約、交易合約和通證合約等。

再之後,我們會推出企業版。企業基於Tako平臺,可以搭建企業內部管理的平臺,也可以攜手合作夥伴為用 戶快速、低成本地構建安全、高效、可靠、靈活的企業級區塊鏈解決方案和應用, 如供應鏈管理和溯源、供應鏈金融等。

吸引種子用戶:

Tako會藉助主流信息平臺等各類線上渠道,與微信、微博等平臺等自媒體合作, 展現智能合約在多場景下的應用,強調區塊鏈服務的優越性及智能合約的便利性, 快速提升Tako曝光度,擴大知名度與影響力。這不僅可以對產品進行宣傳,而且可 以迅速反饋市場信息,有利於產品迭代。

 

5.之前在你們提交作品的時候,了解到你們Tako團隊技術紮實,共計申請授權專利及軟體著作權超過40餘項,請問你們項目的發展目標或者規劃是什麼,可以和大家分享一下嗎?

Tako將在接下來的時間不斷推廣產品,同時增加社群合作和校內合作,為提高產品的完成度,例如提高產品的形式化驗證效果,增加產品的知名度,為產品之後的開發提供動力。

這是我們GitHub上的作品連結,歡迎大家交流探討https://github.com/ZJU-INCAS/chaincodedesigner

 

6.VNT Chain希望能給開發者們提供更多的支持, 如果後續作品上線,你希望得到VNT Chain 社區什麼樣的支持?無論是宣傳PR上,還是導師在創業輔導上,或者其他合作上的支持,談談你的想法?

如果後續作品上線,希望能夠藉助VNT Chain這樣的大平臺,為產品提供更多的用戶流量,同時也希望能夠藉助VNT Chain的強大技術實力來幫助打磨我們的產品。

接下來是導師點評環節,在嘉賓黃諍傑隊長的分享後,我們也有請到導師黃步添博士親自對浙江大學 INCAS 實驗室BitWalk 小組作品《Tako智能合約在線服務平臺》 進行點評指導。

   導師-VNT Chain聯合發起人黃步添    

建議為用戶提供一些便捷的可視化標準合約模版,比如發行資產、競猜類等,讓不懂得編程的用戶也能編寫合約,生成可視化應用界面,成為合約的appstor

    組長黃諍傑

謝謝黃博的指導 我們之後會在產品中不斷擴充模版 為用戶提供更多的模版以供選擇!


導師-VNT Chain聯合發起人黃步添    

該項目曾獲得大賽冠軍、黑客松亞軍,希望再接再

以上是「維特鏈開發大賽生態解密」第3期直播分享的全部內容,有任何技術問題都可以在我們開發群裡交流。另外根據大家的需求,我們也會不定期舉辦線下技術交流會,到時候歡迎大家參加。感謝大家的支持,我們社區後面會針對開發者出激勵方案,歡迎大家關注。



延伸閱讀

*  VNT Chain 1.1版 中英文白皮書 獲取方法:

公眾號後臺回復「白皮書」,獲取中英文完整版。

*極速了解本項目的方法:

關注公眾號,點擊左下角菜單欄「快速了解」即可。

社區直通車

官網:www.vntchain.io

微信公眾號:VNT分布式智能價值網絡

微信官方群:添加小助手 info_vntchain

官方微博:weibo.com/vntchain

幣乎:VNTChain

Telegram中文群:

t.me/VNTChainLabsCN

Telegram英文群:

t.me/VNTChainLabs

Twitter:

twitter.com/VNTChainLabs

Facebook:

www.facebook.com/VNTChain

Medium:

medium.com/vnt-chain-labs

Official Email:info@vntchain.io

Github:github.com/vntchain

相關焦點

  • AIoT平臺塗鴉智能加入ioXt聯盟引領生態
    塗鴉智能是一個全球雲開發平臺、AI+IoT開發者平臺,連接消費者、製造品牌、OEM廠商和連鎖零售商的智能化需求,為開發者提供一站式人工智慧物聯網的PaaS級解決方案。並且涵蓋了硬體開發工具、全球雲、智慧商業平臺開發三方面,提供從技術到營銷渠道的全面生態賦能,打造世界領先的IoT OS。              塗鴉智能遵守國內外信息安全標準和行業要求,將合規要求和標準整合到內部控制框架中,並在雲平臺和產品中進行設計,實施要求和標準。同時,塗鴉智能還與獨立第三方安全服務、諮詢和審計機構進行合作, 驗證和保障了塗鴉雲平臺的合規性和安全性。
  • 聚焦2020百度雲智峰會智能生態分論壇 重磅發布雲智新生態戰略
    在下午舉行的智能生態專題論壇上,百度副總裁朱亞立重磅發布了雲智新生態戰略,預計在各個產業發展10000家合作夥伴。百度副總裁李碩在會上分享工業網際網路產業智能化新思考。百度AI技術平臺體系戰略投資總監王亮非展示了助力生態夥伴產業智能化成果,並舉行了百度AI加速器第七期的開營儀式。
  • 聚焦2020百度雲智峰會智能生態分論壇,重磅發布雲智新生態戰略
    在下午舉行的智能生態專題論壇上,百度副總裁朱亞立重磅發布了雲智新生態戰略,預計在各個產業發展10000家合作夥伴。百度副總裁李碩在會上分享工業網際網路產業智能化新思考。百度AI技術平臺體系戰略投資總監王亮非展示了助力生態夥伴產業智能化成果,並舉行了百度AI加速器第七期的開營儀式。
  • 教程 | 【Ethereum 智能合約開發筆記】深入 Ethereum 智能合約 ABI
    -以太貓合約 ABI-開發 DApp 時要呼叫在區塊鏈上的 Ethereum 智能合約,就需要智能合約的 ABI。本篇希望更多了解 ABI,像是為什麼需要 ABI?如何解讀 Ethereum 的智能合約 ABI?以及如何取得智能合約的 ABI?
  • 智能合約安全綜述
    3 智能合約鏈上安全智能合約鏈上安全主要關注智能合約及其與區塊鏈內部要素交互過程中的安全性,如智能合約架構設計安全、代碼安全、運行安全等。下面從智能合約鏈上代碼的架構設計安全(主要開發框架、設計模式)、代碼安全(代碼自身安全性)以及安全性分析3個方面進行總結歸納。3.1 架構設計安全智能合約架構設計安全分為開發框架安全和設計模式安全。
  • 從代幣經濟到人人可用戰略,Line區塊鏈生態系統關鍵平臺終於到位
    在2018年披露的Line區塊鏈架構中,包括了3層,底層是Root-chain(根鏈)和Leaf-chain(支鏈)架構組成的LINEAR Network(也就是LINK Network),負責dApp智能合約和各類錢包的管理,另外還有一個LINK Scan網站服務,可以查詢所有LINK交易記錄的信息透明化機制。
  • OPPO加快構建「應用生態系統」:Hello Watch軟體開發大賽今日上線
    3月31日,OPPO宣布舉辦主題為「Hello Watch」的OPPO Watch App開發大賽,活動現已正式上線。從即日起到5月31日,為作品徵集階段,參賽個人或團隊均可登錄大賽官網,進行報名和作品上傳。繼發布旗下首款智能手錶系列後,此次OPPO又第一次嘗試在智能穿戴產品上做App開發大賽,一系列舉動背後,標誌著OPPO打造應用生態系統的決心。
  • 謝凱:農業銀行構建「金融+場景+服務」的開放生態
    前臺通過渠道平臺實現業務條線在全渠道快速發布產品,線上線下協同發展;中臺建成分布式核心系統和業務中臺,支持個性化、多樣化產品與服務的快速靈活構建,全面支撐業務快速開發與創新,支撐場景金融生態業務拓展;後臺通過關鍵技術的整合,賦能業務智能化及資源集約化。
  • 新氧「黑科技與新媒體矩陣」助力醫美在線服務平臺 倍受用戶青睞
    財報數據顯示,截至2020年9月30日,新氧科技第三季度總收入3.596億元人民幣,同比增長18.9%。非美國通用會計準則淨利潤2,640萬元人民幣。新氧移動端平均月活躍用戶870萬,同比增長153.7%,預約服務的付費用戶總數251,928,付費醫療機構數4,096家,同比增長26.8%。本季度,新氧平臺促成醫美服務交易總額超11億元。
  • 創新遙感監測技術,助力海洋生態修復|第八期參會通道開啟|2020年...
    創新遙感監測技術,助力海洋生態修復|第八期參會通道開啟|2020年海洋裝備產業「抗擊疫情、助力發展… 2020-09-24 09:34 來源:澎湃新聞·澎湃號·政務
  • ACM亞洲區冠軍、最強大腦、程式設計師鼓勵師……這個黑客松大賽有點意思
    試想一下,所有的開發時間壓縮到 30 小時,這意味著什麼?大腦連軸轉,手指敲擊鍵盤,意志力和精神狀態在崩潰的邊緣來回試探。據了解,此次進入決賽的選手來自於清華、北大、復旦、浙大等知名院校的學生,其中包含最強大腦第二季 12 強選手、ACM 亞洲區冠軍選手,實力不容小覷。
  • 瑞薩電子與中國一汽成立聯合實驗室 加速面向中國市場的下一代智能...
    全球半導體解決方案供應商瑞薩電子集團(TSE:6723)與先進汽車製造商中國第一汽車股份有限公司(FAW)宣布,於2020年12月1日在中國長春成立了聯合實驗室,展開深度合作,助力中國一汽打造其智能駕駛自主開發平臺,共同開發自動駕駛、智能座艙、動力總成、車身控制等車載電控系統解決方案,並將首先應用於一汽旗艦品牌紅旗車型中。
  • 浪潮重磅升級AI開發平臺AIStation 全面開放生態夥伴產品對接能力
    近日,浪潮重磅升級人工智慧開發平臺AIStation3.0,打造更加完善和快捷的生態夥伴產品對接能力,實現與元腦生態夥伴的多元化AI開發工具、模型算法與解決方案無縫對接、融合,推動AI應用在實際生產環境中的敏捷開發、快速部署與持續創新。
  • 渤海銀行發布一攬子金融生態創新解決方案 電子智能存錢罐「零錢...
    12月9日,渤海銀行股份有限公司(下稱「渤海銀行」)在不久前正式揭牌並投入使用的蘇州「生態銀行創新實驗室」舉行了首場生態銀行產品發布會。發布會上,渤海銀行向出席活動的百餘位合作方、重點客戶、媒體及公眾代表發布了渤海金融生態創新一攬子解決方案。
  • 百度飛槳秀出最新成績單,產業應用、人才培養、開源生態全面繁榮
    200+,飛槳企業版EasyDL智能數據服務升級,飛槳硬體生態路線圖以及攜手全球開發者開啟「大航海」計劃。飛槳提供了自主可控的堅實底座,加速AI產業生態構建。底層技術的不斷迭代也在強化飛槳企業版的服務能力。飛槳企業版包括零門檻AI開發平臺EasyDL和全功能AI開發平臺BML,分別針對AI應用開發者和AI算法開發者提供極致開發體驗。百度AI平臺研發部總監忻舟介紹了飛槳企業版發布和升級的兩大亮點功能:全新AI集成開發環境和智能數據服務平臺。
  • 民生銀行小程序開發平臺、新竹+靈犀、NLP PaaS、混合雲創新實踐
    模式創新方面,平臺利用開放技術生態構建閉環商業生態,利用小程序開放技術生態,低成本、更便捷、更高效、規模化為銀行引入豐富的移動場景應用,具備「多、快、好、省」的四項特點。告別傳統「煙囪式」的系統部署理念,以統一的「機構-機器人-領域知識」三層知識體系的平臺化管理為各個金融場景提供標準的自然語言理解服務。每一個機構租戶(包括總行、分行甚至支行)可根據不同渠道構建不同的機器人。模式創新方面,在線訓練模式,釋放業務自助訓練模型的能力,降低對科技開發資源的重度依賴。
  • 再添全球創新平臺!Sci中加國際創新(坪山)中心啟動
    讀創/深圳商報記者 管亞東2020年12月18日,又一連結海外高端創新資源的平臺落戶坪山。中心以「創新空間為載體,科創服務為基石,創業投資為核心」,不僅搭建起連接中國與加拿大之間的科創平臺,更攜手36個全球合作夥伴打造全球化的創新生態體系,以節點形式將每個創新者連結,通過技術、資本、人才、信息等創新要素共享,賦能創新者如同跨國企業一樣便利地使用來自全球的創新資源,從而創造並且實現價值。
  • WAVE SUMMIT+2020深度學習開發者峰會召開,飛槳開源生態繁榮成勢
    版,端雲協同的AI集成開發環境BMLCodeLab,支持更強大分布式訓練的業界首個通用異構參數伺服器架構,開源算法庫增至200+,飛槳企業版EasyDL智能數據服務升級,飛槳硬體生態路線圖以及攜手全球開發者開啟「大航海」計劃。
  • 以太坊智能合約開發——truffle的使用(一)
    本文需要linux和一些區塊鏈的前置技能,個人使用環境為wsl Ubuntu 20.04Trufle可以讓我們在本地開發智能合約的時候更加輕鬆2.私鏈啟動 Command-line Options | Go Ethereum [連結2]geth的CLI指令在這個文檔裡有詳細的說明本次教程主要是智能合約開發中
  • 全球硬科技開發者大會(廈門)開幕,塗鴉智能宣布限時免費開放雲開發...
    開放生態和平臺服務能力,並且重磅宣布塗鴉雲開發平臺正式上線,面向全球開發者限時免費開放。 塗鴉雲開發平臺將其包含 Open API 在內的各類雲端服務開放給開發者,同時開發者可依託塗鴉智能在各個垂直行業的既有PaaS能力,快速實現多元智慧場景的商業落地。       塗鴉雲開發平臺即日起對全球開發者限時免費開放後,已註冊的開發者,享有1年免費使用的權益;全新註冊的開發者,可免費使用3個月。