4월 23일 찰스 : 프라그마 발족

https://www.youtube.com/watch?v=4PKtBhYc_8I

 

 

웜 써니 콜로라도. 오늘은 4월 23일입니다. PRAGMA(프라그마)에 관해 조금 이야기를 나누고 싶습니다.

 

이것은 새로운 MBO이자 새로운 프로젝트로, 이제 막 시작하는 단계입니다. Blink Bals, dcSpark, Sundae Labs, TxPipe와 함께 MBO 기반의 오픈소스 협회에 참여하게 된 것을 자랑스럽게 생각합니다. 블록체인 소프트웨어와 카르다노의 오픈소스 생태계 육성에 주력하고 있습니다. 라고 되어 있네요. 웹사이트는 이것입니다.

 

보통 비트코인이나 이더리움 등을 보면 지배적인 클라이언트가 있고, 코드가 사양이 됩니다. 카르다노는 그렇지 않습니다. 애매함 없는 형식적 사양을 사용하고 있고 레거시와 미래 지향적인 사양이 있습니다. 레거시 사양을 보면 이게 Agda로 쓰여 있다는 걸 볼 수 있습니다. 일부는 레치로 쓰인 것도 있습니다. 레치는 수학을 위한 언어입니다. 이런 예로 모든 것이 어떻게 기능해야 하는지 정확히 알고 있습니다. 이러한 리포트는 Intersect MBO에 있고, PRAGMA의 대부분도 Intersect 멤버입니다.

 

좋은 소식은 양 진영의 개발자가 양방향성을 가졌다는 점입니다. 카르다노 생태계에 있어 매우 건전한 일입니다. Harmon Labs가 Typescript 클라이언트를 구축하는지, PRAGMA가 Rust로 수행하는지, Haskell에서 무슨 일이 일어나고 있는지는 상관없습니다.

 

일반적인 상황이라면 Rust가 맹활약하고 Haskell이 뒤처져 있거나, 또는 반대 상황이라면 따라잡기를 기다려야 합니다. 모두가 같은 상황일 때 포크할 수 있습니다. 이것이 이더리움이 스테이킹 그룹을 만들고 하드포크에 도달하는 데 7년이 걸린 이유 중 하나입니다. 소프트웨어의 하드 포크가 필요 없는 특정 준기능은 실제로 훨씬 빠르게 발사대에 올릴 수 있습니다.

 

CF는 PRAGMA의 재무 사용을 위해 논의할 거로 생각합니다. Intersect의 목적 중 하나는 카르다노의 연간 예산 프로세스를 논의하기 위한 인터페이스가 되는 것입니다. CF를 포함한 다양한 사람들이 이 과정을 언제 어떻게 시작할 것인지 대화했습니다. 우선 설계상 재무 기능이 활성화되는 창 하드포크 이후에 시작되어야 합니다. 다만 아이디어는 계속 낼 수 있습니다.

 

최근 Cardano Girls 해시태그나 릭 맥크라켄이 비디오를 만들고, 에이다 웨일이 쿨하고 재미있는 것을 많이 하는 것을 보고 있습니다. 카르다노의 커뮤니티를 끌어들이는 흥미로운 일입니다. 거듭 말해왔듯이 거버넌스는 업계 전체의 가장 큰 진보입니다. 우리와 다른 모든 체인과의 가장 큰 차별화 요인입니다. 아직 몇 가지가 남아있지만, 항상 전진 중이며, Ourobors Genesis도 곧 등장할 것을 눈치챘으리라 생각합니다. 그리고 그것을 위한 프로토콜이 1년도 채 되지 않아 구축되었다는 것을 눈치챘을지도 모릅니다. 지금 세대 우로보로스인 Ouroboros Praos의 다음 메뉴가 되고 있습니다.

 

우리 모두는 서로가 이야기를 하고 있습니다. 이더리움에 있는 사람들조차 카르다노 이야기와 대화를 나눕니다. 아직 비트코인과는 마찰과 과제가 있지만, 업계 전체의 공통되는 철학이 있을 수 있습니다. 올해와 내년은 협조의 해가 될 거로 생각합니다. 우리가 모두 협력해 훌륭한 것을 구축할 분야가 많이 있습니다. 생태계로 가져가야 할 실세계 자산과, 헬스케어와 마이크로파이낸스 등 해결해야 할 많은 실용적인 문제가 있습니다.

 

우리는 정말로 암호화 자산 공간 전체에서 가장 큰 생태계를 목표로 합니다. 그리고 우리는 그것을 위한 적절한 기반을 가졌다고 생각합니다. 플루터스 v3은 롤업을 위한 모든 종류의 기능을 가져다 줄 것입니다. Zk fold, 파트너 체인이 빠르게 등장하고 있으며, 폴카닷 커뮤니티가 만든 것, 우리가 만든 것과 융합된 훌륭한 기술이 있습니다. R&D는 전보다 적극적으로 이루어지고 있으며, 209개의 논문과 함께 프로토콜로 변환하는 연구까지 빠른 속도로 진행되고 있습니다.

 

잠정적인 헌법은 아직 건설 중으로 가드레일을 마무리하고 있습니다. CIP-1694와 함께 창 하드포크 이후에 발표될 예정입니다. 그 헌법에는 131개의 가드레일이 Plutus에 의거해 쓰여져 있으며, 새로운 플루터스 형식 기법을 사용해 검증되었습니다. 이는 온체인 거버넌스뿐의 첫 번째 예이기도 합니다. 이것은 매우 강력한 구조입니다. 우리는 모든 면에서 전력을 다하고 있습니다.

 

저는 오늘 일찍 일어나 블랙호크 헬기에 뛰어 올라 와이오밍에서 롱몬트까지 날아왔습니다. 사무실로 돌아가서 또 해야할 일이 있습니다. 주말 내내 일했지만 상관없어요. 많은 연설과 악수하는 손이 많았습니다. 그리고 저는 여행을 계속하려 합니다. 오늘은 여기까지 하겠습니다. 짧게 한다고 했으니 짧게 합니다. 들어주셔서 감사합니다. 언제나 여러분에게 정보를 전달할 수 있기를 바랍니다. 그럼 이만. 치얼스.