Waves 베를린 섬머로드쇼에 나온 자료들 번역<스마트 컨트랙/스마트 계정/스마트 토큰>

Waves 베를린 섬머로드쇼에 나온 자료들 번역<스마트 컨트랙/스마트 계정/스마트 토큰> | Ecency

공개 네트워크 상에서의 관계형성

Nick szabo의 에세이,공개네트워크 상에서의 관계를 형성과 그 관계의 보안성 확보.(1997)

• 스마트 컨트랙은 외부의 3자 기관의 개입없이 신뢰할수 있는 거래를 가능하게 한다.
• 기본 원칙은 법적 원칙, 경제적 이론 및 신뢰할 수 있고 안전한 프로토콜의 이론으로부터 파생되어 나온다.
• 보안 알고리즘은 이 원칙에 위배되는 관계들을 특정해 낸다.

Szabo의 제안은 암호학에 기초하여 이뤄진 제안입니다.즉,기본적으로 암호화된 분산 연산을 통한 검증을 제안하고 있습니다.

최초의 블럭체인 스마트 컨트랙

Bitcoin(2008) 은 스마트 컨트랙을 재해석하여 내놓았다.근본적으로 비트코인 트랜잭션이 바로 최초의 블럭체인상에서의 스마트 컨트랙들이며 비트코인 스크립팅은 최초의 스마트 컨트랙 언어이다.

스마트 컨트랙 이행의 정확성은 블록 체인의 합의 프로토콜에 달려 있으며 네트워크 합의 수준에 따라 시행된다.

##비트코인 스크립트와 그 이후

비트코인

스마트 컨트랙의 첫 사례
그러나
아주 기초적이며,Loops를 허용하지않으며,스크립츠는 internal execution state를 보유하고있지 않음.

이더리움

충분한 양의 가스가 있는 상태라면 EVM상에서 어떠한 바이트코드라도 이행이가능하다
그러나

요구되는 가스의 양이 전에 네트워크의 상태에 따라 정해지기에 얼마나 많은 가스가 필요한지 예측하기가 어려움:심각도:상)
하이레벨 언어가 바이트코드로 컴파일 되었을때 기대하지 않던 행동할 수도 있다:심각도:중
스마트 컨트랙과 그 버그가 가지게될 불변성.(어떤 사건이 일어나더달도 되돌릴 수 없음):심각도:중

HAWK

탈중앙화된 화된 스마트 컨트랙 시스템으로 트랜잭션들을 블럭체인안에 저장하지 않음.xm랜잭션은 지속적으로 비공개 상태를 유지하므로 사생활을 보호함.암호화를 구현하지 않고도 직관적 인 스마트 계약 작성이 가능하도록 합니다.
그러나
다양한 길이의 loops를 지원할 수 없음.

ENIGAM

코드를 이행하는 네트워크 상의 노드들에게 인풋 데이터를 감추는 기밀 계약.Secure Multi-party computation을 허용하는 데이터셋 구조.
그러나
네트워크상의 보안에 대해서 의구심을 일으킴.

스마트 컨트랙:모든 노드에서 실행되는 커스텀 프로그램

But

모든 노드에서의 이행은 반드시 같은 결과/변경/효과 가 나와야 함.
블럭체인내의 데이터에만 활용이 가능
컨트랙을 마무리 할수 있어야 함

스마트 컨트랙,사업에 실사용될수 있을만큼 스마트 한가?

Szabo의 제안에 나와있는 스마트 컨트랙의 이행은 광범위하게 디지털화된 환경을 전제로 하고 있다.현재 인류사회에게 있어서는 아직 몇단계를 더 거쳐야 하는 사회이다.

Szabo의 스마트 컨트랙은 완전히 디지털화된 사회를 위한 것.

스마트 컨트랙,은 정말로 스마트 한가?

기술적 한계:대부분 간단한 연산이나 스크립트에 적합
주요 문제점: 코드를 모든 네트워크가 이행하여야 한다.

더 스마트해지는것이 가능한가?

Proof of Execution (이행 증명) - 코드가 정확히 이행되었다는 암호학적 증명
Secure multiparty computation (코드를 부분적으로 여러노드에 나눠서 이행)
Off-chain channels 전체 네트워크가 아닌,직접적으로 연관된 곳에서만 컨트랙을 이행
Proof of execution+Secure Multi party computation

스마트 컨트랙을 더 스마트하게

확장가능한 분산원장+AI+IOT+법제화

현재의 스마트 컨트랙에 대한 대안들

논 튜링 컴플리트 언어를 이용하되 해당 프로토콜에는 loops가 없기에 코드는 일정한 기간까지만 이행하도록 셋팅.

Waves RIDE(Belgicheva,Smagin,2018)

2단계로 이뤄진 스마트 컨트랙 개발

계산시스템 언로딩을 위한 스마트 컨트랙과 스마트 자산,그리고실용적인 심플-신택스 언어와 튜링 인컴플리트니스를 위해 사전계산된 복잡성
트랜잭션을 전송할 수 있는 탈중앙화 애플리케이션의 생성

Ergo 플랫폼(Chepurnoy,Kharin,Meshkov,2018)

논 튜링 컴플리트 언어가 튜링 컴플리트가 될수도 있다.

단일 트랜잭션을 사용하는 대신 여러 트랜잭션과 블록 간의 Recursive calls를 푸는 방식.
UTXO 모델내의 작은 언어기능 셋을 활용하는 간편한 범용 튜링 머신을 구축.

Permissioned Chains 내에서의 스마트 컨트랙

Permissioned Chains 내에서의 스마트 컨트랙은 블럭체인 스크립팅보다는 분산화된 컴퓨팅에 가까움.

하이퍼레저 스마트 컨트랙

트랜잭션 요청을 위해 ID와 컨트랙을 전송받는 해석프로그램에 블럭/컨트랙트를 인풋 시키면서 시작됨
요청이 유효하지 않다면,컨트랙은 거부됨
트랜잭션이 블럭체인의 원장으로 커밋됨.
유효성이 입증되면,트랜잭션 패킷은 합의 서비스로 전송됨.
트랜잭션 유효성 검사 스마트 컨트랙이 신택스 에러 및 로직 오류를 확인.

Waves 스마트 계정

균형잡힌 기능성과 간편성

논 튜링 컴플리트,Stateless predicate
가스가 필요없슴
Waves-NG 프로토콜에서 오는 처리량의 잇점을 이용.

Waves 스마트 계정

주요 사용 용도

다중서명
아토믹 스왑
오라클 사용용도
라이트닝 네트워크에의 확장기반

Waves 모델:계정 기반의 스크립트 모델

코인의 갯수에 대한 퍼블릭키들의 맵핑
자금을 사용하기 위해,트랜잭션 생성자는 Proof of script,based on tx field,heigt,blockcahin date 등을 제공.
불변량을 체크( 잔고없음<0)
맵핑상태가 업데이트

스크립트는 계정의 자물쇠와 같음

스크립트는 계정으로 부터 나가는 트랜잭션을 거부하거나 승인할수 있다.

본래의 자물쇠:서명을 필요로 함
트랜잭션내서 제공하는 서명이 TX bytes&전송자 퍼블릭키와 일치해야됨
커스텀된 자물쇠: 아래의 사항들로 설정가능
트랜잭션 타입과 필드
블럭 높이/ 타임스탬프
블럭체인 내부의 데이터

셋스크립트랜잭션

계정의 자물쇠를 변경하는 셈

셋스크립트랜잭션은 이제 새로운 기본 트랜잭션으로 사용
스크립트가 계정에서 나가는 모든 트랜잭션들을 검사
다음 셋스크립트랜잭션 또한 검사대상에 포함.

스크립트된 계정을 위해 지갑에서 지원하는 기능들

계정에 쓰여질 기본적인 스크립트 작성 기능.
k of N 다중서명 계정을 구동시키기 위한 Template/wizard 지원
사용자의 퍼블릭키가 포함이 되어있는 다중서명과 다른 계정들에 대한 추적기능
트랜잭션 비용 지표

Waves: 토큰 생턔계

• 자신만의 토큰을 발행,전송,거래
• 다수의 게이트웨이들:암호화폐(BTC,ETH,ZCASH,etc),법정화폐(EURO,USD,etc)
• 탈중앙화 거래소(DEX): 안전하고 신속한 거래
• Waves-NG
• 사용하기 쉬운 스마트 컨트랙
• 상호운용성(아토믹 스왑)
• 보안성(다중서명)
• 확장성(라이트닝 네트워크)