말로는 무엇인가?

Marlowe는 금융 계약을 위한 프로그래밍 언어로, 프로그래머가 아닌 사람도 파생 상품, 대출 및 기타 계약과 같은 금융 계약을 쉽게 작성할 수 있도록 설계되었습니다. 또한 프로그래머가 이러한 계약이 올바른지 공식적으로 더 쉽게 확인할 수 있습니다.

이 프로젝트는 Cardano를 뒷받침하는 블록체인 연구 개발 회사인 IOHK(Input-Output Hong Kong)에 의해 시작되었습니다.

Marlowe는 스마트 계약 프로그래밍에 공식적인 방법을 도입하려는 IOHK 노력의 일부이지만 금융 애플리케이션에 사용하도록 특별히 설계되었다는 점에서 이전 접근 방식과 다릅니다. 이를 달성하기 위해 디자이너들은 금융 이론, 특히 현대 금융의 수학적 사고를 개척한 노벨상 수상 경제학자 케네스 애로우(Kenneth Arrow)의 연구를 연구했습니다. 이로 인해 다른 프로그래밍 언어에서 볼 수 있는 목록, 함수 및 변수와 같은 보다 일반적인 개념이 아닌 시간 및 돈과 같은 실제 금융 개념을 기반으로 하는 일련의 기본 제공 추상화가 탄생했습니다.

Marlowe는 이사벨 정리 증명으로 공식화된 금융 계약 이론을 기반으로 합니다. 이는 다른 계약 언어에서는 볼 수 없는 몇 가지 고유한 기능을 제공합니다.

• 계약의 기대 가치를 추론하는 능력.

• 계약의 속성을 공식적으로 검증하는 능력.

또한 Marlowe 계약은 Cardano 블록체인에서 실행될 수 있습니다. 사용자는 블록체인 기술이나 스마트 계약에 대한 지식 없이도 계약을 모델링하고 실행할 수 있는 Playground에서 실시간으로 사용해 볼 수 있습니다.

Marlowe는 재무 모델링을 위한 간단하고 강력한 도구로 설계되었습니다. 프로그래머와 비프로그래머 모두 사용할 수 있도록 구문은 최대한 단순하게 유지되었습니다.

Marlowe는 다양한 용도로 사용될 수 있지만 특히 다음과 같은 경우에 적합합니다.

• 대화형 금융 계약 구축

• 의사결정 프로세스를 위한 게임 및 프로토콜 정의

• 금융이나 보험과 같은 비즈니스 프로세스 시뮬레이션

• 금융 시장 모델링

• 게임 이론의 아이디어 탐구

샌드박스 환경에서 작동하므로 모든 종류의 개발자가 Cardano에서 스마트 계약을 작성할 수 있습니다.

현재 Marlowe는 Cardano에서 실행되지만 Cardano에만 묶여 있는 것은 아닙니다. 앞으로는 다른 블록체인에서도 스마트 계약을 작성하는 데 사용될 수 있습니다.