우선 정말 지루합니다. 실제로 ALGO에는 5개의 매우 긴 백서가 있습니다. 앞뒷면 75페이지에 달하는 백서 원본을 읽고 요약했습니다!

1. 소개

알고랜드는 공공 장부를 구현하는 진정으로 민주적이고 효율적인 방법입니다. 작업 증명에 기반한 이전 구현과 달리 무시할 수 있는 양의 계산이 필요하고 압도적으로 높은 확률로 "포크 "하지 않는 트랜잭션 내역을 생성합니다.

알고랜드는 (참신하고 초고속) 메시지 전달 비잔틴 계약을 기반으로 합니다.

현재 원장은 관리가 비효율적일 수 있습니다. 예를 들어, 비트코인의 작업 증명 접근 방식은 엄청난 양의 계산을 필요로 하고 낭비적이며 제대로 확장되지 않습니다. 또한 극소수의 손에 힘을 집중시킵니다.

알고리즘 무작위성을 사용하여 지금까지 구성된 원장을 기반으로 유효한 트랜잭션의 다음 블록 구성을 담당하는 검증자 세트를 선택하기 때문에 우리의 접근 방식을 알고랜드라고 부릅니다.

알고랜드의 접근 방식은 다양한 사용자 계층(비트코인의 "광부" 및 "일반 사용자")을 생성하지 않는다는 점에서 상당히 민주적입니다. Algorand에서 "모든 권한은 모든 사용자 집합에 있습니다".

Algorand의 주목할만한 속성 중 하나는 거래 내역이 매우 작은 확률(예: 1조 분의 1)로만 분기될 수 있다는 것입니다. 알고랜드는 또한 일부 법적 및 정치적 문제를 해결할 수 있습니다.

2 비트코인의 가정과 기술적 문제

비트코인은 악의적인 개체(또는 조정된 악성 개체의 연합)가 블록 생성에 사용되는 계산 능력의 대부분을 제어하지 않는다고 가정합니다. 실제로 그러한 엔터티는 블록체인을 수정할 수 있으므로 원하는 대로 지불 내역을 다시 작성할 수 있습니다.

계산 낭비: 블록 생성에 대한 Bitcoin의 작업 증명 접근 방식에는 엄청난 양의 계산이 필요합니다.

전력 집중: 특별히 제작된 컴퓨터 풀만 사용하면 새 블록을 생성하여 수익을 올릴 수 있습니다. 따라서 오늘날에는 지불만 하는 일반 사용자와 새로운 블록만 검색하는 특수 마이닝 풀이라는 두 가지 분리된 사용자 부류가 있습니다.

모호성: 비트코인에서 블록체인은 반드시 고유하지 않습니다. 실제로 최신 부분은 종종 분기됩니다. 여러 블록이 체인에 추가된 후에야 첫 번째 블록이 모든 사용자에게 동일할 것이라고 합리적으로 확신할 수 있습니다. 따라서 체인의 마지막 블록에 포함된 지불에 즉시 의존할 수 없습니다.

3 알고랜드, 간단히 말해서

무허가 및 허가된 환경. 알고랜드는 어떤 종류의 심사나 허가 없이도 임의의 많은 사용자가 언제든지 시스템에 참여할 수 있는 완전히 허가되지 않은 환경에서도 효율적이고 안전하게 작동합니다.

매우 적대적인 환경. Algorand는 다음과 같은 능력을 가진 매우 강력한 적에게 저항합니다.

(1) 원하는 사용자를 즉시 손상시키고,

(2) 모든 손상된 사용자를 완전히 제어하고 완벽하게 조정합니다. 그리고

(3) 정직한 사용자가 보낸 각 메시지 m이 m의 크기에만 의존하는 시간 λm 내에 정직한 사용자의 95%에 도달하는 경우 모든 메시지의 전달을 예약합니다.

주요 속성:

알고랜드에서 강력한 적의 존재에도 불구하고:

• 필요한 계산량이 최소화됩니다. 기본적으로 시스템에 얼마나 많은 사용자가 있더라도 1,500명의 사용자 각각은 최대 몇 초의 계산을 수행해야 합니다.

• 새 블록은 10분 이내에 생성되며 사실상 블록체인을 떠나지 않습니다.

• 모든 권한은 사용자 자신에게 있습니다. 알고랜드는 진정한 분산 시스템입니다. 특히, 어떤 거래가 인식되는지 제어할 수 있는 외생적 실체(비트코인의 "채굴자")가 없습니다.

알고랜드의 기술:

1. 새롭고 빠른 비잔틴 협정 프로토콜. 알고랜드는 새로운 암호화, 메시지 전달, 이진 비잔틴 합의(BA) 프로토콜 BA⋆을 통해 새 블록을 생성합니다. 이진 입력 버전은 3단계 루프로 구성되며, 여기서 플레이어 i는 다른 모든 플레이어에게 단일 메시지 mi를 보냅니다. 각 루프에서 프로토콜이 합의로 끝난 후 2/3 이상의 플레이어가 정직하고 확률이 1/3 이상인 완전하고 동기적인 네트워크에서 실행됩니다. 알고랜드는 이 바이너리 BA 프로토콜을 활용하여 우리의 다른 통신 모델에서 각각의 새로운 블록에 대한 합의에 도달합니다. 합의된 블록은 적절한 검증자의 규정된 수의 디지털 서명을 통해 인증되고 네트워크를 통해 전파됩니다.

2. 암호화 정렬. 매우 빠르지만 프로토콜 BA⋆는 수백만 명의 사용자가 플레이할 때 더 빠른 속도의 이점을 얻을 수 있습니다. 따라서 알고랜드는 BA⋆의 플레이어를 모든 사용자 집합의 훨씬 작은 하위 집합으로 선택합니다. 농도의 전력 문제의 다른 종류를 피하기 위해, 각각의 새로운 블록이 선택 브롬 검증기 별도 세트 SVR 의해 BA⋆ 새로운 실행을 통해 구성되고 합의된다. 원칙적으로 이러한 집합을 선택하는 것은 Br을 직접 선택하는 것만큼 어려울 수 있습니다. 우리는 모리스 헐리히(Maurice Herlihy) 의 통찰력 있는 제안, 암호화 분류를 수용하는 접근 방식으로 이 잠재적 문제를 탐색합니다. 분류는 많은 자격을 갖춘 개인 중에서 무작위로 공무원을 선택하는 관행입니다.

3. 수량(종자). 우리는 블록체인의 마지막 블록을 사용하여 다음 검증자 세트와 새 블록을 구성하는 리더를 자동으로 결정합니다.

4. 비밀 암호 분류 및 비밀 자격 증명 . 사용자가 자신이 다음 블록의 리더임을 개인적으로 알게 되면 먼저 자신이 제안한 새 블록을 비밀리에 조립한 다음 자신의 자격 증명과 함께 배포(인증될 수 있도록)합니다. 이렇게 하면 대적이 즉시 다음 블록의 리더가 누구인지 깨닫고 즉시 그를 타락시킬 수 있지만 대적이 새 블록의 선택에 영향을 미치기에는 너무 늦습니다. 실제로 그는 강력한 정부가 WikiLeaks에 의해 바이러스에 퍼진 메시지를 병에 다시 넣을 수 있는 것처럼 지도자의 메시지를 "회신"할 수 없습니다.

1. 선수 교체 가능성. 그가 새 블록을 제안한 후, 리더는 그의 일이 완료되었기 때문에 "죽을" 수도 있습니다(또는 적에 의해 손상될 수도 있습니다).

추가 속성/기술: 게으른 정직 정직한 사용자는 온라인 상태 및 프로토콜 실행을 포함하여 규정된 지침을 따릅니다. 알고랜드는 계산 및 통신 요구 사항이 적기 때문에 온라인 상태이고 "백그라운드에서" 프로토콜을 실행하는 것은 큰 희생이 아닙니다. 물론 연결이 갑자기 끊어지거나 재부팅해야 하는 경우와 같이 정직한 플레이어 사이에 몇 가지 "결석"이 자동으로 허용됩니다. 그러나 알고랜드는 정직한 사용자가 대부분의 시간을 오프라인으로 유지하는 새로운 모델에서 작동하도록 간단하게 조정할 수 있다는 점을 지적합시다.

"Lazy Honesty" 대략적으로 말하면, 사용자 i는 (1) 그가 프로토콜에 참여하도록 요청받았을 때 모든 규정된 지침을 따르고 (2) 프로토콜에만 참여하도록 요청받은 경우 게으르지만 정직합니다. 드물게, 적절한 사전 통지와 함께.

우리의 접근 방식은 블록 구축에서 사용자의 "힘"이 시스템에서 소유한 돈에 비례한다는 점에서 지분 증명과 관련된 것으로 간주될 수 있습니다.

원천