Matter Labs의 최고 제품 책임자인 Steve Newcomb은 현재 크립토는 느린 속도와 거의 사용되지 않는 인터넷으로 1996년에 그랬던 것처럼 쇠퇴하고 있다고 말했습니다.
그러나 대역폭과 보안이 크게 향상되면서 인터넷이 전 세계 일상 생활의 중요한 부분이 되었으며 앞으로 몇 개월 안에 암호화폐에서 일어날 일의 정점에 있습니다.
Newcomb은 "아무도 신용 카드를 신뢰하지 않았고 모두가 그것이 유행이라고 생각했으며 사용 사례가 없었습니다."라고 설명합니다.
"그리고 우리는 대역폭에서 10배의 순간을 얻었고 SSL이 나타났고 HTPS가 그 잠금을 얻었습니다. 그것은 10배의 신뢰의 순간이었습니다. 2005년 갑자기 전자 상거래가 지붕을 뚫었습니다.”
10월 28일 zkSync의 Ethereum Virtual Machine 호환 메인넷이 출시되면서 Crypto의 'XNUMXx' 순간이 마침내 올 수 있습니다. EVM은 본질적으로 Ethereum의 운영 체제이며 제로 지식 롤업을 사용하여 작동할 수 있다는 것은 Ethereum에서 실행되는 모든 것이 원활하게 경험하도록 이식할 수 있음을 의미합니다. 속도가 크게 향상되고 비용이 절감됩니다.
그들만이 문제를 공격하는 것은 아닙니다. Polygon은 이번 주에 Aave, Uniswap 및 Lens가 모두 배포하기로 약속한 자체 zkEVM용 테스트넷을 출시했습니다. Scroll은 지난 XNUMX월 "Pre Alpha 테스트넷"을 출시했습니다. StarkWare의 zk 솔루션은 한 달에 수백만 건의 트랜잭션을 처리했습니다..
이러한 솔루션은 모두 자금이 충분하며 Scroll은 $30M, Starkware는 $150M, Polygon은 $450M입니다. Newcomb은 zkSync의 자체 자금 조달 라운드가 Polygon과 같은 구장에 있다고 암시하지만 아직 공식적으로 발표되지는 않았습니다.
StarkWare는 XNUMX개월 전에 자체 ZK 롤업 솔루션을 출시했으며 XNUMX월에 재귀적 확장을 켰습니다.. 그러나 보다 효율적으로 확장하기 위해 Cairo라는 사용자 지정 프로그래밍 언어를 사용하는 위험한 결정도 내렸습니다. 이는 대규모 프로토콜의 채택이 EVM 호환 솔루션에서 저항이 가장 적은 경로로 이동하는 것을 볼 수 있습니다.
모든 솔루션은 또한 이더리움 트랜잭션이 잠재적으로 수천 배 더 빨라지고, 체인 간 브리지의 필요성을 제거하고, 암호화가 마침내 진정한 잠재력을 실현할 수 있도록 하는 재귀적 확장 및/또는 '레이어 3' 구현에 대해 작업하고 있습니다.
영지식 롤업 또는 zk 롤업이란 무엇입니까?
ZK 롤업은 오늘날 블록체인에서 가장 큰 유행어 중 하나입니다. 이 기술을 사용하면 모든 트랜잭션이 올바르게 수행되었음을 확인하는 작은 "유효성 증명"과 함께 고통스럽게 느린 이더리움 블록체인에서 수천 개의 트랜잭션을 계산할 수 있습니다. 따라서 다른 곳에서 수행된 10,000개의 트랜잭션을 단일 ETH 트랜잭션으로 "롤업"할 수 있습니다. 이것은 큰 일이기 때문에 Merge Ethereum이 절름발이를 한 후에도 초당 15 트랜잭션.
ZK 롤업은 Loopring, dyDx 등과 같은 플랫폼에서 얼마 동안 NFT 및 금융 거래에 사용되었습니다. 그러나 공동 설립자인 Vitalik Buterin은 XNUMX월 ETH Seoul에서 다음과 같이 지적했습니다.
"일반적으로 사람들은 확장 가능한 돈을 원하는 것이 아니라 확장 가능한 EVM을 원한다는 것을 배웠다고 생각합니다."
Newcomb이 ZK 롤업에 대해 "XNUMX가지 마법 요소"라고 부르는 것 중 하나입니다. 그의 관점에서 ZK 롤업 솔루션은 범용 EVM 호환이어야 하며 Ethereum의 프로그래밍 언어인 Solidity를 지원해야 합니다. 또한 암호화의 창립 정신에 맞는 오픈 소스여야 하며 팀 간에 부를 집중시키기보다 프로토콜을 분산시키는 토큰 배포가 있어야 합니다.
기이한 우연의 일치로 zkSync는 이 30가지 자체 부과 메트릭을 모두 달성했습니다. (Newcomb은 정확한 토큰 분배를 자세히 설명할 수는 없지만 내부자의 경우 약 XNUMX%가 "합의"인 것으로 보입니다.)
체크리스트는 StarkNet 토큰 공급의 49.9%를 투자자와 핵심 기여자에게 제공하도록 설정된 경쟁업체 StarkWare에 대한 가려진 비판의 일부입니다. 또한 공개 소스가 아니지만 해당 커뮤니티에 IP 제어 권한을 부여할 계획입니다.
공동 설립자 Eli Ben-Sasson은 ZK 롤업이 제공하는 확장성을 최대한 활용하는 유일한 방법은 Cairo와 같은 사용자 지정 언어를 사용하는 것이라고 설명합니다.
“목표가 EVM을 시뮬레이션하는 것이 아니라는 증거를 켜면 사람들이 깨닫게 될 것이라고 확신합니다. 목표는 확장성에 도달하는 것입니다. 10,000, 100,000, XNUMX만 거래를 처리하고 그 증거를 이더리움의 단일 블록에 맞추는 것"이라고 그는 말합니다.
“이더리움의 단일 증명 안에 백만 개의 트랜잭션을 넣을 수 있는 완전한 ZK EVM을 보지 못할 것이라고 확신합니다. 오늘날 우리가 쉽게 할 수 있고 몇 달, 몇 년 동안 해왔듯이.”
확장성 대 호환성
StarkWare의 Odin-Free는 Twitter에서 "Stark와 같은 증명 시스템은 유한 필드에 대한 다항식을 기반으로 하여 훨씬 더 효과적인 다항식 방정식을 제공하기 때문에" 사용자 지정 언어의 필요성 뒤에 복잡한 수학적 이유가 있다고 설명했습니다. 좋아, 그의 말을 들어보자.
Ben-Sasson에게 EVM을 강화하는 것은 어리석은 일입니다.
"교통 문제를 해결하고 싶다면 큰 트럭을 타고 비행기에 실어 비행기에서 배달하도록 하면 됩니다."라고 그는 말합니다.
“트럭을 실을 수 있는 비행기가 있지만 그것은 매우 비효율적인 방법입니다. 훨씬 더 좋은 방법은 물건을 가지고 비행기에 직접 넣는 것입니다.”
즉, 생태계에는 Solidity 코드를 Cairo 코드로 변환하는 Warp라는 변환기가 있습니다. Uniswap의 포크를 StarkNet으로 이식하는 데 방금 사용되었습니다..
따라서 본질적으로 ZK 롤업의 경우 EVM과의 완전한 호환성과 확장 사이에서 선택해야 합니다. 완전한 호환성을 통해 DApp과 프로토콜을 원활하게 이식할 수 있으며 모든 것이 개발자와 사용자를 위해 이더리움과 똑같이 작동하지만 확장 측면에서는 빠를수록 더 좋습니다.
Newcomb은 StarkWare의 솔루션이 더 나은 규모를 생산할 것이라는 점을 인정하지만 접근성을 희생한다는 것은 "채택 마찰"로 인해 Ethereum의 기본 부분이 되기보다 맞춤형 엔터프라이즈 애플리케이션에 더 적합하다는 것을 의미한다고 말합니다.
“EVM과 호환되지 않으므로 이식하기가 정말 어렵습니다. 우리는 포팅하는 데 XNUMX개월이 걸리는 프로젝트를 보았습니다.”
호환되지만 덜 우아함
합의된 정의는 없지만 'EVM 등가물'은 일반적으로 "EVM과 정확히 동일함"을 의미하므로 변경 없이 솔루션에 기존 스마트 계약을 배포할 수 있습니다.
Scroll은 동등하다고 널리 동의되지만 아직 적절한 테스트넷에 있지 않으며 비교적 적은 예산으로 다른 것들보다 몇 달 뒤쳐져 있습니다. Polygon의 zkEVM 솔루션은 동등하다고 주장합니다(그러나 이것은 논쟁의 여지가 있음). 한편 zkSync는 EVM과 호환됩니다. 즉, 거의 동일하지만 솔루션이 더 잘 작동하도록 일부 설계 선택으로 인해 몇 가지 사항이 작동하지 않을 수 있습니다.
다각형 월요일에 "Polygon은 zkEVM의 완전한 기능을 갖춘 오픈 소스 구현을 제공하는 최초의 프로젝트입니다. Polygon뿐만 아니라 전체 산업에 획기적인 이정표가 될 것입니다.” Polygon은 테스트넷에 "완전히 공개된 zk-Prover가 포함되어 있습니다.
공동 설립자 Mihailo Bjelic은 Magazine에 초기 테스트에 따르면 "Polygon의 zkEVM은 이더리움의 네트워크 수수료를 약 90% 줄이고 네트워크 처리량을 수십 배 증가시킬 수 있습니다."라고 말했습니다.
그는 오픈 소싱 기술이 “누구나 검토하고 잠재적인 버그를 지적할 수 있기 때문에 업계의 정신과 우리의 일치를 증명하고 솔루션의 보안을 강화합니다. 최소한 현재로서는 구현의 중요한 부분을 비공개 소스로 유지하는 StarkNet 또는 zkSync의 경우는 그렇지 않습니다.”
테크니컬 비트
Scroll의 Luozhu Zhang에 따르면 zkEVM에는 바이트코드 수준, 언어 수준 및 합의 수준의 세 가지 잠재적 유형이 있습니다. zkSync 및 StarkWare는 언어 수준에 있으며 컴파일러 또는 변환기 단계가 필요한 반면 Scroll 및 Polygon은 바이트 코드 수준 접근 방식입니다. 사람이 읽을 수 있는 형태의 바이트코드를 opcode라고 합니다.
Bjelic은 Polygon의 솔루션이 EVM과 동등하도록 설계되었지만 다음과 같이 말합니다.
"StarkNet 및 zkSync와 같은 프로젝트는 다른 경로를 취하고 있습니다. 자체 사용자 지정 가상 머신이 있으며 EVM 위에 구축된 가장 인기 있는 언어인 Solidity를 이러한 가상 머신이 해석할 수 있는 언어로 변환하려고 합니다."라고 그는 말합니다.
"이 접근 방식에는 두 가지 주요 과제가 있습니다. (i) Solidity 스마트 계약을 100% 지원할 트랜스파일러를 구축하기 어렵고 (ii) 트랜스파일러가 있어도 모든 개발자와 최종 사용자를 활용할 수 없습니다. Polygon zkEVM과 같은 도구가 가능합니다.”
Newcomb은 나쁜 정보가 유통되고 있다고 말합니다. "우리는 트랜스파일하지 않고 컴파일합니다."라고 그는 말합니다. 그리고 그는 프로젝트의 Github에서 볼 때 아직 작동하는 시퀀서와 통합된 작동하는 범용 증명자를 개발하지 않았다고 Polygon에 대해 반격했습니다.
“이것이 사실이라면 그들이 해야 할 정의할 수 없는 양의 일이 있다는 것을 의미합니다. 복잡한 시스템의 마지막 10%는 항상 가장 어렵습니다. 이것은 우리가 테스트넷을 런칭했을 때 우리가 있었던 곳이나 심지어 뒤에 있었던 곳과 비슷해 보입니다. 그리고 나서 XNUMX개월이 걸렸습니다.”
대부분 호환
한편 zkSync는 이더리움의 141개 Opcode 중 1개를 제외하고 모두와 호환됩니다. 그 중 하나는 더 이상 사용되지 않으며, 다른 하나는 사용되지 않으며, 세 번째는 Newcomb에 따르면 프로젝트의 10/1 미만에서 사용됩니다.
“그렇다면 우리는 완전히 동등하지 않아서 무엇을 얻었습니까? 우리는 두 가지를 얻었습니다. 성능 비용은 동등성을 추구하는 솔루션보다 훨씬 낫습니다. 우리는 훨씬 빠르고 훨씬 저렴합니다. 그리고 두 번째로 얻은 것은 LLVM 컴파일러를 체인 내부에 고정할 수 있다는 것입니다. 이는 동등한 작업을 수행하는 경우에는 수행할 수 없습니다. 그리고 LLVM 컴파일러가 하는 일은 이미 레이어 XNUMX을 보고 있다는 것입니다.”
LLVM은 Python, Rust 또는 C++ 개발자가 솔루션에 대한 코드를 작성하도록 허용한 다음 Solidity와 동일한 방식으로 작동하도록 컴파일됩니다.
“그것은 채택하기에 엄청난 것입니다. 여기 카이로에서 XNUMX개월이 걸린 이 프로젝트가 XNUMX일 만에 우리에게 이식된 동일한 생태계 프로젝트입니다. 그것이 바로 호환성입니다.”
그는 zkSync가 완전히 동등하지만 LLVM과 증가된 확장성을 놓치면 이식하는 데 하루가 걸린다는 점을 인정합니다. 그래서 그는 그것이 가치 있는 거래라고 말합니다.
레이어 3 및 재귀적 확장
많은 수의 트랜잭션을 단일 유효성 증명으로 압축할 수 있는 가장 멋진 점은 기술을 통해 수많은 트랜잭션을 압축할 수 있다는 것입니다. 다른 증거 그것도 하나의 증거로.
이를 재귀적 확장이라고 하며 Consensys의 롤업 제품 관리자인 Declan Fox는 이론상 전체 글로벌 금융 시스템이 이더리움에서 실행될 수 있을 정도로 강력하다고 믿습니다. "우리는 필요한 처리량을 달성할 수 있는 기술을 보유하고 있습니다."라고 그는 말합니다. "재귀적 롤업과 증명을 사용하면 이론적으로 무한대로 확장할 수 있습니다."
또한 읽기 : 이더리움이 세상을 먹고 있습니다: — '하나의 인터넷만 있으면 됩니다'
StarkWare는 30월에 재귀적 확장을 다시 시작했으며 이 기술을 사용한 이후로 XNUMX천만 건 이상의 트랜잭션을 처리했습니다.
Ben-Sasson은 "재귀는 이미 이 초기 단계에서 단일 증명의 트랜잭션 수를 약 8배 증가시켰습니다."라고 설명합니다. “게다가 생산에 들어간 직후 증명 생성을 위한 자체 클라우드 비용이 약 40% 감소했습니다.
“이것은 우리가 보고자 하는 예측이나 수치가 아니라 오늘날 생산되는 것의 수치입니다. 그리고 강조합니다. 이것은 시작에 불과하며 우리가 변경할 변경 사항은 이러한 수치가 점점 더 인상적이 될 것임을 의미합니다.
Polygon은 Bjelic에 따라 Plonky2 솔루션을 구현하려고 합니다. 오픈 소스 zk-SNARK 솔루션입니다. “이 재귀적 SNARK는 기존 대안보다 훨씬 빠르게 거래를 검증하는 데 사용할 수 있습니다. Plonky2는 또한 기본적으로 이더리움 가상 머신과 호환되므로 Polygon이 zkEVM을 개발할 수 있습니다.”
그리고 zkSync의 레이어 3에 대한 테스트넷은 내년 초에 이더리움의 롤업이 꽃을 피우는 공간을 제공하도록 특별히 설계된 Proto-Danksharding이라는 이더리움 업그레이드를 활용하기 위해 곧 출시될 예정입니다. Newcomb은 Layer 3가 XNUMX년 이내에 생산될 것으로 예상합니다. 그들은 그것을 '프랙탈 하이퍼체인'의 생태계인 패스파인더(Pathfinder)라고 부릅니다.
'우리는 아마도 엔지니어링적으로 몇 시간 동안 계속할 수 있지만 기능적으로는 Etherium에서 멀어질수록 데이터 비용이 더 저렴해지고 데이터 비용이 증가함에 따라 10x, 10x, 10x, 10x입니다. 그리고 그것은 zk만의 고유한 특징입니다.”
"여기서 100,000 TPS와 백만 TPS에 도달했습니다."라고 그는 말합니다. Visa는 평상시에는 약 4000 TPS로 급상승하며 Chrismats와 같은 피크 시간에는 약 65,000 TPS까지 치솟습니다.
“ZK는 100,000 TPS에 도달하는 유일한 방법이므로 Visa와 같은 것이 기본 프로토콜을 블록체인으로 대체하는 수준에 도달할 수 있습니다. 그리고 그렇게 하면 대중이 채택되는 순간입니다.”
Newcomb에 따르면 또 다른 놀라운 발전은 레이어 3이 올해에만 2억 달러 이상의 해킹이 발생한 곳인 인터체인 브리지에 대한 요구 사항을 제거할 수 있다는 것입니다.
“레이어 3에서 이미 달성한 다른 것 중 하나는 모든 브리지를 제거한다는 것입니다. 그리고 한 명의 증명자가 L3의 모든 하이퍼체인에 대해 회로를 수행하도록 할 수 있게 되면 한 블록체인에서 다른 블록체인으로의 모든 통신이 이제 기본이 됩니다. 이것이 Vitalik이 더 이상 다리가 없기 때문에 이것이 최종 게임이라고 말한 또 다른 이유입니다.”
'만약 당신이 그것을 더 빠르고 더 저렴하게 만든다면, 더 많은 언어를 사용할 수 있게 하여 더 쉽게 사용하고 더 많은 개발자들을 환영하게 하고, 다리를 없애기 때문에 사람들이 그것을 신뢰하게 만들 수 있습니다. 내가 항상 말하는 것은 L10에서 3배의 순간이 있는 성단이며 게임이 열리는 곳입니다.”
아직 수정되지 않음
그게 다야? ZK 롤업 및 EVM 호환 확장 솔루션이 출시되면서 모든 것이 해결되었습니까?
불행히도. ZK 롤업은 현재 이더리움에서 계산을 수행하는 데 매우 능숙하지만 롤업이 작동을 중지하거나 악의적인 사람이 롤업을 인수할 경우 다른 조직이 침해에 개입할 수 있도록 메인 체인에 충분한 데이터를 다시 작성해야 합니다. 누가 누구에게 무엇을 빚지고 있는지 알아내십시오.
이를 데이터 가용성 문제라고 하며 프로토 danksharding 및 전체 danksharding이 포함된 이더리움 로드맵의 상당 부분은 이를 해결하고 더 많은 데이터가 포함될 수 있도록 하는 것을 목표로 합니다. 현재 저렴하지만 덜 안전한 Validiums에 데이터를 저장하는 것을 포함하여 이 문제를 해결하는 몇 가지 방법이 있습니다.
확인
블록체인에서 가장 매력적인 읽기. 한 번 배달됨
주.
"따라서 우리가 설명하는 방식은 야구 카드 컬렉션이 있고 이 카드 중 많은 수가 비용이 많이 들지 않고 Validium에 저장했지만 많은 돈의 가치가 있는 희귀 카드 한 장을 레이어 1을 절약할 수 있습니다.”라고 Ben-Sasson은 말합니다.
Polygon은 Avail을 포함하여 이와 동일한 문제에 대한 여러 솔루션을 연구하고 있습니다.
zkSync의 패스파인더 개발자는 Validium, zkPorter(온체인 및 오프체인 혼합) 및 ZKRollup(완전 보안)의 세 가지 데이터 가용성 옵션 중에서 선택할 수 있습니다.
28월 XNUMX일 zkSync의 메인넷 출시로 빅뱅을 기대하지 마십시오. Matter Labs가 몇 달 동안 테스트하고 해킹하거나 악용하려는 사용자에게 현상금을 제공하는 것은 처음에는 다소 실망스러울 것입니다. 그런 다음 DApp을 이식하고 보안 구축 및 테스트를 시작할 수 있습니다.
Newcomb은 "그런 다음 모든 작업이 완료되었다고 느낄 때 리프트라고 하는 작업을 수행합니다."라고 말합니다. “그런 다음 모든 사용자가 동시에 시스템에 들어갈 수 있으며 이를 공정 릴리스 프로그램이라고 합니다. 따라서 우리는 다른 프로젝트보다 어떤 프로젝트도 선호하지 않습니다.” 그는 그 시점에서 150개의 프로젝트가 시작될 것이며 더 이상 프로젝트가 Polygon의 솔루션이 완료될 때까지 기다릴 이유가 없을 것이라고 말합니다.
"마치 그들이 경마장에 가서 바퀴도, 핸들도, 엔진도 전혀 없는 자동차의 섀시를 가지고 나타나는 것과 같습니다."라고 그는 말합니다.
“그리고 우리는 전체 제품을 완성했습니다. 당신은 우리가 페라리를 가지고 있다는 것을 알고 있고 우리는 갈 준비가 되어 있습니다.”
출처: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment