https://www.youtube.com/watch?v=Yt4Sg6rs80Q

https://www.youtube.com/watch?v=Yt4Sg6rs80Q

웜 써니 콜로라도. 2022년. 새로운 해를 맞이했습니다. 즐거운 해가 될 것입니다. 올해는 많은 일이 일어나고, 많은 것을 배우고, 많은 것을 행하고, 많은 것을 구축하게 됩니다. 팟캐스트 포맷을 바꾸어 나가고 작은 스튜디오를 만들어 즐길 예정입니다.

새해를 맞아 화이트보드를 하겠습니다. dApp에 대해, DeFi에 대해서 이야기하겠습니다.

기본적으로는 Plutus Rosetta입니다. Native Token 등 다른 컴포넌트에 대한 전체 영역을 커버하고 있으며 Plutus를 이해하거나 확장 UTxO (eUTxO)를 이해하거나 Plutus의 동작 방법, 스크립트 동작 방법이 어떻게 되는지 알 수 있습니다. 잠깐 전에 James Gabby와 Lars Brunjes가 쓴 논문이 있습니다. 이 논문에서는 UTxO와 Account 기반의 스마트 컨트랙트에 대해 이야기하고 있고 기본적으로는 이더리움 세상에서 사람들이 현재 하고 있는 사항에 대해 비교하여 대조하고 있습니다. 하나는 이더리움 블록체인의 솔리디티(Solidity)이고 다른 하나는 카르다노의 플루터스(Plutus)로 주석이 딸린 코드를 발췌하고 소스 코드를 첨부하여 간단하지만 예시로 든 스마트 컨트랙트의 두 가지 버전을 구현하고 있습니다. 확장 UTxO는 카르다노의 프로그래밍 모델을 명확하게 파악할 수 있습니다. 이제까지의 수학적 모델과 수학적 결과물에 비추어 광범위하고 세부적인 논의로 끝맺습니다.

이더리움이 어카운트 기반 블록체인 시스템인 반면 비트코인처럼 카르다노는 UTxO 기반입니다. UTxO 기반의 패러다임은 함수형 프로그래밍 스타일에 적합합니다. 스마트 컨트랙트 입력으로 UTxO 리스트를 받고 출력으로 UTxO 리스트를 다른 것에 의존하지 않고 그대로 반환하는 함수입니다. 이런 UTxO의 입력과 출력은 기본적으로 어떤 함수에 의해 조작되며 스크립트 언어로 정의되는 일련의 조건들이 있어 표현하는 데 큰 제한이 있습니다. 이 UTxO의 기능적인 아이디어가 너무 마음에 들어서 UTxO 모델을 채택하는 것을 검토하고 있었을 때 우리는 확장 UTxO (eUTxO) 모델을 제작했습니다. 표현력을 높이고 더 많은 것을 가능하기 위해 DeFi 벤더와의 직접적인 협업을 통해 CIP (카르다노 개선 제안)을 썼으며 이미 3가지 제안이 이루어져 있습니다. 앞으로 6~9개월 동안은 커뮤니티로서 함께 DeFi 생태계를 구축하면서 스위트 스팟(Sweet spot)을 손에 넣는 것이 목적입니다.

eUTxO를 고안한 것은 Ergo입니다. Ergo는 최초로 이 컨셉을 시장에 투입했고 그들의 훌륭한 조언을 통해 우리는 이것은 확실히 배워야 할 부분이라고 생각했습니다. 국소성. 로컬 상태를 유지할 수 있다면 많은 안전성을 확보할 수 있습니다. 전제조건, 후조건을 이해할 수 있습니다. 또한 사양서(instruction)를 쓰는 것도 간단합니다. 확실한 테스트를 할 수 있고 컨트랙트에 의한 설계에 대한 실시 결과를 얻을 수 있어 모든 종류의 훌륭한 일들이 가능합니다. 코드를 어떻게 쓸 것인가, 어떻게 프로그램을 설계할 것인가, 입출력을 어떻게 처리할 것인가... 이 폭발하는 가능성은 높은 보증을 얻기 위해서 얼마나 많은 비용이 드는지에 대한 경계를 가르쳐줍니다. 뛰어난 프로그래머라면 누구나 알다시피 사물은 예측할 수 없는 방식으로 변화합니다. 로컬 상태에서 결정론적인 세상을 유지하면서 비결정론적인 세상으로 넘어가지 않는 것이 좋습니다. 컨트랙트 동작의 예측 가능성에 대해 더 많은 확실성을 가져갈 수 있기 때문입니다.

블록체인 시스템은 심장 박동과 같습니다. 블록과 블록 사이에는 시간이 있고 여기서 트랜잭션이 이루어지는 집약체입니다. 따라서 스케일링을 늘리는 가장 명백한 방법은 블록 자체의 크기를 늘리는 것으로 실제로 그것을 우리는 이행했습니다. 카르다노 노드에서 기존에 비해 12.5%가 늘었습니다. 네트워크 스택을 최적화하여 전반적인 시간을 개선하였고 블록 사이즈가 커지더라도 5초 이내에 95%의 브로드캐스팅을 진행할 수 있게 되었습니다. 모든 것은 코어 팀이 진행하고 있는 것으로 파이프라인화 하는데 있어서 대처와 병행해 개발이 이루어지고 있습니다.

올해에는 세 번의 하드포크가 진행되는데 각각 2월, 6월, 10월입니다. 이것들을 이번 연도 안에 완료하고 싶습니다. 비용은 상관없습니다. 누구를 어떻게 고용할것인지도 신경쓰지 않습니다. 사내, 사외든 상관하지 않습니다. 몇백, 몇천만 달러가 들든 간에 신경쓰지 않습니다. 우리가 해야 할 일이 있고, 해야하기 때문입니다. 이것은 반드시 달성 가능한 엔지니어링입니다. 그리고 이것은 할 수 있습니다. 할 것입니다. 합니다. 할 수 있어요. 우리는 방법을 찾을 것입니다. 보다 많은 이용과 실용성을 가져올 것입니다. 이를 통해 수백만 명에서 수천만 명의 사용자를 얻을 수 있습니다. 이 엔지니어링에서는 논문을 발표하고 피어 리뷰를 기다리는 과정은 없습니다. 왜냐하면 이것들은 이미 발표되었고, 현 시점에서 130건 가까운 피어 리뷰가 존재하기 때문입니다. 게다가 국소성과 결정론 덕분에 일을 하기 매우 쉬워졌습니다.

이를 위한 매커니즘이 3가지 존재하는데 이것도 이제 말씀드리겠습니다.

먼저 Hydra. 하이드라입니다. 테스트넷에는 이미 Hydra 노드가 존재합니다. 하이드라 라이트닝을 조작하고 운용하기 위한 매우 유기적인 체제도 있습니다. 우리가 표현력을 높이고 있다는 것은 이것을 보다 빠르고 좋게 실사할 수 있다는 것이며 우리는 큰 진보를 이뤄내고 있습니다. 즉 하나의 차원에서 트랜잭션을 다른 레이어2 네트워크 프로세스에 넣는 것뿐입니다. 그리고 이 상태 채널들을 가동할 수 있는 수천 개의 스테이킹 풀이 존재하며 분기마다 진행되면서 그들은 점점 하이드라에 관여하게 될 것입니다. 우리 팀은 현재 연말까지 Hydra Mainnet 1.0을 이뤄내고 싶다고 다짐하고 있습니다. 그것을 위해 특히 올해 10월은 우리에게 중요한 달이므로 우리 팀은 현재 열심히 일하고 있고 프로젝트 자원을 계속 추가해 지속적으로 실현하고 싶습니다.

그리고 오프체인 컴퓨팅입니다. 이것에 대한 아이디어를 제시한 것 중에 ACE라고 불리는 아주 멋진 논문이 있습니다. 기본적으로 동기형 컨트랙트란 어떻게 연쇄적으로 사람을 지명하고 계산시키고 그것을 반환하는가에 따른 모종의 다대다 관계 (다:다(M:N) 관계(Relationship)의 신뢰가 있다면 그 계산이 올바르게 이루어졌음을 증명할 수 있습니다. 이 분야는 장기적으로 큰 연구 분야중 하나가 될 것이고 오프체인 컴퓨팅을 위한 시장을 만들어낼 수도 있을 것입니다. Hydra는 매우 특수한 케이스로 특수한 설계로 마이크로 트랜잭션이나 특정 컨트랙트 패턴을 위한 설계를 갖고 있습니다.

마지막으로 사이드체인입니다. 에포크마다 다른 서브셋을 준비하여 고속 사이드체인을 기동할 수 있습니다. 이것은 고성능인 BFT 프로토콜을 사용하기 때문입니다. 강력한 신뢰를 가진 루트부터 시작하여 그것을 이용해 서브셋을 만들고 사이드체인을 만들기 때문입니다. 이러한 체인은 고도로 최적화된 프로토콜을 실행할 수 있기 때문에 매우 빠른 대량의 스루풋(Throughput)을 실현합니다. 이것은 제가 2016년에 카르다노 백서를 썼을 때에도 이야기한 것으로 셰틀먼트와 컴퓨팅의 차이점을 이야기했습니다. 또 한 가지는 사이드체인에 대한 증명을 쓴 것으로 Peter Gagie가 작성한 것으로 18-19년도였던 것 같습니다. 우리는 논문을 작성하고 피어 리뷰를 거쳐 우리를 위해 일하지 않는 독립된 학술 커뮤니티 사람들이 이것들을 보고 검증하여 실제로 실현해내고 있습니다. Hydra가 Hydra로 연결되고, 사이드체인이 사이드체인으로 연결되어 그것들이 모두 합쳐져 있는 것과 같습니다.

Cardano DeFi Alliance (카르다노 디파이 동맹)과 같은 컨셉으로 워크숍을 개최할 예정이고, 많은 것들을 배우는 곳이 될 것입니다. 워크숍에서 요구되는 것 중 하나는 시스템의 표현력을 높이는 것입니다. 분기마다 많은 사람들이 모이고 디파이 동맹의 장도 정기적으로 만날 수 있도록 해서 많은 소통을 하겠습니다. 특히 여기에는 질문을 하기 위한 스택 익스체인지가 마련되어 있습니다. 훌륭한 개발자 디스코드가 있고 앞으로 인원이 계속 증가할 것입니다. 물론 그 밖에도 해야할 일이 있습니다. 예를 들어 블록 자체에 들어가는 것은 최적화가 가능한 부분이기 때문에 스크립트 압축 이라는 것도 등장했는데, 하스켈 라이브러리는 충분히 효율적이지 못했으나 상당한 비율로 개선되었습니다. 이에 대한 실현은 2월 하드포크에 예정되어 있습니다. 여러 최적화를 실시함으로써 네트워크 최적화에도 상당한 진전을 보일 것입니다. 위에서 말했듯이 한발 더 진보한 마이크로 트랜잭션 세계에서는 Hydra만으로 초당 수백만 개의 트랜잭션을 구현할 수 있습니다.