區塊鏈:用于加密貨幣和區塊鏈的語言Simplicity_加密貨幣區塊鏈工程專業學什么

Author：

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

又一種新的編程語言問世啦!Simplicity最初是被設計為執行智能合約的低級語言，如今極有可能成為加密貨幣和區塊鏈應用的最佳應用。

Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的：

Simplicity旨在改進現有的加密貨幣語言，例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定義了正式的指稱語義。

美SEC主席：證券法仍適用于加密貨幣:8月23日消息，日前，美國證券交易委員會（SEC）主席Gary Gensler表示，會像對待其他資本市場一樣對待加密貨幣，沒有理由因為加密市場使用不同的技術就將它與其他資本市場區別開來，即使新技術出現，保護投資者的證券法也會繼續適用。（華爾街日報）[2022/8/23 12:42:07]

同時，Simplicity還引入了一種稱為BitMachine的抽象機器定義的操作語義，用于評估Simplicity程序所需的計算空間和時間資源。

獨家 | SEC委員：豪威測試可能不適用于加密貨幣，很多加密資產具有獨特的特性:金色財經現場報道，今日在舊金山區塊鏈周的主會上，美國證券交易委員會委員、“加密媽媽”Hester Peirce表示，監管政策應該更清晰，讓創新者知道自己的位置，哪些是合規的，哪些是不合規的。加密資產最讓人興奮的地方在于它們具有互聯網貨幣的潛力，或許還是可以和黃金媲美的更安全的價值存儲工具。Peirce稱，事實上，SEC正在試圖定義一個時間“安全港”框架，從代幣發行至代幣開始用起來的這段時間，這樣就可以在不違背證券法的同時允許在監管框架內創新。Peirce表示自己的觀點已經改變了，豪威測試可能不適用于加密貨幣，SEC需要更清楚，因為很多加密資產具有自己獨特的特性。我們可以看到，好的監管有時候不是來自政府，相反來自市場參與者。行業自律組織的作用很大，監管者應該和各種團體密切合作。Peirce最后表示，SEC不能決定哪個技術最終能成功，但是SEC還是應該深入理解行業。[2019/11/1]

由于其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和比特幣本身，也可以用于需要在潛在對抗條件下傳輸和執行有限程序的任何應用。