Curve + zkSync L2: 이더리움의 ZK 롤업 스마트 계약

登链社区

特邀专栏作者

2020-11-18 07:00 (UTC+8)

이 기사는 약 2849자로, 전체를 읽는 데 약 5분이 소요됩니다

이 단계에서 Zinc VM은 아직 zkSync 코어에 통합되지 않았습니다. Zinc 프로그래밍 언어의 일부 중요한 기능도 손실될 수 있습니다.

AI 요약

펼치기

이 단계에서 Zinc VM은 아직 zkSync 코어에 통합되지 않았습니다. Zinc 프로그래밍 언어의 일부 중요한 기능도 손실될 수 있습니다.

편집자 주: 이 기사의 출처는등련공동체, 승인을 받아 Odaily에서 재인쇄했습니다.

, 승인을 받아 Odaily에서 재인쇄했습니다.

>>Curve 및 Matter Labs 팀은 이더리움을 안전하고 분산된 방식으로 확장하기 위한 큰 발걸음을 내딛게 되어 기쁩니다. 오늘 Curve Finance와 함께 최초의 dapp 상주 zkSync L2 스마트 계약 테스트넷을 출시했습니다.<<

**데모 데모!**[3]

아연 문서[5]

mdnice 편집기

ZK 롤업을 선택하는 이유는 무엇입니까?"확장성은 이더리움이 절실히 필요로 하는 요소입니다. 터널 끝에 빛이 있습니다. Vitalik Buterin은 방금 롤업이 [6] 이더리움 확장을 위한 "유일한 옵션"이라고 발표했으며 [독특한 무신뢰 보안 보장](/matter-labs/evaluating-ethereum-l2-scaling-solutions-a-비교- 프레임워크-b6b2f410f955") 。

고유한 무신뢰 보안 보장

ZK 롤업(ZKR)은 롤업[7]의 두 가지 기존 버전 중 하나이며, 다른 하나는 낙관적 롤업(약칭: OR)[8]입니다. 두 접근 방식 모두 장단점이 있습니다(자세한 비교는 [9] 참조). 주요 실제 차이점은 다음과 같습니다.

보안 - 단일 유효성 검사기가 있더라도 ZK 롤업은 자금 확보를 위해 지속적인 경제적 인센티브가 아닌 순수 수학에 의존하기 때문에 매우 안전합니다. 암호화 가정과는 별도로 ZKR은 기본 L1만큼 안전합니다. 이것은 높은 자산 가치를 다루는 프로토콜에 특히 중요합니다. ZKR과 비교할 때 낙관적 롤업은 강력한 안티 네트워크 효과가 있습니다. 보안은 잠긴 값에 비례하여 감소합니다. 실제로 L1 [10]에 대한 매우 그럴듯한 공격에 대한 저항을 유지하기 위해 단일 낙관적 롤업에 안전하게 배치되도록 자본 상한선(수천만 달러 범위)을 제어해야 합니다. PoW 체인 , 안심할 수 없습니다.

프로그래밍 가능성 - Optimistic Rollup과의 전체 EVM 호환성 지원이 더 쉽습니다. 일반적으로 OR 방식은 기존 이더리움 스마트 계약을 L2(L2: 레이어 2 네트워크)에 도입하는 유일한 실행 가능한 방법으로 간주됩니다. 그러나 이것은 곧 바뀔 것입니다.

mdnice 편집기

최근까지 ZK Rollup에서 임의의 사용자 정의 스마트 계약을 지원하는 것은 매우 어려운 작업이었습니다. 하지만 요즘에는 영지식 증명 분야에서 일이 빠르게 진행되고 있습니다. 2020년에는 마침내 이를 가능하게 한 몇 가지 돌파구가 마련되었습니다. Matter Labs는 Zinc 프로그래밍 언어와 SNARK 친화적인 Zinc VM을 도입하고 Ethereum의 재귀적 PLONK 증명 검증을 구현했습니다[12]. 이러한 기술의 조합은 zkSync에서 스마트 계약의 구현을 주도할 것입니다.

mdnice 편집기

Zinc VM은 어떻게 작동합니까?

계약은 Zinc 프로그래밍 언어로 작성되고 컴파일됩니다. 컴파일러 출력은 두 가지입니다.
Zinc 가상 머신의 바이트코드.

계약의 SNARK 확인 키입니다.

따라서 zkSync의 Zinc 스마트 계약은 유효성 증명의 엄격한 보안 보증을 상속합니다.

mdnice 편집기

zkSync에 대한 스마트 계약을 작성하는 방법은 무엇입니까?

Zinc는 현재 비공개 개발 베타 단계에 있습니다. 당신의 프로젝트에 그것을 시도하는 것에 관심이 있다면, 저희에게 연락해 주십시오[15].

mdnice 편집기

아연은 Solidity/Vyper와 어떻게 다른가요? 기존 소스 코드를 이식할 수 있습니까?

Zinc는 단순화된 Rust 구문을 따르지만 Solidity의 모든 스마트 계약 요소 및 구조를 차용합니다. 숙련된 Solidity/Vyper 개발자는 며칠 만에 이를 선택할 수 있습니다.

Zinc는 Solidity와 구조적으로 동일하기 때문에 기존 Solidity 코드를 Zinc로 쉽게 변환할 수 있습니다. 주요 과제는 Zinc가 아직 완전히 Turing 완료되지 않았다는 것입니다. 이는 재귀 및 무한 루프가 금지됨을 의미합니다(제한된 루프는 허용됨).

두 번째로 인기 있는 ETH 스마트 계약 언어인 Vyper도 튜링 완전하지 않습니다. 따라서 오늘날 모든 Vyper 프로그램을 아연으로 동형 변환할 수 있습니다. 이것이 바로 Curve on zkSync가 작동하는 방식입니다. Matter Labs는 Curve 팀이 기존 Curve 계약을 Zinc 버전으로 재작성하는 데 도움을 주었습니다. 한 줄씩 원본 소스와 거의 동일합니다.

또한 더 좋은 소식이 있습니다. Matter Labs는 가까운 시일 내에 Zinc Turing을 완성하기 위해 노력하고 있습니다. 그때까지 우리는 기존 Solidity 코드를 이식할 수 있도록 팀을 지원하고 싶습니다. [16]에 문의하십시오.

mdnice 편집기

zkSync L2 네트워크의 모든 계약은 이더리움 메인넷에서와 정확히 같은 방식으로 서로를 원자적으로 호출할 수 있습니다.

mdnice 편집기

사용자 키를 관리하는 방법은 무엇입니까?

Gitcoin 후원 라운드 7[17]에서 zkSync는 Gitcoin 웹사이트를 신뢰해야 하는 체크아웃 프로세스에 직접 통합되었습니다. 이 데모에서 zkSync 개인 키는 결코 connect.zksync.dev[18]의 범위를 벗어나지 않습니다. 이러한 유형의 통합은 Google/Apple/Facebook 로그인에 널리 사용되는 Web2 세계의 싱글 사인온 인증 체계와 유사합니다. 이는 이제 zkSync를 모든 이더리움 지갑 및 완전히 신뢰할 수 없는 여러 dapp과 함께 사용할 수 있음을 효과적으로 의미합니다.

동시에 우리는 다른 팀과 협력하여 공통 이더리움 L2 서명 표준을 개발하고 있으며, 이는 L2 계약에 대한 사용자 경험을 더욱 즐겁게 만들어 줄 것입니다.