솔리디티

3. 설명

솔리디티는 스마트 컨트랙트 개발을 위해 설계된 정적 타입 프로그래밍 언어로, 이더리움 가상 머신(EVM)에서 실행 가능한 바이트코드로 컴파일된다.^[53][54] 개발자는 솔리디티를 통해 비즈니스 로직을 스마트 컨트랙트에 담아 자체 실행되는 애플리케이션을 구현할 수 있으며, 여기에 기록된 내용은 부인할 수 없고 강제적으로 수행된다.^[55][56]

솔리디티와 같은 스마트 컨트랙트용 언어를 사용하는 것은 프로그래밍 기술을 가진 사람들에게는 어렵지 않은 것으로 보인다.^[57]

3. 1. 특징

4. 솔리디티 개발 플랫폼

• Remix 온라인 에디터는 공식 솔리디티 IDE이다.^[19]
• 마이크로소프트 비주얼 스튜디오^[60][61]
• ConsenSys Enterprise^[62][63]
• 마이크로소프트 비주얼 스튜디오 코드
• 젯브레인 IntelliJ
• EthFiddle 온라인 에디터^[20]

5. 솔리디티 동작 블록체인 플랫폼

솔리디티는 다음 플랫폼에서 사용할 수 있다.

6. 다른 스마트 컨트랙트 언어와의 비교

솔리디티는 이더리움 가상 머신(EVM) 기반 스마트 컨트랙트 개발에 주로 사용되는 언어이다. 러스트 등 다른 스마트 컨트랙트 언어도 있다.

6. 1. Solidity vs. Rust

6. 1. 1. 메모리 안전성

6. 1. 2. 동시성

7. 비판

스마트 계약의 보안 속성은 직접 추론하기 어렵고, 솔리디티의 튜링 완전성은 임의의 속성에 대한 검증을 결정적으로 자동화하기 어렵게 만든다.^[26] 솔리디티는 직관적이지 않은 특성, 블록체인 도메인별 측면을 처리할 구조 부재, 알려진 취약점에 대한 중앙 집중식 문서화 부재 등으로 인해 이더리움 스마트 계약 오류 발생의 원인으로 지목되기도 한다.^[27]

2016년, 코넬 대학교 연구원은 솔리디티가 그해 발생한 더 다오 해킹의 부분적인 원인이라고 언급했다. 그는 "사실 이것은 DAO 계약 자체의 결함이나 악용이 아니었습니다. 기술적으로 이더리움 가상 머신(EVM)은 의도한 대로 작동했지만, 솔리디티는 커뮤니티에서 놓쳤을 뿐만 아니라 언어 설계자들 스스로도 놓친 보안 결함을 계약에 도입했습니다."라고 말했다.^[28]

개발자 커뮤니티는 종종 솔리디티가 많은 타사 인터페이스와 API를 필요로 하고, 중요한 정보 집약적인 스마트 계약을 생성할 수 없다는 점을 지적한다.

8. 예제 코드

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];

}

}

```<sup>[59]</sup>

```solidity

pragma solidity >= 0.7.0 <0.8.0;

contract Coin {

// "public" 키워드는 다른 컨트랙트에서 변수에 접근할 수 있도록 합니다.

address public minter;

mapping (address => uint) public balances;

// 이벤트는 클라이언트가 선언한 특정 컨트랙트 변경에 반응할 수 있도록 합니다.

event Sent (address from, address to, uint amount);

// 컨트랙트가 생성될 때만 생성자 코드가 실행됩니다.

constructor() public {

minter = msg.sender;

}

// 새로 생성된 코인의 양을 주소로 보냅니다.

// 컨트랙트 생성자만 호출할 수 있습니다.

function mint(address receiver, uint amount) public {

require(msg.sender == minter);

require(amount < 1e60);

balances[receiver] += amount;

}

// 기존 코인의 양을 모든 호출자로부터 주소로 보냅니다.

function send(address receiver, uint amount) public {

require(amount <= balances[msg.sender], "잔액 부족.");

balances[msg.sender] -= amount;

balances[receiver] += amount;

emit Sent (msg.sender, receiver, amount);

}

}

```<sup>[35]</sup>

참조

<sub>[1]</sub> 웹사이트 Contributors to ethereum/solidity https://github.com/e[...] 2023-03-30
<sub>[2]</sub> 웹사이트 Contributors to ethereum/solidity https://github.com/e[...] 2023-03-30
<sub>[3]</sub> 웹사이트 Build software better, together https://github.com/ 2023-03-30
<sub>[4]</sub> 간행물 The Solidity Contract-Oriented Programming Language https://github.com/e[...] ethereum 2023-03-30
<sub>[5]</sub> 웹사이트 Ethereum Is The Second Most Valuable Digital Currency, Behind Bitcoin 2017-07-17
<sub>[6]</sub> 뉴스 SOFE Berlin: Swift unveils blockchain proof-of-concept https://www.finextra[...] 2016-11-24
<sub>[7]</sub> 잡지 Someone Just Stole $50 Million from the Biggest Crowdfunded Project Ever. (Humans Can't Be Trusted) https://www.wired.co[...]
<sub>[8]</sub> 간행물 The Solidity Contract-Oriented Programming Language https://github.com/e[...] ethereum 2023-03-30
<sub>[9]</sub> 웹사이트 Created Solidity https://github.com/e[...] 2024-03-23
<sub>[10]</sub> 웹사이트 List of contributors https://github.com/e[...]
<sub>[11]</sub> 서적 Blockchain & Cryptocurrency Technology with Solidity Level 1 https://books.google[...] Advanced Micro Systems Sdn Bhd 2022-11-01
<sub>[12]</sub> 웹사이트 Gavin Wood https://gavwood.com/ 2023-03-30
<sub>[13]</sub> arXiv Finding The Greedy, Prodigal, and Suicidal Contracts at Scale 2018-03-14
<sub>[14]</sub> 웹사이트 Westpac joins SWIFT's blockchain proof of concept https://www.zdnet.co[...] 2022-07-13
<sub>[15]</sub> 웹사이트 Hyperledger Fabric Tutorial - Create a blockchain app for loyalty points https://developer.ib[...] 2019-04-10
<sub>[16]</sub> 웹사이트 Language Influences — Solidity 0.8.17 documentation https://docs.solidit[...] 2023-03-30
<sub>[17]</sub> 웹사이트 Ethereum Natural Specification Format https://github.com/e[...]
<sub>[18]</sub> 웹사이트 Introduction to Smart Contracts — Solidity 0.8.19 documentation https://docs.solidit[...] 2023-03-30
<sub>[19]</sub> 웹사이트 Remix - Ethereum IDE https://remix.ethere[...] 2023-03-30
<sub>[20]</sub> 웹사이트 EthFiddle - Solidity in the Browser. Powered By Loom Network https://ethfiddle.co[...] 2023-03-30
<sub>[21]</sub> 웹사이트 solidity - Visual Studio Marketplace https://marketplace.[...] 2023-03-30
<sub>[22]</sub> 웹사이트 Solidity - IntelliJ IDEs Plugin {{!}} Marketplace https://plugins.jetb[...] 2023-03-30
<sub>[23]</sub> 웹사이트 Binance Smart Chain https://github.com/b[...] 2021-10-26
<sub>[24]</sub> 뉴스 BitBeat: Bitcoin 2.0 Firm Counterparty Adopts Ethereum's Software https://blogs.wsj.co[...] 2021-04-16
<sub>[25]</sub> 서적 Blockchain : blueprint for a new economy https://www.worldcat[...] 2015
<sub>[26]</sub> 서적 Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security Association for Computing Machinery 2018-10-15
<sub>[27]</sub> 서적 Principles of Security and Trust, 6th International Conference, 2017, Proceedings 2017
<sub>[28]</sub> 잡지 A $50 Million Hack Just Showed That the DAO Was All Too Human https://www.wired.co[...] 2016-06-18
<sub>[29]</sub> 서적 Ethereum Smart Contract Development in Solidity https://books.google[...] Springer Nature 2020-08-31
<sub>[30]</sub> 웹사이트 Developing with Rust {{!}} Solana https://solana.com/d[...] 2024-08-16
<sub>[31]</sub> 웹사이트 Rust Official Documentation https://www.rust-lan[...]
<sub>[32]</sub> 웹사이트 Solidity Lang https://soliditylang[...]
<sub>[33]</sub> 서적 マスタリング・イーサリアム ―スマートコントラクトとDAppの構築 https://www.worldcat[...] オイラリージャパン 2019
<sub>[34]</sub> 웹사이트 Hyperledger Fabric code pattern - Create a blockchain app for loyalty points https://developer.ib[...] 2021-12-29
<sub>[35]</sub> 웹사이트 Introduction to Smart Contracts — Solidity 0.5.14 documentation https://docs.solidit[...] 2021-12-29
<sub>[36]</sub> 서적 マスタリング・イーサリアム ―スマートコントラクトとDAppの構築 https://www.worldcat[...] オイラリージャパン 2019
<sub>[37]</sub> 간행물 binance-chain/bsc https://github.com/b[...] binance-chain 2021-12-29
<sub>[38]</sub> 웹사이트 What is Tendermint {{!}} Tendermint Core https://docs.tenderm[...] 2021-12-29
<sub>[39]</sub> 뉴스 BitBeat: Bitcoin 2.0 Firm Counterparty Adopts Ethereum’s Software https://www.wsj.com/[...] Wall Street Journal 2014-11-12
<sub>[40]</sub> 서적 Blockchain : blueprint for a new economy https://www.worldcat[...] 2015
<sub>[41]</sub> 웹사이트 What is Avalanche? {{!}} Avalanche Docs https://docs.avax.ne[...] 2021-12-29
<sub>[42]</sub> 문서 https://dcspark.gitb[...]
<sub>[43]</sub> 뉴스 PwC blockchain expert pinpoints sources of ambiguity in smart contracts http://www.ibtimes.c[...] IBTimes 2016-12-14
<sub>[44]</sub> 뉴스 SOFE Berlin: Swift unveils blockchain proof-of-concept https://www.finextra[...] Finextra 2016-11-24
<sub>[45]</sub> 웹인용 Blockchain Veterans Unveil Secure Smart Contracts Framework http://www.coindesk.[...] CoinDesk 2016-12-14
<sub>[46]</sub> 웹인용 Counterparty Brings Ethereum Smart Contracts to the Bitcoin Blockchain https://www.cryptoco[...] CCN 2016-12-14
<sub>[47]</sub> 뉴스 In Formal Verification Push, Ethereum Seeks Smart Contract Certainty http://www.coindesk.[...] CoinDesk 2016-12-12
<sub>[48]</sub> 서적 Digital Siege: Why Young Entrepreneurs Are Winning https://books.google[...] 2017-01-08
<sub>[49]</sub> 웹인용 StackEdit Viewer https://stackedit.io[...] stackedit.io 2018-06-26
<sub>[50]</sub> 뉴스 Blockchain’s Smart Contracts: What’s Smart, What’s Not http://finops.co/ope[...] Finops 2016-12-14
<sub>[51]</sub> 뉴스 Ethereum’s Solidity Flaw Exploited in DAO Attack Says Cornell Researcher https://www.cryptoco[...] CryptocoinNews 2016-12-14
<sub>[52]</sub> 뉴스 A $50 MILLION HACK JUST SHOWED THAT THE DAO WAS ALL TOO HUMAN https://www.wired.co[...] Wired 2017-02-18
<sub>[53]</sub> 서적 The Business Blockchain: Promise, Practice, and Application of the Next Internet Technology https://books.google[...] Wiley Publishing 2016-04-26
<sub>[54]</sub> 웹인용 Microsoft adds Ethereum language Solidity to Visual Studio http://www.ibtimes.c[...] International Business Times 2016-05-11
<sub>[55]</sub> 웹인용 Ethereum's Solidity Now Available in Microsoft Visual Studio https://www.cryptoco[...] Cryptocoinnews 2016-05-11
<sub>[56]</sub> 웹인용 Microsoft adds Ethereum language Solidity to Visual Studio http://www.ibtimes.c[...] "" 2016-05-11
<sub>[57]</sub> 서적 The Business Blockchain: Promise, Practice, and Application of the Next Internet Technology Hardcover https://books.google[...] Wiley Publishing 2017-01-09
<sub>[58]</sub> 웹인용 Ethereum Natural Specification Format https://github.com/e[...] GitHub
<sub>[59]</sub> 문서 RJ Catalano, one of the core developers, see VoR0220 on github
<sub>[60]</sub> 웹인용 Ethereum's Solidity Now Available in Microsoft Visual Studio https://www.cryptoco[...] CCN: Financial Bitcoin & Cryptocurrency News 2016-05-01
<sub>[61]</sub> 웹인용 Microsoft Adds Ethereum to Windows Platform For Over 3 Million Developers http://www.coindesk.[...] CoinDesk 2016-05-01
<sub>[62]</sub> 서적 The Business Blockchain: Promise, Practice, and Application of the Next Internet Technology https://books.google[...] Wiley Publishing 2016-04-26
<sub>[63]</sub> 웹인용 Microsoft adds Ethereum language Solidity to Visual Studio http://www.ibtimes.c[...] International Business Times 2016-05-11
<sub>[64]</sub> 웹인용 Ethereum's Solidity Now Available in Microsoft Visual Studio https://www.cryptoco[...] Cryptocoinnews 2016-05-11
<sub>[65]</sub> 웹인용 Microsoft adds Ethereum language Solidity to Visual Studio http://www.ibtimes.c[...] "" 2016-05-11
<sub>[66]</sub> 서적 The Business Blockchain: Promise, Practice, and Application of the Next Internet Technology Hardcover https://books.google[...] Wiley Publishing 2017-01-09
<sub>[67]</sub> 웹인용 Tendermint CEO on Powering Blockchains with Speed, Security, Scalability http://allcoinsnews.[...] AllCoinNews 2016-12-12