简体中文

繁體中文

English

Tiếng Việt

한국어

日本語

ภาษาไทย

Türkçe

Partnered With:

Matter Labs 팀 인터뷰: zkSync 2.0이 L2 레이스에서 어떻게 두각을 나타내나요?

DeFi之道

이 글을 읽으려면 28 분

매터 랩스 팀은 zkSync와 Starkware의 차이점, 확장성 기능 및 프로젝트의 탈중앙화 계획에 대해 이야기했습니다.

원문 제목: "zkSync 2.0 AMA: 이더리움 레이어 2 경주에서 어떻게 빛날 것인가?"

원문 작성자: Bin Lynn, DeFi Way

최근에 이더리움 레이어 2 프로젝트인 Matter Labs가 zkSync 2.0 테스트넷으로 첫 번째 Solidity dApp을 이전했으며, 이를 통해 기본 zkEVM을 사용하여 해당 ZK Rollup 레이어 2 네트워크가 완전히 EVM과 호환되었습니다.

이 신생 레이어 2에 대해 Matter Labs 공식은 r/ethereum에서 AMA를 진행했으며, 아래는 DeFi Way가 정리한 행사 내용 중 요약입니다:

Q1: Alex G는 트위터에서 Starkware와 zkSync이 서로 다른 대상 사용자를 위해 구축되었다고 언급했습니다. 자세히 설명해 주실 수 있나요?

Alex: 물론, 저는 Matter Labs를 대변하며 말씀드릴 수 있지만, 이것은 제 강한 견해입니다.

zkSync의 비전은 초기 암호화 활동의 정신과 철학에 박혀 있습니다. 이는 암호학자, 주권적 개인, 사토시 나카모토 및 Vitalik 등의 이념을 기반으로 합니다. 간단히 말하면, 우리는 자유를 소중히 여기며 암호학이 제공하는 새로운 강력한 회복 능력에 주목합니다. 암호학은 오늘날 누구나 사용할 수 있는 유일한 기술로, 가장 강력한 적(예: 강력한 권위주의 정부)에도 대항할 수 있습니다. 암호학은 탈중앙화와 결합되어 블록체인 커뮤니티가 현재의 현황을 도전하고(最终 변경할)할 수 있는 능력을 부여합니다. 탈중앙화와 불가변성이 없다면, 오늘날 당신이 가진 것은 은행일 것입니다. 이러한 두 가지 속성이 블록체인에게 필수적이지 않다고 생각한다면, 구글에서 "e-gold"와 "liberty reserve"를 검색해 보세요.

이로 인해 두 회사 간의 주요 차이가 나타납니다. zkSync는 "탈중앙화" 및 "탄력적 최적화"를 대상으로 하는 개방형 프로토콜을 구축 중입니다. 우리는 대체 가능성을 추구합니다: Matter Labs가 사라지거나 손상을 입더라도 네트워크가 번영해야 합니다. 우리의 주요 대상 사용자는 1) 금융 주권을 블록체인을 통해 실현하려는 사람들 및 2) 이러한 사람들을 위해 구축된 탈중앙화 프로토콜입니다.

StarkWare가 구축 중인 솔루션은 거의 전용적인 확장 솔루션으로, 이러한 솔루션이 자체 IP의 성능과 방어 기능을 최적화하지만 기업급 지원 및 SLA를 제공합니다. 기술 및 서비스 제공 업체로, 그들은 중요한 위치를 유지하기 위해 노력하고 있습니다. 그들의 주요 대상 고객은 블록체인 기반의 중앙화 기업(dYdX, Immutable, Sorare, TikTok)인 것으로 보입니다.

이러한 차이점은 설계 결정에 중대한 차이를 야기했습니다:

1. 소프트웨어 라이선스:

zkSync는 허용 라이선스(Apache/MIT)를 가지고 있으므로, 만약 Matter Labs가 올바른 일을 하지 않는다면 누구든지 네트워크를 자유롭게 포크할 수 있습니다.

StarkWare는 Polaris를 제안하여 StarkWare 부속사가 아닌 사람이 STARK 프로버를 실행하는 것을 막을 것입니다.

2. 개발자 스택:

zkSync는 완전한 EVM 호환성에 초점을 맞추고 있습니다. 우리는 커뮤니티 소유의 네트워크를 원하며, 프로토콜을 새로운 언어로 다시 작성하고 재검토하는 서비스 기관 역할을 원치 않습니다.

StarkWare는 스마트 계약 작성을 위한 새로운 도메인 특화 언어인 Cairo를 홍보하고 있으며, 이는 후행 호환성보다는 성능에 중점을 둡니다.

3. 확장성:

zkSync 1.0은 출시 첫 날부터 강제 타임락을 가진 업그레이드 메커니즘을 가졌습니다(나중에는 보안 위원회 메커니즘을 확대했습니다). 우리는 버그를 수정할 수 없는 리스크를 인정하며, 이 방식을 선호하며 제도폐해를 당하는 리스크를 선호합니다. zkSync 2.0 역시 이 방식을 따를 것입니다.

StarkEx에는 업그레이드를 실행하기 전에 작업을 동결하는 메커니즘이 있으며, 적어도 초기 단계에서는 시간락이 없는 업그레이드 메커니즘으로 작동합니다. 그들의 중점은 분명히 외부 공격자에 대한 보안에 있으며, StarkWare 자체에 대한 의존성을 줄이는 것이 목표입니다.

4. 온체인 데이터 가용성:

ZKSync 2.0은 zkPorter를 도입했습니다. 이는 분산화에 최적화된 오프체인 데이터 가용성 솔루션이며, 해당 설계는 전체 노드를 현재의 모든 이더리움 크립토키드보다 두 배 많이 만들 것으로 예상되며 활동성에는 암호 경제학적 인센티브를 제공할 것입니다.

한편 StarkWare는 데이터 가용성 위원회(Data Availability Committee)에 주력하고 있으며, 이 위원회는 소수의 데이터 저장자로 구성되어 있으며, 이들은 분산화 인센티브가 아닌 자신들의 평판에 의존합니다.

여러분이 보신 대로, 이러한 차이는 저희의 가치관 및 이념적 견해의 차이에서 비롯됩니다. 규제압력이 더욱 커지면서, 우리는 KYC, AML, 프라이버시, 그리고 암호화 커뮤니티와 국가 간의 다른 긴장 분야에서 더 많은 문제가 발생할 것으로 예상됩니다.

Q2: 만약 zkPorter가 동결된다면, 스마트 계약에 있는 자금은 어떻게 될까요? 자동으로 철수되나요? 그렇지 않다면, 이는 롤업 사용자에게 어떤 영향을 미칠까요? 예를 들어, Uniswap에는 ETH/DAI가 있으며, 롤업 계정이 700만 달러를 기여하고 zkPorter 계정이 300만 달러를 기여했다고 가정해 봅시다. zkPorter가 동결되면 어떻게 될까요, 특히 롤업 사용자의 관점에서?

Stan: 일반적으로 롤업 사용자에게는 아무런 변경 사항이 없으며, 유동성은 계약에 유지되며 계속 정상적으로 작동할 것입니다.

추가 질문: 만약 zkPorter가 동결되면, zkPorter 계정이 제공한 유동성은 어떻게 계속 정상 작동하나요? 이것은 제게는 안전하지 않은 것으로 보입니다.

Stan: zkPorter의 동결은 최악의 경우, zkPorter 계정이 스마트 계약에서 자신의 유동성을 인출할 수 없다는 것을 의미합니다. 왜 이것이 안전하지 않다고 생각하시나요? 반드시 주목해 주십시오, ERC-20 잔액과 같은 컨트랙트의 전역 상태는 여전히 롤업에 저장됩니다.

추가 질문: 말씀하신 콘텐츠가 자금 동결보다 더 나쁘다고 볼 수 있겠죠. 저는 계속해서 zkPorter 상태 동결이 그 단어 그대로의 의미라고 생각해 왔지만 실제로 여기서는 zkPorter를 동결하지 않았습니다. 그저 자금이 스마트 계약에 있지 않다는 것뿐입니다. 이것은 스마트 계약 플랫폼의 취지에 반하는 것입니다.

제가 모든 것을 잘못 이해하고 있다면 다릅니다 — 사용자가 zkPorter에서 동결된 상태에서 청산되고 완전히 무력한 상황에 처할 경우, 이는 최악의 사용자 경험이 될 것입니다. 더 큰 문제는 순서 정리자와 zkPorter 확인자가 협력하여 강제 청산 및 기타 MEV 시나리오를 강요할 수 있는 공격 벡터를 열게 된다는 것입니다 — 이것은 측면 체인과 마찬가지로 안전하지 않으며 일부 MEV 케이스에 대해 더 악화될 수 있습니다. 저는 zkSync 2.0에 심사를 받는 상황에서 롤업이 동결될 때라도 사용자가 스마트 계약에서 자금을 인출할 수 있는 메커니즘을 보유하며, StarkWare도 유사한 보호적 인출 솔루션을 갖고 있다는 것을 알고 있습니다. 따라서, 왜 zkPorter에 대한 사용자 보호를 위해 비슷한 것을 구현하지 않았을까요?

Stan: 이렇게 포괄적으로 답변해 주셔서 감사합니다. 저희 팀은 이러한 잠재적 문제점에 대해 인식하고 있습니다. 안타깝게도 저는 모든 세부 사항을 제공할 수는 없지만, 우리는 시스템에 대한 동결 영향을 최소화하기 위해 노력하고 있습니다.

자금 동결에 관한 내용은 현재의 Uniswap 이더리움 스마트 계약에 따라 많이 달라집니다. 따라서 현재의 Uniswap 이더리움 스마트 계약은 단일 조각을 지원하므로, zkSync로 코드 이전 없이 이식되면 롤업할 때에만 잔고를 유지하게 됩니다. 따라서 Porter 출신 사용자가 스마트 계약에 자금을 제공할 때마다, 그들은 잔고를 스마트 계약의 롤업 잔고로 보내게 됩니다. 이 자금은 다른 모든 롤업 자금과 마찬가지로 L1에서 안전하게 보관되어야 합니다. 이미 언급했듯이, 우리는 이러한 상황을 우아하게 처리하기 위해 노력하고 있습니다. 테스트넷 버전은 더 많은 세부 정보를 제공할 것입니다:)

Q3: 이더리움 메인넷에서 실행 중인 스마트 계약을 zkSync로 배포하는 프로세스는 얼마나 복잡한가요? 배포된 코드는 완전히 동일한가요?

Angela: 네, Solidity 스마트 계약의 경우: 대부분의 DeFi 및 NFT 프로젝트는 코드를 변경하지 않고 작동할 것입니다. 그러나 첫 번째 버전에서는 컴파일러가 SHA256 및 Keccak256에 대한 호출을 회로 친화적인 해시 함수 호출로 자동으로 대체합니다. 현재로서는 ecrecover와 암호학적 프리컴파일 등 일부 다른 암호학적 원리를 지원하지 않습니다.

UI에 대한 설명: Web3 API 및 Ethers SDK를 사용하여 스마트 계약 및 zkSync 네트워크와 완전히 상호 작용할 수 있습니다. 읽기 요청의 경우 모든 언어의 모든 web3 호환 프레임워크가 out-of-the-box로 작동하며, 추가적으로 선택 사항인 zkSync L2 특정 기능을 갖추고 있습니다. 쓰기 요청(트랜잭션 전송)에 대해서는, L1과 L2 사이의 본질적인 차이로 인해 약간의 추가 코드를 작성해야 합니다(zkSync는 모든 토큰으로 수수료 지불을 지원하므로, 트랜잭션 전송에는 수수료 지불 토큰 선택이 포함될 것입니다).

그러므로 예, 현재의 프론트엔드를 재사용하려면 최소한의 변경만 필요합니다(트랜잭션 전송은 제외).

Q4: zkEVM 아키텍처에서 가장 긴급한 중앙 집중화 지점은 무엇인가요(예: 정렬기 또는 등가물), 이러한 영역에서 탈중앙화 계획은 무엇인가요?

Angela: zkSync 2.0의 탈중앙화를 실현하는 데 중점을 둬야 할 3가지 포인트가 있습니다:

1. 프로토콜의 점진적 탈중앙화

대부분의 롤업 프로젝트와 마찬가지로, 우리는 혁신, 빠른 이터레이션 및 버그 빠른 수정을 위해 단계적 탈중앙화를 선택했습니다. zkSync는 기능 범위가 안정화될 때까지 업그레이드 가능하며, 그 후에는 변경할 수 없게 될 것입니다. 그러나 이상적인 균형을 유지하며 탈중앙화/보안 및 반응성/업그레이드 가능성 사이에서 두 가지 메커니즘이 있습니다.

A) 최소 신뢰 업그레이드 가능성:

zkSync 스마트 계약의 업그레이드는 zkSync 거버넌스에 의해 시작되며, 4주의 시간 잠금 기간이 있습니다. 만약 거버넌스가 손상된다면, 시간 잠금은 사용자가 우선순위 큐/긴급 대응 메커니즘을 통해 탈출할 시간을 줄 것입니다.

B) 보안 위원회:

버그/해킹 사태에 대응하기 위해, 우리는 15명의 존경받는 이더리움 커뮤니티 구성원으로 구성된 보안 위원회를 설립했습니다. 이 위원회의 권한은 4주의 시간 잠금 통지 기간을 단축하는 것으로 제한됩니다. (참고: 이 15명 위원회 구성원으로는 Aave 팀, Itamar Lesuisse (Argent), Mike McDonald (Balancer), James Prestwich (cLabs), Michael Egorov (Curve), Jack Baumruk (Dekrypt), Haseeb Qureshi (Dragonfly), Justin Drake (이더리움 재단), Stefan George (Gnosis), Baek Kim (Hashed), Chris Burniske (Placeholder), Nick Grossman (USV), Will Harborne (ZK Validator), Sergej Kunz (1inch) 그리고 Lasse Clausen (1kx)가 포함됩니다.)

이 이사회는 스마트 계약에 의해 실행되며 다음 규칙을 따릅니다:

8/15 서명은 시간 잠금을 2 주로 줄일 수 있습니다;

10/15 서명은 시간 잠금을 1 주로 줄일 수 있습니다;

12/15 서명은 시간 잠금을 3 일로 줄일 수 있습니다;

최소 3일의 시간 잠금 시간은 최악의 시나리오를 방지합니다.

2、정렬자(Sequencer)

처음에는 승인된 정렬자만이 zkSync L1 스마트 계약으로 상태 전이를 제출할 수 있습니다. 우리에게는 정렬자를 선택하고 변환하는 메커니즘이 있을 수 있습니다. 그러나 최종적으로 여러 유효성 검사자와 PoS 합의에 의해 보호되는 집단 정렬자로 전환할 것입니다. 사용자는 안전을 위해 정렬자에 의존하지 않습니다. 우리의 zkRollup에는 사용자를 정렬자의 감시로부터 보호하기 위한 우선순위 큐/긴급 퇴장 메커니즘이 있습니다: 정렬자가 악의적이든 오작동이든 상관없이 언제든지 zkSync를 탈퇴할 수 있습니다.

3、zkPorter

zkPorter 사용자는 1-3 센트의 고정 비용으로 거래할 수 있습니다. 이는 데이터 가용성(상태 재구성에 필요한 기본 거래 데이터)을 이더리움에 내장하는 대신 체인 외부에 두어 구현되었습니다. 데이터 가용성은 zkSync 토큰 스테이커가 지분 증명(PoS)을 사용하여 보호합니다. zkPorter의 보안은 다른 모든 L1 또는 사이드 체인보다 엄격하지만 최악의 시나리오에서는 악의적인 사용자가 스테이킹된 정렬자와 총 지분의 2/3 이상을 제어하고 유효한 상태 전이에 서명하면서 데이터를 보유할 수 있기 때문에 zkPorter 사용자와 공격자의 지분을 얼릴 수 있습니다.

zkPorter를 최대한 탈중앙화하기 위해 2/3의 zkSync 토큰 공급이 커뮤니티에 예약되어 있습니다.

Q5: 시장에는 많은 확장 솔루션이 있습니다. 빠르다, 저렴하다, 안전하다는 일반적인 주장 이외에도 이러한 솔루션과 다른 점이 있나요?

Lyova ：zkSync 2.0은 zkPorter를 보유할 것입니다 - 실질적으로 상태가 가능하고 체인 외부 데이터를 가진 매우 저렴한 샤드입니다. 여기서 모든 관련 정보를 읽을 수 있습니다 관련 정보。

또한, zkSync에서는 어떠한 흐름 토큰도 사용하여 수수료를 지불할 수 있습니다. ETH를 구매하거나 MATIC과 같은 사용자 정의 토큰을 보유할 필요가 없습니다.

P.S. "우리는 더 빠르고, 더 저렴하며 더 안전합니다"에 대해 자세히 알아보려면 l2beat 및 l2fees를 참조하세요.)

Q6: zkSync의 다음 단계는 무엇인가요? 다른 L2 간 및 다른 블록체인 환경과의 상호 운용성을 향상시키는 계획이 있나요?

Angela: zkSync의 다음 단계에 대해, 우리는 아직 해야 할 많은 작업이 있습니다.

개발자 도구: 잘 알다시피, 우리는 장기적인 접근 방식을 택하고 우리의 컴파일러에 LLVM을 사용했기 때문에 디버거, 링커, 어셈블러, 디스어셈블러 및 이진 유틸리티를 고려해야 했습니다.

또한, x86 또는 ARM 어셈블리를 쓴 적이 있는 사람이라면 우리의 VM에 코드를 쉽게 작성할 수 있습니다.

더 많은 스마트 계약 언어: LLVM은 Rust와 같은 다른 팀과 협업하여 언어 프론트엔드를 손쉽게 구축할 수 있게 해줍니다.

더 완벽하고 효율적인 zkEVM: 첫 번째 버전에서 SHA256 및 Keccak256 호출은 컴파일러에 의해 회로 친화적인 해시 함수로 자동 대체되며 ecrecover 및 암호학 사전 컴파일을 지원하지 않습니다. 물론, 다음 단계는 이를 효과적으로 지원하는 것입니다. 또한 쓰기 카피 확장을 구현할 계획입니다.

UX/DevX 개선: ETH 이외의 다른 토큰의 수수료 방식을 이미 구현했으며, 계정 추상화를 구현 중이며, 더 많은 지원이 예정되어 있습니다.

마지막으로, 암호학은 블록체인 세계에서 놀라운 도구임이 입증되었습니다. 제로 지식 증명은 확장성 및 프라이버시를 촉진하는 데 도움이 되었으며, 이는 공개 무사증말 블록체인에서 가장 중요한 두 가지 문제입니다. Matter Labs는 암호학과 수학을 활용하여 문제를 해결하는 데 열정적인 엔지니어링 팀입니다. 그 중 하나의 흥미로운 응용은 MEV를 제거하기 위해 타임락 암호를 구현하는 것입니다.

다른 L2 간 및 다른 블록체인 환경과의 상호 운용성 문제에 대해, 우리는 주로 zkSync를 구축하는 데 초점을 맞추고 있으며, zkSync와 다른 네트워크 간의 이동 문제는 주로 Optics, Connext, Hop 등의 다리 솔루션으로 해결됩니다.

Q7: SNARKs를 선택한 이유는 무엇이며, STARKs 대신에 선택한 이유는 무엇인가요? 나중에 STARKs로 전환하는 것은 너무 어려울까요? 스마트 계약 규모에 제한이 있을까요?

Lyova: SNARKs를 선택한 이유 중 하나는 데이터가 더 작기 때문에 증명 비용이 더 싸다는 것입니다. 이것은 오로지 O(1) 공간만 사용한다는 것을 의미합니다. SNARKs는 또한 재귀적으로 쉽게 사용할 수 있어 검증자의 계산 비용을 더 절약할 수 있습니다. 게다가 zkSync는 PLONK 방식을 사용하며, 다른 SNARKs와 다르게 일반적인 신뢰 설정만 필요로 하기 때문에 우리는 각 전자 회로 업데이트마다 "독성 폐기물"을 생성할 필요가 없습니다. 궁금하다면 여기를 확인하세요. 우리는 미래에 STARKs로 전환할 계획이 없습니다.

L2에 배포된 스마트 계약은 어떻게든 L1로 게시되어야 하며 (적어도 현재로서는 그렇습니다), "우선 실행" 기간 동안 자금을 정확하게 실행 및 인출하기 위해 이는 규격적으로 일어납니다. 이것이 L1 블록의 gas 한도가 어느 정도의 크기 제한을 가하게 되는 이유입니다.

Q8: 메인넷 출시 후, Matter Labs는 수익을 어떻게 창출할 것인가요?

Angela: 이더리움과 마찬가지로, 초기 토큰 공급량의 1/3은 팀 및 투자자에게 남겨졌으며, 2/3는 커뮤니티에게 할당되었습니다. zkSync 토큰은 zkSync 네트워크의 수수료 토큰입니다 (다른 토큰으로 수수료를 지불할 수 있지만, 이러한 토큰은 백그라운드에서 zkSync 토큰으로 교환됩니다).