Thơi gian đọc: 9 phút
Polygon duy trì ngôi vương của mình bằng cách đưa vào ZKrollup.
Sự cố với Ethereum Mainnet
Ethereum là xương sống của hệ sinh thái web3. Nó tiếp tục gây ngạc nhiên cho những bộ óc lỗi lạc nhất trên thế giới với tiềm năng mà nó mang lại. Tiềm năng của các ứng dụng đa dạng sẽ khiến ngay cả Einstein cũng phải vò đầu bứt tai trong giây lát.
Nhưng vâng, nó không phải là một câu chuyện cổ tích. Mỗi điều tuyệt vời có một giới hạn hoặc hạn chế. Hạn chế liên tục mà Ethereum đang phải đối mặt là “Phí gas”, hay nói cách khác là Khả năng mở rộng, Ethereum Classic có giới hạn thực hiện 15 giao dịch mỗi giây. Tuy nhiên, ETH 2.0 sẽ nhanh hơn thế này nhiều, nhưng chúng ta vẫn còn một chặng đường dài phía trước.
Các giải pháp đã thử
Sau nhiều năm nghiên cứu, các nghiên cứu kéo dài và sự cống hiến hết mình, cộng đồng web3 đã tìm ra một số giải pháp giúp mở rộng quy mô tốt hơn
- Chia tỷ lệ lớp 1: - Đây là phương pháp sử dụng mà chúng tôi cố gắng làm cho chuỗi khối tốt hơn bằng cách thực hiện một số thay đổi trong kiến trúc. Ví dụ: ETH 2.0 là giải pháp mở rộng Lớp 1 khi nó cố gắng thiết lập PoS cho PoW trong ETH Classic. Loại giải pháp này tốn kém và mất thời gian.
- Roll Ups:- Đây là giải pháp lớp 2, là ứng cử viên triển vọng nhất. Người dùng nhận được bảo mật được hỗ trợ bởi chuỗi khối Ethereum với thông lượng cao.
- Sidechains:- Đây là những tương thích với EVM và có thể mở rộng các ứng dụng có mục đích chung, nhưng chúng có nhược điểm. Vì Ethereum không hỗ trợ bảo mật nên Cộng đồng Web3 phải thường xuyên nhận thức được. Điều này xuất hiện dưới tỷ lệ lớp 2.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
đa giác của mất
Bắt đầu như một dự án mở rộng ethereum Polygon, trước đây gọi là Matic Network, nổi lên như một ngôi sao sáng trong không gian web3. Phải mất xu để xác nhận một giao dịch trên mạng đa giác, trong khi giao dịch tương tự sẽ mất đô la trên Ethereum Mainnet. Tất cả điều này đều có thể thực hiện được nhờ sidechain được xây dựng trên mạng chính Ethereum.
Sau đó, Matic Network đã khám phá thêm nhiều cách khác nhau để mở rộng quy mô chuỗi khối Ethereum và được đổi tên thành “Đa giác” để cung cấp các giải pháp khác nhau nhằm mở rộng quy mô chuỗi khối Ethereum tốt hơn.
Có một số dự án tại thời điểm viết blog này: -
- Đa giác PoS
- Polygon Supernet
- Đa giác Zero
- Đa giác Miden
- Đa giác zkEVM
Trong blog này, chúng ta sẽ khám phá bản phát hành mới của Polygon zkEVM, đây là một trong những dự án hấp dẫn để nhân rộng Ethereum.
Đa giác zkEVM
Polygon zkEVM là một sản phẩm theo đa giác để mở rộng quy mô Ethereum nhằm giảm phí gas và tăng thông lượng. “ZK” là viết tắt của “zero knowledge”, một loại Roll up. Trước khi tiếp tục, chúng ta cần hiểu về RollUp.
Roll-up là gì
Hãy tưởng tượng theo cách này, giả sử có một dịch vụ gửi thư từ thành phố A đến thành phố B, nhưng chỉ có 1 phương tiện, mỗi ngày chỉ có thể nhận 100 phong bì. Bạn thấy nó hạn chế và cố gắng tìm cách. Những gì bạn có thể làm là lấy 10 bức thư và viết tóm tắt của chúng trong một bức thư và cho vào phong bì để gửi. như vậy chúng ta có thể đăng 99 + (10) bức thư. Đây thực chất là những gì cuộn lên.
Đó là cách hoạt động cơ bản của roll-up trên mạng chính Ethereum. Chúng tôi lấy một đoạn giao dịch, thu thập chúng trong một “cuộn lên”, tóm tắt chúng và sau đó đẩy nó lên mạng chính. Điều này làm tăng thông lượng. Phí giao dịch được chia cho các bên khác nhau liên quan đến các giao dịch trong lô được cuộn lên. Bằng cách này, chúng tôi giảm phí gas ở một mức độ tốt.
Cơ chế cuộn lên
Mỗi lần triển khai triển khai một số hợp đồng thông minh trên Lớp 1, được liên kết với: -
- xử lý tiền gửi
- RÚT TIỀN
- xác minh bằng chứng
Điểm quan tâm chính ở đây là cơ chế xác minh. Làm cách nào để chúng tôi kiểm tra xem danh sách tổng hợp được gửi tới lớp 1 không phải là gian lận? Để kiểm tra điều này, chúng tôi có hai cơ chế xác thực: -
- kiến thức bằng không:- Cơ chế này sử dụng bằng chứng hợp lệ và được trao quyền bằng mật mã. Lô giao dịch được cuộn lên bao gồm một bằng chứng mã hóa được gọi là “zk-snark”, Bằng chứng được xác minh nhanh chóng bởi các hợp đồng thông minh Lớp 1 khi lô giao dịch được gửi và những giao dịch không hợp lệ sẽ bị từ chối.
- Lạc quan:- Cơ chế này hoạt động dựa trên bằng chứng gian lận. Điều này có nghĩa là chúng tôi phải chứng minh rằng lô được gửi tới lớp 1 không phải là gian lận. Có 2 bên tham gia, một bên gửi lô đến giao thức Lớp 1 nói rằng lô đó đúng và đặt cược một số tiền nếu có thể chứng minh là sai và bên kia cố gắng gửi bằng chứng gian lận nói rằng lô này là độc hại và với tuyên bố này đặt một số cổ phần. Nếu ai đó đưa ra bằng chứng gian lận, lô sẽ được kiểm tra trên giao thức Lớp 1 và bên bị chứng minh là sai sẽ bị phạt.
Kiến trúc của zkEVM của đa giác: -
Đến bây giờ, bạn phải hiểu rõ về cách thức hoạt động của roll-up, đặc biệt là zk-roll-up. Các thành phần chính chúng tôi tìm thấy trong zkEVM của đa giác là: -
- Hợp đồng đồng thuận (PolygonZkEVM.sol)
- zkNode
- zkProver
Hợp đồng đồng thuận
Hợp đồng này được triển khai trên L1 và đóng một vai trò quan trọng bằng cách sử dụng bằng chứng hợp lệ để đảm bảo tính mạnh mẽ của quá trình chuyển đổi trạng thái. Để làm điều này, nó có các quy tắc được xác định trước được tuân theo để cho phép chuyển đổi trạng thái.
Để xác minh việc hoàn tất thành công quá trình chuyển đổi trạng thái, hợp đồng này sử dụng các mạch zk-SNARK. Hệ thống này dựa trên hai quy trình, các giao dịch được xử lý theo lô và xác thực giao dịch, như đã giải thích trước đây.
Để thực hiện phân nhóm giao dịch và xác thực giao dịch, zkEVM sử dụng hai bên tham gia: -
- Sequencer:- đề xuất các đợt giao dịch cho mạng.
- Bộ tổng hợp:- Kiểm tra tính hợp lệ của lô giao dịch và cung cấp bằng chứng hợp lệ.
Thông tin thêm về Trình sắp xếp và trình tổng hợp sau, trước tiên, hãy tập trung vào hợp đồng này. Hợp đồng thực hiện hai cuộc gọi-
- để nhận các lô từ Sequencer
- gửi đến Người tổng hợp yêu cầu xác thực các lô
Toàn bộ quá trình này có thể được tóm tắt trong sơ đồ sau (Ở đây, PoE là Hợp đồng đồng thuận của chúng tôi): -
zkNode
Chúng tôi đã được giới thiệu về Sequencer và Aggregator trong Hợp đồng đồng thuận, hai phần này là những phần quan trọng của kiến trúc zkEVM và zkNode là phần mềm trao quyền cho chúng. zkNode là ứng dụng khách cần thiết để thực hiện đồng bộ hóa và quản lý Trình sắp xếp và Trình tổng hợp. Vì vậy, phần mềm zkNode hỗ trợ 4 khía cạnh: -
- Trình sắp xếp thứ tự:- Trình sắp xếp thứ tự là người nhận các giao dịch L2 từ người dùng và xử lý trước chúng thành lô L2 mới, lô này sau đó được đề xuất cho Hợp đồng đồng thuận. Trình sắp xếp thứ tự nhận được phí do người dùng gửi cho các giao dịch của họ trên L2. Để xuất bản đợt này lên L1, Trình sắp xếp theo trình tự phải trả phí L1 và cũng phải trả một số mã thông báo MATIC, hoạt động như một động lực để Người tổng hợp xác thực đợt này. Vì vậy, trình sắp xếp thứ tự có lãi nếu: - phí txn (do người dùng trong L2 nhận cho giao dịch của họ) > lệnh gọi L1 (phí gas để xuất bản trên L1) + phí MATIC (để khuyến khích Bộ tổng hợp xác thực)
- Bộ tổng hợp: - Bộ tổng hợp rất quan trọng để xác minh tính toàn vẹn của lô. Bộ tổng hợp nhận tất cả thông tin giao dịch và sau đó gửi nó đến “zkProver” (sẽ nói thêm về thông tin này sau), từ đó cung cấp “zk-Proof” là kết quả của các phép tính đa thức phức tạp. “Zk-Proof” sau đó được gửi đến Hợp đồng thông minh để xác minh rằng bằng chứng là chính xác. Lô này sau đó được đánh dấu chính xác và sẵn sàng để được thêm vào. Bộ tổng hợp có lãi nếu: - Phí MATIC (theo Sequencer) > Cuộc gọi L1 (phí gas) + Chi phí máy chủ (để xây dựng bằng chứng)
- Bộ đồng bộ hóa: - Khía cạnh chính của bộ đồng bộ hóa là đọc các sự kiện từ chuỗi khối Ethereum và bao gồm các lô mới để giữ cho trạng thái được đồng bộ hóa. Thông tin từ những sự kiện này được lưu trữ trong cơ sở dữ liệu. Trình đồng bộ hóa lấy dữ liệu từ Hợp đồng thông minh. Tất cả dữ liệu này sau đó được cung cấp cho bên thứ ba thông qua dịch vụ JSON-RPC.
- RPC: - JSON-RPC là một giao diện quan trọng tương thích với Ethereum. Khi chúng ta cần một ứng dụng phần mềm để kết nối với chuỗi khối Ethereum, nó sẽ kết nối với một nút Ethereum. Đó là cách RPC xuất hiện trong bức tranh. Nó cho phép zkEVM tích hợp Metamask và Etherscan và tương tác với các giao dịch Pool và State.
zkProver
Phần này của kiến trúc zkEVM là phần phức tạp và định hướng công nghệ nhất. Bạn sẽ ngạc nhiên khi biết rằng để thực hiện điều này. Các nhà phát triển đã phải phát triển hai ngôn ngữ lập trình mới để thực hiện các yếu tố cần thiết: -
- Zero — Tập hợp tri thức:- Nói một cách đơn giản, ngôn ngữ này ánh xạ các hướng dẫn từ Máy trạng thái chính của zkProver sang Máy trạng thái khác. Để tìm hiểu thêm về ngôn ngữ này, hãy kiểm tra điều này.
- Ngôn ngữ nhận dạng đa thức (PIL): - Đã có rất nhiều nghiên cứu để giải quyết Bộ ba bất khả thi của chuỗi khối về quyền riêng tư, bảo mật và khả năng mở rộng. Cho đến ngày nay đã có một số nỗ lực và lý thuyết khác nhau, nhưng lý thuyết được chấp nhận nhiều nhất cho đến nay là “Chương trình cam kết đa thức”. Do đó, chỉ thuận tiện khi thực hiện các phép tính bằng ngôn ngữ đa thức. Do đó, mã PIL tạo thành cơ sở mã xác minh của zkProver. Để biết thêm về nó, hãy làm theo tại đây.
zkProver được hỗ trợ bởi nhiều năm nghiên cứu ở các bộ phận khác nhau khiến cho sự phức tạp của nó trở nên hợp lý. Về cơ bản có một số thành phần chính của zkProver: -
- Người thực thi:- Phần này liên quan đến việc thực thi zkEVM từ Máy trạng thái chính. Đây là nơi Mã byte EVM được giải thích bằng cách sử dụng “Ngôn ngữ hợp ngữ không kiến thức” (zkASM) mới đã thảo luận trước đó. Trong phần này, chúng ta giải quyết việc thiết lập các ràng buộc đa thức mà mọi lô giao dịch hợp lệ phải thực hiện và cung cấp đầu vào chẳng hạn như giao dịch, Trạng thái cũ/mới, ID chuỗi, v.v. Đây là PIL (Ngôn ngữ nhận dạng đa thức) để mã hóa ràng buộc đa thức. Đầu ra của Bước này là “Đa thức cam kết”, là kết quả của việc thực hiện tất cả các hướng dẫn trên phần cứng PIL.
- Thành phần đệ quy Stark:- Bước này liên quan đến sự tương tác của ba đầu vào chính Đa thức cam kết, Đa thức không đổi và Danh sách hướng dẫn. Ba yếu tố đầu vào này kết hợp để tạo ra bằng chứng zk-STARK. Một số bằng chứng zk-STARK này được đối chiếu trong các gói một số bằng chứng zk-STARK và tạo ra bằng chứng zk-STARK cho mỗi gói. Sau đó, những bằng chứng đó được đặt trong một gói và đối chiếu để tạo thành một bằng chứng zk-STARK duy nhất. Đây là cách hàng trăm bằng chứng zk-STARK được trình bày và chứng minh chỉ với một bằng chứng zk-STARK.
- Thư viện CIRCOM:- Bước này liên quan đến sự tương tác với dữ liệu của Người xác minh và bằng chứng zk-STARK duy nhất được tạo thông qua Thành phần đệ quy Stark để tạo ra một “nhân chứng”, bước này là cần thiết cho bước tiếp theo để chuyển đổi bằng chứng zk-STARK thành zk- bằng chứng SNARK.
- Rapid Snark:- Đây là thành phần cuối cùng của zkProver. Đây là giai đoạn mà đầu ra của “nhân chứng” của Thư viện CIRCOM được cung cấp cùng với dữ liệu của trình xác minh STARK để tạo bằng chứng zk-SNARK.
Bằng chứng zk-STARK được sử dụng vì tốc độ của chúng, nhưng chúng lớn hơn nhiều so với bằng chứng zk-SNARK. Vì lý do đó, zkProver sử dụng zk-SNARK được tạo ở bước cuối cùng bằng cách sử dụng dữ liệu từ các bằng chứng zk-STARK. Sự tương tác của bốn thành phần này có thể được xem là: -
Nhìn vào khía cạnh bảo mật
Về mặt bảo mật, dự án zkEVM đang ở giai đoạn trung cổ và nhóm đa giác đã liên tục tham gia vào các cuộc kiểm toán nội bộ và bên ngoài. Thông tin về kết quả kiểm toán nội bộ hầu hết được phân loại, nhưng Polygon đã nhận được sự trợ giúp từ hai kiểm toán viên bên ngoài (Hexens và Spearbit). Trưng bày cần được kiểm toán hợp đồng thông minh thậm chí bởi những người khổng lồ lớn. Đúng là “Hay đến bất ngờ”. Thật vậy, bạn không bao giờ có thể chắc chắn và an toàn như vậy. Hầu hết những gã khổng lồ trong hệ sinh thái web3 đều hiểu điều này và đang nỗ lực hết mình để bảo vệ bản thân.
Hơn bao giờ hết, chúng ta cần bảo mật web3. Ở giai đoạn này, việc đánh giá mã chuyên nghiệp của các hợp đồng thông minh là rất quan trọng, giúp các nhà phát triển tiết kiệm vô số giờ làm việc. Đảm bảo Hợp đồng của bạn được an toàn là điều quan trọng hơn bao giờ hết. Chúng ta cùng nhau có thể làm cho Web3 trở thành một không gian an toàn hơn. đến thăm QuillAudit để khám phá các dịch vụ và giải pháp khác nhau.
11 Lượt xem
- Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
- Platoblockchain. Web3 Metaverse Intelligence. Khuếch đại kiến thức. Truy cập Tại đây.
- nguồn: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Giới thiệu
- về nó
- thêm
- Bộ tổng hợp
- Bộ tổng hợp
- Tất cả
- trong số
- và
- Các Ứng Dụng
- các ứng dụng
- kiến trúc
- khía cạnh
- các khía cạnh
- hợp ngữ
- liên kết
- Nỗ lực
- kiểm toán viên
- kiểm toán
- trở lại
- Xương sống
- được hậu thuẫn
- cơ sở
- bởi vì
- trước
- được
- Hơn
- lớn
- Trộn
- blockchain
- Blog
- rực rỡ
- Đưa
- xây dựng
- xây dựng
- Bó lại
- tính toán
- cuộc gọi
- mang
- chuỗi
- ID chuỗi
- Những thay đổi
- kiểm tra
- City
- xin
- cổ điển
- phân loại
- khách hàng
- mã
- Đánh giá mã
- thu thập
- Đến
- cam kết
- cam kết
- cộng đồng
- tương thích
- hoàn thành
- phức tạp
- phức tạp
- thành phần
- các thành phần
- tính toán
- Liên quan
- Xác nhận
- Kết nối
- connect
- Sự đồng thuận
- không thay đổi
- liên tục
- khó khăn
- liên tiếp
- liên tục
- hợp đồng
- hợp đồng
- Tiện lợi
- chuyển đổi
- tạo
- tạo ra
- Vương miện
- quan trọng
- mật mã
- mật mã
- dữ liệu
- Cơ sở dữ liệu
- Ngày
- ngày
- nhiều
- Ưu đãi
- sự cống hiến
- phòng ban
- triển khai
- triển khai
- phát triển
- phát triển
- khác nhau
- thảo luận
- đa dạng
- Chia
- làm
- đô la
- nhược điểm
- mỗi
- hệ sinh thái
- các yếu tố
- xuất hiện
- sử dụng
- trao quyền
- trao quyền
- cho phép
- đảm bảo
- chủ yếu
- thành lập
- vv
- ETH
- không khí 2.0
- eth cổ điển
- ethereum
- Chuỗi khối Ethereum
- Ethereum cổ điển
- MẠNG CHÍNH ETHEREUM
- tỉ lệ ethereum
- eterscan
- Ngay cả
- sự kiện
- BAO GIỜ
- Mỗi
- EVM
- ví dụ
- thực hiện
- đắt tiền
- Giải thích
- giải thích
- khám phá
- Khám phá
- ngoài
- tạo điều kiện
- phải đối mặt với
- nhanh hơn
- Fed
- chi phí
- Lệ Phí
- vài
- cuối cùng
- Tìm kiếm
- Tên
- Tập trung
- theo
- sau
- tiếp theo
- hình thức
- trước kia
- Forward
- gian lận
- bằng chứng gian lận
- lừa đảo
- từ
- GAS
- phí xăng
- mục đích chung
- tạo ra
- được
- nhận được
- Go
- tốt
- Cứng
- phần cứng
- cái đầu
- giúp đỡ
- tại đây
- hình lục giác
- Cao
- NÓNG BỨC
- GIỜ LÀM VIỆC
- Độ đáng tin của
- Tuy nhiên
- HTTPS
- Hàng trăm
- ID
- Bản sắc
- thực hiện
- in
- Mặt khác
- Khuyến khích
- bao gồm
- bao gồm
- Tăng lên
- Tăng
- vô cùng
- thông tin
- đầu vào
- hướng dẫn
- tích hợp
- tính toàn vẹn
- tương tác
- tương tác
- Giao thức
- nội bộ
- giới thiệu
- tham gia
- IT
- Giữ
- Biết
- kiến thức
- nổi tiếng
- L1
- l2
- Ngôn ngữ
- Ngôn ngữ
- lớn hơn
- Họ
- lớp
- lớp 1
- Lớp 2
- mở rộng lớp 2
- LEARN
- bức thư
- Thư viện
- LIMIT
- giới hạn
- Danh sách
- dài
- Rất nhiều
- máy
- Máy móc
- Chủ yếu
- mạng chính
- duy trì
- chính
- làm cho
- LÀM CHO
- Làm
- quản lý
- nhiều
- Maps
- đánh dấu
- matic
- Mạng Matic
- có nghĩa
- cơ chế
- thời trung cổ
- MetaMask
- Phương pháp luận
- tâm trí
- thời điểm
- tiền
- chi tiết
- hầu hết
- di chuyển
- cần thiết
- Cần
- mạng
- Mới
- tiếp theo
- nút
- ONE
- Nền tảng khác
- một phần
- tham gia
- riêng
- các bên tham gia
- các bộ phận
- bên
- Trả
- Thực hiện
- biểu diễn
- giai đoạn
- hình ảnh
- plato
- Thông tin dữ liệu Plato
- PlatoDữ liệu
- Điểm
- Polygon
- Mạng đa giác
- Polygon của
- hồ bơi
- PoS
- có thể
- Bài đăng
- tiềm năng
- PoW
- trước đây
- riêng tư
- quá trình
- Quy trình
- sản xuất
- Sản phẩm
- chuyên nghiệp
- lợi nhuận
- Lập trình
- ngôn ngữ lập trình
- dự án
- dự án
- hứa hẹn
- bằng chứng
- bằng chứng
- đề xuất
- đề xuất
- giao thức
- Chứng minh
- chứng minh
- cho
- cung cấp
- xuất bản
- Đẩy
- Đẩy
- đặt
- Puts
- Mau
- quillhash
- tăng giá
- Đọc
- sẵn sàng
- lý do
- nhận
- nhận
- nhận
- giảm
- phát hành
- đại diện
- cần phải
- nghiên cứu
- sự hạn chế
- kết quả
- Kết quả
- xem xét
- sự mạnh mẽ
- Vai trò
- Lăn
- cuộn lại
- cuộn lên
- Cán
- Rollup
- quy tắc
- an toàn hơn
- tương tự
- tiết kiệm
- khả năng mở rộng
- Quy mô
- mở rộng quy mô
- Giải pháp chia tỷ lệ
- Thứ hai
- an toàn
- an ninh
- dịch vụ
- DỊCH VỤ
- định
- một số
- giới th
- sidechain
- Đơn giản
- duy nhất
- thông minh
- hợp đồng thông minh
- Hợp đồng thông minh
- cáu kỉnh
- So
- Phần mềm
- SOL
- giải pháp
- Giải pháp
- động SOLVE
- một số
- Một người nào đó
- Không gian
- tốc độ
- Traineeship
- cổ phần
- đứng
- Ngôi sao
- ngay đơ
- Tiểu bang
- Bước
- Vẫn còn
- lưu trữ
- nghiên cứu
- trình
- trình
- thành công
- như vậy
- TÓM TẮT
- tổng kết
- bất ngờ
- đồng bộ hóa
- hệ thống
- Hãy
- mất
- dùng
- nhóm
- về
- Sản phẩm
- thông tin
- Nhà nước
- thế giới
- cung cấp their dịch
- tự
- điều
- Thứ ba
- các bên thứ ba
- số ba
- Thông qua
- thông lượng
- thời gian
- đến
- bây giờ
- bên nhau
- Tokens
- hàng đầu
- giao dịch
- giao dịch
- Giao dịch
- quá trình chuyển đổi
- chuyển tiếp
- đúng
- XOAY
- Dưới
- hiểu
- sự hiểu biết
- UPS
- Người sử dụng
- Bằng cách sử dụng
- HIỆU LỰC
- xác nhận
- xe
- Xác minh
- xác minh
- xác minh
- quan trọng
- cách
- Web3
- Cộng đồng Web3
- Hệ sinh thái Web3
- Không gian web3
- Điều gì
- cái nào
- CHÚNG TÔI LÀ
- toàn bộ
- sẽ
- Công việc
- công trinh
- thế giới
- sẽ
- viết
- viết
- Sai
- năm
- Bạn
- trên màn hình
- zephyrnet
- zk-cuộn lên
- zkEVM