比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

區塊鏈:用于加密貨幣和區塊鏈的語言Simplicity

Author:

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

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

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

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

Google Cloud安全報告:86%的被盜賬戶被用于加密貨幣挖礦:11月30日消息,谷歌提醒用戶,惡意行為者利用被攻擊的谷歌云賬戶來挖掘加密貨幣。谷歌云賬戶可以獲得處理能力,可以很容易地被重新定向以執行惡意任務。根據谷歌為提高對其平臺安全弱點的認識而發布的第一份 \"威脅地平線 \"報告,86%的受損賬戶被用于此目的。

該報告指出,在云中開采加密貨幣會導致CPU和/或GPU功率的高度使用。它還提到了Chia等替代性加密貨幣的開采,這些貨幣使用存儲空間作為開采資源。(bitcoin news)[2021/11/30 12:40:27]

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

俄羅斯考慮將天然氣相關產品用于加密貨幣開采:據俄羅斯《生意人報》,俄羅斯工業和貿易部、財政部和央行正在討論俄羅斯石油公司的一個項目,使用石油氣相關產品在其油田開采加密貨幣。俄羅斯工業和貿易部副部長9月7日的一封信詢問俄羅斯其他部門和央行的意見。一位匿名官員表示,俄羅斯一家主要石油公司希望擴大其加密貨幣采礦項目,但加密行業處于法律灰色地帶,該公司擔心央行會給予否定回應。[2021/10/20 20:42:56]

由于其Turing不完整性,Simplicity適用于靜態分析,可用于在執行之前導出所需計算資源的上限。雖然Turing不完整,但Simplicity仍然可以執行任何有用的功能,并且我們相信它足以為區塊鏈應用程序構建有用的"智能合約"。

印度播主的YouTube頻道CarryisLive已恢復,此前被黑客入侵用于加密詐騙:印度頂級YouTuber Carry Minati(真名為Ajey Nagar)的第二個頻道CarryisLive此前被黑客入侵。在推特表示,“我的頻道現在又回來了。我不知道是誰干的以及為什么,但感謝YouTube的即時支持。”

據此前報道,CarryisLive被黑客入侵,成為比特幣詐騙的一部分。據報道,Carry Minati通常用CharryIslive發布游戲視頻。該頻道被入侵后,發布兩個名為“以太坊財報電話會議”(涉及比特幣和以太坊贈品騙局)和“慈善直播:幫助阿薩姆邦和比哈爾邦”的視頻,要求用戶捐贈比特幣。這些視頻已經被刪除。(Koinalert)[2020/7/28]

Simplicity的設計目標是:

創建一個富有表現力的語言,為用戶提供構建程序和智能合約所需的工具。

啟用靜態分析,提供所需計算量的有用上限。

最大限度地減少帶寬和存儲需求,并通過在redemptiontime刪除未使用的代碼來增強隱私。

保持比特幣自設交易的設計,即程序不能訪問交易以外的任何信息。

提供正式的語義,便于使用現有的proof-assistantsoftware。

需要注意的是,"Simplicity是被設計為執行智能合約的低級語言,而不是程序員直接編寫的語言。"

Simplicity是一種類型化的組合語言,這一點很重要。每種類型的Simplicity表達式都有兩種類型:輸入類型和輸出類型。每一個表達式都表示從輸入類型到輸出類型的函數。

"Simplicity的優勢是在于它所具有的功能,而不是它所包含的功能"

這種語言沒有狀態,也沒有命名變量,沒有函數類型(這意味著沒有更高階的函數),也沒有無限循環或遞歸-可以建立contracts狀態來實現循環,而不需要在Simplicity本身內無限循環。

結論

Simplicity可以部署在新的區塊鏈應用中,包括sidechain和比特幣本身,也可以用于需要在潛在對抗條件下傳輸和執行有限程序的任何應用。

目前,Simplicity仍然是一個Blockstream研究和開發項目,未來有可能用于Blockstream產品。它的下一步是發布SimplicitySDK。

Tags:區塊鏈比特幣加密貨幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢加密貨幣是什么意思啊加密貨幣市場還有未來嗎

火幣網下載官方app
NFT:為什么是NFT而不是DeFi將Ethereum帶入主流?

作者|LesaMoné 你在網上幾乎不能不讀到關于NFT的信息。NFT代表了稀缺數字藝術的可證明所有權,它們正在風靡全球.

1900/1/1 0:00:00
OHO:人民幣逼近7:外匯儲備28個月減少8000億美元

人民幣兌美元中間價已越過6.90的心理關口,創下8年新低,“7時代”的腳步聲已在耳畔。自去年“匯改”以來,多家權威媒體屢次撰文認為人民幣不存在持續大幅貶值的基礎,但人民幣中間價在一年多時間已經下.

1900/1/1 0:00:00
比特幣:比特幣勒索病來襲!比特幣究竟是什么?贖金為什么是比特幣而不是美元或者人民幣?

近日,勒索病在全球范圍內爆發,中國的校園網也未能幸免,有學生畢業論文被病加密,只有支付價值三百美元贖金的虛擬貨幣才能解鎖。用來支付贖金的虛擬貨幣,則是眾人熟知卻道不出所以然的比特幣.

1900/1/1 0:00:00
Quant:日本量子計算機開發最前沿!中國與其相比實力幾何?

量子計算機,聽起來十分“高大上”的一個名詞,雖然并沒有實際的走入人們的生活,可是如果成功的商用化,那將對世界造成“前所未有”的史詩級沖擊.

1900/1/1 0:00:00
比特幣:睡前創投圈11.28|馬斯克被曝是比特幣之父 15家公司完成融資...

導語 睡前了解今日創投熱點,鉛筆道新開“睡前創投圈”欄目,為讀者整合每日圈內熱點及最新融資信息。創業者、投資人關心的熱點,就是我們想要講述的故事。以下是11月28日的創投圈熱點新聞.

1900/1/1 0:00:00
胡蘿卜:“孔方兄”有大文章!

回鶻汗國鑄造的“日月光金”錢幣我們都知道,兌換貨幣是現代人走出國門前,準備工作中的一個必要環節.

1900/1/1 0:00:00
ads