Casper는 Ethereum 네트워크에 대한 예상 업그레이드이며 Ethereum 블록 체인에 대한 블록을 마무리하는 PoS (Proof of Stake) 프로토콜입니다 (채굴의 끝 : Ethereum의 지분 증명으로의 이동).

유령의 아들 캐스퍼

어느 정도 Casper는 GHOST 또는 Greedy Heaviest Observed Subtree의 아들입니다. 2013 년에 이더 리움 생태계에 도입 된이 프로토콜은 중앙 집중화와 싸우고 있습니다. 고속 블록 체인 네트워크는 고아 블록이라고도하는 부실 블록을 생성합니다. Ethereum은 부모 및 자식 블록과 구별하기 위해 “삼촌”이라고합니다..

삼촌 블록은 유효한 것으로 확인되지만 네트워크는 더 긴 체인이 우세 해지면이를 폐기합니다. 가장 빠르고 가장 강력한 채굴자가 항상 가장 긴 체인을 만들어 승리한다면 중앙 집중화는 네트워크에 침투 할 것입니다. 결과적으로 Ethereum은 가장 강력한 노드보다 더 많은 노드가 체인 구축에 발언권을 갖도록 삼촌 생성에 대한 보상을 선택합니다. GHOST 프로토콜에 대한 자세한 내용은 다음 설명을 참조하십시오. Ethereum의 GHOST 프로토콜은 무엇입니까?

밤에 충돌하는 합의 프로토콜

블록 체인은 변하지 않는 진실의 기록을 문서화하므로, 허위를 최소화 할 수있는 새로운 블록을 추가하는 것이 가장 중요합니다. 합의 프로토콜은 체인이 블록을 추가하는 방법을 결정합니다. 작업 증명 (PoW) 및 지분 증명 (PoS)은 가장 일반적인 합의 프로토콜입니다. PoW에서 광부는 다른 광부와의 경쟁에서 승리하는 계산 퍼즐을 해결하여 블록을 체인에 추가합니다..

더 빠르고 강력한 하드웨어를 가진 채굴자는 이점이 있습니다. 이것은 네트워크의 탈 중앙화를 약화시키고 악용 될 수있는 보안 취약점을 공개합니다. PoS는 게임 이론 개념을 활용하여 좋은 행동에 대한 인센티브를 만들고 나쁜 행동을 최소화합니다. 채굴 자들이 서로 경쟁하는 대신 PoS는 추가 할 블록을 제안 할 권한을 위해 예금 (지분)을 게시하는 검증 인을 제공합니다. 검증 인이 잘못 행동하면 처벌이 계속되고 그의 보증금은 삭감됩니다..

PoW는 실제로 많은 양의 전기를 소비합니다. 또한 채굴 자들은 콘테스트에서 우승 할 가능성을 극대화하기 위해 가능한 가장 강력한 하드웨어를 구입하기를 원합니다. PoS 구현은 제한적인 하드웨어 및 에너지 비용을 줄이거 나 잠재적으로 제거합니다..

묘지로부터의 이동

캐스퍼 프로토콜은 이더 리움을위한 PoS 알고리즘입니다. 검증 인은 지분을 스마트 계약에 예치합니다. 그런 다음 노드를 실행하여 합의 알고리즘에 참여하여 체인에 새로운 블록을 제안합니다. 이렇게하면 네트워크가 계속 실행됩니다. Casper the Friendly Finality Gadget (CFFG)은 블록을 체인으로 마무리합니다. 검증 인은 올바른 행동에 대해 보상을 받지만 시스템은 검증 인의 예치금을 삭감합니다..

Casper는 위반을 감지하고, 어떤 검증자가 규칙을 위반했는지 파악하고, 위반자를 처벌함으로써 책임을 제공합니다. 또한 새로운 검증 인이 시스템에 들어가고 기존 검증 인이 시스템을 떠날 수있는 안전한 프로세스를 제공합니다. 보안 방어는 Casper의 필수 요소입니다..

Casper는 독립적 인 모듈로 존재하며 제안 메커니즘 위에 존재합니다. Ethereum의 경우 현재 기본 제안 메커니즘은 PoW입니다. Casper의 첫 번째 반복은 Ethereum의 기존 PoW 합의 메커니즘 위에 위치합니다. 이것은 하이브리드 PoW / PoS 시스템이 될 것입니다. 기본 PoW 메커니즘은 미래에 다른 것으로 업그레이드하는 데 적합합니다. 어떤 형태의 라운드 로빈 방식이 PoW 구성 요소를 대체 할 수 있습니다..

그 삐걱 거리는 소리는 무엇입니까?

보안 관점에서 보면, 모듈 형 오버레이로서 공격자가 그 아래에있는 블록 제안 메커니즘을 손상 시키거나 손상 시키면 Casper가 무력하다는 것도 사실입니다. Casper가 제안 메커니즘으로부터 타당하고 합리적인 입력을 계속받는 한, 계속 정상적으로 작동합니다..

PoS의 보안은 보상 및 처벌에 대한 게임 이론적 개념을 기반으로합니다..

따라서 보안은 시스템에 위탁하는 예금 검증 인의 규모에서 비롯됩니다. 위험은 보상과 같습니다. 부정직 한 검증 인이 5 이더를 훔칠 기회를 보았지만 보증금에서 이더 100 이더를 빼앗기면 정직한 행동이 이어집니다. 반대로, 부정직 한 검증자가 100 에테르를 훔칠 기회를 보았지만 예금에서 5 에테르 만 삭감한다면 그는 그것을 사업 수행 비용으로 볼 것입니다.

사슬의 울부 짖음

네트워크 메커니즘으로서 Casper는 블록 체인의 무결성을 보장해야하며 항상 작동해야합니다..

“책임있는 안전”과 “그럴듯한 활력”은 Casper의 두 가지 기본 속성을 정의합니다. 책임있는 안전은 검증 자의 1/3 이상이 규칙을 위반하지 않는 한 두 개의 충돌하는 체크 포인트가 완료되는 것을 방지합니다. 그럴듯한 활성 상태는 유효성 검사자의 최소 2/3가 프로토콜을 따르는 경우 유효성 검사자가 규칙을 위반하지 않고 항상 새 체크 포인트를 완료 할 수 있음을 보장합니다..

표준 PoW 설계에서 가장 긴 체인은 항상 결정적입니다. Casper는 더 복잡하며 가장 긴 체인을 사용하는 것만으로도 해를 끼치는 경우가 있습니다. 결과적으로 Casper는 체크 포인트 트리의 루트 노드를 살펴보고 해당 기준을 충족하는 가장 긴 체인을 선택하는 더 복잡한 논리를 구현합니다..

블록 체인 마당을지나 휘파람

캐스퍼는 게임 이론에 의존하고 프로토콜의 개발은 연구와 수학에 크게 의존합니다. 그것은 많은 세부 사항의 복잡한 시스템입니다. 2017 년 11 월 15 일, Vitalik Buterin과 Virgil Griffith는 “Casper The Friendly Finality Gadget”이라는 제목의 논문에 시스템에 대한 기술 세부 사항을 게시했습니다. 여기에서 찾을 수 있습니다. Casper 친근한 결승 가제트

동일한 제목을 사용하지만 매우 다른 내용을 포함하고 Vitalik Buterin이 단독으로 작성한 날짜가없는 이전 문서가 Vitalik의 자체 웹 사이트에 있습니다. 이 문서는 Casper가 완화 할 수있는 다른 잠재적 보안 악용에 대해 다루며 여기에서 찾을 수 있습니다. Casper 친근한 결승 가제트

Vlad Zamfir가 작성한 Casper 소개는 2015 년 8 월 1 일 Ethereum 블로그에 게재되었습니다. Casper “친절한 유령”소개

마지막 단어가 있습니까??

PoW 합의 알고리즘이 성공했습니다. 블록이 체인에 삽입되고 사용자는 결과 체인이 정확하다고 신뢰합니다. 그러나 프로세스가 느리고 많은 전력을 소비하며 경쟁력있는 채굴자가 되려면 강력한 하드웨어에 투자해야합니다. Casper의 PoS 접근 방식은 게임 이론을 활용하여 이러한 문제를 완화하고 보안을 보장합니다..

캐스퍼는 밤에 약간의 충돌을 겪을 수 있지만 모듈 형 오버레이 메커니즘의 유연성으로 문제 해결 및 코딩 향상이 단순화됩니다. 최소한 Casper는 연구와 수학을 기반으로 한 혁신적인 사고를 제공하며 추가 혁신을위한 아이디어를 제공 할 가능성이 높습니다..