又一種新的編程語言問世啦!Simplicity最初是被設計為執行智能合約的低級語言,如今極有可能成為加密貨幣和區塊鏈應用的最佳應用。
Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的:
Simplicity旨在改進現有的加密貨幣語言,例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定義了正式的指稱語義。
萬事達卡提交新的商標申請,以引入用于加密貨幣和區塊鏈交易的軟件:6月20日消息,據美國商標許可律師Michael Kondoudis的推文,支付巨頭萬事達卡(Mastercard)于6月12日提交了一份新的商標申請,以引入用于加密貨幣和區塊鏈交易的軟件,并在虛擬資產服務提供商之間建立用于加密交易的鏈接。[2023/6/20 21:49:01]
同時,Simplicity還引入了一種稱為BitMachine的抽象機器定義的操作語義,用于評估Simplicity程序所需的計算空間和時間資源。
俄羅斯考慮將天然氣相關產品用于加密貨幣開采:據俄羅斯《生意人報》,俄羅斯工業和貿易部、財政部和央行正在討論俄羅斯石油公司的一個項目,使用石油氣相關產品在其油田開采加密貨幣。俄羅斯工業和貿易部副部長9月7日的一封信詢問俄羅斯其他部門和央行的意見。一位匿名官員表示,俄羅斯一家主要石油公司希望擴大其加密貨幣采礦項目,但加密行業處于法律灰色地帶,該公司擔心央行會給予否定回應。[2021/10/20 20:42:56]
由于其Turing不完整性,Simplicity適用于靜態分析,可用于在執行之前導出所需計算資源的上限。雖然Turing不完整,但Simplicity仍然可以執行任何有用的功能,并且我們相信它足以為區塊鏈應用程序構建有用的"智能合約"。
安全公司Uppsala Security發布用于加密威脅檢測的本地解決方案TOMS:基于區塊鏈技術和人工智能的眾包威脅情報平臺Sentinel Protocol的開發商Uppsala Security最近發布了TOMS,該產品旨在滿足對本地解決方案(on-premise solutions)日益增長的需求,以符合加密貨幣領域最新和最嚴格的監管要求。與Uppsala安全產品套件中的其他工具類似,TOMS利用了威脅信譽數據庫(TRDB),這是一個去中心化數據庫,存儲超過5600萬個威脅指標,具有眾包架構,使其驗證數據能夠以近乎實時的方式被世界各地的用戶訪問,并與去中心化技術的要求和特性相互協調。(CryptoNinjas)[2021/3/27 19:22:19]
Simplicity的設計目標是:
創建一個富有表現力的語言,為用戶提供構建程序和智能合約所需的工具。
啟用靜態分析,提供所需計算量的有用上限。
最大限度地減少帶寬和存儲需求,并通過在redemptiontime刪除未使用的代碼來增強隱私。
保持比特幣自設交易的設計,即程序不能訪問交易以外的任何信息。
提供正式的語義,便于使用現有的proof-assistantsoftware。
需要注意的是,"Simplicity是被設計為執行智能合約的低級語言,而不是程序員直接編寫的語言。"
Simplicity是一種類型化的組合語言,這一點很重要。每種類型的Simplicity表達式都有兩種類型:輸入類型和輸出類型。每一個表達式都表示從輸入類型到輸出類型的函數。
"Simplicity的優勢是在于它所具有的功能,而不是它所包含的功能"
這種語言沒有狀態,也沒有命名變量,沒有函數類型(這意味著沒有更高階的函數),也沒有無限循環或遞歸-可以建立contracts狀態來實現循環,而不需要在Simplicity本身內無限循環。
結論
Simplicity可以部署在新的區塊鏈應用中,包括sidechain和比特幣本身,也可以用于需要在潛在對抗條件下傳輸和執行有限程序的任何應用。
目前,Simplicity仍然是一個Blockstream研究和開發項目,未來有可能用于Blockstream產品。它的下一步是發布SimplicitySDK。
Tags:區塊鏈比特幣加密貨幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢加密貨幣是什么意思啊加密貨幣市場還有未來嗎
2020年已經到來,你對未來的設想已經實現了嗎?在很多年以前,人們對未來有著無盡的暢想,有些看似腦洞大開,有些又為科技打開了靈感之門。一起來看看前人對2020年都有過哪些有趣的預測.
1900/1/1 0:00:00近日,韓國專業汽車媒體motorgraph從2016年韓國汽車市場共上市的150多款新車中,評選出了5款年度汽車。這次評選完全是由汽車媒體編輯投票評選產生,因此相對公正客觀.
1900/1/1 0:00:00BBCALL讓韭菜快樂起來 本周看點精選 以太坊再迎全新升級,“君士坦丁堡”將至在上周的核心開發人員會議上,根據利益相關者的說法,作為一系列升級的第二部分.
1900/1/1 0:00:00Billions項目組 以太坊網絡按類別消耗的gas的相對量。交易分為以下類別之一:過去24小時Alameda地址向FTX轉入超3.78億穩定幣資產:11月7日消息,據歐科云鏈OKLink多鏈瀏.
1900/1/1 0:00:00作者宋爽(中國社科院世界經濟與研究所助理研究員)劉東民(中國社科院世界與經濟研究所國際金融室主任)自多部委聯合發布ICO監管公告后,部分虛擬貨幣網站也宣布停止比特幣等虛擬貨幣交易業務.
1900/1/1 0:00:00隨著移動互聯網的發展,如今智能手機早已普及,用戶在智能手機上花費的時間,90%以上都用在了即時通訊的應用.
1900/1/1 0:00:00