StarkWare, 비트코인에 영지식 기술 도입, Signet Testnet에서 zk 증명 검증

완성까지 3개월이 걸린 메커니즘은 비트코인의 테스트넷 시그넷에 구현됐지만, 더 넓은 생태계에서 활용되기까지는 아직 갈 길이 멀다.

영지식 기술을 개발하는 기업 스타크웨어 2018년부터 이더리움에서 비트코인 ​​테스트넷에서 영지식 증명(ZK 증명)을 성공적으로 검증했습니다.

완료하는 데 3개월이 걸린 메커니즘이 비트코인 ​​테스트넷 Signet에 구현되었습니다. 그러나 더 넓은 생태계에서 사용될 수 있으려면 아직 갈 길이 멀습니다.

zk-proofs(OP_CAT)와 같은 것을 가능하게 하는 스크립트는 비트코인 ​​커뮤니티에서 도입될 만큼 충분한 합의를 아직 얻지 못했습니다. .

이러한 좌절에도 불구하고 StarkWare의 움직임은 이전에 디지털 애완동물 바위로 알려진 네트워크에 있어 상서로운 움직임입니다.

네트워크의 제한된 계산 기능으로 인해 이전에는 비트코인에 대한 zk 증명 확인이 불가능했습니다. OP_CAT과 비트코인의 Signet에서 이를 테스트하는 회사들은 이러한 현실을 바꾸고 다른 블록체인에 존재하는 광범위한 애플리케이션을 업계에서 가장 오래된 생태계로 가져오는 것을 목표로 합니다.

“이것은 엄청난 노력이었으며 상당한 시간이 걸렸습니다. "라고 L2 Iterative의 Weikeng Chen은 The Defiant와 공유한 성명에서 말했습니다. “우리는 아무것도 없이 시작했어요. 비트코인에는 ZK 증명에 대한 정보가 없습니다. 따라야 할 수학적 연산에 관한 정보가 없습니다. 우리는 전체 스택을 구축해야 했고, 결국 STARK 검증기를 구현하게 되었습니다.”

zk 증명은 추가 정보를 공개하지 않고 한 당사자가 특정 진술이 사실임을 다른 당사자에게 증명할 수 있을 때 발생합니다. Zk 증명은 특히 개인 정보 보호 중심 방식으로 확장 경쟁이 계속됨에 따라 Ethereum의 가장 가치 있는 계산 도구 중 하나가 되었습니다.

Ethereum의 롤업 경주가 비트코인으로 옵니다

Ethereum에는 두 가지 유형의 롤업이 있습니다: 낙관적 롤업과 영지식.

낙관적 롤업은 정직한 네트워크 검증자가 문제를 제기하고 잘못된 것으로 입증하지 않는 한 모든 레이어 2 트랜잭션이 유효하다고 가정하는 반면, zk 롤업은 zk 증명을 통해 유효성이 입증될 때까지 모든 트랜잭션이 거짓이라고 가정합니다.

L2Beat에 따르면 낙관적 Arbitrum, Base, Optimism과 같은 롤업은 전체 시장 점유율의 거의 70%를 차지합니다. 전체 시장의 1.7%를 차지하여 멀리서 보면 StarkWare의 자체 레이어 2인 Starknet이 뒤따릅니다. 이는 Linea(2.9%), ZKSync(2.8%), Scroll(4.3%)에 이어 해당 카테고리에서 4위를 차지했습니다. 총 가치 고정(TVL)이 10억 달러를 넘어섰습니다.

그러나 제로 기술 확장 솔루션이 널리 사용되지는 않지만 개인 정보 보호 강화 및 메인넷 연결 시간 단축 등 중요한 이점이 있습니다.

개인 정보 보호는 StarkWare가 추구하는 분야입니다. 이러한 노력은 창립자이자 최고 경영자(CEO)인 Eli Ben-Sasson의 개인 정보 보호 블록체인 세계와의 연결 덕분에 큰 부분을 차지했습니다. Ben-Sasson은 개인 정보 보호에 초점을 맞춘 최고의 암호화폐 중 하나인 Zcash의 수석 과학자였습니다.

Zcash는 해당 부문에서 지배력을 잃었으며 2022년 최고치인 35억 달러에서 감소한 4억 7,800만 달러의 시가총액을 보여줍니다. 토큰은 8% 급등했습니다.

영지식 기술을 테스트하는 것은 개인 정보 보호가 부족하고 확장이 어렵기로 잘 알려진 비트코인에서 의미가 있습니다.

OP_CAT는 계속 테스트를 받습니다

비트코인에 대한 이더리움의 가장 가치 있는 도구 중 하나는 OP_CAT라고 불리는 사토시 시대 코드에 의해 활성화됩니다.

OP_CAT("Operation Concatenate"의 줄임말)은 원래 비트코인의 알려지지 않은 창시자인 Satoshi Nakamoto가 제안한 opcode입니다. 비트코인 거래를 실행하는 동안 두 개의 데이터를 하나의 데이터로 결합할 수 있습니다.

opcode는 논란의 여지가 없습니다.

비트코인 커뮤니티의 많은 사람들은 이를 네트워크에 대한 공격으로 비난했습니다. , 이는 MEV와 같은 공격 벡터를 열 수 있습니다. 실제로 '멤풀 스나이핑(mempool sniping)'으로 알려진 MEV 스타일 공격이 널리 퍼졌습니다. 하지만 이는 대부분 OP_CAT이 아닌 Ordinal에 의한 것입니다.

Ben-Sasson과 StarkWare는 최전선에서 테스트하고 OP_CAT의 재도입을 추진하고 있습니다. 6월 초, 회사는 논란의 여지가 있는 스크립트를 통해 비트코인을 확장하려는 야심찬 계획을 밝혔으며, zk-proof는 그 방향으로 나아가는 한 단계입니다.

OP-CAT을 언급하면서 Ben-Sasson은 “모든 비트코인 ​​가치는 변함없이 유지될 것입니다”라고 말했습니다. , 동시에 STARK 확장을 비트코인으로 가져오는 데 충분한 기본 프레임워크를 제공합니다.”

위 내용은 StarkWare, 비트코인에 영지식 기술 도입, Signet Testnet에서 zk 증명 검증의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!