저자: StarkWare 편집: Cointime.com 237

요약:

1. SHARP(SHARed Prover)는 카이로 프로그램을 집계하는 STARK 증명을 생성하므로 모든 애플리케이션이 동일한 증명에 트랜잭션을 제출할 수 있습니다. UberPool의 "승차 공유" 모델과 유사하게 이는 소규모 애플리케이션도 STARK 확장 기능의 방대한 기능에 액세스할 수 있음을 의미합니다.

2. 아무리 다양한 dApp이라도 카이로에서 작성되는 한 SHARP는 이를 증명할 수 있습니다. 이더리움 메인넷에서는 약 220,000건의 트랜잭션이 단일 증명으로 처리됩니다.

3. 재귀 증명에 SHARP를 사용하면 여러 STARK 증명을 병렬로 처리하고 확인할 수 있으므로 확장성과 효율성이 향상됩니다.

4. 곧 출시될 SHARP 동적 레이아웃 사용자 정의 기능은 연료 비용을 최대 30%까지 추가로 절감합니다.

연장 투어

Ethereum 확장은 여정입니다. 확장성을 더욱 향상시키는 솔루션을 찾기 위해서는 끊임없는 혁신이 필요합니다. 2020년 6월, StarkWare는 STARK를 기반으로 하는 최초의 레이어 2 확장 솔루션인 StarkEx를 출시했습니다. 2020년 9월 STARK 증명으로 최대의 효율성을 위해 설계된 최초의 프로그래밍 언어인 Cairo의 출시를 발표했습니다. 카이로와 카이로가 허용하는 일반 계산은 모든 비즈니스 논리와 임의 계산 문 증명을 인코딩하는 빠르고 안전한 방법을 제공합니다. 이 혁신의 시작으로 새로운 계층의 개발자가 StarkWare 생태계에 합류했습니다.

그러나 이 개발자들은 StarkEx의 확장성, 보안 및 효율성을 원했지만 STARK의 증명을 채우기에는 프로젝트에서 트랜잭션 활동이 충분하지 않았습니다. 마찬가지로 사용자는 이더리움 네트워크 정체로 인한 가스 요금 인상의 예측 불가능성으로 인해 여전히 제약을 받고 있습니다.

그런 다음 SHARP가 왔습니다.

SHARP란 무엇입니까?

SHARP(SHARed Prover)는 집계된 카이로 프로그램에 대한 STARK 증명을 생성하도록 설계된 강력한 시스템입니다. 범용 컴퓨팅 프로그래밍 언어인 Cairo는 단일 증명에서 여러 코드 논리를 수용할 수 있습니다. SHARP는 오프체인 트랜잭션 배치를 처리하고 온체인 계산 증명을 검증하여 모든 트랜잭션 비용을 단일 증명으로 상각합니다. 생성된 통합 STARK 증명은 온체인 Solidity 검증 계약에 의해 검증되어 SHARP가 처리량을 늘리고 가스 비용을 줄이며 대기 시간을 최소화할 수 있습니다.

예를 들어 SHARP는 NFT 발행 및 Starknet 네트워크 운영 체제를 포함하여 완전히 다른 프로그램 및 논리의 모든 카이로 코드를 처리할 수 있습니다. 카이로 코드라면 SHARP가 이를 증명할 수 있고 여러 프로그램을 하나의 증명으로 통합할 수 있습니다. SHARP가 가져오는 효율성은 메인넷에서 수천 건의 거래를 단일 증명으로 묶을 수 있는 능력을 의미합니다. 온체인에서 증명을 처리하는 비용은 배치의 모든 트랜잭션에서 상각되므로 묶인 트랜잭션이 많을수록 트랜잭션당 가스 수수료가 낮아집니다.

예를 들어 이 아이디어를 설명하겠습니다.

예를 들어 이 아이디어를 설명하겠습니다.

당신과 당신의 언니가 부모님을 위한 선물(새 전화기, 머그컵, 티셔츠)을 쇼핑한다고 가정해 봅시다. 각 선물은 다른 온라인 소매점에서 주문되며 다른 크기와 포장으로 다른 날짜에 각 집으로 배송됩니다. 귀하의 계획은 각 항목을 포장하여 학부모에게 우편으로 보내는 것입니다.

그런데 우체국에서 고민이 생겼습니다. 소형 또는 중형 상자를 모두 사용할 수 없으며 대형 범용 상자만 남습니다. 이는 두 가지 옵션을 제공합니다.

옵션 1: 각 품목은 개별 포장되어 도착 시 배송됩니다. 이렇게 하면 단일 선물의 배송 속도가 빨라질 수 있지만 3개의 개별 패키지를 포장하고 3개의 개별 패키지를 보내기 위해 우체국을 3번 방문해야 하는 추가 작업이 필요합니다. 결과적으로 이 접근 방식은 시간을 절약하거나 비용 효율적이지 않습니다.

옵션 2: 모든 것을 함께 포장하여 하나의 큰 상자에 넣습니다. 즉, 세 개가 아닌 하나의 상자만 처리하면 됩니다.

이 예에서 SHARP는 옵션 2이며 리소스를 효율적으로 활용하고 시간을 보다 원활하게 관리할 수 있습니다.

날카로운

SHARP는 StarkWare 생태계용으로 설계되었지만 유효한 실행으로 모든 Cairo 프로그램을 인증할 수 있습니다. 시간과 비용을 절약하는 효율성 덕분에 SHARP는 혁신적인 증명 방법이 필요한 모든 문제에 대한 솔루션입니다.

SHARP가 탄생한 이래 일련의 효율성 업그레이드를 거쳤습니다. 이들 중 가장 강력한 것 중 하나는 선형 모델에서 재귀 모델로의 전환입니다.

재귀 증명을 통해 SHARP는 증명을 채우기 위해 일련의 진술을 수집한 다음 전체 진술 그룹에 대한 프로세스를 시작하는 대신 도착하는 각 진술을 증명합니다. 이는 계산 자체보다 빠르게 계산 문을 검증하는 시간 효율적인 방법입니다.

이는 모든 개별 명령문이 수신된 후 결합된 명령문을 증명해야 하는 이전의 확장성 장벽을 우회하여 들어오는 명령문을 병렬로 처리함으로써 달성됩니다. 이제 SHARP는 수천 건의 트랜잭션의 정확성을 증명할 수 있을 뿐만 아니라 해당 STARK 유효성 검사기로 여러 STARK 증명을 검증할 수 있습니다. 이를 통해 여러 업스트림 증명의 유효성을 증명하는 단일 증명을 생성할 수 있습니다.

재귀가 실행된 후 SHARP는 들어오는 문을 즉시 인증합니다. 거기에서 증명 자체가 반복되고 재귀 증명으로 결합될 수 있습니다. 이 재귀 증명 프로세스는 최종 증명이 체인의 Solidity 검증 계약에 제출될 때까지 계속됩니다. 중첩 모드처럼: 카이로 프로그램은 업스트림 증명을 검증하고, 이는 다시 STARK 유효성 검사기에 의해 유효성이 확인된 새로운 증명을 생성합니다.

재귀가 실행된 후 SHARP는 들어오는 문을 즉시 인증합니다. 거기에서 증명 자체가 반복되고 재귀 증명으로 결합될 수 있습니다. 이 재귀 증명 프로세스는 최종 증명이 체인의 Solidity 검증 계약에 제출될 때까지 계속됩니다. 중첩 모드처럼: 카이로 프로그램은 업스트림 증명을 검증하고, 이는 다시 STARK 유효성 검사기에 의해 유효성이 확인된 새로운 증명을 생성합니다.

우리의 비유적인 우체국이 처음에 표준 크기의 상자 하나만 제공하는 대신 Recursive SHARP는 각각 특정 항목을 위해 특별히 설계된 다양한 크기의 작은 상자를 도입하는 획기적인 혁신을 도입했습니다. 상자가 각 특정 항목의 크기에 정확히 맞지는 않지만 이 혁신적인 접근 방식을 통해 항목이 도착하면 더 작은 상자에 포장할 수 있으므로 사용하지 않는 공간에 대한 불필요한 비용을 없애고 지연을 줄일 수 있습니다. 세 가지 선물이 모두 도착할 때까지 기다렸다가 하나의 큰 상자에 포장하는 대신 작은 상자를 포장하여 모든 선물이 준비되는 즉시 배송할 수 있습니다.

다음 단계: 동적 레이아웃

우리 팀은 현재 SHARP 서비스의 다음 사용자 지정 기능으로 동적 레이아웃을 개발하고 있습니다. 동적 레이아웃을 사용하면 증명자는 각각의 특정 논리에 따라 필요한 리소스를 계산하고 그에 따라 맞춤형 증명을 생성합니다.

다시 우체국 비유의 맥락에서 동적 레이아웃은 맞춤형 배송 상자의 개념에 비유할 수 있습니다. 이 맞춤형 상자는 각 선물의 모양에 완벽하게 맞기 때문에 필요한 정확한 크기에 대해서만 비용을 지불하고 불필요한 비용을 피할 수 있습니다. 마찬가지로 동적 배치를 통해 각 논리에 대한 사용자 지정 증명과 필요한 고유 컴퓨팅 리소스를 생성하여 사용한 컴퓨팅에 대해서만 비용을 지불하도록 합니다. 카이로 코드라면 SHARP가 정확하게 증명할 수 있습니다.

우리 팀은 다음 SHARP 릴리스에서 이러한 적응성과 효율성 개선을 도입하기를 희망합니다. 역동적인 레이아웃은 연료비를 대폭 줄이는 것을 목표로 합니다.

STARK 기반의 재귀적 증명 생성 기능을 최대한 활용함으로써 이 기술은 이더리움 네트워크의 확장성과 효율성을 크게 향상시킵니다.