포괄적인 개요
1. MOVE 언어를 기반으로 한 새로운 생태 연구
적절한
수이
리네라
2. Celestia를 사용한 모듈식 블록체인
"모듈성"이란 무엇입니까?
블록체인의 아키텍처 레이어링
데이터 가용성 문제
Celestia의 블록체인 스케일링 솔루션
완전히 모듈화된 스택 --- Cevmos 및 재귀 롤업
3. 차세대 프라이버시 퍼블릭 체인
아즈텍
어서 해봐요
4. 블록체인 확장 솔루션
AltLayer
포괄적인 개요
최근 스타 퍼블릭 체인인 Aptos가 메인 네트워크를 출시했으며 시장 가치가 10억 달러를 초과했습니다 .프라이버시 퍼블릭 체인(Aztec, Aleo) 및 블록체인 스케일링 솔루션(AltLayer)은 새로운 퍼블릭 체인에서 잠재적인 새로운 기회를 탐색합니다.
"무브 언어 기반 퍼블릭 체인 생태학" 에서는 먼저 무브 언어의 특징과 견고성 비교, 적용을 분석한 후, 앱토스, 수이, 리네라 퍼블릭 체인의 소개, 특징, 생태에 대해 논의한다.
"모듈형 블록체인과 Celestia" 에서는 "모듈성"이란 무엇인지, 블록체인 아키텍처의 계층화 및 데이터 가용성 문제를 소개한 다음 Celestia 퍼블릭 체인을 위한 블록체인 확장 체계 및 완전 모듈형 스택에 대해 논의했으며 공유 가능성, 단순성, 공유 보안 및 주권은 기존 솔루션보다 유리합니다.
"차세대 프라이버시 퍼블릭 체인" 에서 우선 Aztec 프로토콜의 동기, 청구서, 상호 작용, 익명성, 효율성 분석 및 미래에 대해 AZTEC 프로토콜이 개발자가 다음을 생성하는 데 필요한 도구를 제공할 수 있음을 보여줍니다. 절대적인 프라이버시와 프라이빗 거버넌스로 디지털 자산을 구축하기 위한 프라이빗 분산형 금융 서비스 시설의 생성, Aleo 퍼블릭 체인, 핵심 기술, 합의 메커니즘, 토큰 경제 및 Web3 프라이버시의 주요 프로젝트 중 하나에 대한 향후 정교화에 대한 간략한 소개 높은 자금 조달로 추적 사용자는 개인 정보 보호 및 데이터 사유화를 가져옵니다.
"블록체인 확장 솔루션" 에서는 용량 확장에 중점을 둔 가장 인기 있는 퍼블릭 체인 중 하나인 AltLayer가 기능과 특성을 소개하고 NFTmint 시나리오의 페인 포인트를 소개하여 솔루션 및 구현 경로를 제안한 다음 AltLayer가 필요한 이유를 설명합니다.
1. Move 언어를 기반으로 한 새로운 생태 연구
Move 언어의 특징
Move 언어는 디지털 자산을 표현하기 위해 Diem 프로젝트에서 발명한 안전하고 신뢰할 수 있는 스마트 계약 프로그래밍 언어입니다.
현재 Move 언어는 내장된 스마트 계약에서만 사용할 수 있습니다. 페이스북의 블록체인 프로젝트인 Libra(Abandoned)에서 처음 등장했으며, 가장 큰 특징은 Resource가 Move의 1급 시민이라는 점입니다. Ethereum의 개발 언어인 Solidity와 달리 Move의 리소스는 절대 복사하거나 암시적으로 폐기할 수 없으며 프로그램 간에만 이동할 수 있습니다.
이동 대 견고성
현재 블록체인 언어 공간의 주요 플레이어는 Solidity입니다. 최초의 블록체인 언어 중 하나인 Solidity는 잘 알려진 데이터 유형(예: 바이트 배열, 문자열) 및 데이터 구조(예: 해시맵)를 사용하여 기본 프로그래밍 언어 개념을 구현하도록 설계되었습니다. 그러나 블록체인 기술의 발달로 블록체인 언어의 주요 목적이 디지털 자산에서 작동하는 것이며 이 언어의 주요 특성은 보안 및 검증 가능성 이라는 것을 알 수 있습니다 .
Move는 디지털 자산의 표현과 안전한 운영이라는 두 가지 문제를 해결하도록 설계되었습니다. EVM과 Move의 근본적인 차이점은 자산의 데이터 모델입니다. EVM 자산은 매개변수로 전달되거나 함수에서 반환되거나 다른 자산에 저장될 수 없습니다. Move 자산은 임의의 사용자 정의 유형인 반면 자산은 매개변수로 전달되고 함수에서 반환되며 다른 자산에 저장될 수 있습니다.
MOVE의 주요 강점 중 하나는 데이터 결합성입니다. 초기 자산 X를 포함하는 새 자산 Y를 생성하는 것은 항상 가능합니다. 또한 제네릭을 추가하면 모든 자산을 래핑하고 래핑된 자산에 추가 속성을 제공하거나 다른 자산과 결합할 수 있는 일반 래퍼 Z(T)를 정의할 수 있습니다.
Move 언어의 응용
Aptos와 Sui 퍼블릭 체인은 모두 Move 언어를 기반으로 개발되었지만 다음과 같은 공통점이 있습니다.
-
공동 창립자는 메타의 Diem 및 Novi 팀입니다.
-
둘 다 Layer1 퍼블릭 체인입니다.
-
그들은 모두 체인을 사용하여 분산화, 보안 및 고성능의 "불가능한 삼각형"을 해결하려고 합니다.
Linera는 Move로 개발했다고 명시적으로 표현하지는 않았지만, Rust를 기반으로 개발되었다고만 밝혔지만, 논리적으로 둘 사이에 큰 차이는 없으며, Aptos와 Sui와 같은 기원을 가지고 있습니다. Diem과 Novi의 인프라 엔지니어. 따라서 이 3개의 퍼블릭 체인을 메타 퍼블릭 체인이라고도 합니다.
퍼블릭 체인 트랙이 이미 만개한 이유는 무엇입니까? 그러나 메타 퍼블릭 체인은 여전히 업스트림으로 올라가서 이 붐비는 트랙에 침입해야 합니까? 핵심은 현재 퍼블릭 체인 중 어느 것도 하나의 체인을 사용하여 분산화, 보안 및 고성능을 동시에 해결하는 "불가능한 삼각형"을 완벽하게 해결할 수 없다는 것입니다. 그리고 이 3개의 메타 시스템 퍼블릭 체인은 "불가능한 삼각형"을 해결하기 위해 기존 블록체인과 다른 기술을 사용하여 Web3가 착륙할 수 있는 강력한 인프라를 만들려고 합니다.
적절한
소개하다
Aptos는 3개의 메타 퍼블릭 체인 중 가장 초기에 가장 잘 개발된 프로젝트입니다. Aptos 블록체인은 생태계의 모든 참여자에게 기본 네트워크 지원을 제공하는 처리량이 많고 대기 시간이 짧은 기본 블록체인 네트워크를 만드는 것을 목표로 합니다.
앱토스의 창업자들은 모두 메타의 Diem과 Novi 팀 출신이며, Aptos 역시 Diem 프로젝트에서 축적된 오픈소스 기술과 개발 경험을 바탕으로 구축되었습니다. 그 중 Aptos의 두 창립자인 Mo Shaikh와 Avery Ching은 메타 암호화 지갑 Novi의 개발에 깊이 관여했습니다.
2022년 7월 27일 현재, 앱토스는 총 3억 5천만 달러의 자금 조달을 완료했으며, 이 중 a16z(Andreessen Horowitz), FTX Ventures, Multicoin Capital이 모두 지금까지 두 차례의 자금 조달 에 참여했습니다.
특징
MOVE 언어 개발
Aptos Move는 Move 언어의 원래 설계 원칙을 따릅니다.
-
리소스 우선 순위
-
블록체인에서 우리는 프로그램을 통해 디지털 자산에 액세스해야 합니다. Move 언어의 리소스는 디지털 자산에 대해 특별히 정의되어 있습니다. 리소스는 암시적으로 복사하거나 파괴할 수 없으며 다른 사용자 간에만 이동할 수 있습니다. Move 언어의 모듈은 이더리움의 스마트 컨트랙트와 유사하며 모듈은 리소스 유형과 프로세스를 선언합니다. 모듈에 정의된 유형 및 프로시저는 다른 모듈에서 호출할 수 있습니다.
-
Aptos 팀은 더 넓은 범위의 Web3 사용 사례를 지원하고 세분화된 리소스 제어를 달성하기 위해 Move 기능을 추가했습니다. 이 기능은 병렬 실행을 효과적으로 지원할 뿐만 아니라 데이터 액세스 및 변경 비용을 거의 수정합니다. 또한 Aptos 블록체인은 세분화된 저장소 위에 구축된 테이블 지원을 제공하여 대규모 데이터 세트를 하나의 계정에서 구현할 수 있습니다.
-
-
유연성
-
Move 언어는 트랜잭션 스크립트를 통해 다양한 트랜잭션을 자유롭게 결합하여 다른 기능을 달성할 수 있으며 하나의 Move 스크립트에서 여러 트랜잭션을 호출할 수 있습니다.
-
Move 언어의 모듈/리소스/프로시저 관계는 객체 지향 프로그래밍 언어의 클래스/객체/메서드 관계와 유사합니다.
-
Move 바이트코드를 직접 실행하거나 다른 게시된 모듈 코드를 호출할 수 있고, 한 트랜잭션에서 여러 프로그램을 호출할 수 있으며, 한 트랜잭션에서 여러 사람에게 돈을 이체하도록 유연하게 구현할 수 있습니다.
-
-
안전
-
Move에 의해 컴파일된 바이트코드가 체인에 제출된 후 바이트코드 검증기에 의해 검증된 다음 바이트코드 해석기에 의해 실행됩니다.
-
보다 신뢰할 수 있는 코드 작성을 돕기 위해 Move에는 주어진 사양에 따라 Move 프로그램의 기능적 정확성을 검증할 수 있는 유형 검증 프로그램인 Move Prover가 포함되어 있으며 이러한 유형 검증 기능은 Move 언어에 통합되었습니다.
-
Move 인코딩 시스템은 리소스에 대한 대상 보안 보호를 제공합니다. 이동 리소스는 복사, 재사용 또는 파기할 수 없습니다. 리소스 유형은 해당 유형을 정의하는 모듈에 의해서만 생성되거나 소멸될 수 있습니다. Move 가상 머신은 정적 바이트코드 확인을 통과하고 보안을 보장하기 위해 바이트코드 확인을 통과하지 못한 프로그램 실행을 거부합니다.
-
-
검증 가능성
-
Move 언어에는 여러 인증 방법이 있습니다. 일반적으로 가장 좋은 검증 방법은 실제 검증을 위해 바이트 코드를 체인에 제출하는 것이지만 이는 분명히 체인에 대한 부담을 증가시키고 트랜잭션 속도에 영향을 미칩니다. 따라서 Move에서는 가능한 한 체인에서 경량 검증을 수행하고 언어 수준에서 오프라인 정적 검증을 수행합니다.
-
앱토스 상태 동기화
상태 동기화는 비검증 노드가 블록체인 데이터를 배포, 확인 및 유지하고 생태계의 모든 노드가 동기화되도록 하는 프로토콜입니다. 유효성 검사기 및 전체 노드를 포함하여 Aptos 네트워크의 노드는 항상 최신 Aptos 블록체인 상태와 동기화되어야 합니다. 각 노드에서 실행되는 상태 동기화 구성 요소는 이 동기화를 담당합니다. 이 동기화를 달성하기 위해 상태 동기화는 피어에서 새로운 블록체인 데이터를 식별 및 가져오고, 데이터를 확인하고 로컬 스토리지에 유지합니다.
Aptos 상태 동기화 모드
Aptos Status Sync는 두 가지 모드로 작동합니다. 모든 노드는 시작 시 부트스트랩(부트스트랩 모드)한 다음 계속 동기화합니다(연속 동기화 모드).
세 가지 부팅 모드가 있습니다.
-
제네시스 이후 모든 트랜잭션 실행
-
제네시스 이후 트랜잭션 출력 적용
-
최신 상태를 직접 다운로드
두 가지 연속 동기화 모드가 있습니다.
-
트랜잭션 실행
-
트랜잭션 출력 적용
Aptos 상태 동기화 아키텍처
Aptos Status Sync 구성 요소는 각각 특정 목적을 가진 4개의 하위 구성 요소로 구성됩니다.
-
드라이버 : 동기화 진행 중입니다. 노드가 피어로부터 수신하는 모든 데이터의 유효성을 검사합니다. 데이터는 데이터 스트리밍 서비스를 통해 피어에서 전달됩니다. 데이터가 확인된 후 드라이버는 데이터를 로컬 스토리지에 유지합니다.
-
데이터 스트리밍 서비스 : 피어가 데이터를 소유하거나 데이터 요청이 관리되는 방식에 대해 걱정할 필요 없이 피어에서 새로운 데이터 청크를 스트리밍하는 클라이언트를 위한 데이터 스트림을 생성합니다.
-
Aptos Data Client : 데이터 클라이언트는 데이터 스트리밍 서비스의 데이터 요청 처리를 담당합니다. 모든 트랜잭션을 스트리밍하는 데이터 스트리밍 서비스의 경우 각 트랜잭션 배치에 대해 하나씩 여러 요청이 만들어지고 피어로 전송됩니다. 데이터 클라이언트는 요청을 수락하고 요청을 처리할 수 있는 피어를 결정하고 요청을 전송합니다.
-
스토리지 서비스 : 스토리지 서비스는 각 노드에서 제공하는 단순 스토리지 API이며 피어는 API 호출을 통해 데이터를 얻습니다.
Aptos 병렬 실행 엔진
높은 처리량과 낮은 대기 시간을 달성하기 위해 Aptos 블록체인은 트랜잭션 처리의 주요 단계에서 파이프라인 및 모듈식 접근 방식을 사용합니다. 특히 트랜잭션 전파, 블록 메타데이터 순서 지정, 병렬 트랜잭션 실행, 일괄 저장 및 원장 확인이 모두 동시에 실행됩니다. 이 접근 방식은 사용 가능한 모든 물리적 리소스를 최대한 활용하고 하드웨어 효율성을 개선하며 고도의 병렬 실행을 가능하게 합니다.
Aptos 블록체인은 데이터 모델과 실행 엔진의 두 가지 측면에서 병렬 처리를 구현합니다. Move 언어 데이터 모델 자체가 데이터 및 모듈의 전역 주소 지정을 지원하므로 Aptos는 Move 언어를 사용하여 트랜잭션의 병렬 실행을 구현합니다. 동시에 동시성을 달성하기 위해 Rayon, Dashmap 및 ArcSwap 크레이트에 의존하는 고효율, 다중 스레드, 메모리 내 병렬 실행 엔진인 Block-STM이 설계 및 구현되었습니다.
병렬 데이터 모델
Aptos 블록체인은 수정된 계정 상태가 아닌 계정 상태에 대한 수정을 설명하는 델타 쓰기라는 새로운 개념을 도입합니다(예: 단순히 최종 값을 결정하는 대신 정수를 증가). 모든 트랜잭션 처리는 병렬로 수행할 수 있으며 충돌하는 값에 대한 델타 쓰기는 올바른 순서로 수행되어 결정론적 결과를 보장합니다.
시간이 지남에 따라 Aptos 블록체인은 동시성을 높이고(예: 읽기/쓰기 힌트 활용) 개발자 경험을 개선하여 개발자가 온체인 값을 보다 자연스럽게 생성, 수정 및 결합할 수 있도록 하여 데이터 모델을 계속 향상시킬 것입니다. Move는 언어 수준 및 플랫폼별 기능 향상을 위한 유연성을 제공합니다.
병렬 실행 엔진
Block-STM 병렬 실행 엔진은 순서가 지정된 트랜잭션에서 충돌을 감지하고 관리하는 동시에 낙관적 동시성 제어를 수행하여 특정 순서에서 최대 병렬성을 달성합니다.
배치 트랜잭션은 낙관적 잠금을 사용하여 병렬화되고 실행 후 확인됩니다. 유효성 검사에 실패하면 다시 실행됩니다. Block-STM은 다중 버전 데이터 구조를 사용하여 쓰기-쓰기 충돌을 방지합니다. 동일한 위치에 대한 모든 쓰기는 ID와 낙관적으로 재시도된 횟수가 포함된 버전과 함께 저장됩니다. 트랜잭션 tx가 메모리 데이터를 읽을 때 미리 설정된 순서대로 다중 버전 데이터 구조에서 tx 이전에 나타나는 블록 높이가 가장 높은 트랜잭션을 가져와서 트랜잭션 값과 관련 버전을 씁니다.
Block-STM이 앱토스 블록체인에 통합되었습니다. Block-STM의 성능 잠재력을 이해하기 위해 우리는 인메모리 데이터베이스를 사용하고 의미 있는(사소하지 않은) P2P 이동 트랜잭션(예: 트랜잭션당 읽기 8회 및 쓰기 5회)을 독립적인 실행 전용으로 취급합니다( non-trival) end-to-end) 벤치마크.
앱토스 합의 프로토콜
Aptos는 Aptos BFT 합의 알고리즘을 통해 합의 메커니즘을 구현합니다. Aptos BFT는 Diem BFT를 따르고 이를 기반으로 4차 반복을 수행했습니다.
반복 기능 중 하나는 다음과 같습니다. 활성 심박 조율기를 추가합니다. 시간 초과를 사용하여 증가된 시간 초과를 기다리는 것보다 훨씬 빠르게 유효성 검사기를 동기화하고 단 두 번의 네트워크 왕복으로 커밋을 차단하여 1초 미만의 완결성을 일반적인 경우로 만듭니다. 두 번째는 Aptos가 평판 시스템을 추가했다는 것입니다. 온체인 데이터를 확인하고 리더 교체를 자동으로 변경하여 응답하지 않는 검증자를 처리합니다.
수이
소개하다
Sui는 Mysten Labs 팀이 개발한 Meta 퍼블릭 체인의 초기 프로젝트이며 Mysten Labs 팀의 창립자인 Evan Cheng도 Diem 및 Novi 프로젝트를 떠났습니다.
Sui는 환경 친화적이고 저비용이며 처리량이 많고 대기 시간이 짧은 무허가형 블록체인을 만드는 것을 목표로 합니다. 기존 블록체인과 비교할 때 Sui의 가장 중요한 혁신은 Sui의 데이터 모델 및 트랜잭션 처리 채널에 있습니다.
2021년 12월 Sui는 3,600만 달러 규모의 시리즈 A 파이낸싱을 발표했으며, 2022년 7월에는 20억 달러 가치의 시리즈 B 파이낸싱에서 2억 달러를 모색하고 있다고 밝혔습니다. A 라운드 파이낸싱에는 a16z 및 NFX, Scribble Ventures, Redpoint, Lightspeed, Electric Capital, Samsung NEXT, Slow Ventures, Standard Crypto, Coinbase Ventures 등이 포함됩니다.
특징
1. 코어무브 변신 기반의 수이무브
-
Sui 개체 중심 글로벌 스토리지 : Core Move에서 글로벌 스토리지는 프로그래밍 모델의 일부이며 move_to , move_from 및 더 많은 글로벌 스토리지 연산자와 같은 특수 작업을 통해 액세스할 수 있습니다. Sui Move에는 전역 저장소와 관련된 작업이 없으며 저장소는 Sui에서만 발생하며 Sui는 Move에 액세스해야 하는 모든 개체를 명시적으로 전달합니다.
-
주소는 개체 ID를 나타냅니다 . Move에는 특별한 유형의 주소가 있습니다 . Core Move는 글로벌 스토리지를 처리할 때 계정 주소를 알아야 하기 때문에 이 유형은 Core Move에서 주소를 나타내는 데 사용됩니다. Sui Move에서 주소 유형은 개체 ID를 나타내는 데 사용됩니다.
-
Sui 개체에는 전역적으로 고유한 ID가 있습니다 . Core Move에서 키는 전역 저장을 위한 키로 사용할 수 있습니다. Sui는 모든 키 가능 구조가 ID 유형이 있는 id 필드로 시작해야 한다고 요구합니다 . Sui는 ID 필드가 변경 불가능하고 다른 객체로 전송될 수 없도록 바이트코드 검증기를 사용합니다.
-
Sui의 모듈 초기화 : 초기화 기능은 모듈별 데이터를 사전 초기화할 목적으로 모듈이 게시될 때 Sui 런타임에 의해 실행됩니다. 초기화 함수는 게시 시 실행될 다음 속성을 포함해야 합니다: 함수 이름은 init, 함수는 단일 인수 유형이어야 함, 반환 값 없음, 전용 함수.
-
Sui는 객체 참조를 입력으로 사용합니다 . Sui는 Sui에서 직접 호출할 수 있는 진입 함수와 다른 함수에서 호출할 수 있는 함수를 제공합니다.
2. Sui의 데이터 모델 및 트랜잭션 처리 채널
Sui의 창립자는 다음과 같이 지적했습니다. Sui의 접근 방식은 "객체"를 통해 데이터를 구별하고 구성하는 것입니다. 특정 NFT, 특정 토큰의 잔액 및 특정 스마트 계약은 모두 다른 개체(유형으로 이해할 수 있음)이며, 이는 Sui 체인의 트랜잭션을 다른 개체에 따라 그룹화하고 처리할 수 있음을 의미합니다.
기존 블록체인의 모든 트랜잭션은 집합적으로 정렬된 후 실행되어야 합니다. Sui의 경우 모든 트랜잭션은 특정 논리에 따라 구별, 정렬 및 정렬된 다음 실행됩니다. 데이터 모델은 서로 다른 트랜잭션 간의 종속성을 보다 명확하게 만들 수 있으며 공유 개체의 트랜잭션만 일괄적으로 정렬하면 되며 특정 개체의 트랜잭션은 이러한 합의 협상 프로세스가 필요하지 않습니다.
정리하면 특정 객체 유형의 트랜잭션은 병렬로 실행될 수 있지만 공유 객체 유형의 트랜잭션도 서로 병렬로 실행될 수 있지만 각 공유 객체는 순차적으로 실행되어야 합니다. 이 아키텍처는 다음과 같은 제품 문제를 동시에 해결할 수 있습니다.
-
수평적 확장성 : Sui에서는 각 트랜잭션 집합이 병렬로 처리됩니다.
-
결합 가능성 : 자산을 함수의 인수로 전달, 함수에서 일종의 자산 반환, 자산을 데이터 구조에 저장하거나 다른 자산에 직접 저장.
-
온체인 스토리지 : 게임 레이스, 레벨, 경험 등과 같은 자산과 같은 데이터를 Sui 객체에 저장할 수 있습니다.
-
부분 재생 기능 : 블록체인은 모든 트랜잭션의 기록을 제공하며 Sui의 아키텍처를 통해 이러한 프로젝트는 관심 있는 개체의 진화, 즉 부분 재생에만 집중할 수 있습니다.
3. Sui의 두 가지 트랜잭션 합의 메커니즘
Sui의 합의 메커니즘은 Narwhal(메모리 풀 프로토콜)과 Tusk(비동기 합의 프로토콜)의 두 부분으로 나뉘지만 2022년 8월 Bullshark는 대기 시간을 줄이고 공정성을 지원하기 위해 합의 프로토콜의 Tusk 구성 요소를 기본값으로 대체했습니다. 따라서 Narwhal과 Bullshark 또는 Tusk가 Sui 합의 엔진을 구성하는 것으로 이해할 수 있습니다.
Sui 합의 엔진의 특징 (Narwhal mempool 제공)
-
마스터 노드에서 데이터 가용성에 대한 암호화 증명을 사용하는 고처리량 데이터 가용성 엔진
-
이 정보를 순회하기 위한 구조화된 그래프 데이터 구조
-
여러 작업자에게 디스크 I/O 및 네트워크 요구 사항을 분배하는 확장 가능한 아키텍처
합의 구성 요소는 그래프 순회를 사용하여 정보 오버헤드가 없는 합의 알고리즘을 제공합니다.
Sui 컨센서스 엔진 아키텍처
Narwhal 인스턴스는 일련의 노드에 분산된 지분 단위로 구성된 메시징 시스템을 설정하고, f 지분 단위를 보유한 당사자를 방해할 수 있는 네트워크를 제어하는 계산적으로 제한된 적이 있다고 가정합니다. 유효성 검사기는 협력하여 거래 일괄 처리의 리더 없는 그래프를 형성합니다. 이 그래프는 문헌(DAG 기반 합의의 맥락에서)에서 블록으로 지정하고 집합으로 레이블을 지정하여 우리가 멤풀 데이터가 지정되지 않은 세상에 있음을 강조합니다. 환경 합의 알고리즘을 사용하는 곳입니다.
그래프의 정점은 인증 세트로 구성됩니다. 검증자-작성자에 의해 서명된 모든 유효한 세트는 정수를 포함해야 하며 자체적으로 (2f+1) 검증자 지분의 쿼럼에 의해 서명되어야 합니다. 이러한 2f+1 서명 가용성 인증서라고 합니다. 또한 이 세트에는 그래프의 가장자리를 형성하는 이전 라운드의 유효한 인증서(즉, 2f + 1 단위 지분을 가진 유효성 검사기의 인증서)에 대한 해시 포인터가 포함되어야 합니다.
각 세트는 다음과 같은 방식으로 구성됩니다. 각 유효성 검사기는 각 라운드의 세트를 안정적으로 브로드캐스트합니다. 명시된 유효 조건 하에서 2f+1 지분을 가진 검증인이 세트를 받으면 각자의 서명으로 이를 확인합니다. 2f+1 유효성 검사기의 서명은 가용성 인증서를 형성한 다음 공유되며 라운드 r+1의 세트에 포함될 수 있습니다.
아래 그림은 권한 A, B, C 및 D가 참여하는 DAG 구성의 5개 라운드(1~5)를 나타냅니다. 단순화를 위해 각 유효성 검사기는 1단위의 지분을 보유합니다. A5에서 A의 최근 라운드로 확정된 세트는 그림에서 실선으로 표시됩니다.
이미지 출처 수이 공식 홈페이지
Sui Consensus Engine의 작동 메커니즘
-
그래프 구조를 통해 기관별, 라운드별로 더 많은 트랜잭션을 시스템에 삽입할 수 있습니다.
-
인증서는 각 라운드에서 각 컬렉션 또는 블록에 대한 데이터 가용성을 증명합니다.
-
그들의 콘텐츠는 모든 정직한 노드에서 동일하게 통과할 수 있는 DAG를 형성합니다.
Bullshark 또는 Tusk 합의는 몇 개의 사후 내에서 특정 DAG 순회를 선택하지만 이들과 외부 합의 알고리즘 모두 우선순위 문제를 반영하기 위해 블록/세트를 선택하는 데 더 많은 복잡성을 추가할 수 있습니다.
Sui 컨센서스 엔진 요약
Sui는 트랜잭션을 두 가지 유형으로 나눕니다. 하나는 단순 트랜잭션, 즉 트랜잭션이 블록체인 상태의 다른 부분과 복잡한 상호 의존성이 없는 것이고, 다른 하나는 복잡한 계약입니다. 여러 사용자가 이러한 개체를 변경할 수 있는 공유 개체의 이점을 누릴 수 있습니다.
간단한 트랜잭션에서 Sui는 Byzantine 합의 방송을 기반으로 하는 간단한 알고리즘을 사용하여 전체 체인이 아닌 관련 데이터에 대해서만 잠금 방식을 취합니다. 이 경우 필요한 유일한 정보는 보낸 사람 주소이며 한 번에 하나의 트랜잭션만 보낼 수 있습니다.
복잡한 계약에서 Sui는 합의 프로토콜을 사용하여 공유 객체와 관련된 모든 트랜잭션을 완전히 주문합니다. Narwhal(메모리 풀 프로토콜)은 높은 처리량의 데이터 가용성 엔진과 디스크 I/O 및 네트워크 요구 사항을 여러 개체에 분산하는 확장 가능한 아키텍처를 제공합니다. Bullshark는 그래프 순회를 사용하여 메시지 오버헤드가 없는 합의 알고리즘을 제공합니다. 이 둘의 조합은 복잡한 계약의 처리 성능을 향상시킬 수 있습니다.
4. Sui의 확장성
Sui는 최신 Narwhal 합의 프로토콜을 사용하여 공유 개체와 관련된 트랜잭션을 완전히 주문합니다. Sui가 데이터 저장소를 효율적으로 샤딩하고 리소스를 수평으로 확장할 계획이므로 컨센서스 하위 시스템도 확장할 수 있습니다.
생태학
리네라
소개하다
Linera의 창립자이자 CEO는 인프라 엔지니어로도 일했으며 Diem 및 Novi 개발에 깊이 관여한 Mathieu Baudet입니다.
현재 Linera가 발표한 공식 정보는 매우 적고 Aptos 및 Sui와 비교하여 가장 늦게 시작했으며 현재 매우 초기 개발 단계에 있으며 공개 정보에는 개발 아이디어와 혁신적인 아이디어만 있습니다.
특징
-
지불 시스템. "Linera 블록체인은 이 접근 방식을 일반화하고 프로덕션에 적용하여 대부분의 계정 기반 작업을 순식간에 확인할 수 있도록 하는 것을 목표로 합니다 ."라고 Linera의 공개 정보는 말합니다. Linera의 포지셔닝은 실제로 범용 퍼블릭 체인이 아닌 지불 시스템임을 알 수 있습니다.
-
낮은 대기 시간. Linera는 web3 응용 프로그램이 web2 응용 프로그램과 같은 궁극적인 매끄러운 경험을 갖도록 하기 위해 최선을 다하고 있으며 더 이상 네트워크 지연으로 인해 문제가 발생하지 않습니다.
-
선형 스케일링. Linera 프로젝트는 선형 확장에 적합한 새로운 실행 모델을 개발 및 홍보하여 서로 다른 사용자 계정의 작업을 서로 다른 스레드에서 병렬로 실행할 수 있습니다. (일시적으로 미완성)
-
Rust 언어를 기반으로 개발되었습니다. 리네라 공개 정보에는 무브 언어로 개발했다고 명시되어 있지 않고, 러스트 언어를 기반으로 개발되었다는 것만 명시되어 있습니다.
요약하다
대규모 프로젝트는 종종 처리 시간과 안정성에 대한 요구 사항이 더 높습니다. 최근 몇 년 동안 web3의 다양한 트랙에서 많은 개발자와 사용자의 유입을 기반으로 점점 더 많은 사용자가 체인에서 거래하고 있으며 속도 추구가 점점 더 엄격해지고 있으므로 개인적으로 말하면 여전히 리네라에게는 큰 도전이 될 전망이다. 같은 소스인 압토스와 수이의 관심 때문만은 아니다. 나는 리네라가 상황을 깨고 체인에서 지불 대기의 현재 딜레마를 해결할 수 있기를 바랍니다.
2. Celestia를 사용한 모듈식 블록체인
"모듈성"이란 무엇입니까?
모듈형 블록체인은 블록체인 아키텍처의 혁신이자 블록체인 확장 문제에 대한 혁신적인 솔루션입니다. 모듈식 블록체인을 이해하기 전에 "모듈식"이 무엇인지 이해해야 합니다.
소프트웨어 엔지니어링 개발에서 "모듈화"는 프로그램의 코드를 분리하여 각 모듈의 기능이 독립적이고 모듈 간의 결합이 낮아 모듈 재사용의 목적을 달성하는 것을 말합니다. "모듈화"의 본질은 일종의 "분업"이며 프로그램은 "조직"이며 다른 모듈을 결합하여 다른 프로그램을 형성할 수 있습니다.
블록체인의 경우 "모듈화"는 "모놀리식" 블록체인 아키텍처의 대안입니다. 아키텍처는 블록체인의 각 부분의 기능에 따라 계층화됩니다. 신흥 블록체인은 다른 블록체인에 서비스를 제공하기 위해 특정 계층 기능을 구현하기만 하면 됩니다. "모놀리식" 블록체인과 같은 모든 계층의 기능을 포함하지 않고 계층. "모듈화" 실현의 이점은 블록체인의 탈중앙화를 높이고 블록체인의 처리량과 용량을 향상시키는 것입니다.
블록체인의 아키텍처 레이어링
모듈식 블록체인의 계층화와 관련하여 다음과 같은 측면에서 정의할 수 있습니다.
-
보안 모듈: 블록체인의 보안을 보장합니다.
-
실행 계층: 실행 계층에서는 단일 트랜잭션이 실행되고 상태 변경이 발생하며, 동일한 배치의 트랜잭션에 대해서는 배치의 상태 루트가 계산됩니다. 현재 주류 실행 계층 솔루션은 StarkNet, zkSync, Arbitrum 및 Optimism으로 알려진 Rollup입니다.
-
정산 계층: 상태 루트(zkRollup) 또는 사기 증거(낙관적 롤업)의 유효성을 확인하기 위한 메인 체인의 롤업 계약과 같은 상태 약정을 정산하는 프로세스입니다.
-
-
실행 환경 계층: 블록체인의 실행 환경을 제공합니다.
-
합의 계층: 합의 계층은 분산 시스템에서 무언가에 대한 합의에 도달하는 것, 즉 상태 전환의 유효성에 대한 합의에 도달하는 것입니다. 합의 계층에서 검증자는 트랜잭션이 발생하는 순서에 대한 합의에 도달하지만 검증자는 트랜잭션 자체가 유효한지 여부는 신경 쓰지 않습니다.
-
데이터 가용성 레이어: 이 레이어는 "데이터 가용성" 문제를 해결해야 합니다. 즉, 새 블록이 생성된 후 새 블록의 모든 데이터가 블록체인에 게시되도록 해야 합니다. 블록의 데이터가 블록체인에 게시되어 있음을 증명할 수 없다면 블록에 숨겨진 악의적인 트랜잭션을 감지할 수 없으며 블록체인은 안전하지 않습니다.
-
-
모듈형 블록체인의 가장 대표적인 제품은 "플러그 가능한" 합의 레이어와 데이터 가용성 레이어를 제공하는 POS(Proof of Stake) 블록체인인 Celestia 입니다 . Celestia를 깊이 이해하기 전에 "데이터 가용성"의 가능한 문제를 살펴보겠습니다.
데이터 가용성 문제
블록체인에서 각 블록은 두 부분으로 구성됩니다.
-
블록 헤더 : 트랜잭션의 Merkle 루트를 포함하여 블록에 대한 일부 기본 정보를 포함하는 블록의 메타데이터입니다.
-
트랜잭션 데이터 : 블록의 대부분을 구성하며 실제 트랜잭션으로 구성됩니다.
일반적으로 블록체인 네트워크에는 두 가지 유형의 노드가 있습니다.
-
풀 노드(완전 검증 노드라고도 함) : 블록체인의 모든 트랜잭션이 유효한지 다운로드하고 확인하는 노드입니다. 이러한 노드를 설정하려면 많은 리소스와 수백 기가바이트의 디스크 공간이 필요하지만 유효하지 않은 트랜잭션이 있는 블록을 수락하도록 속일 수 없기 때문에 가장 안전한 노드입니다.
-
라이트 클라이언트 : 컴퓨터에 전체 노드를 실행할 리소스가 없으면 라이트 클라이언트를 실행할 수 있습니다. 라이트 클라이언트는 트랜잭션을 다운로드하거나 확인하지 않습니다. 대신 블록 헤더만 다운로드하고 블록에 유효한 트랜잭션만 포함되어 있다고 가정하므로 라이트 클라이언트는 전체 노드보다 안전하지 않습니다.
이것은 중요한 질문을 제기합니다. 라이트 클라이언트가 유효하지 않은 블록을 거부하여 채굴자를 신뢰하지 않아도 되도록 하려면 어떻게 해야 할까요? 답은 특정 거래가 유효하지 않다는 것을 증명하는 사기 증명 에 있습니다.
사기의 증거
사기 및 데이터 가용성 증명 블록체인 스택의 일부 핵심 구성 요소를 모듈화함으로써 라이트 클라이언트는 전체 노드에 의존하여 유효하지 않은 거래를 찾고 사기가 감지되면 간결한 사기 증명을 보낼 수 있습니다. 사기 증명은 기본적으로 문제의 트랜잭션 자체, 사전 상태 루트, 사후 상태 루트 및 해당 트랜잭션의 증인을 포함합니다. 이것은 라이트 클라이언트로 전송될 수 있으며, 특정 트랜잭션을 쉽게 다시 계산하고 전체 블록체인의 상태를 알 필요 없이 유효하지 않음을 감지할 수 있습니다.
데이터 가용성 샘플링(DAS)
여기에서 데이터 가용성 문제가 발생합니다. 전체 노드가 사기 증거를 생성하려면 모든 기본 데이터가 게시되어야 합니다. 데이터를 사용할 수 없으면 아무도 상태를 다시 계산하거나 악의적인 활동을 증명할 수 없습니다. 그래서 우리에게 정말 필요한 것은 라이트 클라이언트가 블록 헤더 정보를 확인할 때 채굴자가 트랜잭션 데이터를 체인에 게시했는지 여부를 확인하는 방법입니다. 이 데이터가 게시되고 전체 노드에서 사용할 수 있는 한 사기 증거를 생성할 수 있습니다. 이것이 데이터 가용성의 증거가 필요한 이유입니다 .
DAS의 핵심은 라이트 클라이언트가 삭제 코딩을 통해 블록을 여러 조각으로 분할하고 해당 데이터의 하위 집합만 무작위로 샘플링하고 프로세스에서 통계적으로 확실하게 전체 블록이 게시되었는지 확인할 수 있다는 것입니다.
보안 가정
DAS를 사용하면 라이트 클라이언트가 블록의 모든 데이터가 실제로 다운로드 가능한지 확인할 수 있으므로 전체 유효성 검사 노드는 유효하지 않은 트랜잭션의 경우 사기 증거를 생성할 수 있습니다. 이러한 기술을 결합하면 보다 취약한 보안 가정에 의존할 수 있으므로 다음 세 가지 상황이 발생합니다.
-
풀 노드: 여전히 가장 안전한 솔루션인 풀 노드는 유효하지 않은 블록을 수락하도록 속일 수 없습니다.
-
표준 라이트 클라이언트: 블록을 검증하지 않기 때문에 다수의 합의가 정직하다고 가정합니다.
-
Light Client + Fraud Proofs: 이제 상태 타당성에 대한 정직한 다수의 가정을 보다 약한 정직한 소수 가정 으로 대체할 수 있습니다 . 이제 함께 전체 블록을 재구성할 수 있도록 충분한 샘플 요청을 하는 최소한의 라이트 클라이언트만 있으면 됩니다.
사기 증명과 데이터 가용성 샘플링의 조합은 데이터 가용성 및 유효성에 대한 강력한 보장을 유지하면서 온체인 블록체인 확장(예: 샤딩 또는 블록 크기 증가를 통해)을 가능하게 하는 핵심입니다.
Celestia의 블록체인 스케일링 솔루션
블록체인은 일반적으로 최종 사용자 전체 노드의 리소스 요구 사항에 따라 용량이 한정되어 있습니다. 예를 들어 비트코인의 이론적 최대 용량은 4메가바이트이며, 일반 사용자가 일반 하드웨어에서 노드를 가동하고 블록체인을 검증할 수 있도록 매우 낮게 설정되어 있습니다. Ethereum은 리소스 요구 사항이 Bitcoin보다 약간 높지만 일반 사용자가 체인을 확인할 수 있도록 하는 유사한 목표를 가지고 있습니다. 누구나 스스로 블록체인을 확인할 수 있는 이 기능은 네트워크를 검증하기 위해 제3자를 신뢰할 필요가 없는 자주권 개념에 매우 중요합니다. 주어진 하드웨어 요구 사항 집합과 전체 노드 실행 비용에 대해 기본적으로 네트워크의 TPS를 제한합니다.
Celestia의 로드맵은 최소한의 하드웨어를 가진 일반 사용자가 체인 자체를 검증할 수 있어야 한다는 생각과 매우 일치하며 Celestia는 검증을 더 쉽게 만들어 확장할 계획입니다. 따라서 용량이 항상 수요를 초과하고 일부 제약이 있으며 수수료 시장이 있을 것이라고 보장하지 않습니다. Celestia는 다른 최신 블록체인 디자인보다 더 많은 용량을 제공하므로 놀라운 확장성과 낮은 수수료로 이어질 것입니다. 설계가 체인의 계산을 쉽게 검증할 수 있기 때문에 이렇게 할 수 있습니다(실행에 대해 걱정하지 마십시오. 실행은 다른 실행 레이어에서 수행됩니다).
Celestia 확장의 핵심은 체인을 검증하는 작업량이 블록 크기에 따라 부선형이라는 것입니다. 보다 구체적으로 클라이언트는 검사하려는 데이터 양의 제곱근만 다운로드하면 됩니다. 예를 들어 10,000개의 블록이 있는 블록에 DAS를 수행한다고 가정해 보겠습니다. 100개만 다운로드하여 확인하면 됩니다. 이제 노드가 블록의 모든 트랜잭션을 다운로드하고 실행해야 하는 모델 에서 블록의 데이터 제곱근 양의 가용성을 다운로드하고 확인하기만 하면 되는 모델로 이동합니다 . 샘플링해야 하는 블록의 수는 대부분 블록 크기와 무관하므로 블록 확인 비용은 블록 크기에 관계없이 거의 일정하기 때문에 이 확인을 쉽게 만드는 것이 확장의 핵심입니다. 이를 통해 블록(또는 샤드) 크기를 늘릴 수 있으므로 최종 사용자가 체인을 확인하는 비용을 늘리지 않고도 TPS를 높일 수 있습니다. 그러나 블록이 클수록 사용자가 블록의 모든 것을 집합적으로 샘플링했는지 확인하기 위해 네트워크의 더 많은 사용자가 무작위 샘플을 다운로드해야 합니다. 따라서 더 많은 데이터를 안전하게 호스팅하는 유일한 제한은 더 많은 노드를 보유하는 것입니다.
요약하면 Celestia는 사용자(라이트 클라이언트)의 수에 따라 선형적으로 확장되는 블록체인을 생성하며 매우 쉽게 수행합니다. 더 많은 노드(라이트 클라이언트)가 네트워크에 참여할수록 보안이나 탈중앙화를 희생하지 않고 안전하게 블록 크기를 늘릴 수 있습니다. 기존 블록체인에서 블록 크기를 늘리면 검증을 위한 하드웨어 요구 사항이 증가하여 탈중앙화 및 보안이 희생됩니다. Celestia 상단의 롤업은 데이터 가용성에 따라 달라지므로 기본 계층에서 데이터 가용성을 높임으로써 자체 실행 환경의 확장성으로 변환됩니다. 이것이 Celestia가 대규모 확장성을 제공하는 방식입니다.
완전히 모듈화된 스택 --- Cevmos 및 재귀 롤업
Celestia는 현재 Evmos 팀과 협력하여 EVM 기반 롤업 호스팅을 위한 놀라운 완전 모듈식 스택인 Cevmos(Celestia/EVMos/CosmOS)를 구축하고 있습니다.
백그라운드에서 Evmos는 이더리움 메인넷, EVM 호환 환경 및 IBC를 통해 다른 BFT 체인과 상호 운용되는 애플리케이션에 구애받지 않는 체인입니다. Evmos는 Cosmos의 EVM 허브가 되어 스마트 계약을 쉽게 배포하고 Cosmos 생태계 내에서 통신할 수 있도록 하는 것을 목표로 합니다.
이 새로운 스택에서 Cevmos는 제한된 EVM을 실행하는 Cosmos SDK 위에 구축된 최적화된 결제 계층 역할을 할 것입니다. Evmos와 호스트 EVM의 재귀 롤업(Rollup in Rollup)을 기반으로 합니다. 이 정산 레이어 자체가 롤업이 되므로 "정산 롤업"이라고 부를 수 있습니다. Cevmos 결제 롤업은 기존 Cosmos 체인에서 사용되는 Tendermint 코어 합의 엔진 대신 Optimint(Optimistic Tendermint)를 사용하여 구축됩니다. Optimint는 개발자가 Celestia와 같은 기존 합의 및 데이터 가용성 계층을 사용하여 새로운 체인을 배포할 수 있도록 하는 Tendermint BFT 대체품입니다.
본질적으로 Rollup을 위해 구축된 모든 결제 계층은 결제 계층에서 일종의 분쟁 해결 계약을 사용하여 Rollup에 대한 신뢰 최소화 양방향 브리지가 있는 블록체인입니다. 이를 통해 신뢰 최소화 방식으로 어느 방향으로든 결제 계층을 통해 둘 사이 또는 한 롤업에서 다른 롤업으로 토큰을 전송할 수 있습니다.
현재 문제는 이더리움 메인 체인이 롤업 결제에만 최적화되어 있지 않기 때문에 롤업 결제는 항상 다른 애플리케이션과 경쟁해야 하므로 비용이 많이 들고 확장이 불가능해집니다. 대신 Cevmos의 결산 롤업은 다음과 같은 더 큰 제한을 받게 됩니다.
-
롤업 스마트 계약: ZK 및 낙관적 롤업 계약을 호스트하기 위해 유효성 증명 및 필요한 분쟁의 검증을 처리해야 합니다.
-
롤업 간 단순 전송
Cevmos 정산 롤업은 EVM과 완전히 동일하기 때문에 좋아하는 EVM 롤업(Fuel, Optimism, Arbitrum, StarkNet 등)을 쉽게 포팅하고 실행할 수 있습니다.
요컨대 완전한 Cevmos 스택에는 다음이 포함될 수 있습니다.
-
Celestia - 하단에 데이터 가용성을 제공합니다.
-
Cevmos Settlement Rollup - 이 Evmos 기반 체인은 Celestia 위에 위치합니다. EVM 기반 Rollup을 위한 정산 레이어로 완벽하게 최적화되어 그 위에 배치될 것입니다.
-
EVM 기반 롤업 - 실행을 처리하고 잠재적으로 많은 수의 실행 롤업이 스택의 맨 위에 있게 됩니다.
요약하다
Celestia는 기존 솔루션에 비해 몇 가지 장점이 있습니다.
-
확장성: 합의 및 데이터 가용성에서 실행을 분리함으로써 Celestia는 네트워크의 노드 수가 증가함에 따라 선형적으로 전문화하고 확장할 수 있으며 실행 환경은 자유롭게 최적화할 수 있습니다.
-
단순성: Celestia는 애플리케이션별 블록체인 배포를 버튼 클릭만큼 쉽게 만드는 것을 목표로 하는 플러그형 솔루션입니다. 잠재적으로 많은 블록체인이 Celestia 위에 자연스러운 집을 갖게 될 것입니다.
-
공유 보안: 자체 보안 및 유효성 검사기 세트를 시작하기 위해 별도의 체인이 더 이상 필요하지 않습니다. 이것이 독립적인 체인을 위한 것이든 데이터 가용성 위원회를 시작해야 하는 Validium을 위한 것이든 선택은 훨씬 더 어렵고 보안 문제는 단편적입니다.
-
주권: Celestia의 단순한 디자인의 아름다움은 그 위에 구축된 응용 프로그램에 많은 자유를 허용한다는 것입니다. 더 이상 실행 환경과 현재 체인의 관리 결정에 엄격하게 구속되지 않습니다.
3. 차세대 프라이버시 퍼블릭 체인
아즈텍
AZTEC 프로토콜(The Anonymous Zero-knowledge Transactions with Efficient Communication)은 트랜잭션 기밀성 처리를 정의하는 일련의 영지식 증명 알고리즘을 설명하며 Turing의 완전한 일반 컴퓨팅을 지원하는 블록체인 프로토콜에서 사용하도록 설계되었습니다.
이 프로토콜은 시그마 영지식 증명 프로토콜과 결합되어 암호화된 트랜잭션을 효과적으로 검증할 수 있는 새로운 범용 영지식 증명 체계인 Plonk를 생성합니다. AZTEC 프로토콜은 이더리움 퍼블릭 체인에 적용되어 기존 디지털 자산 거래의 암호화된 디스플레이를 생성합니다. 현재 Ethereum 메인넷에서 AZTEC 프로토콜의 검증 비용은 약 840,000 wei입니다.
AZTEC 프로토콜에 대한 동기
비트코인 네트워크로 대표되는 퍼블릭 체인은 모든 거래에 대한 양 당사자의 주소, 검증 알고리즘 및 거래 자산을 프라이버시 비용으로 공개합니다. AZTEC 개발팀은 시장 참여자의 개인 정보 보호 요구 사항을 충족하기 위해 거래의 기밀성을 강조하는 것을 목표로 합니다. 즉, 외부 세계는 AZTEC 프로토콜을 통해 상대방을 볼 수 있지만 구체적인 거래 금액은 볼 수 없습니다.
프라이버시: 거래 당사자와 거래 가치가 숨겨집니다.
기밀: 거래의 가치는 숨겨져 있지만 외부 세계는 거래의 양 당사자를 알고 있습니다.
익명성: 거래의 양 당사자는 숨겨지지만 거래의 가치는 외부 세계에 알려집니다.
아즈텍 노트
아즈텍은 계좌잔액의 장부기장 방식을 포기하고 거래의 비밀을 보장하기 위해 아즈텍 어음에 담긴 거래가액을 암호화하는 어음소유권전환 형태를 채택했다. AZTEC 티켓은 타원 곡선 계수 세트와 3개의 스칼라(보기 키, 소비 키 및 티켓 값)로 구성됩니다. 보기 키는 티켓을 해독하여 거래 정보를 공개할 수 있으며, 이산 집계를 기반으로 효율적인 영지식 증명을 만드는 데 사용할 수 있습니다. 그런 다음 이러한 증명은 소비 키로 서명되어 가치 이전이 가능합니다.
이산 집계 처리 알고리즘은 AZTEC 프로토콜에서 트랜잭션 기밀성을 달성하는 데 사용됩니다.
알고리즘은 일련의 트랜잭션을 파괴 및 재구성하여 원래 트랜잭션 값과 매우 다른 새로운 트랜잭션 집합을 생성하고 개별 집계 트랜잭션 풀에 넣어 각 트랜잭션의 실제 값을 혼동합니다. 예를 들어 10E를 AZTEC 네트워크 내에서 1E의 트랜잭션 10개, AZTEC 네트워크 내에서 0.1E의 트랜잭션 100개, AZTEC 네트워크 내에서 0.01E의 트랜잭션 1,000개 등으로 분할합니다.
물론 이 익명화 프로세스를 실현하기 위해서는 AZTEC 네트워크에 가상 거래 시나리오를 지원하기에 충분한 자산이 있어야 합니다. AZTEC 프로토콜은 원래 수요 거래 시나리오보다 훨씬 더 많은 총 거래 세트를 생성해야 합니다. AZTEC 프로토콜은 영지식 증명에서 이산 집계 처리의 유효성을 구성하고 검증하는 방법을 설명하고 메모 값을 해독하기 위한 주소가 노출되지 않도록 보장하며 메모의 "소유권"을 증명하기 위한 주소는 노출되지 않습니다.
아즈텍 연결
앞서 언급한 AZTEC의 개인 트랜잭션 처리 모드는 Layer2 기반 트랜잭션 전송만 지원할 수 있습니다.Layer1에서 DeFi 프라이버시 상호 작용을 실현하기 위해 AZTEC은 게이트웨이를 통해 Layer2에서 Layer1으로 트랜잭션을 집계하는 Aztec Connect를 개발했습니다. Aztec 사용자가 프로토콜과 거래를 원할 때 거래는 완전한 익명 방식으로 Aztec Connect를 통해 Ethereum 메인넷의 첫 번째 계층 프로토콜과 상호 작용합니다.
AZTEC 프로토콜과 ERC20 토큰 표준과 같은 전통적인 공공 디지털 자산 간의 상호 작용
AZTEC 프로토콜은 AZTEC 프로토콜과 동일한 기본 블록체인의 기존 디지털 자산과 상호 작용할 수 있습니다. 이 프로토콜은 완전히 익명의 자산(최적화된 AZTEC 노트로만 표시됨)과 공용/개인 자산의 두 가지 다른 유형의 디지털 자산을 정의하는 데 사용할 수 있습니다. AZTEC 프로토콜은 공개 ERC20 값을 AZTEC 청구서로 변환하거나 AZTEC 청구서를 다시 ERC20으로 전송할 수 있습니다.
AZTEC 프로토콜의 익명성
AZTEC 프로토콜은 단일 메모의 정보가 암호화되는 기밀 트랜잭션을 지원합니다. 동시에 기밀 영지식 거래와 주소 익명성 알고리즘을 결합하여 거래의 완전한 익명성을 제공할 수 있습니다.
AZTEC 프로토콜의 효율성 분석
AZTEC의 현재 기술 패러다임에서 UltraPlonk(Plonk 논리 회로에서 효율적인 조회 명령을 가능하게 하는 AZTEC에서 개발한 최적화된 Plonk 알고리즘)로 알려진 암호화 시스템은 Ethereum에 증명을 발행하는 데 약 550,000wei의 비용이 들며 AZTEC의 원래 제품보다 약 30% 저렴합니다. zk.money가 처음 출시되었습니다. 현재 시스템의 단일 트랜잭션 요약도 112개에서 896개로 확장되었으며 처리량은 8배 증가했습니다.
단일 처리량이 112개 항목인 경우 AZTEC의 작업 방법은 다음과 같습니다.
-
브라우저 클라이언트가 증명을 생성합니다.
-
그런 다음 28개의 클라이언트 증명을 하나의 내부 롤업 증명으로 집계합니다.
-
그런 다음 4개의 내부 롤업 증명을 하나의 외부 롤업 증명으로 집계합니다.
-
이 "외부" 롤업 증명은 모든 기본 작업의 유효성을 보장하는 논리인 루트 롤업의 논리에서 확인됩니다.
-
체인에 최종 증거를 넣으십시오.
AZTEC은 자사의 Aztec Connect 소프트웨어 개발 키트가 완전한 개인 정보 보호를 제공하면서 Ethereum DeFi 서비스 비용을 최대 100배까지 절약할 수 있다고 공식적으로 믿고 있습니다. 또한 검증 비용의 감소와 zkRollup 집계 규모의 추가 확장으로 인해 데이터 통신 비용은 향후 거래 비용의 거의 100%를 차지하게 될 것입니다.
아즈텍의 미래
AZTE 프로토콜은 개인 거래에 대해 좋은 프라이버시를 제공하는 동시에 비용이 저렴하다는 특징을 가지고 있습니다. 동시에 AZTEC은 프로그래밍 가능한 개인 시스템을 통해 우수한 감사 가능성과 규정 준수를 달성합니다.
AZTEC은 개인 분산 교환, 개인 가중 투표 및 익명 신원 공유 체계를 제공하려는 시도와 같은 프로토콜의 확장된 기능을 탐색하기 위해 여전히 열심히 노력하고 있습니다. 위의 확장된 기능과 결합된 AZTEC 프로토콜은 개발자가 차세대 개인 분산형 금융 서비스 시설을 만들고 절대적인 개인 정보 보호 및 개인 거버넌스로 디지털 자산을 구축하는 데 필요한 도구를 제공할 수 있습니다.
어서 해봐요
Aleo는 영지식 암호화를 기반으로 개인 사용자 경험을 구축하는 것을 목표로 하는 완전한 데이터 개인용 애플리케이션을 위한 플랫폼입니다. Aleo는 네트워크에서 사용자 데이터를 보호하기 위해 분산형 시스템과 영지식 암호화를 활용하여 이를 달성합니다. Aleo의 핵심은 사용자와 애플리케이션 개발자에게 절대적인 개인 정보 보호를 제공하는 컴퓨팅 서비스를 제공하는 것입니다.
특히 알레오는 영지식 암호화를 기반으로 기업이 이익을 얻기 위해 데이터를 통제하는 대신 사용자가 데이터 프라이버시를 소유하도록 도울 수 있다. 이를 통해 사용자는 데이터 소유권을 가질 수 있을 뿐만 아니라 사용자의 디지털 신원을 정의하여 사용자가 더 개인화되고 개인화된 서비스를 얻기 위해 데이터의 적용 및 공유를 결정할 수 있습니다.
알레오 핵심 기술
-
레오 언어
Aleo 팀은 Rust에서 영감을 받은 정적으로 유형이 지정된 프로그래밍 언어인 Leo를 개발했으며 언어의 가독성과 사용 용이성을 강조합니다. Leo 언어는 지식 없이 직관적으로 로직을 표현할 수 있어 개발자가 Aleo 퍼블릭 체인에서 프라이버시 및 탈중앙화 속성을 가진 애플리케이션을 직관적으로 구축할 수 있습니다.
-
알레오스튜디오
AleoStudio는 영지식 증명을 위해 특별히 Aleo에서 개발한 IDE로, 주로 프라이버시 트랙 개발자를 위한 개발 환경 지원을 제공합니다.
-
zk클라우드:
Aleo 개발 팀은 Aleo 애플리케이션을 위한 보다 안전하고 비공개적이며 개인화된 패러다임의 기반을 형성하는 구성 요소를 구축했습니다. Zkcloud가 구축한 P2P, 분산형 프라이빗 컴퓨팅 모델은 차폐된 ID가 분산형 프라이빗 컴퓨팅과 상호 작용하기 위해 직접(예: 자산 전송) 또는 프로그래밍 방식으로(스마트 계약을 통해) 상호 작용할 수 있도록 보장하여 개인 정보 보호 목표를 달성할 수 있습니다. 의. 연구에서 명확하기만 하면 됩니다.
-
zkCloud는 로컬에서 실행하거나 전용 증명자에게 위임할 수 있는 P2P, 분산형 개인 컴퓨팅의 새로운 모델의 초석입니다.
-
zkCloud는 사용자, 조직, DAO 등과 같은 보호된 ID 간의 프로그래밍 방식 상호 작용을 가능하게 합니다.
-
이러한 상호 작용은 주어진 프로그램이 올바르게 실행되었다는 암호화 증명을 제공하는 보호된 트랜잭션을 통해 발생합니다.
-
이러한 트랜잭션은 글로벌 상태를 업데이트하고 zkCloud에 활동을 고정하고 분산 및 검열 방지 데이터 가용성 보장을 제공하는 Aleo 블록체인에 제출됩니다.
그 중 차폐 거래는 Zcash가 처음 만든 기본 형태입니다. 그러나 Aleo의 차폐 거래는 단순한 자산 이전 그 이상입니다. 유동성 프로비저닝, 거버넌스 투표, 인증, 분산 알림 등 다양한 사용자 간 또는 프로그램 상호 작용을 설명합니다. 거래 당사자만이 거래의 세부 사항을 알고 있기 때문에 제3자는 해당 거래의 세부 사항을 알거나 악을 행할 때 어떤 식으로든 악용할 수 없습니다.
4. 알레오BFT
AleoBFT는 새로운 합의 하이브리드 아키텍처입니다.Aleo Testnet 3 운영 중에 Aleo는 AleoBFT라고 하는 증명자와 검증자를 위한 하이브리드 아키텍처로 합의 모델을 변환할 것입니다. 첫째, AleoBFT는 각 블록에 대한 즉각적인 완결성을 보장합니다. 둘째, AleoBFT는 네트워크가 완전히 분산된 상태로 유지되도록 합니다. 셋째, AleoBFT 인센티브 증명은 시간이 지남에 따라 Aleo 생태계의 증명 용량을 확장할 것입니다.
Aleo 합의 메커니즘——PoSW
Aleo의 블록체인 네트워크 합의 메커니즘은 SNARK 기반 Proof-of-Succinct Work에 의해 제공됩니다. PoSW는 SHA를 기반으로 하는 비트코인의 채굴 난이도 조정 메커니즘의 변형입니다 주요 차이점은 기본 계산이 해시 함수가 아니라 지식 증명이라는 것입니다.
POSW 원칙:
Aleo 토큰 경제학
토큰 경제학을 고려할 때 Aleo 팀은 다음 속성에 대한 엄격한 요구 사항을 가지고 있습니다.
-
네트워크의 기본 토큰은 의미 있는 가치를 나타냅니다.
-
이 시스템은 네트워크 참가자가 보안에 기여하도록 장려합니다.
-
인센티브는 부정직이나 장난스러운 행동을 조장하지 않습니다.
-
유용한 애플리케이션 생태계의 개발 및 사용을 촉진합니다.
-
단일 당사자가 전체 시스템을 제어할 수 없도록 분산화를 용이하게 합니다.
Aleo의 토큰 이름은 Aleo credits이며 총 토큰 수는 10억개입니다. 아래 두 이미지는 Aleo의 토큰 배포 및 채굴 출력 일정을 보여줍니다.
아래 그림은 알레오 토큰의 인플레이션 곡선을 나타낸 것으로 알레오 팀은 토큰이 무한 인플레이션을 일으키지 않고 알레오 체인의 정상적인 작동을 유지할 수 있도록 균형점을 찾기 위해 최선을 다하고 있음을 알 수 있다.
알레오의 미래
Aleo 프로젝트의 파이낸싱 금액은 역사를 창조했으며 유통 시장과 메인 네트워크가 시작되기 전에 2억 9800만 달러의 파이낸싱을 획득한 유일한 퍼블릭 체인 프로젝트입니다. 그리고 삼성 등 투자기관의 투자지원 덕분에 알레오의 업무는 순조롭게 진행되고 있다. 의심할 여지 없이 Aleo는 Web3 프라이버시 트랙에서 선도적인 프로젝트 중 하나임에 틀림없습니다.시장이 개인 거래 및 상호 작용을 필요로 하는 한 Aleo의 서비스는 사용자에게 개인 정보 보호 및 데이터 사유화를 제공할 수 있습니다.
4. 블록체인 확장 솔루션
AltLayer
V God은 블록체인 기술의 "불가능한 삼각형", 즉 보안, 탈중앙화 및 확장성을 동시에 달성할 수 없다는 것을 제안한 적이 있습니다. 이제 지속적인 기술 반복을 통해 새로운 퍼블릭 체인은 두 가지를 모두 달성하기 위해 노력하고 있습니다. 운영 효율성과 휴대할 수 있는 사용자 수는 현재 블록체인이 보다 주류 시장에 진입하는 열쇠입니다. 확장에 중점을 둔 퍼블릭 체인 one.
AltLayer 소개
-
프로젝트 및 팀 소개
-
Altlayer는 주로 dApp의 단계별 높은 확장성 요구 사항을 목표로 하며, 단일 애플리케이션을 위한 플러그형, 온디맨드 로딩 및 맞춤형 실행 계층 시스템입니다. AltLayer는 Optimistic Rollup을 기반으로 하는 임시 확장 계층으로, 일회용 요구 사항을 충족하고 Layer 1 또는 Layer 2의 보안을 공유하여 엔지니어에게 매우 유연한 실행 환경을 제공하고 높은 수준의 리소스 최적화를 달성할 수 있습니다.
-
AltLayer는 Zilliqa의 공동 창립자이자 CTO인 Parity Asia의 전 이사인 Dr. Yaoqi Jia가 이끌고 있습니다. 2022년 7월 1일에 Polychain Capital, Breyer Capital 및 Jump Crypto가 이끄는 720만 달러 규모의 시드 라운드 파이낸싱을 완료했다고 발표했습니다. 현재 AltLayer의 테스트 네트워크가 준비되었으며 올해 3분기에 EVM을 완벽하게 지원하는 테스트 네트워크를 시작할 계획입니다.
-
프로젝트 기능
Altlayer는 Layer 1에서 직접 또는 Layer 2에서 재귀적으로 보안을 얻을 수 있으며 Layer 3 프로토콜로 간주되며 주요 기능은 다음과 같습니다.
-
-
dApp의 개인화 된 요구 사항 충족
-
높은 리소스 최적화
-
모듈식 디자인
-
높은 탄성
-
낮은 대기 시간
-
AltLayer가 필요한 이유 - NFT 민트 장면의 문제점
-
문제점
AltLayer의 적용 가능한 시나리오 중 하나는 NFT 민트 이벤트입니다. NFT는 일반적으로 공급이 제한되어 있기 때문에 각 NFT 발행 이벤트는 단기적으로 높은 TPS 수요가 급증하고 동시에 많은 거래 실패와 네트워크 정체를 가져올 것입니다. 과거에 Universal Chain은 공유 블록 공간의 모델을 제공했는데, 이는 종종 인기 있는 dApp이 너무 많은 블록 공간을 소비하는 반면 다른 dApp 사용자는 높은 수수료와 정산 시간으로 인해 사용자 경험이 좋지 않은 경우가 많았습니다.
현재 Sandbox 및 Yuga Labs와 같은 2계층 네트워크를 개발하여 확장 문제를 해결하려는 프로젝트가 점점 더 많아지고 있습니다. 모든 dApp 사이의 공유 블록 공간으로 인해 많은 레이어 2 퍼블릭 체인이 이미 혼잡 문제에 직면하고 있으며 모듈화로도 부분적인 효율성만 향상시킬 수 있으며 혼잡 문제는 아직 해결되지 않았습니다.
-
해결책
실제로 많은 NFT 프로젝트는 장기 전용 블록 공간이 필요하지 않고 짧은 시간 동안만 블록 공간을 점유하면 됩니다. 따라서 AltLayer의 탄력적 확장 솔루션은 NFT 프로젝트 Mint 기간의 네트워크 요구를 더 잘 충족할 수 있으며 장기적으로 지속 가능한 부담을 가져오지 않을 것입니다. 자주 사용되는 dApp이 블록 공간을 놓고 많은 수의 사용되지 않는 dApp과 경쟁하는 문제를 효과적으로 방지합니다.
AltLayer는 레이어 네트워크의 제한된 리소스를 놓고 다른 dApp과 경쟁하는 대신 dAPP의 보다 전문화되고 맞춤화된 요구 사항을 충족하고 리소스를 보다 유연하게 선택할 수 있도록 지원하여 더 나은 사용자 경험을 제공합니다.
-
깨닫다
dApp이 매우 큰 액세스 요구를 예상하고 Layer 1이 이를 수행할 수 없는 경우 Flash Layer가 호출됩니다. 수요가 점차 감소하면 dApp은 다시 1계층 네트워크로 마이그레이션되며, 이 고탄성 솔루션은 전체 시스템의 자원을 고도로 최적화합니다. Flash Layer는 각 NFT 항목에 Mint별 실행 계층을 할당합니다. 프로젝트를 위해 블록 공간이 예약되어 있기 때문에 민트 이벤트는 다른 온체인 활동과 완전히 격리될 수 있으므로 네트워크 정체를 일으키지 않으며 NFT 프로젝트는 민트 프로세스 중에 GAS를 생성하지 않습니다. 또한 Flash Layer는 원활한 경험을 위해 2000 TPS의 전용 처리량과 1-2초의 짧은 대기 시간을 제공할 수 있는 높은 처리량 실행 환경을 제공합니다.
구체적인 경로는 다음과 같습니다.
1) 네트워크 계층(예: Ethereum)으로 보호되는 롤업 솔루션을 신속하게 시작합니다.
2) 1계층 네트워크에서 공간 혼잡을 방지하기 위해 Rollup 솔루션을 합리적으로 사용합니다.
3) 첫 번째 계층 네트워크에서 "수명 종료" 정산 절차를 수행하여 롤업 솔루션의 호출을 종료합니다.
-
프로젝트 혜택
-
자동 확장: NFT 민트 이벤트가 종료되면 시스템은 베이스 체인의 모든 자산을 정산합니다. 사용자가 수동으로 자산을 연결해야 하는 솔루션과 달리 자동 결제는 모든 NFT가 사용자 개입 없이 기본 체인으로 이동되도록 하여 연결과 관련된 보안 위험을 제거합니다.
-
다중 체인 지원: EVM 및 WASM은 기본적으로 지원됩니다.
-
완전한 유동성 : 모든 NFT는 Mint가 끝날 때 기본 체인으로 전송되므로 2차 시장 참가자가 구매하려는 NFT를 찾기 위해 체인에서 체인으로 이동할 필요가 없습니다.
-
가스 전쟁 제거: AltLayer는 각 NFT 프로젝트에 다른 온체인 활동과 완전히 격리될 수 있는 특정 실행 계층을 할당합니다.