알레오란 무엇인가요? 2026년에 설명되는 영지식 프라이버시 레이어 1 블록체인

— By Tony Rabbit in Tutorials

알레오란 무엇인가요? 2026년에 설명되는 영지식 프라이버시 레이어 1 블록체인

Aleo는 zk-SNARK를 사용하여 프로그래밍 가능한 개인 정보 보호를 위해 기본적으로 구축된 최초의 레이어 1 블록체인입니다. 이 2026년 가이드에서는 Leo, snarkVM, zPass, ALEO 토큰, Ledger 통합 및 Aleo를 Zcash, Aztec 및 Monero와 비교하는 방법을 설명합니다. 오프체인 실행이 어떻게 사용자 개인 정보를 옵션이 아닌 기본값으로 바꾸는지 알아보세요.

알레오란 무엇인가요? 2026년에 설명되는 영지식 프라이버시 레이어 1 블록체인

대부분의 퍼블릭 블록체인에는 더러운 작은 비밀이 있습니다. 그들은 실제로 익명이 아닙니다. Ethereum, Bitcoin 또는 표준 레이어 1에서 수행하는 모든 거래는 누구나 읽을 수 있는 공개 원장에 영원히 남습니다. 지갑 잔액, 거래 내역, DeFi 포지션, 상호 작용하는 주소 등 모든 것이 서명하는 순간 방송됩니다. 감시 금융에 대한 반란으로 시작된 기술의 경우, 그곳은 결국 이상한 곳입니다.

Aleo는 기본 설정을 다시 작성하려는 가장 야심찬 시도 중 하나입니다. 이는 하나의 급진적인 아이디어를 기반으로 구축된 레이어 1 블록체인입니다. 개인 정보 보호는 투명한 체인 위에 고정된 선택 기능이 되어서는 안 됩니다. 이는 암호화, 가상 머신 및 프로그래밍 언어 자체에 구현된 기본 실행 모델이어야 합니다. Aleo는 사용자가 입력이나 출력을 공개하지 않고 계산이 올바르게 수행되었음을 입증할 수 있는 증명인 zk-SNARK를 사용하여 이를 달성합니다.

이 가이드를 마치면 Aleo의 작동 방식, 누가 만들었는지, 디자인이 Zcash 및 Monero와 다른 이유, ALEO 토큰의 기능, Ledger 장치에 안전하게 저장하는 방법, 네트워크를 사용하거나 구축하기 전에 고려해야 할 정직한 절충점을 이해하게 될 것입니다.

추천 내용: Aleo in 60 Seconds

Aleo는 zk-SNARK 영지식 증명을 사용하여 기본적으로 사용자와 개발자에게 프로그래밍 가능한 개인정보 보호를 제공하는 레이어 1 블록체인입니다. 모든 검증자 노드에서 계산을 실행하는 대신 사용자는 로컬에서 트랜잭션을 실행하고 간결한 암호화 증명만 네트워크에 제출합니다. 유효성 검사기는 기본 입력을 보지 않고도 증명을 확인합니다. 스마트 계약은 Aleo 지침으로 컴파일되고 snarkVM에서 실행되는 특수 목적 언어인 Leo로 작성됩니다. ALEO 토큰은 증명 확인 비용을 지불하고, 검증인 스테이킹을 통해 네트워크를 보호하며, 사용자가 개인 데이터를 공개하지 않고 자신에 대한 사실을 증명할 수 있게 해주는 자주적 신원 확인 프로토콜인 zPass와 같은 제품을 지원합니다.

일반 영어로 된 Aleo란 무엇인가요?

당신이 카지노에 있고 계산원에게 계좌에 최소 10,000달러가 있다는 것을 증명하여 개인 방을 제공하고 싶다고 상상해 보십시오. 일반 블록체인에서는 잔액뿐만 아니라 모든 입금, 출금 및 거래 상대방을 보여주는 전체 은행 명세서를 넘겨줍니다. Aleo에서는 잔액 자체나 기록을 공개하지 않고 잔액이 10,000보다 크다는 중요한 사실 하나만 증명합니다. 계산원은 해당 주장이 사실임을 증명하는 암호화 인증서를 받습니다. 그들은 귀하의 데이터를 얻지 못합니다.

Aleo는 이 트릭을 이국적인 추가 기능이 아닌 기본값으로 처리하는 최초의 범용 레이어 1 블록체인입니다. Ethereum에서 모든 노드가 모든 계약을 실행하고 모든 입력이 공개된다고 말하는 경우 Aleo는 모델을 뒤집습니다. 사용자는 자신의 컴퓨터에서 계약을 실행하고 실행이 유효하다는 작은 증거를 생성한 다음 해당 증거만 체인에 게시합니다. 유효성 검사기는 증명을 확인하고 통과하면 전역 상태를 업데이트한 후 계속 진행합니다. 그들은 개인 입력을 결코 볼 수 없습니다.

실질적인 결과는 Aleo가 투명한 체인에 존재할 수 없는 애플리케이션을 호스팅할 수 있다는 것입니다. 숨겨져 있지만 확인 가능한 솔벤트 포지션을 갖춘 프라이빗 DeFi입니다. 여권을 제시하지 않고도 18세 이상임을 증명하는 온체인 신원입니다. 당신의 카드 패가 비밀로 유지되는 숨겨진 상태의 게임. 규제 기관이 전체 사용자 기반을 감시하지 않고 특정 거래를 선택적으로 감사할 수 있는 규정 준수 도구입니다.

이미 무엇을 알고 계시다면 이더리움 은 Aleo를 다른 위협 모델을 사용하여 범용 스마트 계약의 동일한 문제를 해결하는 병렬 설계로 생각합니다. 레이어 2도 아니고 사이드체인도 아니고 래퍼도 아닙니다. 자체 합의, 가상 머신 및 토큰을 갖춘 자체 결제 계층입니다. 우리는 이것을 우리의 레이어 1 블록체인 가이드.

기원, 창립팀, 메인넷으로 가는 길

Aleo는 샌프란시스코에 본사를 둔 Aleo Systems Inc를 통해 Howard Wu, Michael Beller, Collin Chin, Raymond Chu가 2019년에 설립했습니다. Howard Wu는 이 프로젝트의 기술적인 면모로, 전 UC Berkeley 응용 암호화 연구원이자 Aleo가 결국 출시한 지적 기반 중 하나가 된 Zexe 논문의 기고자입니다. Zexe는 오프체인에서 임의의 기능을 실행하고 전체 계산을 압축하는 단일 영지식 증명 온체인을 게시하는 방법을 제안했습니다. Aleo는 여러 면에서 Zexe를 생산한 것입니다.

이 프로젝트는 출시 전에 상당한 자본을 조달했습니다. a16z Crypto가 이끄는 2021년 2,800만 달러 규모의 시리즈 A는 Aleo를 업계의 모든 개인 정보 보호 연구원의 관심을 끌었습니다. 2022년 초에 14억 5천만 달러 가치로 평가된 2억 달러 규모의 후속 시리즈 B를 통해 최고의 자금 지원을 받는 ZK 네이티브 체인 중 하나로 자리매김했습니다. 그 자금은 시간을 벌었습니다. 이는 첫날부터 제대로 작동해야 하는 암호화 인프라를 구축할 때 필요한 것입니다. 팀은 메인넷이 출시되기 전 테스트넷, 암호화 문제에 대한 인센티브 제공, 감사에 3년 이상을 투자했습니다.

메인넷 베타는 일련의 테스트넷 단계를 확장한 후 2024년 말에 출시되었습니다. 출시는 의도적으로 보수적이었습니다. 처음에는 토큰 전송이 제한되었으며 검증인 참여도 제한되었습니다. 2025년 내내 네트워크는 무허가 검증, 전체 위임 및 주력 애플리케이션인 zPass 배포를 통해 점진적으로 개방되었습니다. 2026년까지 생태계에는 개인 DEX 프로토타입, KYC 제공업체가 사용하는 신원 레일, 점점 늘어나는 Leo 라이브러리 세트가 포함됩니다.

Aleo 타임라인: Zexe Paper에서 메인넷까지

2019

Aleo Systems Inc 설립. Howard Wu, Michael Beller, Collin Chin, Raymond Chu가 샌프란시스코에 매장을 열었습니다. 초기 연구는 zk-SNARK를 사용한 오프체인 실행에 대한 Zexe 학술 논문을 활용합니다.

2021

2,800만 달러 시리즈 A. a16z 암호화폐가 라운드를 주도합니다. Leo 언어와 snarkVM이 공개 테스트를 시작합니다. 첫 번째 공개 테스트넷 단계에서는 초기 검증자와 개발자를 모집합니다.

2022

가치 평가액 14억 5천만 달러의 2억 달러 시리즈 B. 코라매니지먼트, 소프트뱅크비전펀드2, 타이거글로벌이 합류합니다. Coinbase Cloud 인센티브 테스트넷은 전 세계적으로 수천 개의 노드를 유치합니다.

2023년

최종 인센티브 테스트넷 3단계. 수백 명의 커뮤니티 유효성 검사기 스트레스 테스트 snarkOS. 팀은 Aleo 프리미티브를 기반으로 구축된 분산형 ID 프로토콜인 zPass를 발표했습니다.

2024

메인넷 베타가 출시되었습니다. 제네시스 블록이 생성됩니다. ALEO 토큰은 처음에는 제한된 전송으로 출시됩니다. 거래소 상장은 앞으로 몇 달에 걸쳐 진행될 예정입니다. 검증인 세트가 확장됩니다.

2025

zPass 공개 출시 및 Ledger 통합. 자주권 신원이 활성화됩니다. Ledger 하드웨어 지갑은 ALEO 계정 및 개인 거래 서명에 대한 기본 지원을 추가합니다.

2026년

생태계 성숙도. 프라이빗 DEX 프로토타입, 규정 준수 도구, ID 레일 및 성장하는 Leo 라이브러리 카탈로그는 메인넷에서 3년차를 맞이하는 Aleo 생태계의 중추를 형성합니다.

Aleo zero-knowledge architecture diagram showing zk-SNARK proof generation off-chain

수학 없이 설명되는 zk-SNARK

zk-SNARK라는 약어는 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge를 의미합니다. 영지식이란 증명이 비밀 입력에 대해 아무 것도 드러내지 않고 단지 계산이 올바르게 수행되었다는 것만을 드러내는 것을 의미합니다. 간결함은 계산이 얼마나 복잡하든 관계없이 증명이 매우 작다는 것을 의미하며 종종 수백 바이트에 불과합니다. 비대화형은 증명자와 검증자가 서로 대화하지 않는다는 것을 의미합니다. 지식 논증은 증명자가 진술을 만족하는 유효한 증인을 알고 있다고 주장하는 것을 의미합니다.

실제로 이는 Aleo가 개인 토큰 전송 및 기밀 잔액 업데이트와 같은 복잡한 거래를 수행하고 모든 작업을 모든 검증자가 밀리초 내에 확인할 수 있는 작은 증거로 압축할 수 있음을 의미합니다. 증명은 재실행과 동일한 신뢰 보장을 제공하지만 유효성 검사기는 입력을 볼 수 없습니다. 우리는 동반자의 암호화에 대해 더 깊이 들어갑니다. 영지식 증명 가이드.

Aleo는 Marlin이라는 특정 zk-SNARK 구조를 사용하며 Varuna 업그레이드는 보편적인 신뢰할 수 있는 설정을 제공합니다. 증명은 저렴하게 방송할 수 있을 만큼 작고, 합의 속도로 검증할 수 있을 만큼 빠르며, 수십 년 동안 연구된 견고성 가정에 따라 안전합니다. 신뢰할 수 있는 설정은 공개 다자간 행사를 통해 완료되었습니다. 적어도 한 명의 참가자가 정직하고 독성 폐기물을 파괴하는 한 매개변수는 영원히 안전합니다.

오프체인 실행: Aleo가 틀을 깨는 곳

Aleo가 내린 가장 중요한 아키텍처 결정은 계산을 오프체인으로 옮기는 것입니다. Ethereum 및 대부분의 다른 스마트 계약 체인에서 모든 유효성 검사기는 모든 거래를 다시 실행합니다. 이것이 네트워크가 결과 상태에 대한 합의에 도달하는 방법입니다. 문제는 모든 검증자가 계약을 실행하기 위해 이를 확인해야 하기 때문에 이 설계에서는 모든 입력이 공개되도록 강제한다는 것입니다. 추가 레이어를 추가하지 않으면 개인 정보 보호가 구조적으로 불가능합니다.

알레오는 관계를 반전시킵니다. 사용자는 실행자입니다. Aleo에서 계약과 상호 작용하려는 경우 클라이언트는 자체 하드웨어에서 로컬로 기능을 실행하고 결과 상태 전환을 계산하며 계약 규칙에 따라 실행이 유효했음을 증명하는 zk-SNARK 증거를 생성합니다. 그런 다음 증명과 공개 출력만 네트워크에 제출합니다. 유효성 검사기는 증명을 확인하고 유효한 경우 전역 상태를 업데이트하며 개인 입력을 볼 필요가 없습니다.

3단계 Aleo 트랜잭션 수명주기

1단계

로컬 실행

지갑은 개인 입력을 통해 컴퓨터에서 Leo 기능을 실행합니다. 계산을 통해 새로운 상태 기록과 증인이 생성됩니다.

2단계

증명 생성

snarkVM은 실행이 계약 규칙을 따랐다는 zk-SNARK 증거를 생성합니다. 비공개 입력은 기기에 유지됩니다. 증명 및 공개 출력물만 번들로 제공됩니다.

3단계

네트워크 확인

유효성 검사기는 snarkOS를 실행하고, 밀리초 단위로 증명을 확인하고, 전역 상태를 업데이트하고, 블록을 생성합니다. 그들은 귀하의 입력이나 기록을 일반 텍스트로 볼 수 없습니다.

이 디자인에는 심오한 의미가 있습니다. 검증인은 증거만 확인하고 계약을 다시 실행하지 않기 때문에 네트워크는 투명한 EVM 체인과 다르게 확장됩니다. 거래 비용은 계약이 수행한 작업량에 따라 달라지지 않습니다. 이는 증명의 크기에 따라 달라지며, 이는 대략 일정합니다. 간단한 전송과 복잡한 다단계 계산은 모두 비슷한 크기의 증명을 생성하므로 Aleo는 이더리움에서 엄청나게 비용이 많이 드는 애플리케이션을 호스팅할 수 있습니다.

단점은 사용자가 더 많은 계산 부하를 부담한다는 것입니다. zk-SNARK 증명을 생성하는 것은 힘든 작업이며, 종종 소비자 하드웨어에 몇 초와 몇 기가바이트의 RAM이 필요합니다. Aleo 팀은 증명 시간을 꾸준히 최적화해 왔으며, 암호화된 증인 데이터를 통해 개인 정보를 보호하면서 전문 하드웨어에 작업을 아웃소싱하는 방법으로 원격 증명 서비스가 등장하기 시작했습니다. 시간이 지나면서 특히 ZK용 GPU 및 ASIC 가속기가 성숙해짐에 따라 이러한 격차는 줄어들 것입니다.

프로그래밍 가능한 개인 정보 보호: 공개 상태, 비공개 상태 및 기록

Aleo에 대한 오해 중 하나는 체인의 모든 것이 항상 비공개라는 것입니다. 그것은 옳지 않습니다. Aleo는 프로그래밍 가능한 개인 정보 보호 기능을 제공합니다. 즉, 개발자는 데이터를 공개할지 비공개할지 여부를 레코드별 수준에서 선택할 수 있습니다. 계약에는 모든 사람이 읽을 수 있도록 온체인에 투명하게 존재하는 고정 이자율이나 총 공급 카운터와 같은 공개 상태가 있을 수 있습니다. 동일한 계약에는 보유자만이 암호를 해독할 수 있는 비공개 상태(흔히 레코드로 표시됨)도 있을 수 있습니다.

Aleo의 기록은 암호화되고 ZK 친화적이라는 점을 제외하면 비트코인의 사용되지 않은 거래 출력과 개념적으로 유사합니다. 각 기록에는 고유한 일련 번호와 암호화된 페이로드가 포함되어 있습니다. 레코드를 사용하면 이를 해독하는 비밀 키를 알고 있으며 결과적인 상태 전환이 유효하다는 증거를 생성합니다. 일련번호가 게시되어 기록이 이중으로 사용될 수 없지만 실제 데이터인 페이로드는 사용자의 통제를 벗어나지 않습니다. 이 UTXO 스타일 모델은 Aleo가 다음과 같은 계정 기반 체인과 다른 느낌을 갖게 만드는 것 중 하나입니다. 이더리움, 그리고 정신적으로 더 가까운 비트코인 기계적으로는 내부 암호화가 훨씬 더 발전했지만.

이는 개발자에게 있어 개인 정보 보호는 바이너리 스위치가 아닌 설계 손잡이라는 의미입니다. 잔액을 비공개로 유지하지만 공개 총 공급량을 공개하는 토큰 계약을 작성할 수 있습니다. 증명은 비공개이지만 취소 이벤트는 공개인 ID 계약을 작성할 수 있습니다. 동작은 숨겨지지만 승리 조건은 공개되는 게임을 작성할 수 있습니다. 계약 작성자가 결정하고 체인은 증명 자체의 구조를 통해 이를 시행합니다.

Leo programming language code editor showing a private token transfer compiled to snarkVM instructions

Leo, Aleo 지침 및 snarkVM 스택

영지식 애플리케이션을 구축하는 것은 어렵습니다. 역사적으로 ZK 회로를 작성한다는 것은 일반 프로그래밍과는 전혀 다른 저수준 도메인 특정 언어로 작업하는 것을 의미했습니다. 노련한 암호해독자라도 간단한 증명을 전달하는 데 몇 주가 걸렸습니다. Aleo는 대략 Rust나 TypeScript처럼 보이지만 자동으로 ZK 친화적인 회로로 컴파일되는 고급 프로그래밍 언어인 Leo를 만들어 이 문제를 해결하기 시작했습니다.

Leo는 구조체, 함수, 유형, 모듈과 같은 친숙한 기본 요소를 소개합니다. 내부적으로 컴파일러는 각 함수를 snarkVM이 이해하는 하위 수준 중간 표현인 Aleo 명령어로 변환합니다. 그런 다음 snarkVM은 이러한 명령을 증명자와 검증자가 zk-SNARK를 생성하고 확인하는 데 사용하는 제약 시스템으로 바꿉니다. 결과적으로 개발자는 일반 프로그램처럼 읽히는 것을 작성할 수 있으며 완전히 입증되고 개인정보를 보호하는 스마트 계약을 맺을 수 있습니다.

snarkOS는 모든 것을 하나로 묶는 네트워킹 및 합의 레이어입니다. 검증인은 거래를 가십하고, 블록을 제안하고, 상태를 확정하고, 업데이트를 방송하기 위해 실행합니다. Leo, snarkVM 및 snarkOS의 조합은 Aleo에게 개발자 경험부터 합의까지 일관된 수직 스택을 제공합니다. 이것은 드문 일입니다. 대부분의 ZK 프로젝트는 자체 언어를 사용하지만 결제를 위해 기존 체인에 의존하거나, 인프라를 구축하지만 개발자가 원시 회로 코드와 씨름할 것으로 예상합니다. Aleo는 전체 파이프라인을 소유하고 있는데, 이것이 프로젝트 출시에 오랜 시간이 걸리는 이유와 팀이 그렇게 많은 자본을 조달한 이유 중 하나입니다.

개발자용 디파이 이더리움에 대한 배경이 있는 Leo는 익숙하면서도 낯설게 느껴질 것입니다. 가장 큰 정신적 변화는 모든 가치가 체인상에 유출되지 않고 프로그램 내부에서 공개될 수는 없다는 것입니다. 어떤 입력이 비공개여야 하는지, 어떤 출력이 공개되어야 하는지, 그리고 증명을 통해 원하는 것이 무엇인지 정확히 알 수 있도록 기능을 구성하는 방법을 생각하는 방법을 배웁니다. 이는 스크립트를 작성하는 것보다 볼트를 설계하는 것과 더 가까운 다른 스타일의 프로그래밍입니다.

zPass: Aleo를 기반으로 구축된 자주권 신원

zPass는 Aleo 팀이 직접 구축한 주력 애플리케이션이며 프로그래밍 가능한 개인 정보 보호가 중요한 이유를 가장 명확하게 보여줍니다. 이는 사용자가 기본 문서를 공개하지 않고도 나이, 시민권, 인증 상태 또는 KYC 수준과 같은 자신에 대한 사실을 확인할 수 있도록 하는 분산형 신원 프로토콜입니다. 사용자는 자격 증명을 한 번 업로드하고 서비스에 필요한 특정 청구에 대한 ZK 증명을 생성하고 해당 증명만 공유합니다. 이 서비스는 하나의 질문에 대한 답변만 학습합니다.

모든 web2 가입이 여권 사본을 원하고 모든 중앙 집중식 KYC 데이터베이스가 집단 소송으로 이어질 수 있는 상황에서 zPass는 근본적으로 다른 모델을 제공합니다. 사용자는 자신의 장치에 문서를 보관합니다. 검증자는 특정 술어, 21세 이상의 연령, 승인된 목록에 없는 국가, 특정 관할 구역의 거주지 등의 이진 결과만 학습합니다. Aleo는 증명 확인을 처리하고, 변조 방지 원장에 발급을 고정하고, 취소 이벤트가 깔끔하게 전파되도록 보장합니다.

사용 사례는 광범위합니다. 거래소는 귀하의 세금 신고서를 저장하지 않고도 공인 투자자 상태를 확인할 수 있습니다. 온라인 도박 사이트에서는 운전면허증을 스캔하지 않고도 귀하가 법적 연령인지 확인할 수 있습니다. 투표 플랫폼은 귀하가 누구에게 투표했는지 기록하지 않고도 귀하의 자격을 증명할 수 있습니다. 암호화폐 거래소는 규정 준수 팀을 만족시키는 동시에 수집해야 하는 데이터를 제한할 수 있으며, 이는 역설적으로 규제 위험과 위반 노출을 모두 줄여줍니다. 규정 준수와 개인 정보 보호는 더 이상 반대되는 것이 아니라 보완적인 역할을 시작합니다.

zPass identity verification flow showing a zero-knowledge proof of age confirmation without disclosing the underlying passport

ALEO 토큰 경제

ALEO 토큰은 네트워크에서 세 가지 주요 작업을 수행합니다. 첫째, 온체인에 제출되는 영지식 증명의 검증 비용을 지불합니다. 실행이 체인 밖에서 이루어지더라도 검증자는 여전히 증명을 확인하고, 거래를 주문하고, 상태를 업데이트하고, 작동하는 토큰 자금을 확보하는 데 리소스를 소비합니다. 둘째, ALEO는 합의에 참여하기 위해 검증인에 의해 스테이킹됩니다. 지분이 클수록 블록 생성에 선정될 확률이 높아지며, 잘못된 행동은 삭감으로 처벌됩니다. 스테이킹이 일반적으로 어떻게 작동하는지에 대한 자세한 내용은 당사에서 확인할 수 있습니다. 암호화폐 스테이킹 가이드.

셋째, ALEO는 생태계의 경제 활동을 고정시키는 가스와 같은 자원입니다. 애플리케이션 개발자는 프로그램 배포를 위해 ALEO로 비용을 지불합니다. 사용자는 완결성이 필요한 거래를 제출할 때 ALEO로 비용을 지불합니다. 원격 검증 운영자와 같은 서비스 제공자는 오프로드된 계산에 대해 ALEO에서 보상을 받을 수 있습니다. 토큰은 이러한 모든 참가자를 하나로 묶는 계정 단위입니다.

팀, 투자자, 재단 및 커뮤니티에 초기 할당이 분배되면서 공급 일정이 시작되었습니다. 토큰 잠금 해제는 장기 기여자를 네트워크의 성공에 맞춰 조정하도록 설계된 다년간의 베스팅 일정을 따릅니다. 인플레이션은 체인 보안을 돕는 검증인과 위임자에게 보상을 제공합니다. 정확한 숫자는 시간이 지남에 따라 바뀌며 제3자 기사에서 기억하기보다는 공식 토큰경제학 페이지에서 가장 잘 확인됩니다. 특히 메인넷 출시 시점에 찍은 스냅샷이 2~3년 후의 안정적인 공급 역학과 다르게 보일 것이라는 점을 고려하면 더욱 그렇습니다.

거래자의 경우 ALEO는 2026년 현재 여러 주요 거래소에서 거래됩니다. ALEO 쌍을 구매하거나 거래하기 전에 다음과 같은 도구를 사용하여 장소 전체의 유동성 및 가격 조치를 확인하는 것이 좋습니다. DEXTools, 특히 주문장이 얕거나 주로 DEX 측에서 거래되는 쌍의 경우. 개인 정보 보호에 초점을 맞춘 자산과 마찬가지로 특정 관할권의 규제 기관은 목록에 대해 주의를 기울였으므로 귀하가 거주하는 지역에 따라 사용 가능한 장소가 다를 수 있습니다.

Ledger로 ALEO를 안전하게 보관하기

Aleo 팀은 Ledger와 제휴하여 Ledger Live 애플리케이션 내부와 Ledger Nano S Plus 및 Nano X 장치에 기본 ALEO 지원을 제공했습니다. 이것은 중요합니다. 이는 연결된 컴퓨터에 시드 문구를 노출하지 않고도 하드웨어 지갑에 ALEO를 보관하고 개인 트랜잭션을 포함한 Aleo 트랜잭션에 서명할 수 있음을 의미합니다. 전체 내용이 개인 정보 보호인 체인의 경우 키를 오프라인으로 유지하는 옵션은 단순한 편리함 그 이상입니다. 이는 소매 사용자에 대한 가장 큰 실제 공격 표면 중 하나를 닫습니다.

Aleo용 Ledger 설정은 다른 Ledger 계정과 동일한 일반적인 흐름을 따릅니다. Ledger Live를 통해 장치에 Aleo 앱을 설치하고 Ledger Live 내에서 Aleo 계정을 생성하고 공개 주소를 파생하여 자금 수령에 사용합니다. 거래에 서명하려면 장치 화면에서 물리적 확인이 필요합니다. Aleo 거래에는 공개 출력과 비공개 기록이 모두 포함될 수 있기 때문에 Ledger UX는 서명된 내용을 사람이 읽을 수 있는 형식으로 사용자에게 표시하므로 다른 ZK 체인에서 가끔 수행하는 방식처럼 불투명한 해시에 블라인드 서명을 하지 않습니다.

실용적인 알림. Ledger는 소셜 엔지니어링, 가짜 에어드롭 사이트 또는 악의적인 행위자가 사용자를 속여 거래 내역에서 잘못된 주소를 복사하도록 시도하는 주소 중독 공격으로부터 사용자를 보호하지 않습니다. 우리의 가이드 주소 중독 사기 방지 은 Ethereum과 마찬가지로 Aleo에도 적용됩니다. 기본적으로 개인정보 보호가 기본적으로 사기 방지를 의미하는 것은 아닙니다. 수신자 주소를 확인하고, Ledger 화면에서 거래 내역을 확인하고, 어떤 이유로든 시드 문구를 누구와도 공유하지 마세요.

생태계 및 주목할만한 애플리케이션

2026년까지 Aleo 생태계는 여러 가지 고유한 영역을 포괄합니다. zPass는 정체성을 선도합니다. 점점 더 많은 프라이빗 DeFi 프로토타입이 기밀 AMM, 암흑 주문장, 포지션을 공개하지 않고도 담보를 입증할 수 있는 신용 시장을 탐색하고 있습니다. 게임 프로젝트에서는 포커, 전략 게임, 온체인 퍼즐 등 숨겨진 정보 게임을 실험하기 시작했습니다. 여기서 개인 정보 보호 계층은 핸드웨이브가 아닌 실제 암호화 작업을 수행합니다.

개발자 도구는 Aleo를 구축하는 데 더 이상 암호화 대학원 학위가 필요하지 않을 정도로 발전했습니다. Leo 표준 라이브러리는 일반적인 패턴을 다루고 문서는 성숙해졌으며 소수의 액셀러레이터 프로그램은 초기 단계 팀을 후원합니다. 감사 회사는 이제 심각한 자본 배치에 대한 실질적인 방해 요소 중 하나를 제거하는 Aleo 특정 관행을 보유하고 있습니다. 이 중 어느 것도 생태계가 이더리움만큼 크거나 궁극적으로 구성 가능하다는 것을 의미하지는 않지만 개념 증명 단계를 지나 실제 구축 단계에 들어섰습니다.

인프라 관점에서 Aleo는 업계 전반에 걸쳐 영지식 기술이 더욱 폭넓게 성숙되는 이점도 누리고 있습니다. 툴링, 하드웨어 가속 및 암호화 라이브러리는 ZK 스택 전체에서 개선되고 있습니다. Aleo는 주권 레이어 1이고 레이어 1이 아님에도 불구하고 ZK 롤업, 롤업 세계와 암호화 종속성을 공유하며 한 공간의 개선 사항이 다른 공간으로 파급되는 경우가 많습니다.

Aleo vs Zcash vs Aztec vs Monero

Aleo는 시장에서 유일한 개인 정보 보호 체인이 아닙니다. 가장 일반적인 비교는 Zcash, Monero 및 Aztec이며 각각은 디자인 공간에서 서로 다른 지점을 차지합니다.

지캐시 zk-SNARK 기반 결제 개인정보 보호를 개척했습니다. 구조적으로 비트코인을 미러링하지만 보낸 사람, 받는 사람 및 금액을 암호화하는 보호된 거래를 사용합니다. Zcash는 개인 가치 이전에 탁월하지만 스마트 계약 기능이 매우 제한적입니다. Aleo는 동일한 암호화 제품군을 범용 프로그래밍 기능으로 확장합니다. Zcash는 개인 돈으로, Aleo는 개인 돈에 개인 논리를 더한 것으로 생각할 수 있습니다.

모네로 은 다른 암호화 경로를 사용합니다. 영지식 증명 대신 Monero는 링 서명, 스텔스 주소 및 기밀 거래를 사용하여 보낸 사람, 받는 사람 및 금액을 모호하게 합니다. 모네로는 필수 개인 정보 보호입니다. 거래를 투명하게 만드는 옵션은 없습니다. 대조적으로 Aleo는 동일한 체인에서 공개 상태와 비공개 상태를 모두 지원하므로 더 유연하지만 사용자가 실수로 정보를 유출할 가능성이 더 높습니다.

아즈텍 은 철학적으로 가장 가까운 디자인입니다. Aztec은 또한 ZK 계약을 위한 자체 Noir 언어와 함께 프로그래밍 가능한 개인 정보 보호를 위해 zk-SNARK를 사용합니다. 주요 구조적 차이점은 Aztec이 Ethereum 상단의 레이어 2이며 더 넓은 EVM 세계와 Ethereum 보안 및 구성 가능성을 상속받았다는 것입니다. Aleo는 자체 합의와 경제적 보안을 갖춘 주권 레이어 1입니다. 각 모델에는 장단점이 있습니다. Aleo는 완전한 아키텍처 자유를 얻지만 자체 검증자 세트를 부트스트랩하는 비용을 부담합니다. Aztec은 Ethereum 보안을 무료로 제공하지만 Ethereum이 해결할 수 있는 것에 의해 제한됩니다.

실제로 올바른 비교는 무엇을 구축하고 있는지에 따라 달라집니다. 강력한 기본값을 사용하여 가치 전송을 위해 최대한의 개인 정보 보호가 필요한 경우 Monero는 여전히 이길 수 없습니다. 알려진 보수적인 코드베이스에 고정된 보호 결제를 원한다면 Zcash가 그 기록을 가지고 있습니다. Ethereum DeFi와 결합 가능한 EVM 인접 프로그래밍 가능 개인 정보 보호를 원한다면 Aztec이 가장 좋습니다. 프라이버시를 최고 수준의 설계 제약으로 하고 자신의 언어와 VM을 갖춘 완전한 주권 체인을 원한다면 Aleo를 살펴보세요.

위험, 정직한 절충 및 공개 질문

위험을 솔직하게 살펴보지 않으면 Aleo에 대한 논의가 완료되지 않습니다. 첫 번째는 규제입니다. 개인 정보 보호 체인은 특히 자금세탁 방지법이 공격적으로 해석되는 관할권에서 정부 및 금융 규제 기관의 조사를 받습니다. 중앙화된 거래소의 상장은 규제 분위기에 따라 바뀔 수 있습니다. Aleo 디자인은 프로그래밍 가능한 개인 정보 보호 및 규정 준수를 지원할 수 있는 zPass와 같은 도구를 제공하여 상황을 개선하려고 시도하지만 개인 정보 보호에 초점을 맞춘 암호화폐를 둘러싼 정치적 환경은 여전히 ​​불안정합니다.

두 번째는 기술적입니다. Aleo는 새로운 암호화 기술을 갖춘 젊은 체인입니다. 코드베이스는 감사되었지만 새로운 시스템에는 새로운 위험이 있으며 ZK 증명 스택은 계산량이 까다롭습니다. 증명자 또는 검증자 코드의 버그는 암호화 건전성에 의존하는 체인에 치명적인 결과를 초래할 수 있습니다. 팀은 신중을 기했지만 이것이 수십 년 동안 측정된 실전 테스트를 거친 인프라가 아니라 최첨단 기술이라는 사실을 고려하여 위치와 노출 규모를 조정해야 합니다.

세 번째는 사용자 경험입니다. 휴대폰이나 노트북에서 증명을 생성하는 것은 일반 이더리움 거래에 서명하는 것보다 여전히 느립니다. 지갑은 개선되고 있지만 신규 사용자를 위한 학습 곡선에는 투명한 체인에 존재하지 않는 기록 및 일련번호와 같은 개념이 포함됩니다. 보기 키를 분실하거나 실수로 레코드를 소각하는 등의 Aleo에서의 실수는 모든 것이 보이는 체인에서의 실수보다 복구하기가 더 어려울 수 있습니다.

네번째는 시장구조입니다. ALEO는 새로 출시된 L1 토큰의 일반적인 변동성 특성을 지닌 비교적 새로운 자산입니다. 일부 장소의 유동성은 여전히 ​​희박하며 가격 발견은 여전히 ​​진화하고 있습니다. 거래자들이 알아야 할 사항 청산 구역 ALEO를 방향성 베팅으로 취급하기 전에 역학을 활용하세요. 빌더는 ALEO를 네트워크의 작업 계정 단위로 먼저 생각하고 두 번째로 추측할 자산으로 생각해야 합니다.

Aleo 구축 또는 사용의 장단점

장점

  • 기본 실행 모델인 개인 정보 보호, 추가되지 않음
  • 프로그래밍 가능한 레코드별 개인 정보 보호를 통해 개발자는 공개할 내용을 선택할 수 있습니다.
  • 고급 Leo 언어로 ZK 개발 장벽을 대폭 낮춥니다.
  • 오프체인 실행은 계약 비용이 복잡성과 거의 무관함을 의미합니다.
  • 기본 Ledger 하드웨어 지갑 지원 즉시 사용 가능
  • zPass는 감시 없이 규정 준수 친화적인 ID를 제공합니다.
  • 버클리 연구의 자금이 풍부한 팀과 진지한 암호화 기반
  • 2026년까지 무허가로 참여할 수 있는 활성 검증인 생태계

단점

  • 증명 생성은 소비자 하드웨어에서 계산량이 많습니다.
  • EVM 체인보다 더 작은 생태계, 더 적은 수의 기성 라이브러리
  • 개인정보 보호에 초점을 맞춘 L1 토큰에 대한 규제 불확실성
  • UTXO 스타일 레코드 모델에는 EVM 개발자를 위한 학습 곡선이 있습니다.
  • 새로운 암호화는 새로운 위험을 의미하며 성숙한 감사는 여전히 축적되고 있습니다.
  • 다른 체인에 대한 브리지는 이더리움 브리지 생태계보다 덜 성숙합니다.
  • 토큰 잠금 해제 및 인플레이션은 지속적인 공급 역학을 만들어 모니터링합니다.
  • 보기 키 분실 등 비공개 상태의 실수는 복구하기 어려울 수 있습니다.

사용자 및 개발자를 위한 모범 사례

ALEO를 보유하거나 Aleo 애플리케이션을 사용할 계획인 일반 사용자인 경우 첫 번째 규칙은 암호화폐의 다른 곳과 동일합니다. 하드웨어 지갑, 이상적으로는 Ledger를 사용하고 시드 문구를 공유하지 마십시오. 서명하기 전에 모든 수신자 주소를 문자별로 확인하세요. 자신의 개인 기록에 대한 가시성을 잃지 않도록 보기 키를 오프라인으로 백업하세요. zPass 자격 증명을 여권과 마찬가지로 취급하십시오. 이는 암호화적으로 강력하며 안전하게 유지하는 것도 똑같이 중요합니다.

둘째, 무엇이 공개이고 무엇이 비공개인지 인식하세요. Aleo를 사용하면 개발자는 올바른 디자인 선택일 때 특정 데이터를 공개적으로 노출할 수 있습니다. 계약이 실제로 공개 상태인데도 완전히 비공개라고 가정하면 비공개로 유지하려고 했던 정보가 유출될 수 있습니다. 새로운 애플리케이션을 사용할 때는 실제 자금을 보내기 전에 문서를 읽고, 개발자에게 문의하고, 계약이 온체인에서 어떤 데이터를 공개하는지 확인하세요.

개발자의 경우 가장 큰 사고방식 변화는 각 기능을 회로로 취급하고 어떤 입력이 비공개여야 하는지, 어떤 출력이 공개되어야 하는지, 증명이 무엇을 드러내는지 묻는 것입니다. 비즈니스 또는 사용자 정보를 유출할 수 있는 모든 항목에 대해서는 기본적으로 비공개로 설정하고 계약 논리가 작동하는 데 필요한 경우에만 데이터를 공개합니다. 가능한 경우 표준 라이브러리를 재사용하고, 감사된 암호화 기본 형식을 선호하고, 배포 전에 계약에 대해 광범위한 시뮬레이션을 실행하세요. 오프체인 실행 모델은 클라이언트 코드의 버그가 사용자에게 개인정보 보호에 영향을 미친다는 것을 의미합니다. 이는 단순히 가스를 낭비하는 실수가 아닙니다.

마지막으로 생태계를 따라가보세요. Aleo는 여전히 빠르게 성장하고 있습니다. 새로운 라이브러리, 새로운 도구, 새로운 애플리케이션이 매달 나타납니다. 개발자 채널에 참여하고, 공식 블로그를 읽고, 온체인 활동을 추적하면 정적 가이드가 제공할 수 있는 것보다 체인이 어디로 향하고 있는지 훨씬 더 선명한 그림을 얻을 수 있습니다.

Aleo에 대해 자주 묻는 질문

Q 알레오를 한 문장으로 표현하면 무엇인가요?

Aleo는 zk-SNARK 영지식 증명을 사용하여 기본적으로 프로그래밍 가능한 개인정보 보호를 제공하는 레이어 1 블록체인으로, 사용자는 오프체인에서 거래를 실행하고 작은 암호화 증명만 네트워크에 제출할 수 있습니다.

Q Aleo는 퍼블릭 블록체인에서 어떻게 개인정보 보호를 달성하나요?

Aleo는 계산을 오프체인으로 이동하여 개인정보 보호를 달성합니다. 사용자는 자신의 장치에서 로컬로 스마트 계약 기능을 실행하고 실행이 유효했다는 zk-SNARK 증거를 생성합니다. 증거와 공개 결과만 체인에 게시됩니다. 검증자는 개인 입력이나 암호화된 기록을 보지 않고도 증거를 확인하므로 원장은 공개되고 개별 거래는 기밀로 유지될 수 있습니다.

Q zk-SNARK는 무엇이며 Aleo는 왜 이를 사용합니까?

zk-SNARK는 간결한 비대화형 영지식 증명입니다. 이를 통해 한쪽 당사자는 계산을 생성한 입력을 공개하지 않고도 계산이 올바르게 수행되었음을 증명할 수 있습니다. Aleo는 zk-SNARK를 사용합니다. 그 이유는 작고, 검증이 빠르며, 임의의 스마트 계약 논리를 표현할 수 있을 만큼 강력하기 때문입니다. 따라서 데이터를 비공개로 유지하면서 계산을 저렴하게 검증하는 것이 목표인 체인에 적합한 기본 요소가 됩니다.

Q Aleo는 누가 설립했으며 언제 출시했나요?

Aleo는 샌프란시스코 회사인 Aleo Systems Inc를 통해 Howard Wu, Michael Beller, Collin Chin, Raymond Chu가 2019년에 설립했습니다. Howard Wu는 버클리 연구원이자 프로젝트의 지적 기반 중 하나가 된 Zexe 논문의 기고자였습니다. 수년간의 테스트넷과 감사를 거쳐 2024년 말에 메인넷 베타가 출시되었습니다.

Q Leo 프로그래밍 언어는 무엇입니까?

Leo는 영지식 애플리케이션 작성을 위해 Aleo 팀이 구축한 고급 프로그래밍 언어입니다. 이는 함수, 구조체 및 유형과 같은 친숙한 기본 요소를 포함하여 대략 Rust 또는 TypeScript와 유사합니다. Leo 컴파일러는 코드를 snarkVM에서 실행되고 자동으로 zk-SNARK 회로로 컴파일되는 Aleo 명령어로 변환하므로 개발자가 저수준 제약 시스템을 직접 작성할 필요가 없습니다.

Q Aleo는 Zcash나 Monero와 어떻게 다릅니까?

Zcash는 zk-SNARK를 사용한 개인 결제에 중점을 두고 있지만 스마트 계약 기능이 제한되어 있습니다. 모네로는 링 서명, 스텔스 주소, 기밀 거래를 통해 개인정보 보호를 달성하며 개인정보 보호를 의무화합니다. Aleo는 프로그래밍 가능한 개인 정보 보호 기능을 갖춘 범용 스마트 계약 플랫폼입니다. 즉, 개발자는 단일 체인에서 공개 상태와 비공개 상태를 혼합하는 복잡한 애플리케이션을 구축할 수 있습니다.

Q Aleo의 zPass란 무엇입니까?

zPass는 Aleo를 기반으로 구축된 분산형 ID 프로토콜입니다. 이를 통해 사용자는 기본 문서를 공개하지 않고도 나이, 거주지 또는 KYC 상태와 같은 자신에 대한 특정 사실을 증명할 수 있습니다. 사용자는 자신의 장치에 자격 증명을 보관하고 서비스에 필요한 청구에 대한 영지식 증명을 생성하고 해당 증명만 공유합니다. 검증자는 하나의 질문에 대한 답만 알고 다른 질문에 대한 답은 배우지 않습니다.

Q Aleo 거래를 감사할 수 있나요, 아니면 완전히 익명으로 처리되나요?

Aleo는 두 가지 옵션을 모두 지원합니다. 개발자와 사용자는 공개 필드와 비공개 필드를 선택할 수 있습니다. 사용자는 또한 상대방이나 감사자가 모든 것을 공개하지 않고도 자신의 활동에 대한 특정 사실을 확인할 수 있도록 보기 키를 생성하거나 선택적 공개 증거를 공유할 수 있습니다. 따라서 Aleo는 개인정보 보호와 선택적 규정 준수가 모두 필요한 사용 사례에 적합합니다.

Q ALEO 토큰은 어떤 용도로 사용되나요?

ALEO는 Aleo 네트워크의 기본 토큰입니다. 이는 증명 확인 및 거래 수수료를 지불하고, 합의에 참여하기 위해 검증인이 스테이킹하며, 프로그램 배포, 원격 증명 서비스 비용 지불, 체인 보안에 도움을 주는 위임자 보상과 같은 생태계 활동을 위한 계정 단위 역할을 합니다.

Q ALEO를 Ledger에 어떻게 저장하나요?

Ledger Live를 통해 Ledger Nano S Plus 또는 Nano X에 Aleo 앱을 설치하고 Aleo 계정을 만든 후 생성된 주소를 사용하여 자금을 받을 수 있습니다. 모든 거래에는 장치에 대한 물리적 확인이 필요하며 Ledger 화면에는 사람이 읽을 수 있는 세부 정보가 표시되므로 블라인드 서명을 하지 않아도 됩니다. 항상 시드 문구를 오프라인으로 백업하고, 장치에서 수신자 주소를 확인하고, 누구와도 시드를 공유하지 마세요.

Q Aleo는 레이어 1인가요, 레이어 2인가요?

Aleo는 독립된 레이어 1 블록체인입니다. 자체 합의 메커니즘, 자체 유효성 검사기 세트, 자체 기본 토큰 및 snarkVM이라는 자체 가상 머신이 있습니다. 이는 Ethereum이나 다른 기본 체인에 안주하지 않으며 이는 Aztec과 같은 개인정보 보호에 초점을 맞춘 레이어 2 설계와 구별됩니다.

Q Aleo 사용의 주요 위험은 무엇입니까?

주요 위험은 개인 정보 보호에 초점을 맞춘 체인에 대한 규제 불확실성, 암호화 스택의 기술적 새로움, 소비자 하드웨어의 증명 생성에 필요한 계산 비용, 기존 자산에 비해 ALEO 토큰의 유동성이 낮고 투명한 체인에서 오는 사용자를 위한 학습 곡선입니다. 하드웨어 지갑을 사용하여 소량부터 시작하고, 계약 문서를 주의 깊게 읽고, 생태계 개발에 대한 최신 정보를 유지하여 이러한 위험을 완화하십시오.

Aleo는 최초의 비트코인 ​​블록 이후 퍼블릭 블록체인을 괴롭혀온 질문에 대한 가장 사려 깊은 답변 중 하나를 나타냅니다. 사용자 개인 정보를 존중하는 투명한 원장을 어떻게 구축합니까? 계산을 오프체인으로 이동하고 이를 zk-SNARK 증명으로 압축하고 개발자에게 개인 정보 보호 보장을 표현할 수 있는 실제 프로그래밍 언어를 제공함으로써 Aleo는 다른 레이어 1이 완전히 차지하지 않는 설계 공간을 개척합니다. 초기 단계이고, 기술적으로 까다로우며, 그에 따라 변화할 수 있는 규제 환경에 살고 있습니다. 그러나 기본 감시가 기능이 아니라 버그라고 믿는 사용자와 제작자에게 Aleo는 대안을 제공하려는 가장 신뢰할 만한 시도 중 하나입니다. ZK 환경을 계속 탐색하고 싶다면 ZK 롤업 는 이 가이드가 중단된 부분을 선택하고 동일한 기본 요소가 개인 정보 보호와 크기 조정을 어떻게 바꾸는지 보여줍니다.