영지식 증명 분야에서 STARK는 OG와 Iron Man 슈트로, 기초적이고 최첨단입니다.
생산 중인 대부분의 주요 zk 증명자는 STARK 기반입니다. zkSync의 Boojum, Polygon의 zkProver, Aleo의 Winterfell, Aztec Protocol 및 RISC Zero의 Zeth는 모두 STARK(Scalable Transparent ARguments of Knowledge)를 사용합니다.
최근 연구는 StarkWare 와 폴리곤(Polygon) Labs 간의 협력인 STARK Two의 숏 인 Stwo에 대한 STARK의 확장성을 크게 향상시켜 입증 용량을 100배 늘렸습니다.
증명자에 있어서 확장성은 빠르고 저렴하게 증명을 생성하고 검증하는 것을 의미합니다. STARK의 "투명" 부분은 많은 SNARK 기반 증명자에게 필요한 신뢰할 수 있는 설정이 필요하지 않습니다 .
더 읽어보기: 영지식 증명 시스템에는 개선의 여지가 있다고 암호학 연구자들은 말합니다.
2025년에 출시될 Stwo는 결국 "STARK One"의 현재 증명자인 Stone을 대체하게 됩니다.
Stwo의 속도와 효율성의 비결은 계산에 8번째 메르센 소수 (또는 M 31 )를 사용한다는 점입니다. 이는 현대 컴퓨터 아키텍처에 잘 맞아 Stone에 비해 작업 속도를 크게 높입니다.
메르센 소수는 2의 거듭제곱보다 1이 작은 소수입니다. 이 소수는 17세기 초에 소수를 연구한 프랑스 수도사 마린 메르센의 이름을 따서 명명되었습니다. 구체적으로 메르센 소수는 M n =2 n −1 형식으로 표현될 수 있으며, 여기서 n 자체는 정수입니다. 이 형식의 모든 숫자가 소수는 아니지만 숫자 이론과 컴퓨터 과학에서 중요한 속성과 응용 프로그램을 가지고 있는 숫자입니다.
이는 32 비트(Bit) 또는 64 비트(Bit) 정수와 같은 고정 크기 이진 단어 길이를 사용하는 현대 컴퓨터에서 데이터를 처리하는 방식에 자연스럽게 들어맞습니다. 따라서 M 31 과 관련된 연산은 표준 이진 연산을 사용하여 효율적으로 구현할 수 있습니다.
잡초에 너무 깊이 빠지지 않고, 이 새로운 연구의 획기적인 점은 모든 어린이가 어린 나이에 배우는 것, 즉 서클(Circle) 사용한다는 것입니다.
서클(Circle) STARK는 영리한 기하학적 방법을 사용하여 암호화 증명을 더 빠르게 만들고 M 31 필드는 이러한 작업을 더욱 효율적으로 만듭니다. 이를 통해 Stark Two 증명자는 더 적은 계산 능력으로 신속하게 증명을 생성할 수 있습니다.
우리의 새로운 증명자 Stwo가 우리를 놀라게 했습니다 🔥
— 스타크웨어 🐺🐱(@StarkWareLtd) 2024년 7월 1일
다음은 @PapiniShahar 및 @EliBenSasson 의 차세대 증명자 Stwo의 데모와 그 획기적인 성능입니다. M3 노트북을 사용하여 초당 620,000개의 해시를 증명합니다!
이것은 현재 증명자인 Stone보다 1000배 더 좋으며… pic.twitter.com/FJ0fF2zcra
Valida zk-Virtual Machine을 구축하고 있는 Lita의 공동 창립자인 Ventali Tan에 따르면 이 연구는 Starknet뿐만 아니라 다른 많은 증명 시스템에도 도움이 될 것이라고 합니다.
Tan은 Blockworks에 “Stwo는 STARK의 주요 암호화 요소인 FRI 다항식 약속 체계의 속도와 강력함을 다시 한 번 확인시켜 줍니다.”라고 말했습니다. "이것은 Plonky2 및 Plonky3과 같은 최근 세대의 가장 성능이 뛰어난 여러 증명 시스템의 기초로 사용되는 것과 동일한 체계입니다. Valida는 물론 Succinct의 SP1도 Plonky3을 기반으로 구축되었습니다."
Tan은 서클(Circle) STARK 프로토콜과 M31 필드에 대한 지원이 이미 폴리곤(Polygon) Labs 에서 개발 중인 Plonky3 로드맵에 포함되어 있다고 지적합니다.
다른 증명자들은 덜 직접적인 혜택을 받을 수도 있다고 Aleo의 연구 과학자인 Ian Miers는 제안합니다.
"Aleo는 StarkWare의 작업과는 다른 기술을 기반으로 구축된 Varuna라는 다른 증명 시스템을 사용합니다"라고 Miers는 Blockworks에 말했습니다. "STARK가 하위 품종인 많은 SNARK는 서버가 모든 사람의 거래를 확인하고 가스 비용을 절약하기 위해 가능한 많은 거래를 압축하는 롤업 에 최적화되어 있습니다."
Aleo와 같은 개인 정보 보호 블록체인은 롤업 운영자를 중간에서 제거하여 사용자가 자신의 데이터에 대해 더 많은 통제권을 부여하는 것을 목표로 하고 있습니다.
Miers는 “여기에는 절충점이 있으며, 한 영역에서 탁월하다고 해서 다른 영역에서도 탁월하다는 의미는 아닙니다.”라고 말했습니다.
더 읽어보기: 개인정보 보호가 가장 중요하며 영지식 암호화가 그 방법입니다.
빠르게 변화하는 영지식 암호화의 세계에서 확실한 것은 단 하나라고 Miers는 덧붙였습니다.
“항상 더 새롭고 더 나은 zk 증명 시스템이 있을 것이며 결국에는 업그레이드가 필요할 것입니다.”라고 그는 말했습니다.
David Canellis와 Katherine Ross의 최고의 암호화폐 통찰력으로 하루를 시작해 보세요. Empire 뉴스레터를 구독하세요 .
Ben Strack, Casey Wagner 및 Felix Jauvin과 함께 암호화폐, 거시경제학, 정책 및 금융 간의 점점 커지는 교차점을 살펴보세요. On the Margin 뉴스레터를 구독하세요 .
Lightspeed 뉴스레터는 매일 받은 편지함에 솔라나(Solana) 모든 내용을 담고 있습니다. Jack Kubinec과 Jeff Albus가 전하는 일일 솔라나(Solana) 뉴스를 구독하세요 .
