IOHK의 프로젝트 관리자 리즈 밴크로프트-터너가 6 월에 진행한 셸리 프로젝트의 진행 상황에 대한 최신 정보를 알려드립니다. 아래는 비디오 업데이트의 요약 내용입니다.
목표
- 셸리 프로젝트의 주목표는 네트워크를 분산된 방식으로 운영할 수 있게 업그레이드하는 것입니다.
- 여기에는 다음과 같은 워크스트림이 포함됩니다.
- 인센티브: 이해관계자들이 프로토콜에 따라 시스템을 원활하게 운영할 수 있도록 금전적 보상을 제공하는 것입니다.
- 위임: 이해관계자들이 블록에 서명할 수 있도록 권리와 의무를 위임합니다.
- 네트워킹: 분산화를 지원하는 네트워크 인프라를 제공하는 것입니다.
프로젝트 업데이트
위임:
- 연구 보고서를 통해, 요구 사항을 충족하는 방식으로 위임이 이루어지는 방법을 수립했습니다.
- 스테이크 풀 요건, 손상된 키의 복구, 보안 편의성, 보상 고려사항을 비롯해 위임시 자금 보안이 훼손되지 않도록 보장하는 것과 같은 요구사항도 연구 보고서에 자세히 나와 있습니다.
- 위임 설계 문서에 관해서는, 연구 보고서에서 제안한 계획을 카르다노에서 어떻게 실행할 수 있는지 구체적으로 기술하고 있습니다.
- 위임 설계가 계획된 인센티브 제도와 양립할 수 있어야 합니다.
- 설계 문서에서 다루는 설계 요소는 부실 채권 처리(스테이크 풀 또는 이해관계자가 블록 생성 중단을 감지할 때 시스템이 수행하는 작업) 또는 시스템에 트랜잭션을 초과하지 않고 풀에 위임하는 사람들과 보상을 공유하는 방법 같은 것입니다.
- 설계 문서는 대표단에서 리더를 어떻게 선출하는지 명시할 것입니다.
- 지갑 복구에 관한 내용도 업데이트되었습니다.
인센티브:
- 인센티브 연구 보고서에서 유틸리티 공식을 사용하여 크기가 같은 k 풀의 원하는 형태가 각각 내쉬 균형을 이루었다고 입증했습니다.
- 내쉬 균형은 게임 이론의 핵심 개념입니다. 플레이어가 전략을 선택할 수 있는 게임에서 각 플레이어가 선택한 전략에 따라 해당 플레이어에게 보너스가 지급됩니다.
- 플레이어마다 전략을 선택하므로 해당 플레이어를 비롯해 그 누구도 자신의 전략을 일방적으로 변화시켜 보상을 향상할 수 없습니다.
- 다시 말해, 다른 누구도 하고 있는 일을 바꾸지 않으면 우리도 하는 일을 바꿀 합당한 이유가 없을 때 내쉬 균형에 도달합니다.
- 카르다노의 경우에 전략은 일정한 비용을 가진 풀을 만든 다음 일정 금액의 마진을 설정하거나 특정 비율의 지분을 풀에 할당하고 나머지는 다른 풀에 위임하는 것과 같습니다.
- 실용적인 문제에 게임 이론을 적용하는 기본적인 개념은 현실 상황이 내쉬 균형을 이루게 될 것이라는 믿음에 있습니다.
- 카르다노의 사례에서 k 풀보다 적거나 크기가 다른 풀처럼 나쁜 속성의 내쉬 균형이 있으면 좋지 않습니다. 그래서 리즈와 셸리 팀이 나쁜 균형이 없다고 증명한 사실이 실로 희망적이며 시스템이 결국 같은 크기의 k 풀이 된다는 뜻입니다.
- 이는 연구 측면에서 중요한 성과였습니다.
- 설계 문서: 일반적인 형태의 인센티브 방식을 결정한 후 연구팀은 지난 달 미세 조정과 검증 및 정제 작업을 완료했습니다.
- 풀에 대한 선호도 공식 중 하나를 간소화했으며 변경사항은 실험적으로 검증되었습니다.
- 이론과 실험을 오가며 반복한 후 마침내 결과가 완벽하게 조정되었습니다.
- 연구팀은 이처럼 향상된 게임 이론 모델의 정확성을 공식적으로 입증하고 실험을 통해 수학적 원리를 확정했습니다.
- 수학적 분석 결과가 정확하여 팀에 더 많은 자신감을 심어 주었습니다.
- 이에 팀은 분석 측면에 관심을 기울여서 플레이어와 대규모 이해 관계자 간의 연합 같은 일부 사례를 살펴보고 문제가 있는 상태에서 시스템이 어떻게 작동하는지 검토했습니다.
- 엔지니어링팀은 풀 리더가 필요한 중계 인프라를 어떻게 제공할 수 있는가라는 질문을 검토했습니다.
- 현재로서는 기술적 평가 대신에 사회적 압력에 의존하기로 결정했습니다.
- 풀 리더에게 풀 등록의 일환으로 릴레이 주소를 게시하도록 요구함으로써 해당 정보를 공개적으로 표시하여 검증할 수 있습니다.
네트워킹:
- 네트워킹 스트림에는 P2P 디스커버리가 포함됩니다.
- 이 부분에 대해서는 팀에서 이를 보고 있는 사용자를 새로 추가합니다.
- 사용자는 계속 온라인에 있으며 이전 동료가 남긴 것을 잘 알고 있습니다.
- 네트워킹의 또 다른 스트림은 델타 Q 측정입니다.
- 여기서는 실제 이용 사례를 확인하여 실행과 테스트 동안 예시로 작동하는 것을 조사합니다.
- 이를 통해 실시간으로 네트워크 리소스를 사용하면서 네트워크 사용을 다소 적극적으로 제어할 수 있습니다.
- 팀은 체인의 끝을 따라잡고 브로드캐스트를 차단하는 것과 같은 주요 이용 사례를 확인했습니다.
- 델타 Q 측정 방식은 다른 애플리케이션에 대해 네트워크 성능을 저하시키지 않으면서 해당 활동의 레이턴시를 최소화하는 데 사용됩니다.
- 또한 통신 프로토콜에서 이러한 이용 사례를 조사하고 있습니다.
- 이는 통신 프로토콜 설계에서 필수적인 부분입니다.
- 노드에서 블록체인 세그먼트를 P2P로 다운로드하는 방식과 포크를 다루는 방식을 살펴보았습니다.
- 현재 출시된 카르다노 세틀먼트 레이어에서는 효율적으로 수행되지 않아서 이를 개선하는 것이 매우 중요합니다.
- 셸리팀이 솔루션에 집중하여 지금은 우로보로스 보고서에 충실한지를 확인하기 위해 분석하고 있습니다.
추가 그래프
- 비디오의 현 시점에서 리즈는 연구에서 수행하는 시뮬레이션과 실험을 이해하는 데 도움이 되는 두 개의 그래프를 제시합니다.
- 다음 두 차트는 서로 다른 매개변수를 사용하여 풀의 변화 과정을 보여줍니다.
- 이 차트를 읽으려면 다음 사항을 알아야 합니다.
- x 축은 시간입니다.
- 각 색상의 밴드가 풀에 해당합니다.
- 밴드의 높이가 풀의 크기입니다.
- 이 시뮬레이션은 둘 다 K = 10을 사용했는데 이상적인 결과는 10 개의 밴드 크기가 같다는 것을 의미합니다(참고: 실제로 K는 100처럼 훨씬 더 큰 숫자임).
- 첫 번째 부분은 이상적인 결과가 달성되었음을 보여줍니다. 시뮬레이션의 끝에서 같은 크기의 풀이 10 개 있다는 것을 알 수 있습니다.
- 리즈와 그녀의 팀은 모든 실험에서 이러한 결과를 얻을 수 있었습니다.
- 두 번째 부분은 시간의 경과에 따른 풀의 수를 나타내므로 오른쪽에 있는 시뮬레이션의 끝에서 10이 되어야 합니다.
- 두 번째 차트는 첫 번째 그래프와 비슷한 매개변수를 나타내지만, 첫 번째 그래프는 보상에 대한 풀 비용이 낮고 풀의 지분이 보상에 아무런 영향을 미치지 않는 시나리오를 보여줍니다.
- 이 버전에서는 비용이 높고 보상에 대한 리더의 지분이 중대한 영향을 미칩니다.
- 두 매개변수 모두에서 여전히 원하는 결과를 얻을 수 있음을 알 수 있습니다.
계획
- 이 비디오의 시점에서 리즈와 그녀의 팀은 연구 단계를 거의 완료했습니다.
- 위임 연구 보고서를 완성했습니다.
- 인센티브 연구 보고서를 최종 조정하고 있습니다.
- 추측에 근거한 연구는 성격상 정확한 과학이 아니며, 팀이 연구 문구에 대한 일정표 기준을 충족하지는 못했지만 전반적인 비즈니스 목표 달성에 확신을 가지게 되었습니다.
- 설계 문구에 대해, 다음 주에 위임과 인센티브 설계 문서 작성을 완료해야 합니다.
- 인센티브 설계는 위임 설계와 결합하여 최종 문서를 만듭니다.
- 다음 주에 목표로 삼은 설계 문서가 승인되면 기술 구현 계획을 자세히 설명할 것입니다.
- 여기에는 설계를 사용자 스토리로 나누고 개발자가 실행할 작업을 만드는 일이 포함됩니다.
테스트넷 업데이트
- 리즈는 셸리 테스트넷에 관한 업데이트와 이에 대한 프로젝트 관리 방법을 제공함으로써 결론을 내립니다.
- 현재 이 프로젝트의 일부는 테스트넷 출시를 위한 목표와 결과물 및 작업 계획을 규정하는 초기 단계에 있습니다.
- 리즈는 ODW(목표 - 실행 - 작업 계획) 방법을 따릅니다.
- 팀은 목표를 결과물로 변환한 다음 이를 자체 워크스트림 단계와 활동이 있는 작업 계획으로 바꿈으로써 테스트넷 개발에 기여할 것입니다.
- 지금까지 높은 수준의 테스트넷 목표와 결과를 규정하고 높은 수준의 작업 활동과 타임라인을 살펴보고 있습니다.
- 또한 일정 리스크를 나타내고, 계획수립 리소스를 확보하며, 초기 이해관계자를 분석하고 참여를 이끌었습니다.
- 이 프레임워크를 가동하면 사용자의 요구에 부합하는 테스트 계획의 일관성과 무결성이 보장되고 목적이 불분명한 활동에 대해 유의미한 계획을 세우는 리스크를 피할 수 있습니다.
- IOHK에서 팀은 이러한 종류의 초기에 많은 시간을 할애하지만, 사용자의 요구를 해결하여 최상의 결과와 경험을 얻을 수 있도록 해야 합니다.