스탁웨어의 새로운 프로버, 1000배 향상된 성능과 업계 최고 속도를 자랑하는 기록 경신

블록체인 기술은 안전하고 탈중앙화된 거래를 가능하게 하여 금융, 게임, 공급망 관리와 같은 산업에 혁신을 가져왔습니다.

그러나 확장성은 여전히 중요한 과제로 남아 있으며, 많은 인기 네트워크에서 높은 수수료와 느린 거래 시간으로 이어지고 있습니다.

이 문제를 해결하려면 혁신적인 솔루션이 필요하며, StarkWare는 이 분야의 핵심 플레이어로 부상했습니다.

이 회사는 영지식 확장형 투명 지식 인수(ZK-STARK), 스타크엑스, 스타크넷, 스타크넷 토큰, 스타크넷 재단 등 안전하고 신뢰할 수 있으며 확장 가능한 블록체인 애플리케이션을 촉진하는 최첨단 기술을 개발했습니다.

스타크웨어의 새로운 프로버가 기록을 깬다, 과연 그들이 주장하는 만큼 빠를까?

최근 스타크웨어와 폴리곤의 연구 발전으로 스타크가 눈에 띄게 개선되었습니다.

스탁은 뛰어난 성능, 최소한의 보안 요구 사항, 투명하고 안전한 설정, 양자 공격에 대한 저항성으로 인해 이더리움 확장을 위한 최고의 솔루션으로 꼽힙니다.

여러 Polygon 팀, RiscZero, ZKsync 및 Succinct를 비롯한 주요 유효성 검사 롤업에서 널리 채택하고 있습니다.

스타크는 스타크웨어의 CEO 일라이 벤 사손이 공동 발명하고 2020년 여름에 스타크웨어에서 처음으로 프로덕션에 배포한 것으로, 지난 4년 동안 1조 2,000억 달러 이상의 거래 결제를 촉진했습니다.

스타크웨어는 현재 이 연구를 스타크 투의 약자인 Stwo라는 새로운 증명기로 구현하여 증명 능력을 약 1,000배 향상시키는 것을 목표로 준비 중입니다.

리타의 공동 창립자인 Ventali Tan은 다음과 같이 언급했습니다:

"스투는 스탁의 주요 암호화 요소인 FRI 다항식 커미트먼트 체계의 속도와 성능을 다시 한 번 확인시켜주었습니다. 이는 최근 세대에서 가장 성능이 뛰어난 여러 증명 시스템의 기초로 사용되는 것과 동일한 체계로, Plonky2와 Plonky3는 물론 Succinct의 SP1도 Plonky3에 기반하고 있습니다."

차세대 STARK 증명자로 불리는 Stwo는 표준 32비트 컴퓨터 단어를 사용하여 상용 CPU와 GPU에서 최적의 효율성을 제공합니다.

이러한 효율성은 최근 StarkWare의 데이비드 레빗과 샤하르 파피니, 폴리곤의 울리히 하벡이 협력하여 개발한 서클 스타크(Circle STARK)라는 혁신적인 암호화 기술을 통해 뒷받침되고 있습니다.

증명의 맥락에서 확장성이란 증명을 신속하고 비용 효율적으로 생성하고 검증하는 것을 의미합니다.

STARK의 '투명성' 측면은 많은 SNARK 기반 증명자가 요구하는 신뢰할 수 있는 설정이 필요하지 않습니다.

2025년 초에 생산될 예정인 스투는 스타크 원의 약자인 현재의 프로버인 스톤을 대체할 예정입니다.

Stwo의 속도와 효율성의 핵심은 계산에 8번째 메르센 소수인 M31을 사용하는 데 있으며, 이는 최신 컴퓨터 아키텍처와 잘 어울려 스톤에 비해 연산 속도를 크게 높입니다.

메르센 소수는 2의 거듭제곱보다 1이 적은 소수로, 17세기 초에 이를 연구한 프랑스 수도사 마린 메르센의 이름을 따서 명명되었습니다.

구체적으로 메르센 소수는 Mn=2n-1로 표현할 수 있으며, 여기서 n은 정수입니다.

스타크웨어와 폴리곤 랩이 협업한 서클 스타크는 정교한 기하학적 방법을 사용하여 암호화 증명을 신속하게 처리하며, M31 필드는 이러한 작업을 더욱 향상시킵니다.

이 두 가지를 함께 사용하면 Stwo는 계산 능력을 줄이면서 신속하게 증명을 생성할 수 있습니다.

4개의 코어를 갖춘 인텔 7 CPU에서 Stwo는 초당 500,000개 이상의 포세이돈 해시 처리량을 달성했으며, 12코어 M3 Pro 칩셋은 초당 600,000개 이상의 해시 처리량을 보여주었습니다.

스톤의 처리량은 스톤보다 940배, 이더스탁보다 50배 더 우수합니다.

그러나 StarkWare는 GPU 사용 및 멀티코어 병렬화와 같은 최적화는 아직 구현되지 않았으며 향후 성능에 대한 업데이트를 제공할 예정이라고 강조합니다.

빠르게 진화하고 있는 영지식 암호학 분야에서 한 가지 확실한 것은 Aleo의 연구 과학자 이안 미어스에 따르면 다음과 같습니다:

"더 새롭고 더 나은 zk 증명 시스템은 항상 존재하며 결국에는 업그레이드해야 할 것입니다."

이더리움의 창립자인 비탈릭 부테린도 자신이 작성한 증명서를 통해 팀의 최적화 기술을 칭찬했습니다.

스타크웨어, 비트코인의 확장성을 개선하려 하지만 갈 길은 멀다

지난달, 스타크웨어는 이더리움과 함께 네트워크를 확장하는 것을 목표로 ZK 스케일링 기술을 비트코인으로 확장하는 야심찬 프로젝트를 공개했습니다.

이러한 노력은 비트코인 프로토콜을 변화시키고 개발자와 사용자 모두에게 새로운 기회를 열어줄 수 있는 잠재력을 지니고 있습니다.

스타크웨어의 스타크 기술은 민감한 정보를 공개하지 않고도 거래 확인을 용이하게 하여 개인 정보 보호 및 보안을 강화합니다.

이 회사는 이 기술을 소프트 포크 제안인 OP_CAT을 통해 비트코인에 통합하여 ZK 증명의 기본 검증을 가능하게 할 계획입니다.

보다 안전한 스마트 컨트랙트 생성, 프라이빗하고 효율적인 거래 촉진 등 잠재적인 사용 사례는 광범위합니다.

스타크웨어의 제안은 비트코인 기술 발전의 중추적인 순간을 의미할 수 있습니다.

그럼에도 불구하고 폭넓은 수용으로 가는 길에는 많은 어려움이 있습니다.

ZK 증명은 계산 집약적이고 리소스를 많이 사용합니다.

이 분야의 급속한 발전에도 불구하고 기술적 장애물은 여전히 존재하며, 이러한 장애물을 극복하기 위해서는 연구 개발에 대한 상당한 투자가 필요합니다.

스타크웨어 소개

이스라엘에 본사를 둔 소프트웨어 회사인 스탁웨어 인더스트리는 이더리움 네트워크의 확장성 문제를 해결하기 위한 암호화 증명 시스템을 전문으로 하는 기업입니다.

ZK 증명을 통해 컴퓨터 보안을 강화하기 위해 독점적인 STARK 기술을 사용합니다.

스탁웨어의 ZK-STARK 기술은 블록체인 확장성, 투명성, 개인정보 보호 및 보안을 크게 개선하여 원활한 사용자 경험을 보장합니다.

고급 암호화 증명과 현대 대수학을 활용하여 ZK-STARK는 블록체인 계산의 무결성과 프라이버시를 유지합니다.

이를 통해 블록체인은 계산을 하나의 오프체인 STARK 증명자에게 오프로드하고, 온체인 STARK 검증자로 이러한 계산을 검증할 수 있습니다.

스타크웨어는 2020년 6월에 첫 번째 독점 확장 엔진인 스타크엑스를 출시했으며, 2021년 11월에 이더리움 메인넷에 스타크넷을 출시했습니다.

모든 StarkWare 제품은 카이로 프로그래밍 언어를 사용하여 개발되었습니다.

스타크웨어는 고유한 기술 솔루션을 개발함으로써 이더리움 EIP가 제공하는 확장성 개선을 뛰어넘어 이더리움의 고유한 확장성 문제를 포괄적으로 해결하는 것을 목표로 합니다.

StarkWare 제품 및 애플리케이션

스타크웨어는 두 가지 주요 확장 솔루션을 제공합니다: 독자적인 프로그래밍 언어인 카이로를 활용하는 StarkEx와 StarkNet이 그것입니다.

카이로

카이로는 이더리움 메인넷의 스타크엑스 플랫폼을 구동하는 일반 연산용 스타크 증명 가능 프로그램의 생성을 용이하게 합니다.

이 언어는 dYdX, Sorare, Immutable X, rhino.fi, Celer, Apeworx, Canvas와 같은 프로젝트에 필수적인 언어입니다.

또한 카이로는 이더리움의 확장성과 프라이버시를 향상시키기 위해 설계된 탈중앙화된 유효성 롤업인 스탁넷의 기본 스마트 콘트랙트 언어 역할을 합니다.

카이로와 스타크넷은 블록체인에서 트랜잭션 검증을 최적화함으로써 이더리움의 확장성 문제에 대한 강력한 해결책을 제시합니다.

StarkEX

퍼블릭 및 프라이빗 이더리움 테스트넷에서 광범위한 테스트를 거쳐 2020년 6월부터 이더리움 메인넷에서 운영되고 있는 스타크엑스는 확장성 솔루션의 성숙도를 잘 보여주고 있습니다.

스타크 기술을 활용하는 스타크엑스는 탈중앙 금융과 게임 애플리케이션에 필수적인 확장 가능한 자체 수탁 거래를 촉진합니다.

현재 구성에 대한 최소한의 조정으로 대폭적인 확장, 빠른 트랜잭션, 비용 절감이 가능합니다.

스타크엑스는 이더리움, 합성 자산, ERC-20, ERC-721, ERC-1155 토큰을 지원하며, 다른 EVM 호환 블록체인의 토큰으로 지원을 확장할 수 있습니다.

스타크엑스 플로우: 스타크엑스에서 트랜잭션이 실행되고 검증되는 방식

그리고StarkEX 대시보드 를 보면 지난 한 달간 누적 거래량이 증가했음을 알 수 있습니다.

StarkNet

스탁웨어가 개발한 스탁넷은 이더리움의 레이어 2 네트워크에서 무허가 탈중앙화 유효성 롤업(ZK 롤업)으로 작동합니다.

이는 탈중앙화 애플리케이션(DApp)이 이더리움의 보안과 구성성을 유지하면서 무한한 연산 확장성을 달성할 수 있도록 지원합니다.

스타크 프루프를 사용하는 스타크넷은 개발자들이 이더리움 메인넷에서 디앱을 구축하고 배포할 수 있는 확장 가능한 환경을 제공합니다.

개발자는 이더리움의 아키텍처를 미러링하는 ZK 롤업인 zkEVM을 활용하여 모든 이더리움 가상 머신(EVM)과 호환되는 언어로 작성할 수 있습니다.

또한 Cairo는 네트워크에서 다양한 비즈니스 로직의 배포를 지원합니다.

스타크게이트 브리지

스타크게이트는 스타크넷의 기본 브릿지로, 이더리움과 스타크넷 간의 ERC-20 토큰 전송을 용이하게 합니다.

스타크넷 알파 네트워크와 스타크 기반 연산 압축을 활용하여 이더리움, 폴리곤, 옵티미즘, 아비트럼 및 기타 네트워크의 토큰 브리징을 지원합니다.

스타크게이트를 통해 USDC, DAI, USDT, WBTC와 같은 자산을 스타크넷으로 직접 원활하게 전송할 수 있습니다.

스타크넷 토큰(STRK)

스타크넷 생태계는 2022년 7월에 출시된 ERC-20 토큰인 STRK를 기반으로 운영됩니다.

STRK는 스타크넷 네트워크의 유지와 보안에 중요한 역할을 합니다.

또한 거버넌스 기능을 제공하여 토큰 보유자가 블록체인 결정에 투표하고 네트워크 내 거래를 촉진할 수 있도록 합니다.

스타크웨어의 두뇌를 만나보세요.

2018년 이스라엘 네타냐에 설립된 스타크웨어 인더스트리는 다양한 전문가들로 구성된 팀에 의해 설립되었습니다: 우리 콜로드니, 엘리 벤사손, 마이클 리아브제프, 알레산드로 키에사.

이 회사의 사명은 확장성 문제를 해결하고 블록체인 네트워크의 프라이버시와 효율성을 향상시키는 것입니다.

이들의 혁신적인 접근 방식은 블록체인 환경을 혁신하여 더욱 강력하고 사용자 친화적으로 만드는 것을 목표로 합니다.

Eli Ben-Sasson, 공동 창립자 겸 CEO, StarkWare

Ben-Sasson은 StarkWare의 공동 창립자이자 현 CEO이자 이사회 의장입니다.

뛰어난 학문적 배경을 가진 그는 이스라엘 공과대학 테크니온에서 7년간 부교수, 시카고 TTI에서 객원 조교수, MIT에서 박사후 연구원을 지냈습니다.

2001년 히브리대학교에서 이론 컴퓨터 과학 박사 학위를 취득한 이후 벤 사손은 암호화 및 ZK 계산 무결성 증명에 집중해 왔습니다.

그는 스타크, FRI, 제로캐시 프로토콜의 공동 발명가이자 지캐시 컴퍼니의 창립 과학자입니다.

프린스턴, 하버드, MIT의 고등연구연구소에서 연구직을 역임했으며, 현재 프린스턴대학교에서 교수로 재직 중입니다.

최근까지 테크니온에서 컴퓨터 공학과 교수로 재직하다가 스타크웨어를 공동 설립했습니다.

그의 소셜 미디어:X 및LinkedIn

벤 사손의 풍부한 레퍼토리에도 불구하고 그의 이름에 설리가 없는 것은 아닙니다.

X 사용자 채드 플렙은 벤-사슨이 "비트코인이 작동하지 않기 때문에 지캐시 똥코인을 만든 사기꾼"이라고 주장했습니다.

흥미롭게도 스타크웨어의 또 다른 공동 창립자인 알레산드로 키에사도 지캐시와 관련이 있습니다.

알레산드로 키에사, StarkWare 공동 창립자

키에사는 스타크웨어의 공동 창립자이자 UC 버클리의 컴퓨터 공학 교수입니다.

그의 연구는 복잡성 이론, 암호화, 보안을 아우르며, 특히 간결한 ZK 증명의 이론적 토대와 실제 구현에 중점을 두고 있습니다.

키에사는 제로캐시 프로토콜의 공동 발명가이자 간결한 ZK 증명을 위한 선도적인 오픈소스 라이브러리인 libsnark의 핵심 기여자입니다.

또한 지캐시 회사의 창립 과학자이기도 합니다.

키에사는 컴퓨터 과학 및 수학 학사 학위와 MIT에서 컴퓨터 과학 박사 학위를 받았습니다.

그의 소셜 미디어:LinkedIn

우리 콜로드니, 이사회 멤버 겸 스타크웨어의 첫 번째 CEO

콜로드니는 2024년 2월까지 StarkWare의 초대 CEO를 역임했으며, 현재도 이사회에서 활동하고 있습니다.

그는 떠날 때 이렇게 말했습니다:

"저는 여전히 스타크에 빠져 있지만 가족의 건강을 위해 CEO 자리를 떠납니다. 6년 동안 쌓아온 회사와 기술 스택은 제가 꿈꿔왔던 것보다 훨씬 더 발전했습니다. 일라이와 150명이 넘는 기가브레인 팀이 이끄는 스타크웨어가 이더리움 확장 가능성의 한계를 계속 넓혀갈 것이라 확신합니다."

히브리대학교에서 컴퓨터 공학 학사(우등)를, MIT 슬론 경영대학원에서 경영학 석사(MBA)를 취득했습니다.

콜로드니는 내시경 수술용 광섬유를 전문으로 하는 MIT에서 분사한 옴니가이드, 빅데이터 시각화 도구에 중점을 둔 몬드리아 등 여러 기술 회사를 공동 창업한 노련한 기업가입니다.

그의 경력에는 두 곳의 이스라엘 벤처캐피털 회사에서 입주 기업가(EIR)로, McKinsey & Company에서 애널리스트로 근무한 것이 포함됩니다.

그의 소셜 미디어:X 및LinkedIn

마이클 리아브제프, StarkWare 공동 창립자

리아브제프는 컴퓨터 과학과 암호화 분야의 전문성을 살려 StarkWare의 공동 창립자입니다.

이스라엘 테크니온 공과대학에서 박사 학위를 받았으며, ZK에서 전산 무결성을 위한 실용적인 시스템 개발을 전문으로 담당했습니다.

그의 박사 학위 연구는 zk-STARK 시스템의 개발과 구현으로 정점을 찍었습니다.

리압제프는 테크니온에서 수학 학사(우등)와 컴퓨터 공학 석사 학위도 취득했습니다.

그의 전문적 배경은 하드웨어 가속, 암호화 알고리즘, GPGPU, SDN 및 웹 개발에 걸쳐 있으며, 광범위한 기술 혁신을 반영합니다.

그의 소셜 미디어:X 및LinkedIn

스타크웨어의 소셜 서비스

웹사이트

X

Github

LinkedIn

Medium

스타크웨어의 계획

회사 측의 주장입니다:

"우리는 프로덕션 등급 코드를 제시간에 제공한 이력이 있습니다."

스투는 2025년 1분기까지 스타크넷과 스타크엑스 시스템을 위한 스타크웨어의 메인넷에 출시될 예정이며, 공유 증명(SHARP) 프레임워크에 통합될 예정입니다.

향후 주요 마일스톤으로는 카이로 어셈블리(CASM)를 위한 Stwo AIR 제약 조건 작성과 카이로에서 재귀 검증기 구현이 있습니다.

스타크웨어는 내년 여름까지 Stwo를 스타크넷에 심층 통합하여 게임, 디파이 등 다양한 애플리케이션에 대한 신속한 클라이언트 측 증명을 지원할 예정입니다.

이러한 발전은 블록체인 생태계 내에서 확장성과 효율성 면에서 상당한 진전을 약속합니다.

극복해야 할 장애물이 있는 밝은 미래

DeFi 환경을 재편하고 있는 혁신적인 도구와 함께 생태계가 빠르게 확장되고 있습니다.

카이로, 스타크엑스, 스타크넷을 포함한 스타크웨어의 제품군은 블록체인이 직면한 확장성 문제를 해결할 수 있는 강력한 솔루션을 제공합니다.

오프체인과 온체인 기술의 조합을 통해 사용자는 향상된 개인 정보 보호 및 보안과 함께 이더리움에서 가장 낮은 가스 수수료의 혜택을 누릴 수 있습니다.

또한 패러다임, 세쿼이아 캐피탈, 코인베이스 벤처스, 컨센시스, 판테라 캐피탈, 비탈릭 부테린과 같은 저명한 투자자들의 지원은 스타크웨어의 잠재력을 입증하는 증거입니다.

코인라이브는 스타크웨어의 강력한 명성, 탄탄한 자금력, 해당 분야의 전문성을 고려할 때 스타크웨어와 그 제품을 호의적으로 보는 경향이 있습니다.

그러나 비트코인을 확장하는 데 OP_CAT을 사용하는 것은 논쟁의 여지가 있습니다.

비트코인 커뮤니티의 모든 구성원이 OP_CAT을 지지하는 것은 아니며, 일부는 대체 규약 제안을 선호하고 다른 일부는 시행 시 예상치 못한 결과에 대해 우려하고 있습니다.

벤 사손은 이러한 우려를 인정하면서도 100만 달러의 기금과 내부 연구의 목적은 이러한 문제를 해결하고 모든 것이 안전하게 이루어질 수 있도록 하는 것이라고 강조했습니다;

그는 자세히 설명했습니다:

OP_CAT은 가장 효율적인 방법이지만 유일한 방법은 아닙니다. 현재 저희는 OP_CAT에 의존하지 않고도 STARK 규모를 달성할 수 있는 대체 솔루션을 모색하고 있습니다. 현재로서는 자세히 설명할 수 없지만 이러한 대안은 가능성이 있으며 잠재적으로 실행 가능한 해결 방법이 될 수 있습니다;