이더넷 ZK 코프로세서 엑시엄 V2 출시 개발자 사용 사례 한눈에 보기

저자: 이선, 엑시엄, 번역: 0xjs@골든파이낸스

1월 22일 메인 이더넷에서 엑시엄 V2가 출시되었습니다. 엑시엄은 이더의 전체 역사를 아우르며 스마트 컨트랙트가 신뢰 없는 방식으로 더 많은 데이터를 연산할 수 있게 해줍니다. 저희는 높은 데이터 액세스 비용이 스마트 컨트랙트의 주요 병목 현상이라고 생각합니다. ZK를 통해 이러한 병목 현상을 제거함으로써 개발자들이 데이터가 풍부한 온체인 앱을 구축할 수 있도록 하는 것이 목표입니다.

엑시엄 V2 릴리스에는 트랜잭션, 영수증, 솔리디티를 이전에 사용 가능했던 계정, 컨트랙트 스토어, 블록헤드에 매핑하는 기능이 추가되어 이제 이더의 전체 이력을 엑시엄을 통해 온체인에서 사용할 수 있습니다. 개발자는 이제 데이터 유형과 블록의 모든 조합에 대해 사용자가 지정한 계산을 지원하는 엑시엄 SDK를 사용하여 타입스크립트에서 이 기록을 쿼리할 수 있습니다. 새로운 유니버설 검증자를 사용하면 스마트 컨트랙트에 구현된 단 한 번의 콜백만으로 온체인에서 Axiom의 ZK 검증 결과를 받을 수 있습니다. 솔리디티와 타입스크립트만 있으면 스마트 컨트랙트에서 엑시엄을 쉽게 사용할 수 있으며, 체인에서 직접 트랜잭션을 전송하여 엑시엄을 쿼리할 수 있습니다. 사용해 보려면 npx create-. axiom-client를 실행하여 부트스트랩 저장소를 시작하거나 docs.axiom.xyz에서 개발자 문서를 확인하세요. 메인 이더넷과 세폴리아의 컨트랙트는 여기에서 확인할 수 있으며, 익스플로러.axiom.xyz에서 엑시엄에 대한 쿼리를 확인할 수 있습니다.

V2 릴리즈와 함께, 저희는 Axiom V2 테스트넷을 Goerli에서 Sepolia로 마이그레이션하고 2024년 1월 22일에 Axiom V1을 더 이상 지원하지 않습니다.

메인넷에서 즉시 사용

엑시엄 V2는 이제 이더넷 메인넷에 배포되어 프로덕션에서 사용할 수 있습니다. 애플리케이션에서 엑시엄을 사용하는 과정은 2단계로 진행됩니다.

1. 엑시엄 타입스크립트 SDK를 사용하여 이더리움의 과거 데이터에 대한 ZK 유효성 검사 계산을 요청하는 엑시엄 회로를 작성합니다.

2. 온체인 콜백을 통해 Axiom으로부터 ZK 검증 결과를 수신하는 Axiom 스마트 컨트랙트 SDK를 사용하여 Axiom 클라이언트 컨트랙트를 구현합니다.

먼저, 다음을 실행하세요: npx create-axiom-client

이것은 기본 회로와 컨트랙트가 포함된 스타터 저장소와 디앱을 위해 엑시엄에 쿼리를 실행하는 데 사용할 수 있는 기본 Next.js 웹 프런트엔드를 생성합니다.

액시엄 회로 구축

액시엄 SDK를 사용하여 앱에 맞는 회로를 사용자 정의할 수 있으며, 다음과 같은 기능을 제공합니다:

• 액시엄에서 ZK 검증 트랜잭션을 요청하는 액시엄 서브쿼리, 영수증 및 기록 블록 헤더, 계정, 컨트랙트 스토어

• ZK 프리미티브는 산술, 논리, 비교, 배열 연산을 통해 Axiom 서브쿼리에서 데이터를 계산합니다.

이더 계정 평균 과거 잔액을 계산하는 공리 회로 예시

공리 회로 작성은 전적으로 다음에서 수행할 수 있습니다. 타입스크립트로 작성할 수 있습니다. 애플리케이션에 통합하기 위해 공리 회로를 컴파일하면 웹 애플리케이션이나 서버에서 공리 쿼리를 생성하는 데 사용할 수 있는 ZK 증명자가 생성됩니다.

스마트 컨트랙트에 통합

애플리케이션에서 엑시엄의 결과를 사용하려면, 쿼리 결과를 검증하고 엑시엄에서 제공하는 콜백을 실행하는 _validateAxiomV2Call 및 _axiomV2Callback 함수를 구현하기만 하면 됩니다.

< /p>

ZK 증명을 사용하여 Axiom 결과에 대한 콜백을 수락하는 Axiom 클라이언트 컨트랙트

테스팅 목적으로, 저희는 테스트 라이브러리에 대한 Foundry 테스트 라이브러리에 치트 코드를 제공하여 스마트 컨트랙트에 대해 로컬에서 엑시엄 회로를 테스트할 수 있도록 확장했습니다. 이를 통해 표준 스마트 컨트랙트 워크플로에서 엑시엄 기반 앱을 테스트할 수 있습니다.

< /p>

파운드리 치트 코드 테스트로 쿼리 및 장난 콜백 보내기

액시엄 V2의 스마트 컨트랙트 및 ZK 회로는 다음에서 확인할 수 있습니다. 당사의 Github는 완전한 오픈 소스이며 Spearbit, Zellic 및 Trail of Bits의 감사를 받았습니다. 주요 이더넷과 세폴리아 테스트 네트워크에 배포된 AxiomV2Query 스마트 컨트랙트에 온체인 트랜잭션을 전송하기만 하면 엑시엄을 쿼리할 수 있습니다.

엑시엄으로 할 수 있는 일

엑시엄을 사용하면 스마트 컨트랙트 개발자가 체인에서 새로운 유형의 데이터에 액세스할 수 있습니다. 트랜잭션, 영수증, 기록 상태 등 이더의 역사부터 시작합니다. 여기에는 온체인 평판과 신원, 탈중앙 금융 거래, 거버넌스 참여에 대한 주요 정보가 포함되어 있지만, 놀랍게도 이전 스마트 콘트랙트는 중앙화된 오프체인 예후 예측기에 의존하지 않고는 이 정보에 접근할 수 없었습니다.

개발자는 엑시엄을 통해 새롭게 제공되는 온체인 데이터에 액세스하여 다음과 같은 정보를 컨트랙트에 통합할 수 있습니다.

• 프로토콜 사용: 트랜잭션 및 이벤트 로그는 사용자가 온체인 프로토콜과 이전에 수행한 모든 상호작용을 캡슐화합니다.

• 기록 잔액: 사용자가 보유한 토큰과 대체 불가능한 토큰의 수량과 금액.

이더리움 네이티브 데이터: 블록 헤더의 가스 사용량, 기본 수수료, 랜다오 값과 트랜잭션 트라이의 트랜잭션 포함 및 주문 정보입니다.

엑시엄 쿼리 결과는 ZK 증명을 통해 온체인에서 검증되며, 이는 EVM을 통해 액세스한 데이터와 암호학적으로 정확성이 동등하다는 것을 의미합니다. 이를 통해 액시옴은 단일 쿼리에 다양한 유형의 온체인 정보를 결합하고 라이선스 없이 기존 프로토콜과 상호 운용할 수 있습니다. 이를 통해 새로운 신뢰 최소화 애플리케이션은 다음을 포함할 수 있습니다:

• 온체인 로열티 및 인센티브 :

• 배포하는 컨트랙트를 수정하지 않고도 입증 가능한 온체인 활동 기록을 기반으로 가장 충성도가 높은 사용자에게 보상을 지급할 수 있습니다.

• 뱀파이어는 가장 활동적이고 가치 있는 사용자임을 증명할 수 있는 사용자에게 보상을 제공함으로써 경쟁사를 공격합니다.

• 체인 감사:

• 외부 프로토콜과의 상호작용을 포함한 사용자의 온체인 행동에 대한 전체 기록을 기반으로 하며, 시간이 지남에 따라 시간 경과에 따른 행동을 포함하여 사용자의 온체인 행동에 대한 완전한 기록을 기반으로 프로토콜에 기여한 사용자에게 보상을 제공합니다.

• 거래 순서, 여러 블록에 걸친 행동, 프로토콜 외부에서 수행한 행동 등 온체인 데이터의 모든 조합이 포함될 수 있는 ZK 검증 프로토콜의 규칙을 위반하는 사용자를 단속합니다.

  신원, 거버넌스, 결제를 위한 맞춤형 예언 기계:

• 정산 가스 및 거래 오프체인 예후 제공자의 지원이 필요 없는 수수료 파생상품 또는 온체인 구조화 상품.

• 투표권을 사용자의 온체인 활동에 맞게 조정하고, 과거 참여와 좋은 행동에 대한 보상을 통해 더 많은 투표권을 획득하여 거버넌스를 맞춤화할 수 있습니다.

개발자들이 이러한 기본 요소와 이더의 풍부한 역사가 뒷받침하는 다른 요소들을 사용하여 매력적이고 새로운 온체인 경험을 구축할 수 있도록 지원하게 되어 기쁩니다.

다음 단계는 무엇인가요?

향후 몇 주에 걸쳐 엑시엄을 통합한 초기 파트너에 대한 자세한 정보, 크로스 브리지의 집계 및 이더 L1에 대한 엑시엄 쿼리에 대한 액세스, 향후 업그레이드 로드맵을 공유할 예정입니다.