아즈텍 네트워크(Aztec Network)란? 이더리움 영지식 프라이버시 레이어2

아즈텍 네트워크란?

아즈텍 네트워크(Aztec Network)는 이더리움 위에서 돌아가며 스마트 컨트랙트에 프로그래밍 가능한 프라이버시를 더하도록 설계된 레이어2 zk롤업 프로토콜입니다. 송금 기록만 흐리게 하는 믹서와 달리, 아즈텍은 개발자가 앱의 어느 부분을 비공개로 두고 어느 부분을 공개할지 프로토콜 차원에서 정하게 해 줍니다. 비공개 로직은 이용자 기기에서, 공개 로직은 아즈텍 자체 가상머신에서 실행되고, 최종 유효성은 이더리움 메인 체인에 고정됩니다. 덕분에 비공개 잔고, 비공개 신원, 비공개 업무 규칙을 이더리움의 유동성과 조합성을 포기하지 않고 구현할 수 있습니다.

하나의 컨트랙트 안에서 비공개 실행 레인과 공개 실행 레인이 L1에서 합쳐지는 과정을 보여 주는 이더리움 위 프로그래밍 가능한 프라이버시 구조도

이더리움에 왜 프라이버시가 필요한가?

이더리움의 투명성은 시스템을 믿을 수 있고 감사 가능하게 만들지만, 어떤 사용 사례에서는 큰 약점이 됩니다. 지갑 잔고, 송금액, 컨트랙트 호출이 누구에게나 보이고, 대기 중인 거래도 승인 전에 읽히는 경우가 많습니다.

이런 완전한 투명성은 전통 금융에는 없던 비용을 만듭니다.

• MEV와 프런트러닝: 큰 거래는 가격이 움직이기 전에 의도를 드러냅니다. 경쟁 봇이 더 높은 가스를 내고 같은 블록에 끼어들 수 있습니다. (MEV 참고)
• 청산 표적: 레버리지 포지션이 공개되어 있어 청산선에 가까운 지갑은 자동화된 사냥꾼의 표적이 됩니다.
• 기업 기밀 부족: 회사 자금이 체인 위에서 움직이면 지급액, 시기, 거래 상대가 경쟁사를 포함한 모두에게 보입니다.

선택적 공개: 프라이버시와 규정 준수의 균형

실제 금융 시스템은 완전 공개도 완전 비공개도 아닌 통제된 공개 원칙으로 움직입니다. 모든 세부 정보를 내보이지 않고도 권한이 있고, 지급 능력이 있고, 규정을 지킨다는 사실을 증명하는 방식입니다. 기존 프라이버시 도구는 이 필요의 일부만 채웁니다.

입문자가 흔히 헷갈리는 등식이 '영지식 증명 = 프라이버시'입니다. 하지만 롤업이 완전히 ZK 기반이어도 모든 잔고와 컨트랙트 호출을 공개할 수 있습니다. 유효성과 프라이버시는 같은 것이 아닙니다.

아즈텍은 어떻게 작동하나?

아즈텍은 영지식 증명, 암호화된 상태 구조, 이중 실행 환경, 이더리움 정산을 하나의 하이브리드 시스템으로 묶습니다.

PXE와 AVM: 두 실행 환경

아즈텍은 모든 것을 공개 실행한 뒤 숨기려 하지 않고, 처음부터 앱 동작을 두 환경으로 나눕니다.

• PXE(비공개 실행 환경): 이용자 기기나 지갑에서 클라이언트 측으로 돌아갑니다. 비공개 실행, 증명 생성, 비밀 관리를 맡아 민감한 데이터가 원문 그대로 네트워크로 나가지 않습니다.
• AVM(아즈텍 가상머신): 거래의 공개 부분을 실행합니다. 개념상 EVM과 비슷하지만 아즈텍 모델에 맞춰 설계되었고, 공개 함수는 AVM 바이트코드로 컴파일되어 시퀀서가 실행합니다.

노트, 널리파이어, 이중 상태 구조

아즈텍은 이더리움처럼 눈에 보이는 잔고 칸을 갱신하지 않고, UTXO식 설계의 암호화된 노트를 씁니다. 출력 노트는 노트 트리에 기록되며, 네트워크는 노트 내용을 밝히지 않고도 그것이 올바른 상태 구조에 존재함을 검증할 수 있습니다.

노트를 쓸 때도 공개적으로 지우지 않습니다. 대신 널리파이어 트리에 널리파이어를 추가해, 원래 노트를 드러내지 않고 그 노트가 사용되어 다시 쓸 수 없음을 증명합니다. 널리파이어 키는 정당한 소유자만 갖습니다.

여기에 기본 계정 추상화가 더해집니다. 모든 계정이 스마트 컨트랙트이고, 소셜 복구, 맞춤 서명 방식, 수수료 추상화를 프로토콜 차원에서 지원합니다. 개발 언어로는 Noir를 씁니다.

노트가 노트 트리에 추가되고 널리파이어 트리에서 사용 표시되는 과정을 단계별로 보여 주는 흐름도

예시: 체인 위 비공개 급여 지급

한 회사가 직원 50명에게 이더리움으로 급여를 준다고 가정해 봅시다.

공개 이더리움에서는:

• 지급액, 시기, 받는 주소가 누구나 볼 수 있는 블록 탐색기에 올라갑니다.
• 월 총지출, 급여 구간, 현금 흐름 일정이 경쟁사를 포함한 모두에게 드러납니다.
• 50건 모두 프런트러닝 봇의 감시 대상이 됩니다.

아즈텍에서는:

1. 고용주의 PXE가 각 지급을 로컬에서 처리하고, 송금이 유효함을 증명하는 영지식 증명을 만듭니다.
2. 직원은 자기 급여를 나타내는 암호화된 노트를 받고, 이 노트는 본인의 키로만 읽을 수 있습니다.
3. 사용한 노트에는 널리파이어가 붙어, 금액을 드러내지 않고 이중 지불을 막습니다.
4. 묶음 증명이 이더리움 L1에 기록되어 정확성을 고정합니다.
5. 선택적 공개 권한을 가진 감사인은 법적 요구가 있을 때 총액을 검증할 수 있습니다.

결과: 비공개 지급 50건, 급여 정보 유출 0건, 완전한 정산 보장.

아즈텍과 다른 프라이버시·ZK 솔루션 비교

핵심 차이는 이것입니다. zkSync와 StarkNet은 체인 밖 실행이 유효하고 더 싸다는 것을 증명하려고 ZK를 쓰고, 아즈텍은 실행을 비공개로 두려고 씁니다. 둘 다 ZK 계열이지만 제품 목표가 다릅니다.

위험과 주의할 점

• 초기 네트워크의 보안 특성: 아즈텍은 처음에 완전한 외부 감사 없이 가동되어 내부 검토, 버그 바운티, 단계적 보강에 기대고 있습니다. 증명 시스템에서 발견되고 고쳐진 치명적 취약점들은 새로운 암호 기술이 새로운 위험을 안고 있음을 보여 줍니다.
• 탈중앙화는 진행 중: 시퀀서와 검증자 탈중앙화 장치는 시험 단계입니다. 증명이 제대로 작동하면 잘못된 상태가 확정되지 않아야 하지만, 시퀀서는 여전히 거래 순서와 접근성에 영향을 줄 수 있습니다.
• 이용자 측 프라이버시는 행동에 달려 있음: 키 관리를 소홀히 하거나 메타데이터를 흘리거나 안전하지 않은 환경에서 쓰는 이용자는 비공개 컨트랙트도 지켜 주지 못합니다. 클라이언트 측 증명 생성은 운영 보안의 일부를 이용자에게 넘깁니다.
• '싼 스왑' 플랫폼이 아님: 낮은 수수료와 익숙한 공개 디파이만 원한다면 아즈텍은 가장 쉬운 출발점이 아닐 수 있습니다.

핵심 정리

아즈텍은 코인 하나보다 설계 패턴으로 볼 때 가장 잘 이해됩니다. 대부분의 체인이 프라이버시를 가장자리 옵션으로 붙이는 반면, 아즈텍은 프라이버시를 앱 로직의 일급 기능으로 다루고 변수마다 무엇을 공개하고 무엇을 암호화할지 고르게 합니다. 이는 규제된 디파이, 토큰화된 실물 자산, 기업 자금 관리가 지금까지 이더리움에서 자리 잡지 못한 이유를 풀 기본 부품입니다. 인프라 중심 자본의 지원은 이 가설에 대한 믿음을 보여 주지만, 믿음이 곧 채택은 아닙니다. 현재 아즈텍의 가치는 가장 싼 스왑을 찾는 이용자보다 선택적 프라이버시 흐름을 연구하는 개발자와 기관에게 가장 분명합니다.

아즈텍은 이더리움을 떠나는 대신 프라이버시를 지키는 실행 모델로 이더리움을 넓히는 방식으로 투명성 문제에 답합니다. 이더리움 사용의 기초는 이더리움 사용법 가이드에서, 새로운 프로토콜을 볼 때 중요한 감사 과정은 블록체인 보안 감사 가이드에서 확인할 수 있습니다.