Solidity

Solidity

Solidity的てき標しるべ誌し
当とう前ぜん版本はんぽん	0.8.27 (2024年ねん9月がつ4日にち；穩定版本はんぽん)
網あみ站	github.com/ethereum/solidity
啟發けいはつ語ご言げん
JavaScript、C++、Python、PowerShell

Solidity是ぜ一種合約導向式語言，被ひ應用おうよう於各種かくしゅ不同ふどう的てき區く塊かたまり鏈平台ひらだい，其主要よう開發かいはつ者しゃ為ため加か文ぶん·伍ご德とく，Christian Reitwiessner，Alex Beregszaszi，Liana Husikyan，Yoichi Hirai和わ其他幾いく位い早期そうき以太坊ぼう核心かくしん貢獻こうけん者しゃ。Solidity 可か使つかい程ほど式しき開發かいはつ人員じんいん能のう在ざい區く塊かたまり鏈上（例れい如以太ふとし坊ぼう）編へん寫うつし智能ちのう合あい約やく。

歷史れきし

Solidity的てき語法ごほう概念がいねん最早もはや是ぜ由ゆかり加か文ぶん·伍ご德とく在ざい2014年ねん提出ていしゅつ，後期こうき則そく以Christian Reitwiessner所領しょりょう導しるべ的てき以太坊ぼう團だん隊たいSolidity接せっ手しゅ開發かいはつ。該語言げん是ぜ針はり對たい以太坊ぼう虛きょ擬なずらえ機き（EVM）所しょ設計せっけい的てき四よん種しゅ語ご言げん之の一いち（其他的てき還かえ有ゆうSerpent，LLL，Viper（實驗じっけん中ちゅう）和かずMutan（已やめ棄用））。有ゆう關せき這些語ご言げん的てき更さら多た信しん息いき，請參閱以太坊ぼう編へん程ほど語ご言げん。

Solidity是ぜ目前もくぜん在ざい以太坊ぼう及其他た以太坊ぼう競爭きょうそう平台ひらだい中ちゅう的てき主要しゅよう編へん程ほど語ご言げん，例れい如Monax及其Burrow Hyperledger的てき區く塊かたまり鏈就是ぜ使用しようTendermint完成かんせい共ども識機制せい。 SWIFT亦また已やめ經けい使用しようSolidity在ざいBurrow上じょう完成かんせい了りょう概念がいねん驗けん證しょう。

康かん奈爾大學だいがく的てき研究けんきゅう人員じんいん指出さしで，Solidity即そく是ぜ導しるべ致DAO在ざい2016年ねん被ひ駭客攻擊こうげき的てき部分ぶぶん原因げんいん之の一いち。他た表示ひょうじ：“這實際ぎわ上じょう並なみ不ふ是ぜDAO合同ごうどう本身ほんみ的てき缺陷けっかん或ある漏も洞ほら；技術ぎじゅつ上じょう來き說せつ，DAO確實かくじつ是ぜ在ざいEVM上じょう如預期き般地被ひ執行しっこう，反はん而是Solidity將はた安全あんぜん上じょう的てき漏も洞ほら引入了りょう合あい約やく之これ中ちゅう，而這些漏洞ほら不ふ僅沒被ひ開發かいはつ社しゃ群ぐん察覺，Solidity語ご言げん的てき設計せっけい者しゃ們也忽ゆるがせ略りゃく了りょう。

描述

Solidity是ぜ一いち種しゅ靜態せいたい型がた別べつ的てき程ほど式しき語ご言げん，用よう於開發かいはつ在ざいEVM上じょう執行しっこう的てき智能ちのう合あい約やく。 Solidity被ひ編へん譯やく為ため可か在ざいEVM上じょう執行しっこう的てき位い元もと組ぐみ碼。 藉由Solidity，開發かいはつ人員じんいん能のう夠編寫うつし出で可か自我じが執行しっこう其欲實現じつげん之の商業しょうぎょう邏輯的てき應用おうよう程ほど式しき，該程式しき可か被ひ視し為ため一份具權威性且永不可悔改的交易合約。對たい已やめ具備ぐび程ほど式しき編輯へんしゅう能力のうりょく的てき人じん而言，編へん寫うつしSolidity的てき難易なんい度ど就如同どう編へん寫うつし一般的程式語言。

Gavin Wood最初さいしょ在ざい規ぶんまわし劃Solidity語ご言げん時じ參照さんしょう了りょうECMAScript的てき語法ごほう概念がいねん，使つかい其對現有げんゆう的てきWeb開發かいはつ者しゃ更さら容易ようい入門にゅうもん；與あずかECMAScript不同ふどう的てき地方ちほう在ざい於Solidity具有ぐゆう靜態せいたい型がた別べつ和わ可變かへん返かえし回かい型がた別べつ。而與目前もくぜん其他EVM目め標語ひょうご言ごと（如Serpent和わMutan）相しょう比ひ，其重要じゅうよう的てき差異さい在ざい於Solidity具有ぐゆう一いち組くみ複雜ふくざつ的てき成員せいいん變數へんすう使し得とく合あい約やく可か支援しえん任意にんい階層かいそう的てき映うつ射和いざわ結構けっこう。Solidity也支援しえん繼承けいしょう，包含ほうがんC3線せん性せい化か多重たじゅう繼承けいしょう。 另外還かえ引入了りょう一いち個こ應用おうよう程ほど序じょ二に進しん制せい接せっ口こう（ABI），該接口こう（ABI）可か在ざい單たん一合同中實現多種類型安全的功能。 

以下いか為ため使用しようSolidity編へん寫うつし的てき程ほど式しき範はん例れい:

contract GavCoin
{
  mapping(address=>uint) balances;
  uint constant totalCoins = 100000000000;

  /// Endows creator of contract with 1m GAV.
  function GavCoin(){
      balances[msg.sender] = totalCoins;
  }

  /// Send $((valueInmGAV / 1000).fixed(0,3)) GAV from the account of $(message.caller.address()), to an account accessible only by $(to.address()).
  function send(address to, uint256 valueInmGAV) {
    if (balances[msg.sender] >= valueInmGAV) {
      balances[to] += valueInmGAV;
      balances[msg.sender] -= valueInmGAV;
    }
  }

  /// getter function for the balance
  function balance(address who) constant returns (uint256 balanceInmGAV) {
    balanceInmGAV = balances[who];
  }

}

開發かいはつ平台ひらだい

• Remix，Solidity官かん方かたIDE
• ChainIDE
• Microsoft Visual Studio
• ConsenSys Enterprise
• Tendermint 
• AWS的てきErisDB

區く塊かたまり鏈平台だい

Solidity可か在ざい下した列れつ平台ひらだい中ちゅう運うん作さく:

• 以太坊ぼう（Ethereum）
• 幣ぬさ安やす智能ちのう鏈（Binance Smart Chain）
• 以太坊ぼう經典きょうてん（Ethereum Classic）
• 雪崩なだれ合あい約やく鏈（Avalanche C-Chain）
• Counterparty
• 波なみ場じょう（TRON）

批評ひひょう

智慧ちえ型がた合あい約やく的てき許多きょた安全あんぜん屬性ぞくせい本質ほんしつ上じょう很難直接ちょくせつ推理すいり，而 Solidity 的てき圖ず靈れい完備かんび性せい意味いみ著ちょ任意にんい屬性ぞくせい的てき驗けん證しょう無法むほう確定かくてい地ち自動じどう化か。目前もくぜん用よう於智慧ちえ型がた合あい約やく安全あんぜん分析ぶんせき的てき自動じどう化か解決かいけつ方案ほうあん可能かのう會かい遺漏いろう掉一些嚴重的違規行為，產さん生せい誤報ごほう，並なみ且無法ほう在ざい現實げんじつ合あい約やく上達じょうたつ到いた足あし夠的程ほど式しき碼覆蓋ぶた率りつ。由よし於其違反いはん直覺ちょっかく的てき性質せいしつ、缺乏けつぼう處理しょり區く塊かたまり鏈領域りょういき特定とくてい方面ほうめん的てき結構けっこう以及缺乏けつぼう已やめ知ち漏も洞ほら的てき中心ちゅうしん化か文ぶん件けん，Solidity 被ひ批評ひひょう為ため以太坊ぼう智能ちのう合あい約やく的てき實施じっし容易ようい出で錯。

2016 年ねん，康かん奈爾大學だいがく的てき一いち位い研究けんきゅう人員じんいん表示ひょうじ，Solidity 是ぜ當年とうねん發生はっせい的てき DAO 駭客攻擊こうげき的てき部分ぶぶん原因げんいん。他た表示ひょうじ：“這實際ぎわ上じょう不ふ是ぜ DAO 合あい約やく本身ほんみ的てき缺陷けっかん或ある漏も洞ほら：就技術ぎじゅつ而言，以太坊ぼう虛きょ擬なずらえ機き (EVM) 正せい在ざい按預期き運行うんこう，但ただし Solidity 將はた安全あんぜん漏も洞ほら導入どうにゅう到いた合ごう約やく中なか，這些漏洞ほら不ふ僅被社しゃ區く遺漏いろう，還かえ包括ほうかつ原本げんぽん的てき語ご言げん設計せっけい人じん。”

外部がいぶ連結れんけつ

• Solidity home and documentation