智慧合約“程式碼即法律”基礎設施建設者——朱蒂提亞(Justitia)公鏈在第一屆上海Block Club區塊鏈大會路演
全文共計965字，預計閱讀2分鐘
布洛克科技按：朱蒂提亞(Justitia)公鏈是智慧合約“程式碼即法律”基礎設施建設者，Justitia是目前最安全的主鏈。系統形式化驗證，是航天航空的系統驗證技術；世界最先進的驗證技術，充分保證智慧合約的正確釋出。
10月19日，朱蒂提亞(Justitia)公鏈在第一屆上海Block Club區塊鏈創投大會發表路演，執行董事薛剛在大會上進行了路演展示。
就目前大環境而言，區塊鏈安全正迎接著挑戰，2018上半年區塊鏈安全問題造成損失27億美元。區塊鏈自身機制而導致的事件問題如智慧合約問題，存在約51%的攻擊問題，包括交易延展性攻擊、雙花攻擊、垃圾交易攻擊、扣塊攻擊等。
Justitia是目前最安全的主鏈，系統形式化驗證，是航天航空的系統驗證技術；世界最先進的驗證技術，充分保證智慧合約的正確釋出。
眾所周知，區塊鏈行業的人才缺口巨大——區塊鏈人才缺口75萬，年薪百萬無人領。而區塊鏈僅僅只是開始，智慧合約工程師的缺口將會更加巨大。
Justitia極速開發——由過去的幾十人，經歷大半年時間，耗費數百萬的專案，採用Justitia的精益開發方式，普通程式員幾天就能操作熟練；資料庫一鍵轉為區塊鏈，寫智慧合約就像搭積木般快速便捷，批量化生產智慧合約，自動檢測、自動部署、自動執行，智慧合約市場，可提供海量合約元件；強力社群，開源維護——產品的維護通常佔整個成本的70%，開發完畢僅僅是個開始，未來還有3倍的開發支出等著支付，而Justitia社群將可以以極低成本獲得開發、維護等一系列服務。
Justitia公鏈的特點：從技術架構邏輯上來說，程式碼法律化——計演算法律學法律程式碼技術；程式碼可信化——形式化驗證方法,一致性測試方法；程式碼智慧化——人工智慧、眾智化開發；公信生產機制——DAC社群開發；朱蒂提亞(Justitia)專案——DAC生產生態系統、Justitia公鏈和代幣。眾智社群是新一代社群；新一代法律程式碼公鏈——智慧合約工程將帶動成為智力生產力騰飛。
Justitia公鏈的團隊包括IBM、vmware、accenture埃森哲、inspur浪潮、SNOA盛大網路、擁有5年以上的研發經驗，碩士、博士專業團隊，30多人的研發團隊。
Justitia公鏈已有的成績：發明了專利二十餘項，軟體著作權十餘項，著作四部；核心刊物論文上百篇；已完成國家級專案十餘項，落地區塊鏈專案一批；獲得過國家自然科學基金四項，其他基金和重要專案十餘項。
薛剛表示，從2018年，Justitia專案立項，Justitia專案將在2019年啟動節點選舉、主網上線並完成資料對映、擴充套件形式化驗證功能公鏈支援側鏈架構、開發准入工具。
來源：布洛克科技
本文由布洛克專欄作者釋出，代表作者觀點，版權歸作者所有，不代表布洛克科技觀點
——TheEnd——
關注“布洛克科技”
