다소 오래된 글이지만 웹으로 퍼블리쉬 합니다.
Sunday, December 24, 2017
A Crypto on the Edge of Forever
Now that the dust has settled from more than twenty countries of travel, dozens of conferences, major events and community meet and greets this year, I’ve finally had the time to reflect on the progress of the Cardano project as well as some of the lessons I’ve learned. It’s honestly been the most challenging year of my life filled with drama, stress,
death and some unbelievably cruel people.
It’s also been one of the most rewarding and joyful having the chance to meet thousands of passionate and kind fans, technologists and scientists- I can see the inspiration that Charles Dickens had when he said it was the best of times and the worst of times.
The reality is that the internet and in particular the cryptocurrency space can be a really toxic place if you allow it to get to you. There were times after reading some blog post or comment on reddit that I seriously questioned if this effort was worth it. I can understand why Mike Hearn left Bitcoin.
But I’ve never been here for the short term, it’s always been the dream of finding a way to get financial services to the three billion people who don’t have them using technology that was only a dream a generation ago. And I think we are making great progress there.
In January of 2017, Cardano was still mostly in a very early alpha stage. We had tremendous engineering difficulty getting Haskell, our devops and the new protocols such as Ouroboros and Scrape to play nicely together. Rather it was a constant learning curve of how to tame the three headed dragon of research, decentralized teams and exotic
programming languages while managing the expectations of a huge community.
As an aside, Cardano has one of the fastest growing and most intelligent fanbases. We actively invited people who care about formal methods, peer review and functional programming to come see what we are working on. These people aren’t swayed by jargon or flashing marketing. They were born with bullshit detectors in their cribs
I’ve gained significant strength and a much needed boost in morale from interacting with our community. For example, one member asked about how we were verifying the proofs in the Ouroboros paper and I posted a link to Kawin’s Isabelle repo . Most would simply say that’s nice and move on. This member took the time to read the code and mentioned we have a long way to go with specific examples.
For most people, Isabelle is a name followed by a lake in Minnesota. For our community, some can actually read the code and comment on it. That’s a rare gift and it’s the privilege of a lifetime to be in this kind of environment (we ending up hiring the person who commented on the code).
Moving through the months, Cardano moved from the lab to a series of testnets to eventually being released in September. Dealing with these transitions gave us a newfound appreciation for just how many different computer and network configurations exist. I can almost feel a windows force ghost whispering “I told you so” in a smug voice.
We designed the Byron (the September release of Cardano) to be the minimum viable product necessary to test the concepts Cardano is built upon. We wanted to run Ouroboros in a production setting to see epochs function properly. We wanted extensive logging of both the edge nodes and relays to see how our network is being used. We wanted to have third parties play with our APIs and tell us where we screwed up (boy did they ever!). We wanted to test the update system a few times.
Overall, the experiment has been a tremendous success. There are several thousand edge nodes concurrently connected to the network. There are several exchanges and other third parties using our software in the harshest possible way. There is a wealth of data flowing in that is giving us a much better sense of what we need to do to make Cardano better.
Since launch, we’ve already pushed three updates to the network without incident. We’ve started a very rapid redesign of our middleware and its associated APIs to make it easier for third parties to integrate. We’ve started a series of systematic improvements to our network stack that will be finished with the Shelley release that should dramatically improve things. However, what excites me most about 2018 is that Cardano is starting to open up to the
world. Delegation and staking will be rolled out all throughout Q1 and Q2 in coordination with
the community. Soon we’ll have a testnet running IELE allowing developers to play around with our smart contract model for the first time. And we’ll be deploying our first verified protocol with Praos thereby engaging the formal methods community.
Constantly living in the moment, one tends to eschew Cardano’s vast scope in exchange for the problem of the week. But looking at our ever growing whiteboard series demonstrates how many brilliant people wake up every morning thinking about how to solve the problems of scalability, interoperability and sustainability. These aren’t just hypothetical lectures. They are backed by papers, funding and developers working full time.
Then there are the new things. Professor Rosu ’s and Runtime Verification’s work on K and semantics based compilation isn’t just really smart competitive differentiation, it’s literally moving the chains of the entire field of programming language theory. The Cardano project is creating a financial incentive to have correct by construction infrastructure from virtual machines to compilers. Our success means you don’t have to hand write this code ever
again- not just in a cryptocurrency context; in a general context.
Our research efforts at Tokyo Tech under Professors Mario Larangeira and Bernardo David with multiparty computation is rapidly bringing these protocols into practical use. Kaleidoscope and Royale are case studies on how to achieve everything that Ethereum does off chain, in a low latency setting, privately and at a scale of millions of concurrent users each in their own domain. Further abstractions will push this work into more useful domains like decentralized exchange. And eventually DApp developers will be able to integrate these protocols into their code via libraries.
Professor Bingsheng Zhang ’s research on treasuries and voting is groundbreaking. It’s giving our project the ability to have a discussion about how should changes to cryptocurrencies be proposed, debated, approved and funded. What’s most special here is the interdisciplinary nature of the effort that can draw from political science, game theory,
sociology, open source software governance and computer science. There is something for everybody.
Moving into 2018, we are going to open this discussion up by both engaging the community directly and by holding a conference in Switzerland. More details will be published later, but the basic idea is that this area isn’t a Cardano problem. It’s a cryptocurrency problem. And there are many great projects from Dash to Pivx who are trying to solve it in a novel way. We ought to talk to each other.
I could continue enumerate our research efforts (there’s a lot more to write), but I think the point has been made. Cardano isn’t a cryptocurrency as much as it is a movement of minds who are frustrated with the way technology works in practice.
The functional programming community has had for decades great solutions to many of the problems plaguing modern developers, but they have been historically ignored. Our RINA guys if given a chance could build a much better and more fair internet. Layering protocol development with formal methods extracts a much cleaner and more meaningful design process where ambiguity and hand waving is slain.
What Cardano has given us is a chance to answer if only the world worked this way with why not? We have the freedom to dream again and the freedom to try new things without asking permission. I even have a chance to work with my heroes like Phil Wadler. 2018 is going to be one hell of a year.
Thanks for reading
[{Axiom}]
Phil Wadler and Me hanging out at Edinburgh
2017년 12월 24일 일요일
영원의 가장자리에 있는 암호
이제 20개국 이상의 국가에의 여행, 수 많은 회의, 주요 행사 및 지역 사회로 부터 지금 안정을 취하고 있는데 마침내 Cardano 프로젝트의 진행 상황과 내가 배운 교훈. 솔직히 말해서 드라마, 스트레스, 죽음, 믿을 수 없을 정도로 잔인한 사람들로 가득 찬 가장 힘든 한 해 였습니다.
또한 수천 명의 열정적이고 친절한 팬, 기술자 및 과학자들을 만날 수 있는 기회를 얻은 것은 가장 보람 있고 즐거운 시간이었습니다. Charles Dickens가 말했던 말인 가장 좋았던 시간이자 최악의 시간이라는 영감을 느낄 수 있었습니다.
현실은 인터넷, 특히 cryptocurrency space(암호통화 공간)가 당신에게 도달하도록 허락한다면 정말로 독성이 있는 장소가 될 수 있다는 것입니다. 어떤 블로그 게시물을 읽거나 reddit에 대한 의견을 읽은 후 나는 이러한 노력이 가치가 있는지 심각하게 질문을 한 적이 있습니다. Mike Hearn이 Bitcoin을 떠난 이유를 이해할 수 있습니다.
그러나 저는 단기간에 이곳에 온 적이 한번도 없었습니다. 그들은 항상 한 세대 전에 단지 꿈이었던 기술을 사용하지 않는 30억 명의 사람들에게 금융 서비스를 제공할 수 있는 길을 찾는 꿈을 꾸어왔습니다. 그리고 나는 우리가 거기서 큰 진전을 이루고 있다고 생각합니다.
2017년 1월, Cardano는 여전히 대부분 초기 알파 단계에 머물러 있었습니다. 우리는 하스켈, 우리의 소프트웨어 개발수법과 Ouroboros와 훌륭하게 함께 작동하는 Scrape과 같은 새로운 프로토콜을 얻는데 엄청난 공학적인 어려움을 겪었습니다. 오히려 커다란 공동체의 기대를 관리하면서 사용자에게 모르는 프로그램 연구, 분산된 팀 및 이국적인 프로그래밍 언어, 이 세 가지 방향을 어떻게 제어할 것인지에 대한 끊임없는 학습 곡선이었습니다.
여담으로, Cardano는 가장 빠르게 성장하고 가장 뛰어난 fanbases 중 하나를 가지고 있습니다. 우리는 공식적인 방법, 동료 검토 및 기능 프로그래밍에 관심이있는 사람들을 적극적으로 초대하여 우리가 수행하고 있는 것을 보도록 하였습니다. 이 사람들은 전문 용어 또는 깜박이는 마케팅에 의해 흔들리지 않습니다. 그들은 각자 처한 곳에서 거짓을 탐색하는 자로 태어났습니다.
저는 우리의 커뮤니티와의 상호 작용을 통해 사기를 붙돋는데 상당한 힘과 많은 도움을 얻었습니다. 예를 들어, 한 회원이 Ouroboros 논문의 증명을 확인하는 방법에 대해 질문했으며 Kawin의 Isabelle repo에 대한 링크를 게시했습니다. 대부분의 사람들은 간단히 좋다고 말했고, 계속 나아갔습니다. 이 회원은 코드를 읽는 데 시간이 걸렸으며 구체적인 예를 들어볼 길이 멀다는 점을 언급했습니다.
대부분의 사람들에게 Isabelle은 미네소타에 있는 호수에 따른 이름입니다. 우리 커뮤니티에서는 몇 몇 사람은 실제로 코드를 읽고 주석을 달 수 있습니다. 희귀 한 선물이며 이런 종류의 환경에 있는 것은 일생 일대의 특권입니다. (코드에 대해 언급한 사람을 고용하고 있습니다.)
지난 몇 달 동안 카르다노는 실험실에서 일련의 테스트넷으로 이동하여 결국 9월에 출시되었습니다. 이러한 전환을 겪으면서 몇 가지 다른 컴퓨터 및 네트워크 구성이 존재하는지에 대한 새로운 인식을 얻을 수 있었습니다. 나는 나에게 독선적인 목소리로 "나는 너에게 그렇게 말했잖아"라고 속삭이는 윈도우를 지지하는 유령을 거의 느낄 수 있습니다.
우리는 Byron (Cardano의 9월 출시)을 Cardano의 개념을 테스트하는 데 필요한 최소의 실행 가능한 제품으로 설계했습니다. 우리는 epochs 기능이 제대로 작동하는지 확인하기 위해 생산 환경에서 Ouroboros를 실행하길 원했습니다. 우리는 우리의 네트워크가 어떻게 사용되고 있는지를 보기 위해 에지 노드와 릴레이의 광범위한 로깅을 원했습니다. 우리는 제 3자에게 API를 가지고 사용하기를 원했고, 우리가 어디에서 실수를 했는지 알려주길(그들은 항상 그렇게 했음) 원했습니다. 우리는 업데이트 시스템을 몇 번 테스트하길 원했습니다.
전반적으로 실험은 엄청난 성공을 거두었습니다. 네트워크에는 수천 개의 에지 노드가 동시에 연결되어 있습니다. 가혹한 방법으로 우리의 소프트웨어를 사용하는 여러 거래소 및 기타 제3자가 있습니다. Cardano를 개선하기 위해 우리가 해야 할 일에 대해 훨씬 더 잘 이해하고 있는 풍부한 데이터가 있습니다.
출시 이후 우리는 이미 세 가지 업데이트를 사고없이 네트워크에 밀어 넣었습니다. 제3자가 쉽게 통합할 수 있도록 미들웨어 및 관련 API를 매우 신속하게 재설계했습니다. 우리는 네트워크 스택에 대한 일련의 체계적인 개선 작업을 시작했습니다. Shelley 릴리스가 완료되면 작업이 크게 개선될 것입니다.
그러나, 나를 가장 흥분시키는 것은 카르다노가 세계에 개방되기 시작했다는 것입니다. 투표위임과 스테이킹은 커뮤니티와 협력하여 1분기와 2분기에 걸쳐 실시됩니다. 곧 IELE를 실행하는 testnet을 통해 개발자들이 처음으로 스마트 계약 모델을 사용할 수 있습니다. 우리는 Praos와의 첫 번째 입증된 프로토콜을 배치하여 공식적인 개발 커뮤니티에 참여하게 될 것입니다.
끊임없이 살면서 한 주간의 문제에 대한 대가로 카르다노의 방대한 검사를 피하는 경향이 있습니다. 그러나 계속 성장하고 있는 화이트 보드 시리즈를 보면 매일 아침 얼마나 많은 훌륭한 사람들이 확장가능성, 상호운용성, 지속가능성의 문제를 어떻게 해결할 것인지에 대해 생각하고 있는지를 보여줍니다.그들은 논문으로 기금으로 풀 타임으로 일하는 개발자들로 인해 뒷받침됩니다.
그리고 새로운 것이 있습니다. K와 semantics 기반 컴파일에 대한 Rosu와 Runtime Verification 교수의 연구는 정말로 현명한 경쟁 차별화가 아니라 문자 그대로 프로그래밍 언어 이론의 전체 영역을 이어가고 있습니다. 카르다노 프로젝트는 가상 머신에서 컴파일러에 이르는 기반 구축에 의해 올바른 재정적 인센티브를 제공합니다.우리의 성공은 일반적인 맥락에서 단순히 암호 해독 컨텍스트가 아닌 이 코드를 다시 작성해야 할 필요가 없다는것을 의미합니다.
Mario Larangeira 교수와 Bernardo David 교수가 진행한 도쿄공업대학의 다각적인 계산을 통한 연구 결과는이러한 프로토콜을 빠르게 실용화시키고 있습니다. Kaleidoscope와 Royale은 Ethereum이 자체 영역에서체인에서 떨어져 낮은 지연 설정에서 개인적이고 수백만 명의 동시 사용자 규모로 있을 때 이 모든 것을 어떻게수행하는가에 대한 사례 연구입니다. 더 추상적인 개념은이 작업을 분산된 교환과 같은 보다 유용한 도메인으로밀어 넣을 것입니다. 결국 DApp 개발자는 라이브러리를 통해 이 프로토콜을 코드에 통합할 수있게 될 것입니다.
Bingsheng Zhang 교수의 국고 및 투표 연구는 획기적입니다. 그것은 우리 프로젝트에 암호통화의 변경을 제안하고, 토론하고, 승인하고, 자금을 조달해야 하는 방법에 대한 토론을 할 수 있는 기능을 제공합니다. 여기서가장 특별한 것은 정치 과학, 게임 이론, 사회학, 오픈 소스 소프트웨어 거버넌스 및 컴퓨터 과학에서 얻을 수있는노력의 학제적 성격입니다. 거기에는 모두를 위한 무언가가 있습니다.
2018년으로 들어가면 우리는 직접 커뮤니티에 참여하고 스위스에서 컨퍼런스를 개최함으로써 이 토론을 공개할것입니다. 자세한 내용은 나중에 게시될 예정이지만 기본적인 아이디어는 이 영역이 Cardano 문제가 아니라는것입니다. cryptocurrency 문제입니다. Dash에서 Pivx에 이르기까지 참신한 방식으로 해결하고자 하는 많은프로젝트가 있습니다. 우리는 서로 이야기해야 합니다.
나는 계속해서 우리의 연구 노력을 열거할 수 있다(이에 대해 쓸 것이 더 많음). 그러나 나는 그 요점이 만들어졌다고 생각한다. Cardano는 기술이 실제로 작동하는 방식에 좌절하는 마음의 움직임 만큼이나 cryptocurrency가
아닙니다.
기능적 프로그래밍 공동체는 현대 개발자들을 괴롭히는 많은 문제에 대해 수 십 년 동안 훌륭한 솔루션을 제공해왔지만 역사적으로 무시당했습니다. 우리의 RINA 사람들은 기회가 주어지면 훨씬 더 좋고 공정한 인터넷을 구축할 수 있습니다. 공식적인 방법으로 프로토콜 개발을 계층화하면 모호성과 속임수가 제거되는 훨씬 깨끗하고 의미있는 디자인 프로세스가 추출됩니다.
카르다노가 우리에게 준 것은 왜 세계만이 왜 이런 식으로 일한다면?이란 것에 대답할 수 있는 기회입니다.우리는 다시 꿈을 꿀 수 있는 자유와 허락없이 자유롭게 새로운 것을 시도 할 수 있습니다. Phil Wadler와 같은 영웅들과 함께 일할 기회조차 있습니다.
2018년은 1년의 지옥이 될 것입니다.
읽어 주셔서 감사합니다.
찰스 호스킨슨
번역자: 카르다노를 사랑하는 사람 고 영수(2017년 12월 26일)
카르다노 코리아 채널: https://t.me/cardanokorea
카르다노 코리아 커뮤니티: https://t.me/joinchat/Fuh36RJZC1ao7sz-2l_M9g
HTMLcoin 코리아 커뮤니티 :https://t.me/joinchat/Fuh36Q5LdUUI0bEd0nFtvg
운영자 블로그http://blog.naver.com/gohysjp
운영자 밴드 : band.us/@