又一種新的編程語言問世啦!Simplicity最初是被設計為執行智能合約的低級語言,如今極有可能成為加密貨幣和區塊鏈應用的最佳應用。
Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的:
Simplicity旨在改進現有的加密貨幣語言,例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定義了正式的指稱語義。
Yuga Labs申請注冊“APE”商標 用于加密貨幣和網絡游戲等:11月22日消息,NFT 項目“Bored Ape Yacht Club”創造者 Yuga Labs 向美國專利和商標局(USPTO)提交了“APE”商標申請,用于加密貨幣、網絡游戲、計算機軟件平臺和定制區塊鏈的開發軟件,目前該申請正在等待審核中。[2021/11/22 22:08:05]
同時,Simplicity還引入了一種稱為BitMachine的抽象機器定義的操作語義,用于評估Simplicity程序所需的計算空間和時間資源。
動態 | 日本Kabu.com證券合作DSB開發防洗錢系統 可用于加密貨幣交易:據日經新聞報道,日本Kabu.com證券正與證券系統開發企業Daiko證券合作,開發一款防洗錢及恐怖融資的新系統,以應對今年秋季國際組織反洗錢金融行動特別工作組對日本進行的審查。據悉,除股票交易外,該系統還可用于外匯交易及加密貨幣交易。[2019/4/4]
由于其Turing不完整性,Simplicity適用于靜態分析,可用于在執行之前導出所需計算資源的上限。雖然Turing不完整,但Simplicity仍然可以執行任何有用的功能,并且我們相信它足以為區塊鏈應用程序構建有用的"智能合約"。
韓國大邱檢察院表示“犯罪組織”罪適用于加密貨幣投資詐騙組織:19日,韓國大邱檢察院以涉嫌違反詐騙和登門銷售等相關法律起訴并逮捕了A某,另外以涉嫌刑罰第11條“犯罪組織”起訴了其他9名共犯。A某等人在首爾設立了辦公司,從去年4月開始到12月為止,以投資加密貨幣為由招募投資者。據悉,他們一共從583名受害者處騙取了37億韓元。[2018/3/19]
Simplicity的設計目標是:
創建一個富有表現力的語言,為用戶提供構建程序和智能合約所需的工具。
啟用靜態分析,提供所需計算量的有用上限。
最大限度地減少帶寬和存儲需求,并通過在redemptiontime刪除未使用的代碼來增強隱私。
保持比特幣自設交易的設計,即程序不能訪問交易以外的任何信息。
提供正式的語義,便于使用現有的proof-assistantsoftware。
需要注意的是,"Simplicity是被設計為執行智能合約的低級語言,而不是程序員直接編寫的語言。"
Simplicity是一種類型化的組合語言,這一點很重要。每種類型的Simplicity表達式都有兩種類型:輸入類型和輸出類型。每一個表達式都表示從輸入類型到輸出類型的函數。
"Simplicity的優勢是在于它所具有的功能,而不是它所包含的功能"
這種語言沒有狀態,也沒有命名變量,沒有函數類型(這意味著沒有更高階的函數),也沒有無限循環或遞歸-可以建立contracts狀態來實現循環,而不需要在Simplicity本身內無限循環。
結論
Simplicity可以部署在新的區塊鏈應用中,包括sidechain和比特幣本身,也可以用于需要在潛在對抗條件下傳輸和執行有限程序的任何應用。
目前,Simplicity仍然是一個Blockstream研究和開發項目,未來有可能用于Blockstream產品。它的下一步是發布SimplicitySDK。
Tags:區塊鏈比特幣加密貨幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢加密貨幣是什么意思啊加密貨幣市場還有未來嗎
工信部將籌建區塊鏈相關技術委員會被熱炒的區塊鏈或將很快迎來“國家隊”。近日,鑒于ISO等國際標準化機構已紛紛啟動區塊鏈標準化工作,有消息稱工信部也已經決定籌建區塊鏈相關技術委員會,推動建立標準委.
1900/1/1 0:00:00從無名小卒,幾乎沒有任何宣傳,到超越萊特幣,EOS等,目前位列全部虛擬貨幣市值的第五名,Cardano及其艾達幣到底是何方神圣呢? 創始人團隊 Cardano由一家基于香港的IT公司IOHK開發.
1900/1/1 0:00:00我們總是說“科技改變生活”,實際上,每一年我們都會發現一些具有創新意味的科技成果。下面是百分網小編為你精心推薦的改變未來的十大新科技,希望對您有所幫助.
1900/1/1 0:00:00卡圖原創 作者:倪劍光 假如未來有一類“黑科技”,它既能扮演“讀心術”,幫你猜出心儀妹紙的心思;也能解讀腦電波.
1900/1/1 0:00:00據法新社3月26日報道,中國26日啟動了以人民幣計價的原油期貨合約,外國投資者將首次有機會購買中國大宗商品期貨。這個世界第一大原油進口國當前尋求提高對全球油價的影響力.
1900/1/1 0:00:00區塊鏈記賬原理 區塊鏈(1.0)是一個基于密碼學安全的分布式賬本,是一個方便驗證,不可篡改的賬本.
1900/1/1 0:00:00