스마트 계약에 어떤 프로그래밍 언어가 사용됩니까?

스마트 계약 및 실행 환경을 이해합니다

스마트 계약은 사전 정의 된 조건이 충족 될 때 계약 조건을 자동으로 시행하는 블록 체인 네트워크 에 배포 된 자체 실행 프로그램입니다. 이 계약은 Ethereum , Binance Smart Chain 및 Solana 와 같은 분산 플랫폼에서 실행되며 일단 배포되면 불변입니다. 스마트 계약의 실행 환경은 일반적으로 계약의 컴파일 바이트 코드를 해석하고 실행하는 이더 리움 가상 머신 (EVM) 또는 Solana의 해상 런타임 과 같은 가상 머신 입니다. 이러한 환경은 분리되고 결정적이므로 사용되는 프로그래밍 언어는 예측 가능하고 안전하며 검증 가능한 코드를 생성해야합니다. 이 요구 사항은 블록 체인 개발에 맞는 특정 언어의 설계 및 채택을 형성합니다.

이더 리움과 견고성의 지배

스마트 계약을 작성하는 데 가장 널리 사용되는 언어는 주로 이더 리움 네트워크 와의 깊은 통합으로 인해 견고성 입니다. Solidity는 C ++, Python 및 JavaScript 의 영향을받는 정적으로 유형의 높은 수준의 언어로 전통적인 프로그래밍 배경을 가진 개발자가 액세스 할 수 있습니다. 상속, 라이브러리 및 복잡한 사용자 정의 유형과 같은 기능을 지원하여 개발자가 정교한 분산 응용 프로그램 (DAPP)을 구축 할 수 있도록합니다. 견고성으로 작성된 계약은 EVM 바이트 코드 로 편집되어 블록 체인에 배치됩니다. 견고성 코드를 작성하고 테스트하기 위해 개발자는 일반적으로 Remix IDE , Hardhat 및 Truffle 과 같은 도구를 사용합니다.

• 로컬 개발 환경을 설정하려면 Node.js 및 NPM을 설치하십시오.
• NPM 설치 -g hardhat을 사용하여 전 세계적으로 Hardhat을 설치하십시오
• NPX Hardhat 으로 프로젝트 초기화를하고 "기본 샘플 프로젝트 생성"을 선택하십시오.
• contracts/ 디렉토리 안에 .sol 파일로 계약서 작성
• NPX Hardhat Compile을 사용하여 계약을 컴파일하십시오
• scripts/ 폴더에 배포 스크립트를 작성하십시오
• NPX Hardhat Run Scripts/Deploy.js -Network Goerli를 사용하여 TestNet 배포를 사용하여 배포

Solidity는 또한 보안 및 디버깅에 필수적인 require , revert 및 assert 통한 이벤트, 수정 자 및 오류 처리를 지원합니다.

Vyper : 이더 리움에서 더 간단하고 안전한 대안

EVM을 대상으로하는 또 다른 언어는 Vyper 이며 보안, 단순성 및 감사 에 중점을 둡니다. 견고성과 달리 Vyper는 의도적으로 상속, 기능 과부하 및 재귀 호출 과 같은 특정 복잡한 기능을 생략하여 공격 표면을 줄이고 코드를 쉽게 확인할 수 있도록합니다. Vyper의 Syntax는 Python 과 유사하여 가독성을 향상시키고 새로운 개발자의 학습 곡선을 낮 춥니 다. 특히 높은 신뢰가 필요한 분산 금융 (DEFI) 프로토콜과 같은 코드 투명성 및 미니멀리즘이 우선 순위가 지정되는 프로젝트에서 특히 선호됩니다.

• .vy 파일 확장자를 사용하여 Vyper 계약을 작성하십시오
• Vyper 컴파일러 ( vyper contract.vy )를 사용하여 바이트 코드를 생성하십시오.
• Web3.py 를 통해 배포되거나 파이썬 기반 개발 프레임 워크 인 Brownie 와 통합
• Brownie의 내장 테스트 스위트를 사용한 테스트 계약
• Vyper Verification Tool을 사용하여 Etherscan 의 배포 된 계약 확인

Vyper는 EVM Bytecode에 직접 컴파일하며 Ethereum의 툴링 생태계와 완전히 호환되지만 커뮤니티 및 라이브러리 지원은 Solidity보다 작습니다.

이동 : 안전 및 자원 관리를 위해 구축 된 언어

DIEM (이전 Libra) 뒤의 팀이 개발 한 Move는 디지털 자산 관리 및 안전한 스마트 계약 실행을 위해 처음부터 설계된 언어입니다. 이제 Aptos 및 Sui 와 같은 블록 체인에 사용되며 자원 소유권 및 선형 유형에 대한 엄격한 규칙을 강화하여 재창조 공격 및 이중 지출 과 같은 일반적인 취약점을 방지합니다. Move의 유형 시스템은 디지털 자산을 복사하거나 암시 적으로 파괴 할 수 없으며 계정간에 만 이동합니다.

• key 또는 store 능력을 갖춘 struct 키워드를 사용하여 리소스 유형을 정의하십시오.
• 논리와 데이터를 캡슐화하는 모듈을 작성하십시오
• Move CLI를 사용하여 프로젝트 초기화 : move init --name MyProject
• move test 로 move build 및 테스트와 함께 컴파일하십시오
• APTOS CLI : aptos move publish --named-addresses my_addr=default 사용하여 모듈 배포

공식적인 검증 및 메모리 안전 에 대한 Move의 강조는 높은 보증 금융 응용 프로그램의 강력한 후보입니다.

솔라나의 녹 사용 및 c

Solana 블록 체인 에서 Smart 계약 ( AS 프로그램 으로 추천)은 주로 C 및 C ++를 지원하는 Rust 로 작성됩니다. Solana의 아키텍처는 프로그램이 고성능 런타임 (SeaLevel) 에서 실행해야하므로 저수준 제어 및 효율성이 중요합니다. Rust는 메모리 안전, 제로 비용 추상화 및 동시성 기능 으로 인해 Solana의 속도 및 보안에 대한 요구와 잘 어울리기 때문에 선호됩니다.

• sh -c '$(curl -sSfL https://release.solana.com/stable/install)' 로 Solana 도구 제품군을 설치하십시오.'
• CLI를 Devnet : solana config set --url https://api.devnet.solana.com 로 설정합니다.
• cargo init my_program 사용하여 새로운 Rust 프로젝트를 만듭니다
• Cargo.toml 의 종속성으로 solana-program 추가하십시오
• lib.rs 에서 프로그램 논리를 구현하여 Solana의 프로그램 진입 지점 ( process_instruction )을 준수하는지 확인하십시오.
• cargo build-bpf 로 빌드
• solana program deploy ./target/deploy/my_program.so

개발자는 또한 온쇄 계정을 명시 적으로 관리하고 Borsh 또는 Bincode를 사용하여 지시 직렬화를 처리해야합니다.

다른 언어 및 새로운 옵션

주요 플랫폼 외에도 다른 여러 언어가 견인력을 얻고 있습니다. Flow Blockchain 에 사용되는 Cadence 는 리소스 지향 프로그래밍 과 정적 타이핑 및 내장 프리/포스트 조건을 결합하여 더 안전한 스마트 계약 개발을 가능하게합니다. Swift 와 유사한 구문을 사용하고 유형 안전 및 액세스 제어를 기본적으로 지원합니다. Tezos 의 저수준 언어 인 Michelson은 스택 기반이며 공식적인 검증을 위해 설계되었지만 가파른 학습 곡선이 있습니다. Ligo 및 Smartpy 와 같은 고급 언어는 Michelson으로 컴파일되어보다 개발자 친화적 인 대안을 제공합니다.

• Ligo에서는 Camelligo (OCAML-Like) 또는 Pascalligo 구문을 사용하여 계약을 작성합니다.
• ligo compile-contract my_contract.ligo main 과 함께 Michelson에 컴파일하십시오
• Flextesa 또는 Tezos 클라이언트를 사용하여 계약을 시작 (배포)
• Taquito 를 통해 상호 작용하거나 Dev를 더 잘 통화하십시오

각 언어는 기본 블록 체인의 설계 철학, 개발자 경험 , 보안 및 성능의 균형을 유지합니다.

자주 묻는 질문

JavaScript를 사용하여 Ethereum에서 직접 스마트 계약을 작성할 수 있습니까? 아니요, JavaScript는 이더 리움 가상 머신이 JavaScript를 실행하지 않기 때문에 스마트 계약을 직접 작성하는 데 사용될 수 없습니다 . 그러나 JavaScript는 Frontend DAPP 개발 및 Hardhat 및 Ethers.js와 같은 도구를 통해 스크립팅 배포 작업 에 널리 사용됩니다. 스마트 계약 자체는 Solidity 또는 Vyper 와 같은 EVM 호환 언어로 작성해야합니다.

Rust는 Solana에서 지원되는 유일한 언어입니까? Rust는 Solana 프로그램에 가장 일반적으로 사용되는 언어 이지만 C 및 C ++는 BPF (Berkeley Packet Filter) 도구 체인을 통해 지원됩니다. 개발자는 C로 Solana 프로그램을 작성하고 BPF 바이트 코드로 컴파일하여 배포 할 수 있습니다. 그러나 Rust는 더 나은 툴링, 안전 보장 및 커뮤니티 지원을 제공합니다.

자산 취급 측면에서 견고성과 다른 이유는 무엇입니까? 이동은 디지털 자산을 선형 유형으로 취급하므로 우연히 복사하거나 삭제할 수 없습니다. 견고성에서 토큰은 매핑의 숫자로 표시되며 버그에 취약 할 수 있습니다. Move의 자원 지향 모델 은 자산이 계정간에 명시 적으로 이동하여 이중 지출과 같은 일반적인 오류를 방지합니다.

블록 체인에서 개발하기 위해 여러 언어를 배워야합니까? 예, 각 블록 체인 플랫폼은 다른 실행 환경과 언어를 사용하기 때문입니다. 예를 들어, Ethereum은 Solidity/Vyper를 사용하고 Solana는 녹을 사용하며 흐름 사용 케이던스를 사용합니다. 국가 관리 및 거래 처리와 같은 개념은 전송 가능하지만 구문, 툴링 및 보안 모델은 생태계마다 크게 다릅니다.