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

완료하는 데 3개월이 걸린 이 메커니즘은 비트코인의 테스트넷 Signet에서 구현되었지만 더 넓은 생태계에서 사용되기까지는 아직 갈 길이 멀습니다.

StarkWare, a company developing zero-knowledge technology on Ethereum since 2018, has successfully verified a zero-knowledge proof (ZK-proof) in a Bitcoin testnet.

2018년부터 이더리움 기반 영지식 기술을 개발해온 스타크웨어(StarkWare)가 비트코인 ​​테스트넷에서 영지식 증명(ZK-proof) 검증에 성공했다.

The mechanism, which took three months to complete, was implemented on Bitcoin’s testnet Signet. However, it still has a long way to go before it can be used in the broader ecosystem.

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

The script that enables something like zk-proofs (OP_CAT) still hasn’t received enough consensus in the Bitcoin community for it to be introduced.

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

Despite this setback, StarkWare’s move is an auspicious one for the network formerly known as a digital pet rock.

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

Verifying zk-proofs on Bitcoin was previously unavailable, due to the network’s limited computational capabilities. OP_CAT, and the companies battle testing it on Bitcoin’s Signet, aims to change that reality and bring the breadth of applications present on other blockchains to the oldest ecosystem in the industry.

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

“This was a tremendous effort and took a significant amount of time,” said Weikeng Chen, of L2 Iterative in a statement shared with The Defiant. “We started with nothing. There’s no information about ZK proofs on Bitcoin. There’s no information regarding the mathematical operations to follow. We had to build the full stack, which eventually led to the implementation of the STARK verifier.”

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

A zk-proof occurs when one party can prove to another that a given statement is true without revealing any additional information. Zk-proofs have become one of Ethereum’s most valuable computational tools, especially as the race to scale in a privacy-centric manner continues.

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

Ethereum’s Rollup Race Comes To Bitcoin

이더리움의 롤업 경쟁이 비트코인으로 옵니다

There are two types of rollups on Ethereum: optimistic and zero-knowledge.

이더리움에는 낙관적 롤업과 영지식 롤업이라는 두 가지 유형의 롤업이 있습니다.

Optimistic rollups assume all Layer 2 transactions are valid unless challenged and proven wrong by an honest network validator, whereas zk-rollups assume all transactions are false until proven valid through zk-proofs.

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

According to L2Beat, optimistic roll ups like Arbitrum, Base, and Optimism command nearly 70% of the entire market share. Trailing from afar with 1.7% of the total market is StarkWare’s own Layer 2, Starknet, which lands in fourth place in its category behind Linea (2.9%), ZKSync (2.8%), and Scroll (4.3%), which has had its total value locked (TVL) soar past $1 billion.

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

However, even though zero-technology scaling solutions are less widely used, they have important advantages including increased privacy and faster bridging times to mainnet.

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

Privacy is where StarkWare has been placing its efforts, in no small part due to its founder and Chief Executive Officer Eli Ben-Sasson’s connection to the privacy blockchain world. Ben-Sasson was the chief scientist behind one of the top privacy-focused cryptocurrencies: Zcash.

개인 정보 보호는 StarkWare가 개인 정보 보호 블록체인 세계에 대한 설립자이자 CEO인 Eli Ben-Sasson의 연결로 인해 적지 않은 노력을 기울이고 있는 곳입니다. Ben-Sasson은 최고의 개인 정보 보호 중심 암호화폐 중 하나인 Zcash의 수석 과학자였습니다.

Zcash has lost dominance in its sector and shows a $478 million market cap, down from its $3.5 billion peak in 2022. The token spiked 8% to $31 today, for reasons that seem unclear.

Zcash는 해당 부문에서 지배력을 잃었으며 2022년 최고치인 35억 달러에서 감소한 4억 7,800만 달러의 시가총액을 보여줍니다. 토큰은 불분명한 이유로 오늘 8% 급등하여 31달러로 나타났습니다.

Testing out zero-knowledge technology makes sense on Bitcoin because of its well-known lack of privacy and difficulty to scale.

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

OP_CAT Continues To Get Tested

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

The potential to bring some of Ethereum’s most valued tools to Bitcoin is enabled by a Satoshi-era code dubbed OP_CAT.

이더리움의 가장 가치 있는 도구 중 일부를 비트코인으로 가져올 수 있는 잠재력은 OP_CAT이라는 사토시 시대 코드를 통해 가능해졌습니다.

OP_CAT, short of “Operation Concatenate,” is an opcode that was proposed originally by Bitcoin’s unknown creator, Satoshi Nakamoto. It allows for the combination of two pieces of data into a single piece of data during the execution of a Bitcoin transaction.

"Operation Concatenate"의 줄임말인 OP_CAT는 원래 비트코인의 알려지지 않은 창시자인 Satoshi Nakamoto가 제안한 opcode입니다. 이는 비트코인 ​​거래가 실행되는 동안 두 개의 데이터를 단일 데이터로 결합하는 것을 허용합니다.

The opcode is nothing short of controversial.

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

Many in the Bitcoin community have decried it as an attack on the network, which could open up attack vectors like MEV. In fact, MEV-style attacks known as ‘mempool sniping’ have become prevalent, although it is mostly due to Ordinals and not OP_CAT.

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

Ben-Sasson and StarkWare are on the front line testing and pushing for OP_CAT to be reintroduced. In early June, the company revealed an ambitious plan to scale Bitcoin through the controversial script–and the zk-proof is a step in that direction.

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

Referring to OP-CAT, Ben-Sasson said “it will retain all Bitcoin values unchanged, while providing a bare bones framework that is just enough to bring STARK scaling to Bitcoin.”

OP-CAT에 대해 Ben-Sasson은 "모든 비트코인 ​​가치를 변경하지 않고 유지하는 동시에 STARK 확장을 비트코인에 적용하기에 충분한 기본 프레임워크를 제공할 것"이라고 말했습니다.