마스트 편집하기

'''마스트'''(MAST; Merklized Abstract Syntax Trees)는 [[비트코인]]에 제안된 추가 기능으로, 더 작은 거래 규모, 더 많은 개인 정보 보호 및 더 큰 [[스마트 계약]]을 허용한다. 마스트의 기본 사항을 살펴보고 잠재적 이점을 설명하고 [[비트코인 프로토콜]](Bitcoin Protocol)에 추가하기 위한 현재 제안 중 일부를 요약한다.

현대 [[암호]] 시스템의 맥락에서 공통 주제 분산 트러스트 네트워크를 만드는 것이다. 이들 대부분 설계, 계약의 영구 저장이 필요하다. 그러나 영구 스토리지는 주요 성능이 될 수 있다. 비용 병목 현상. 결과적으로 좋은 코드 압축체계는 이러한 계약 기반 암호화 시스템을 확장하는 데 중요한 요소이다. 이 프로젝트를 위해 우리는 공식화하고 "Merkelized Abstract Syntax Tree"라는 데이터 구조(MAST)는 데이터 [[무결성]]과 압축을 모두 해결한다. 마스트를 사용하면 원격으로 실행될 계약 [[프로그램]]을 간결하게 표현할 수 있다.<ref name="제레미 루빈">〈[http://reurl.kr/32844142LX 마스트]〉,《마스트 백서》 </ref>

*'''머클트리''' : 머클트리 구조는 [[랄프 머클]](Ralph Merkle)이라는 사람이 1979년에 만들어 낸 개념이다. 다른 트리 [[알고리즘]]과는 다르게 머클트리의 목적은 빠른 검색이 아니라 데이터의 간편하고 확실한 인증을 위해 사용한다. 머클트리의 최상위 부모노드 혹은 루트는 머클루트라 부르며 블록체인의 원소역할을 수행하는 [[블록]]에서 지정된 [[트랜잭션]]들의 해시트리라 볼 수 있다. 머클트리는 데이터의 간편하고 확실한 인증을 위해서 SHA-256 암호화 기술(해시함수)을 사용하고 있다.<ref>불곰, 〈[https://brownbears.tistory.com/372 머클트리(merkle tree)란?]〉, 《티스토리》, 2018-07-09</ref>{{자세히|머클트리}}

*'''AST''' : [[AST]]란 abstract syntax tree의 약어로 추상 구문 트리 또는 간단히 구문 트리라고 불린다. AST는 [[프로그래밍 언어]]로 작성된 소스 코드의 추상 구문 구조의 트리이다. 이 트리의 각 노드는 소스 코드에서 발생하는 구조체를 나타낸다. 구문이 추상적이라는 의미는 실제 구문에서 나타나는 모든 세세한 정보를 나타내지는 않는다는 것을 의미한다.

*문자열 내용은 실행할 수 있는 코드이며 [[마스터노드]]는 여러 개의 자식을 가질 수 있다.  

코드의 무결성을 확인하기 위해 마스트 함수 "generateFullProofUpward"는 현재 노드에서 주어진 머클 루트 해시에 대한 증명 목록(Proof list)을 생성한다. 트리를 위쪽으로 통과시키고, 머클 해시 목록과 그것이 지나가는 코드 내용을 생성하는 것이다. 머클 해시는 이진트리를 사용하여 계산하기 때문에 논리는 더욱 복잡해진다. 결과적으로 증명 목록 생성기는 분기 머클 루트에 도달할 때까지 이 이진트리를 기어 올라 목적지 노드에 도달할 때까지 프로세스를 반복한다. 검증 프로세스의 경우, 다른 기계에 마스트 루트 노드의 머클 해시가 있다고 가정한다. 대상 노드가 마스트 루트 해시인 증명 목록을 사용하면, 이 다른 기계는 그것을 반복하여 증명 목록의 코드를 확인할 수 있고, 해시값을 합쳐서 증명 목록의 다음 해시값에 더하는지 확인할 수 있다. 최종 합계가 루트 해시를 산출한다면, 제공된 해시의 순서가 정확하다. 우리는 내용 해시가 표시됨에 따라 증명 목록의 해시에 대한 코드의 물결성을 점검한다. 또한 [[스크립트]]는 [[비트코인]] [[블록체인]]에서 사용되는 [[옵코드]](opcode)와 호환되는 증명 형식으로 컴파일할 수 있다. 어떠한 마스트도 블록체인 위에 올리지 않고, 우리가 쓴 비트코인 스크립트 해석기를 통해 테스트했다. 이는 우리의 마스트 구현과 비트코인 [[프로토콜]] 사이의 호환성을 더욱 강화시키고 이 프로젝트의 잠재적인 장래성을 비트코인 블록체인 내에 통합할 수 있게 해준다.

==제안 방법==

*'''Johnson Lau의 BIP114''' : 이 기능은 네이티브 [[세그윗]] 주소(bech32)가 마스트의 머클 루트에 커밋할 수 있도록 하는 세그윗 기반 확장 기능을 사용한다. 그런 다음 스펜더는 트리에서 단일 하위 [[스크립트]]를 선택할 수 있다.<ref name="제안">David A. Harding, 〈[https://bitcointechtalk.com/what-is-a-bitcoin-merklized-abstract-syntax-tree-mast-33fdf2da5e2f What is Bitcoin Merklized Abstract Syntax Tree(MAST)?]〉, 《미디엄》, 2017-10-12</ref> 이 [[BIP]]는 머클트리를 사용하여 스크립트에서 상호 배타적인 분기를 인코딩하는 새로운 미러링 모니터 프로그램 유형을 정의한다. 이는 현재 불가능한 복잡한 상환 조건을 가능하게 하고, 실행되지 않은 스크립트를 숨겨서 프라이버시를 향상시키며, 추가 비용 없이 합의되지 않은 데이터를 포함할 수 있다.<ref name="방법">Alex Lielacher, 〈[https://btcmanager.com/what-is-mast-how-it-improves-bitcoin/ What is MAST and How Does it Improve Bitcoin?]〉, 《BTC매니저》, 2018-03-06</ref>

*'''Mark Friedenbach의 BIP116, 117''' : [[프로그래머]]가 스스로 마스트 기반 반항을 검증할 수 있는 스크립트를 작성할 수 있는 방식으로 스크립트 언어의 유연성을 향상시킨다.  Friedenbach가 선호하는 방식으로 구현할 경우 현재 비트코인(bare, P2SH, 세그윗)이 지원하는 세 종류의 스크립트에 모두 머클 증명을 사용할 수 있게 된다. 두 접근법 모두 서로 비교했을 때 절충을 나타내지만, 두 접근법 모두 공통된 장점이 있다. 어느 쪽이든 [[소프트포크]]로 작동할 수 있다.<ref name="제안"></ref> 첫 번째 BIP는 "스크립트 작성자가 데이터 요소 세트에 커밋하고 전체 세트를 공개하지 않고 구속할 때 이러한 요소 중 하나 이상을 제공할 수 있도록" 하려는 [[BIP116]]이다. 두 번째 BIP는 번호 117이며 제목은 Tail Call Semantics이다. [[프리던배시]](Friedenbach)는 마스트 진술을 달성하는 방법에 관해 설명한다.  "BIP 116과 함께 이 BIP를 사용하면 스크립트가 거의 무제한의 코드 경로에 커밋한 다음 사용 시간에 사용된 실제 코드 경로를 알 수 있다. 이를 통해 복잡한 분기 스크립트를 일련의 비 분기 플랫 실행 경로로 분해하고 가능한 전체 경로 세트를 커밋한 다음 소비 시간에 사용된 경로만 공개할 수 있는 일반화된 마스크 형식을 달성했다."

[[존슨 라우]](Johnson Lau)의 제안은 세그윗 스크립트 내에서만 작동할 수 있지만 프리던배시의 제안은 현재 [[비트코인]] [[블록체인]]에서 사용 중인 3개 스크립트 내에서 구현될 수 있다. 강력하지만 단순한 도구의 모듈성과 구성을 사용하여 마스트를 구성하는 단일 테일 콜 재귀를 통해 합의 코드 변경을 최소화하고 부담을 검토하며 기술 부채를 확보하면서 복잡하고 바람직한 기능을 사용할 수 있다.<ref name="방법"></ref>

==평가 및 전망==

*또는 더 큰 확장성을 허용하는 프레임워크 추가

* David A. Harding, 〈[https://bitcointechtalk.com/what-is-a-bitcoin-merklized-abstract-syntax-tree-mast-33fdf2da5e2f What is Bitcoin Merklized Abstract Syntax Tree(MAST)?]〉, 《미디엄》, 2017-10-12

*[[비트코인]]