*Chuyên nghiệp tiêu đề gốc ‘How ZKP and ZK-Rollups help solve the scalability problem: a review of the zkSync blockchain’
Trong bài viết này, chúng tôi sẽ giải thích công nghệ chứng minh không thông tin là gì và nói về một blockchain phổ biến - zkSync: cách giao dịch hoạt động trong zkSync và các khác biệt chính so với Máy Ảo Ethereum (EVM). Chúng tôi cũng sẽ thảo luận về ưu điểm và nhược điểm của blockchain này, mà chúng tôi tin rằng có thể có một tương lai hứa hẹn.
ZkSync là một blockchain cấp hai (Layer 2 - L2) cho Ethereum, được thiết kế để giải quyết vấn đề phí cao và khả năng xử lý hạn chế (Giao dịch mỗi giây - TPS) trên mạng Ethereum. Nền tảng này sử dụng công nghệ ZK-Rollup, sử dụng Zero-Knowledge Proofs (ZKP) để gom nhóm nhiều giao dịch khỏi mạng chính (L1). Chỉ có bằng chứng mật mã của tính chính xác của các giao dịch và dữ liệu nén của chúng được gửi đến L1, cải thiện đáng kể hiệu suất và giảm chi phí.
Chuyên nghiệp bởi Matter Labs, zkSync được công bố là một sản phẩm hoàn toàn mã nguồn mở (100% mã nguồn mở), được quản lý bởi cộng đồng. TheoCryptorankDự án đã thu hút sự chú ý, huy động vốn lên đến 458 triệu đô la. Trong dài hạn, Matter Labs nhắm tới việc tạo ra một hệ sinh thái toàn diện. Hiện tại, có hai chuỗi khối hoạt động: zkSync Lite, xử lý thanh toán trong ETH và ERC20 tokens, và zkSync Era, hỗ trợ hợp đồng thông minh đầy đủ. Kế hoạch tương lai bao gồm việc ra mắt hệ thống hyperchain (L3), đảm bảo an ninh cao. Mục tiêu của Matter Labs là mở rộng công nghệ lên một cấp độ sẽ thu hút những người dùng blockchain tỷ lệ tiếp theo.
ZkSync đại diện cho một phương pháp mới trong việc giải quyết vấn đề về khả năng mở rộng được biết đến như là blockchain trilemmaDự án này, giống như các giải pháp Layer 2 (L2) khác, đang tìm kiếm sự cân bằng giữa bảo mật, khả năng mở rộng và phi tập trung trong các mạng blockchain.
Ethereum tập trung vào bảo mật và phi tập trung, nhấn mạnh vị thế của mình là một giao thức ngang hàng với các nút phân phối trên toàn thế giới. Để biết thông tin mới nhất về phân phối nút, vui lòng tham khảo NodeWatch.
Để duy trì sự phi tập trung trong mạng, mỗi nút phải xác minh tất cả các giao dịch. Điều này làm chậm mạng một cách tự nhiên. Hơn nữa, dưới tải mạng cao, giao dịch có thể trở nên khá đắt đỏ và yêu cầu thời gian đáng kể để xử lý.
Nhiệm vụ chính để tăng TPS của mạng Ethereum mà không tăng tải cho các nút là việc giới thiệu Shardingkết hợp với việc chuyển đổi sang sự đồng thuận PoS (Proof of Stake). Điều này liên quan đến việc chia các thẩm định viên thành các nhóm con để xử lý các phân đoạn riêng biệt của mạng, từ đó giảm tổng tải và tăng khả năng xử lý. Tuy nhiên, cộng đồng đã tập trung vào các giải pháp Layer 2, xem xét sự phát triển nhanh chóng của chúng.
Ngoài ý tưởng triển khai Sharding trong Ethereum, đã xuất hiện các giải pháp về tính mở rộng khả năng mở rộng khác, như:
Cũng như các công nghệ dựa trên chứng minh không dùng tri thức (ZKP), bao gồm:
Thông tin chi tiết hơn có thể được tìm thấy ở đây.
Mặc dù Sharding vẫn đang trong quá trình phát triển, việc phân rã Dencun dự kiến sẽ diễn ra vào đầu năm 2024, sẽ triển khaiChuyên nghiệp-DankshardingBước trung gian này nhằm mục đích cải thiện các giải pháp Layer 2, làm cho việc lưu trữ dữ liệu trên L1 trở nên tiết kiệm hơn. Do đó, Proto-Danksharding hứa hẹn giảm chi phí giao dịch trên L2, như một bước tiến đến một giải pháp Sharding hoàn chỉnh.
Từ cái nhìn đầu tiên, các chuỗi khối L2 có vẻ tương tự, vì nhiệm vụ chính của họ là tăng số lượng giao dịch bên ngoài L1 trong khi ủy quyền vai trò bảo đảm an ninh cho L1. Các nhà phát triển của các chuỗi khối như vậy thường tuyên bố rằng các giải pháp của họ là nhanh nhất, đáng tin cậy nhất và đơn giản nhất. Trong thực tế, mỗi phương pháp mở rộng đều có những sắc thái riêng, và sự thỏa hiệp không thể tránh khỏi về tốc độ giao dịch, mức độ bảo mật hoặc mức độ phân quyền. Các giải pháp hoàn toàn tập trung cũng phổ biến. Tất cả những khía cạnh này đưa chúng ta trở lại với các vấn đề cơ bản của bài toán ba khía cạnh của chuỗi khối.
Trong bài viết này, các tiêu chí chính để đánh giá các giao thức được sử dụng trong các giải pháp Layer-2 được đề xuất. Chúng bao gồm:
Quan trọng! Bài viết được viết bởi Matter Labs và, theo ý kiến của tôi, một số điều được "kéo dài" để ủng hộ zkRollup (vì có một mâu thuẫn rõ ràng về lợi ích), nhưng điều đó không quan trọng lắm, điều chính là nhìn thấy sự khác biệt tồn tại giữa các giao thức Layer-2.
Dưới đây tôi sẽ cung cấp một bảng, và ở đây tôi sẽ mô tả ngắn gọn nội dung của nó.
Với hiệu suất, nó rất rõ ràng. TPS (Giao dịch mỗi giây) cho biết năng suất của mạng, và trong ngữ cảnh của việc mở rộng, đó là tham số quan trọng nhất.
Khía cạnh kinh tế:
Dưới đây là bảng so sánh các giải pháp chính dựa trên ZKP:
Để hiểu rõ hơn về Zero-Knowledge Proofs (ZKP), tôi khuyên bạn nên tham khảo bài viết nàytrong chúng tôiblockchain-wiki, tạo ra bởi các nhà phát triển dành cho các nhà phát triển với tình yêu với bằng chứng và sự đào sâu vào chi tiết.
Hoạt động của ZK-Rollups có thể được biểu diễn ở mức độ cao như sau:
Trong bối cảnh kiến trúc của zkSync, quá trình trông như thế này:
Các nhà xác minh trong ZK-Rollups đóng vai trò quan trọng, đóng gói giao dịch vào các khối và tạo ra bằng chứng Zero-Knowledge cho chúng. Một đặc điểm của hệ thống là những nhà xác minh không thể vật lý đánh cắp tiền. Thiệt hại tiềm năng quan trọng nhất mà họ có thể gây ra là tạm thời ngừng mạng.
Lưu ý: Trong Kỷ nguyên zkSync, vai trò của người xác minh được thực hiện bởi các nhà điều hành.
Các nhà phát triển của zkSync nhấn mạnh các cam kết sau của kiến trúc của họ:
Các giao dịch trong Thời đại zkSync trải qua một số trạng thái chính, khác biệt so với các xác nhận Rollup thông thường trong L1:
Ngoài số khối, các giao dịch trong zkSync cũng hiển thị số gói. Ban đầu, các tham số như block.number, block.timestamp và blockhash được lấy từ L1. Tuy nhiên, sau đó,một cập nhật, các giá trị này hiện sẽ được lấy từ L2. Mặc dù vậy, các nhà phát triển dự định cung cấp các phương pháp để truy cập dữ liệu từ L1.
Tính tương thích của các giải pháp L2 dựa trên ZKP với Ethereum là một nhiệm vụ phức tạp. Điều này bởi vì Ethereum ban đầu không được thiết kế cho sự tương tác tối ưu với ZKP. Do đó, khi phát triển các hệ thống như vậy, phải tìm ra sự thoả hiệp giữa hiệu suất và tiềm năng mở rộng một mặt, và tính tương thích với Ethereum và EVM mặt khác. Bài viết của Vitalik Buterin "Các loại ZK-EVM khác nhau"thảo luận chi tiết về những khía cạnh này và nêu bật các mức độ tương thích khác nhau.
zkSync đã chọn một trong những con đường khó khăn nhất, mục tiêu là hiệu suất cao nhưng có hạn chế về tính tương thích với cả Ethereum và EVM. Để có bytecode tương thích với zkEVM, LLVMDự án được sử dụng với một bộ biên dịch và trình tối ưu hóa độc quyền. Trong trường hợp của Solidity và Yul, sau trình biên dịch tiêu chuẩn solc, mã nguồn trải qua một số giai đoạn khác trước khi trở thành bytecode zkEVM. Sơ đồ dưới đây minh họa tất cả các giai đoạn của quá trình này (được mô tả chi tiết hơn ở đây):
Quan trọng! Các tối ưu hóa trong zksolc được hỗ trợ.
Bytecode được biên soạn đặc biệt cho EVM không tương thích với zkEVM. Điều này có nghĩa là địa chỉ của các hợp đồng thông minh giống nhau trên Ethereum và zkSync sẽ khác nhau. Tuy nhiên, các nhà phát triển đang dự định giải quyết vấn đề này trong tương lai.
Một trong những ưu điểm đáng kể của phương pháp này là độc lập với các ngôn ngữ lập trình cụ thể. Trong tương lai, những nhà phát triển zkSync hứa hẹn sẽ thêm hỗ trợ cho các ngôn ngữ như Rust và C++. Quan trọng là sự trễ trong việc cập nhật và tích hợp các đổi mới giữa các trình biên dịch cấp cao (ví dụ, solc) và các trình biên dịch nền tảng (ví dụ, zksolc) là tối thiểu. Ban đầu, đã có ý tưởng tạo ra ngôn ngữ lập trình riêng, Zinc, nhưng hiện tại, nhóm đang tập trung vào việc hỗ trợ thêm các ngôn ngữ lập trình phổ biến hơn.
Vấn đề về sự tương thích của các trình biên dịch zk với các công cụ phát triển và gỡ lỗi hiện có cho hợp đồng thông minh Solidity và Vyper là đáng kể. Các nền tảng phát triển hiện tại như Remix, Hardhat và Foundry không hỗ trợ zk compiler mặc định, gây khó khăn trong việc làm việc với chúng. Tuy nhiên, giải phápđang được phát triển để hứa hẹn giúp quá trình di cư của các dự án và thích ứng với công nghệ mới trở nên dễ dàng hơn.
Bài viết của Vitalik Buterin nhấn mạnh rằng Ethereum có thể sẽ cố gắng cải thiện tính tương thích với ZKP ở cấp độ giao thức theo thời gian. Tương tự, các giải pháp L2 với ZKP sẽ điều chỉnh để cải thiện tính tương thích với Ethereum. Kết quả, trong tương lai, sự khác biệt giữa các hệ thống này có thể trở nên gần như không thể phát hiện, đảm bảo tích hợp và chuyển đổi mượt mà hơn cho các nhà phát triển.
Quan trọng! Giao thức đang được phát triển mạnh mẽ; luôn tham khảo phiên bản mới nhất của tài liệu!
zkEVM khác biệt so với EVM và mặc dù nhà phát triển đã cố gắng 'giấu' những khác biệt này 'dưới nắp' nhưng vẫn có những tính năng quan trọng cần xem xét khi viết hợp đồng thông minh:
Để hiểu sâu về cách làm việc với zkEVM, nên nghiên cứu tài liệu, bao gồm phần “Bảo mật và các phương pháp tốt nhất”.
Tính chuyên nghiệp trong zkSync mang lại nhiều lợi ích then chốt hơnERC-4337:
Cơ sở hạ tầng của zkSync Era đang nhanh chóng tăng tốc và hiện đã bao gồm hàng chục giao thức: Cầu nối, DeFi, giao thức cơ sở hạ tầng, và nhiều hơn nữa. (Danh sách hiện tại có thể xem ở đây).
Một lợi ích khác là khả năng tương thích với ví Ethereum, như MetaMask hoặc TrustWallet.
Giao thức zkSync bắt đầu phát triển với việc ra mắt zkSync Lite, chỉ nhằm vào việc chuyển đổi ether và token ERC-20, mà không có khả năng triển khai các giao thức đầy đủ. Giai đoạn này là một bước quan trọng trong quá trình phát triển nhưng chỉ đi trước sự đến của zkSync Era - một giải pháp L2 đầy đủ cho Ethereum, lý thuyết có thể được điều chỉnh cho các blockchain L1 khác. Tuy nhiên, tham vọng của zkSync không dừng lại ở đó, vì kế hoạch phát triển bao gồm việc ra mắt những hyperchain được gọi là.
Hyperchains, hoặc "tăng tỷ lệ fraktal," bao gồm các mạng ZKP, mỗi mạng hình thành các khối và chứng minh riêng. Những chứng minh này sau đó được thu thập lại và đăng trên mạng L1 chính. Mỗi trong những mạng này là một bản sao hoàn chỉnh của toàn bộ hệ thống và có thể được coi là "fractal" của nó.
Điểm độc đáo của siêu chuỗi là chúng có thể được tạo và triển khai một cách độc lập. Để duy trì tính nhất quán và tương thích, mỗi siêu chuỗi phải sử dụng một động cơ zkEVM chung, là một phần của ngăn xếp ZK (với zkSync Era hoạt động như siêu chuỗi đầu tiên). Điều này cho phép siêu chuỗi thừa hưởng tính bảo mật từ L1, đảm bảo tính đáng tin cậy của chúng và loại bỏ nhu cầu về các biện pháp độ tin cậy và bảo mật bổ sung.
Hyperchains đại diện cho một phương pháp đổi mới để mở rộng mạng lưới blockchain, giảm tải trên mạng chính và tăng tốc độ xử lý giao dịch. Các khía cạnh quan trọng của phương pháp này bao gồm:
Thêm về tất cả điều này có thể được tìm thấy ở đây.
Giao thức zkSync trông rất hứa hẹn và có tiềm năng lớn, mặc dù hiện tại, việc triển khai trên blockchain này vẫn liên quan đến một số rủi ro cần được xem xét. Phát triển cho zkSync hiện đang khó hơn so với các blockchain tương thích nhiều hơn với EVM và ngăn xếp phát triển EVM. Tuy nhiên, có lẽ trong tương lai, sự khác biệt này sẽ trở nên không đáng kể hoặc hoàn toàn biến mất.
*Chuyên nghiệp tiêu đề gốc ‘How ZKP and ZK-Rollups help solve the scalability problem: a review of the zkSync blockchain’
Trong bài viết này, chúng tôi sẽ giải thích công nghệ chứng minh không thông tin là gì và nói về một blockchain phổ biến - zkSync: cách giao dịch hoạt động trong zkSync và các khác biệt chính so với Máy Ảo Ethereum (EVM). Chúng tôi cũng sẽ thảo luận về ưu điểm và nhược điểm của blockchain này, mà chúng tôi tin rằng có thể có một tương lai hứa hẹn.
ZkSync là một blockchain cấp hai (Layer 2 - L2) cho Ethereum, được thiết kế để giải quyết vấn đề phí cao và khả năng xử lý hạn chế (Giao dịch mỗi giây - TPS) trên mạng Ethereum. Nền tảng này sử dụng công nghệ ZK-Rollup, sử dụng Zero-Knowledge Proofs (ZKP) để gom nhóm nhiều giao dịch khỏi mạng chính (L1). Chỉ có bằng chứng mật mã của tính chính xác của các giao dịch và dữ liệu nén của chúng được gửi đến L1, cải thiện đáng kể hiệu suất và giảm chi phí.
Chuyên nghiệp bởi Matter Labs, zkSync được công bố là một sản phẩm hoàn toàn mã nguồn mở (100% mã nguồn mở), được quản lý bởi cộng đồng. TheoCryptorankDự án đã thu hút sự chú ý, huy động vốn lên đến 458 triệu đô la. Trong dài hạn, Matter Labs nhắm tới việc tạo ra một hệ sinh thái toàn diện. Hiện tại, có hai chuỗi khối hoạt động: zkSync Lite, xử lý thanh toán trong ETH và ERC20 tokens, và zkSync Era, hỗ trợ hợp đồng thông minh đầy đủ. Kế hoạch tương lai bao gồm việc ra mắt hệ thống hyperchain (L3), đảm bảo an ninh cao. Mục tiêu của Matter Labs là mở rộng công nghệ lên một cấp độ sẽ thu hút những người dùng blockchain tỷ lệ tiếp theo.
ZkSync đại diện cho một phương pháp mới trong việc giải quyết vấn đề về khả năng mở rộng được biết đến như là blockchain trilemmaDự án này, giống như các giải pháp Layer 2 (L2) khác, đang tìm kiếm sự cân bằng giữa bảo mật, khả năng mở rộng và phi tập trung trong các mạng blockchain.
Ethereum tập trung vào bảo mật và phi tập trung, nhấn mạnh vị thế của mình là một giao thức ngang hàng với các nút phân phối trên toàn thế giới. Để biết thông tin mới nhất về phân phối nút, vui lòng tham khảo NodeWatch.
Để duy trì sự phi tập trung trong mạng, mỗi nút phải xác minh tất cả các giao dịch. Điều này làm chậm mạng một cách tự nhiên. Hơn nữa, dưới tải mạng cao, giao dịch có thể trở nên khá đắt đỏ và yêu cầu thời gian đáng kể để xử lý.
Nhiệm vụ chính để tăng TPS của mạng Ethereum mà không tăng tải cho các nút là việc giới thiệu Shardingkết hợp với việc chuyển đổi sang sự đồng thuận PoS (Proof of Stake). Điều này liên quan đến việc chia các thẩm định viên thành các nhóm con để xử lý các phân đoạn riêng biệt của mạng, từ đó giảm tổng tải và tăng khả năng xử lý. Tuy nhiên, cộng đồng đã tập trung vào các giải pháp Layer 2, xem xét sự phát triển nhanh chóng của chúng.
Ngoài ý tưởng triển khai Sharding trong Ethereum, đã xuất hiện các giải pháp về tính mở rộng khả năng mở rộng khác, như:
Cũng như các công nghệ dựa trên chứng minh không dùng tri thức (ZKP), bao gồm:
Thông tin chi tiết hơn có thể được tìm thấy ở đây.
Mặc dù Sharding vẫn đang trong quá trình phát triển, việc phân rã Dencun dự kiến sẽ diễn ra vào đầu năm 2024, sẽ triển khaiChuyên nghiệp-DankshardingBước trung gian này nhằm mục đích cải thiện các giải pháp Layer 2, làm cho việc lưu trữ dữ liệu trên L1 trở nên tiết kiệm hơn. Do đó, Proto-Danksharding hứa hẹn giảm chi phí giao dịch trên L2, như một bước tiến đến một giải pháp Sharding hoàn chỉnh.
Từ cái nhìn đầu tiên, các chuỗi khối L2 có vẻ tương tự, vì nhiệm vụ chính của họ là tăng số lượng giao dịch bên ngoài L1 trong khi ủy quyền vai trò bảo đảm an ninh cho L1. Các nhà phát triển của các chuỗi khối như vậy thường tuyên bố rằng các giải pháp của họ là nhanh nhất, đáng tin cậy nhất và đơn giản nhất. Trong thực tế, mỗi phương pháp mở rộng đều có những sắc thái riêng, và sự thỏa hiệp không thể tránh khỏi về tốc độ giao dịch, mức độ bảo mật hoặc mức độ phân quyền. Các giải pháp hoàn toàn tập trung cũng phổ biến. Tất cả những khía cạnh này đưa chúng ta trở lại với các vấn đề cơ bản của bài toán ba khía cạnh của chuỗi khối.
Trong bài viết này, các tiêu chí chính để đánh giá các giao thức được sử dụng trong các giải pháp Layer-2 được đề xuất. Chúng bao gồm:
Quan trọng! Bài viết được viết bởi Matter Labs và, theo ý kiến của tôi, một số điều được "kéo dài" để ủng hộ zkRollup (vì có một mâu thuẫn rõ ràng về lợi ích), nhưng điều đó không quan trọng lắm, điều chính là nhìn thấy sự khác biệt tồn tại giữa các giao thức Layer-2.
Dưới đây tôi sẽ cung cấp một bảng, và ở đây tôi sẽ mô tả ngắn gọn nội dung của nó.
Với hiệu suất, nó rất rõ ràng. TPS (Giao dịch mỗi giây) cho biết năng suất của mạng, và trong ngữ cảnh của việc mở rộng, đó là tham số quan trọng nhất.
Khía cạnh kinh tế:
Dưới đây là bảng so sánh các giải pháp chính dựa trên ZKP:
Để hiểu rõ hơn về Zero-Knowledge Proofs (ZKP), tôi khuyên bạn nên tham khảo bài viết nàytrong chúng tôiblockchain-wiki, tạo ra bởi các nhà phát triển dành cho các nhà phát triển với tình yêu với bằng chứng và sự đào sâu vào chi tiết.
Hoạt động của ZK-Rollups có thể được biểu diễn ở mức độ cao như sau:
Trong bối cảnh kiến trúc của zkSync, quá trình trông như thế này:
Các nhà xác minh trong ZK-Rollups đóng vai trò quan trọng, đóng gói giao dịch vào các khối và tạo ra bằng chứng Zero-Knowledge cho chúng. Một đặc điểm của hệ thống là những nhà xác minh không thể vật lý đánh cắp tiền. Thiệt hại tiềm năng quan trọng nhất mà họ có thể gây ra là tạm thời ngừng mạng.
Lưu ý: Trong Kỷ nguyên zkSync, vai trò của người xác minh được thực hiện bởi các nhà điều hành.
Các nhà phát triển của zkSync nhấn mạnh các cam kết sau của kiến trúc của họ:
Các giao dịch trong Thời đại zkSync trải qua một số trạng thái chính, khác biệt so với các xác nhận Rollup thông thường trong L1:
Ngoài số khối, các giao dịch trong zkSync cũng hiển thị số gói. Ban đầu, các tham số như block.number, block.timestamp và blockhash được lấy từ L1. Tuy nhiên, sau đó,một cập nhật, các giá trị này hiện sẽ được lấy từ L2. Mặc dù vậy, các nhà phát triển dự định cung cấp các phương pháp để truy cập dữ liệu từ L1.
Tính tương thích của các giải pháp L2 dựa trên ZKP với Ethereum là một nhiệm vụ phức tạp. Điều này bởi vì Ethereum ban đầu không được thiết kế cho sự tương tác tối ưu với ZKP. Do đó, khi phát triển các hệ thống như vậy, phải tìm ra sự thoả hiệp giữa hiệu suất và tiềm năng mở rộng một mặt, và tính tương thích với Ethereum và EVM mặt khác. Bài viết của Vitalik Buterin "Các loại ZK-EVM khác nhau"thảo luận chi tiết về những khía cạnh này và nêu bật các mức độ tương thích khác nhau.
zkSync đã chọn một trong những con đường khó khăn nhất, mục tiêu là hiệu suất cao nhưng có hạn chế về tính tương thích với cả Ethereum và EVM. Để có bytecode tương thích với zkEVM, LLVMDự án được sử dụng với một bộ biên dịch và trình tối ưu hóa độc quyền. Trong trường hợp của Solidity và Yul, sau trình biên dịch tiêu chuẩn solc, mã nguồn trải qua một số giai đoạn khác trước khi trở thành bytecode zkEVM. Sơ đồ dưới đây minh họa tất cả các giai đoạn của quá trình này (được mô tả chi tiết hơn ở đây):
Quan trọng! Các tối ưu hóa trong zksolc được hỗ trợ.
Bytecode được biên soạn đặc biệt cho EVM không tương thích với zkEVM. Điều này có nghĩa là địa chỉ của các hợp đồng thông minh giống nhau trên Ethereum và zkSync sẽ khác nhau. Tuy nhiên, các nhà phát triển đang dự định giải quyết vấn đề này trong tương lai.
Một trong những ưu điểm đáng kể của phương pháp này là độc lập với các ngôn ngữ lập trình cụ thể. Trong tương lai, những nhà phát triển zkSync hứa hẹn sẽ thêm hỗ trợ cho các ngôn ngữ như Rust và C++. Quan trọng là sự trễ trong việc cập nhật và tích hợp các đổi mới giữa các trình biên dịch cấp cao (ví dụ, solc) và các trình biên dịch nền tảng (ví dụ, zksolc) là tối thiểu. Ban đầu, đã có ý tưởng tạo ra ngôn ngữ lập trình riêng, Zinc, nhưng hiện tại, nhóm đang tập trung vào việc hỗ trợ thêm các ngôn ngữ lập trình phổ biến hơn.
Vấn đề về sự tương thích của các trình biên dịch zk với các công cụ phát triển và gỡ lỗi hiện có cho hợp đồng thông minh Solidity và Vyper là đáng kể. Các nền tảng phát triển hiện tại như Remix, Hardhat và Foundry không hỗ trợ zk compiler mặc định, gây khó khăn trong việc làm việc với chúng. Tuy nhiên, giải phápđang được phát triển để hứa hẹn giúp quá trình di cư của các dự án và thích ứng với công nghệ mới trở nên dễ dàng hơn.
Bài viết của Vitalik Buterin nhấn mạnh rằng Ethereum có thể sẽ cố gắng cải thiện tính tương thích với ZKP ở cấp độ giao thức theo thời gian. Tương tự, các giải pháp L2 với ZKP sẽ điều chỉnh để cải thiện tính tương thích với Ethereum. Kết quả, trong tương lai, sự khác biệt giữa các hệ thống này có thể trở nên gần như không thể phát hiện, đảm bảo tích hợp và chuyển đổi mượt mà hơn cho các nhà phát triển.
Quan trọng! Giao thức đang được phát triển mạnh mẽ; luôn tham khảo phiên bản mới nhất của tài liệu!
zkEVM khác biệt so với EVM và mặc dù nhà phát triển đã cố gắng 'giấu' những khác biệt này 'dưới nắp' nhưng vẫn có những tính năng quan trọng cần xem xét khi viết hợp đồng thông minh:
Để hiểu sâu về cách làm việc với zkEVM, nên nghiên cứu tài liệu, bao gồm phần “Bảo mật và các phương pháp tốt nhất”.
Tính chuyên nghiệp trong zkSync mang lại nhiều lợi ích then chốt hơnERC-4337:
Cơ sở hạ tầng của zkSync Era đang nhanh chóng tăng tốc và hiện đã bao gồm hàng chục giao thức: Cầu nối, DeFi, giao thức cơ sở hạ tầng, và nhiều hơn nữa. (Danh sách hiện tại có thể xem ở đây).
Một lợi ích khác là khả năng tương thích với ví Ethereum, như MetaMask hoặc TrustWallet.
Giao thức zkSync bắt đầu phát triển với việc ra mắt zkSync Lite, chỉ nhằm vào việc chuyển đổi ether và token ERC-20, mà không có khả năng triển khai các giao thức đầy đủ. Giai đoạn này là một bước quan trọng trong quá trình phát triển nhưng chỉ đi trước sự đến của zkSync Era - một giải pháp L2 đầy đủ cho Ethereum, lý thuyết có thể được điều chỉnh cho các blockchain L1 khác. Tuy nhiên, tham vọng của zkSync không dừng lại ở đó, vì kế hoạch phát triển bao gồm việc ra mắt những hyperchain được gọi là.
Hyperchains, hoặc "tăng tỷ lệ fraktal," bao gồm các mạng ZKP, mỗi mạng hình thành các khối và chứng minh riêng. Những chứng minh này sau đó được thu thập lại và đăng trên mạng L1 chính. Mỗi trong những mạng này là một bản sao hoàn chỉnh của toàn bộ hệ thống và có thể được coi là "fractal" của nó.
Điểm độc đáo của siêu chuỗi là chúng có thể được tạo và triển khai một cách độc lập. Để duy trì tính nhất quán và tương thích, mỗi siêu chuỗi phải sử dụng một động cơ zkEVM chung, là một phần của ngăn xếp ZK (với zkSync Era hoạt động như siêu chuỗi đầu tiên). Điều này cho phép siêu chuỗi thừa hưởng tính bảo mật từ L1, đảm bảo tính đáng tin cậy của chúng và loại bỏ nhu cầu về các biện pháp độ tin cậy và bảo mật bổ sung.
Hyperchains đại diện cho một phương pháp đổi mới để mở rộng mạng lưới blockchain, giảm tải trên mạng chính và tăng tốc độ xử lý giao dịch. Các khía cạnh quan trọng của phương pháp này bao gồm:
Thêm về tất cả điều này có thể được tìm thấy ở đây.
Giao thức zkSync trông rất hứa hẹn và có tiềm năng lớn, mặc dù hiện tại, việc triển khai trên blockchain này vẫn liên quan đến một số rủi ro cần được xem xét. Phát triển cho zkSync hiện đang khó hơn so với các blockchain tương thích nhiều hơn với EVM và ngăn xếp phát triển EVM. Tuy nhiên, có lẽ trong tương lai, sự khác biệt này sẽ trở nên không đáng kể hoặc hoàn toàn biến mất.