🇰🇷 Aiken, 카르다노 스마트 컨트랙트 작성 간소화 - cardaniansio, 2023.2.27

[CryptoVeri]

Aiken, 카르다노 스마트 컨트랙트 작성 간소화

cardaniansio
등록일 2023.2.27

어떤 사람들은 카르다노용 스마트 컨트랙트를 작성하려면 하스켈을 배워야 한다고 잘못 생각할 수 있습니다. 이렇게 하스켈을 배우거나 새로운 대안 중 하나를 사용할 수 있습니다. 그중 하나는 카르다노에서 스마트 컨트랙트를 개발하기 위한 새로운 프로그래밍 언어이자 툴킷인 Aiken입니다. Aiken은 자세한 오류 메시지를 포함하여 스마트 컨트랙트를 빠르게 작성하고 필요한 모든 도구를 편리하게 사용할 수 있는 모든 기능을 갖춘 플랫폼이 될 것입니다.

TLDR

• Aiken은 애플리케이션의 온체인 부분에만 집중합니다.
• Aiken을 사용하면 10분 안에 “Hello, World!” 앱을 작성하고 실행할 수 있습니다.
• 애플리케이션의 온체인 부분은 코드를 플루투스 코어로 번역하는 컴파일러만 있으면 어떤 언어로든 작성할 수 있습니다.
• 컴파일러는 언어 번역기와 유사하게 작동합니다.
• 첫 번째 선구자들을 대상으로 한 알파 릴리즈는 2023년 1분기로 예정되어 있습니다.

Aiken 프로젝트의 사명

팀은 하스켈을 몰라도 스마트 컨트랙트를 작성할 수 있는 플랫폼을 구축하려고 합니다. Aiken은 Gream, Rust, Elm에서 영감을 받은 새로운 프로그래밍 언어입니다. 이 언어들은 친숙한 오류 메시지와 뛰어난 개발자 경험으로 잘 알려져 있습니다. Aiken에는 자체 구문과 컴파일러가 있습니다. 아래에서 컴파일러의 중요성에 대해 자세히 설명하겠습니다.

Aiken은 애플리케이션의 온체인 부분에만 초점을 맞추고 있으며, 범용 언어가 되려는 야심은 없습니다. 애플리케이션의 백엔드(오프체인) 부분에는 다른 것을 사용해야 합니다.

에이큰의 주요 목표는 온체인 개발을 더 쉽고 빠르게 만드는 것이며, 보안에 중점을 두고 코드가 예상한 대로 정확하게 작동하는지 검증하는 것입니다. 따라서 언어를 단순하고 관리하기 쉽게 유지하는 것이 필요합니다. 온체인 코드는 일반적으로 카르다노와 상호작용하는 데 사용되는 전체 애플리케이션의 일부에 불과합니다. 제3자 팀은 다른 플랫폼을 사용하여 오프체인 부분을 구축할 수 있습니다.

Aiken으로 스마트 컨트랙트를 구축하는 것은 매우 간단하며 최소한의 구성만 필요합니다. 러스트 환경이 준비되어 있다면, 말 그대로 몇 가지 명령만 있으면 됩니다. 숙련된 프로그래머라면 문서의 ‘언어 둘러보기’ 섹션을 살펴보는 데 하루 정도만 투자하면 첫 번째 컨트랙트 작성까지 시작할 수 있습니다. 언어로서 Aiken은 정적 유형 및 유형 추론을 갖춘 순수한 함수형 언어입니다. 개발자는 자신만의 사용자 정의 유형을 만들 수 있습니다.

10분 이내에 카르다노에서 “Hello, World!” 스마트 컨트랙트를 작성하고 실행할 수 있습니다. 튜토리얼이 도움이 될 것입니다.

하스켈이 아닌 다른 언어로 컨트랙트를 작성하는 것이 어떻게 가능한가?

카르다노 노드는 가상 머신뿐만 아니라 하스켈로도 작성됩니다. 가상 머신이란 무엇인가요? 이를 이해하려면 먼저 소스 코드가 어떻게 생성되고 컴퓨터에서 어떻게 실행되는지 알아야 합니다. 이는 Aiken 및 기타 프로그래밍 언어를 사용하여 카르다노 스마트 컨트랙트를 작성할 수 있는 이유를 이해하는 데 도움이 될 것입니다.

개발자는 사람이 읽을 수 있는 언어로 소스 코드를 작성합니다. 이는 하스켈 프로그래밍 언어일 수도 있고 Aiken일 수도 있습니다. 다른 사람이 읽을 수 있는 텍스트를 작성한다고 생각하시면 됩니다. 물론 다른 프로그래밍 언어도 많이 있습니다.

프로그램(스마트 컨트랙트)이 실행되기 위해서는 기계가 읽을 수 있는 명령어로 변환되어야 합니다. 이 과정을 컴파일이라고 합니다. 이 도구를 컴파일러라고 합니다.

컴파일러는 일반 언어 번역기라고 생각하시면 됩니다. 다음 상황을 생각해 보세요. 라틴어만 할 수 있는 작업자에게 명령을 내려야 합니다. 여러분과 작업자 사이에 언어 번역기가 있습니다. 영어, 중국어, 스페인어 등 어떤 언어로든 텍스트를 작성하면 번역기가 라틴어로 번역해 줍니다. 번역 덕분에 작업자는 명령을 이해하고 실행할 수 있습니다. 이 예에서 작업자는 컴퓨터이고 사용자는 프로그래머입니다. 번역기는 여러분의 모국어를 작업자(컴퓨터)가 이해할 수 있는 언어인 라틴어로 번역하는 것을 도와주었습니다.

카르다노의 경우, 소스 코드(애플리케이션의 온체인 부분, 스마트 컨트랙트)는 유형화되지 않은 플루투스 코어(UPLC)라는 것으로 번역됩니다. 이는 카르다노 스마트 컨트랙트의 가장 낮은 수준의 표현입니다. 이 낮은 수준의 표현은 실제로 카르다노 가상 머신에 의해 실행(온체인)되는 것입니다.

가상 머신은 기계가 읽을 수 있는 코드를 실행하는 소프트웨어 환경입니다. 카르다노의 경우, UPLC입니다. 가상 머신은 UPLC와 기본 운영 체제 및 하드웨어 사이에 추상화 계층을 제공하여 애플리케이션의 온체인 부분이 다양한 플랫폼에서 실행될 수 있도록 합니다. 간단히 말해, 가상 머신은 스마트 컨트랙트를 실행하는 카르다노 노드의 일부입니다.

이제 Aiken이 단순한 프로그래밍 언어가 아니라는 것을 이해하셨을 것입니다. Aiken의 필수적인 부분은 또한 Aiken 소스 코드를 유형화되지 않은 플루투스 코어로 컴파일할 수 있는 컴파일러입니다. 스마트 컨트랙트는 카르다노 가상 머신이 이해하고 실행할 수 있는 기계 판독 가능 언어(UPLC)로 변환하는 컴파일러만 있다면 어떤 프로그래밍 언어로도 작성할 수 있습니다.

Aiken 외에도 비슷한 개념으로 운영되는 5개의 유사한 플랫폼이 있습니다. eopsin, Helios, Plutarch, plu-ts, Scalus가 바로 그것입니다.

기존 방식으로 스마트 컨트랙트를 작성하는 경우, Glasgow Haskell 컴파일러(GHC)를 사용해 애플리케이션을 UPLC로 컴파일하는 하스켈 프레임워크를 사용한다는 점을 덧붙입니다.

프로젝트의 미래

이 프로젝트는 카르다노 생태계에 현대적인 개발 환경을 제공하고자 하는 야망을 가지고 있습니다. Aiken은 배우기가 아주 쉬운 작은 프로그래밍 언어입니다. 구성은 말 그대로 몇 분 밖에 걸리지 않습니다. 개발자는 유용한 오류 대화 상자를 통해 친절한 피드백을 받을 수 있습니다. 라이브러리는 프로젝트의 일부가 되어 다른 팀의 작업을 더 쉽게 만들어 줍니다. 실행 비용 평가 및 추적 보고를 위한 단위 테스트 프레임워크와 도구가 있습니다. 이 프로젝트는 오픈 소스이며 20명의 기여자가 참여하고 있습니다.

로드맵에 따르면 첫 번째 선구자들과 함께 알파 릴리즈는 2023년 1분기로 예정되어 있습니다. 온라인 플레이그라운드도 준비 중입니다.

우리 관점에서는, Aiken은 카르다노를 기반으로 구축하고 싶지만 어떤 이유로 하스켈을 배우고 싶어하지 않는 개발자들을 끌어들일 수 있는 유망한 프로젝트입니다. Aiken은 이러한 장벽을 허물고 애플리케이션의 온체인 부분을 쉽고 빠르게, 그러나 안정적으로 작성할 수 있는 방법을 제공합니다. 개발자는 최신 개발 환경과 모든 툴을 이용할 수 있습니다. 이러한 종류의 프로젝트는 카르다노 생태계를 크게 발전시킵니다.

---

* Source: https://cexplorer.io/article/aiken-simplifies-writing-smart-contracts-for-cardano
* Translation: Ilhun@CryptoVeri enics_sky@naver.com