Tác giả: Pedro, tác giả của Polygon DAO

Kết thúc: Hailsman, Chain Catcher

Trong một thời gian dài, tâm điểm của trận chiến Ethereum L2 đã bị ZK Rollup và Optimistic rollup chiếm giữ. Do khả năng tương thích với EVM của OP và công nghệ trưởng thành, nó dễ dàng được các nhà phát triển dự án chấp nhận hơn, do đó, OP hiện tại phổ biến và phổ biến hơn. Theo số liệu của L2BAET, chỉ riêng 3 dự án sử dụng giải pháp OP là Arbitrum, Optimism và Metis đã chiếm tới 70,8% thị phần L2. Tuy nhiên, do độ khó phát triển cao và tiến bộ công nghệ chậm, ZK rollup hiện có tỷ lệ chấp nhận và thị phần tương đối thấp.

Là giải pháp mở rộng Ethereum có tổng khối lượng khóa cao nhất hiện tại, Polygon đặt cược chắc chắn vào tương lai của việc mở rộng trên công nghệ zk. Năm ngoái, Polygon đã mua lại Hermez và Mir một cách hoành tráng, đồng thời đưa ra lời hứa trị giá 1 tỷ đô la cho việc mở rộng zk.

Giờ đây, Polygon có "cả bộ" giải pháp mở rộng zk, cụ thể là Hermez, Nightfall, Miden và Zero. Mặc dù bốn kế hoạch mở rộng đều dựa trên công nghệ zk, nhưng mỗi kế hoạch đều có thế mạnh và chiến lược riêng. Vậy đặc tính kỹ thuật cụ thể và tiến độ phát triển của 4 giải pháp này như thế nào? Cái nào có nhiều khả năng bị giết trước?

Trong bài viết này, chúng ta sẽ thảo luận chi tiết về bốn giải pháp zk này, bao gồm lịch sử phát triển, cơ chế hoạt động và tiến độ phát triển, v.v. Nội dung dưới đây được tổng hợp từ chuyên mục Đa Giác DAOPedrotiêu đề cấp đầu tiên

1. Đa giác Zero

Polygon Zero là một giải pháp ZK L2 được cung cấp bởi Plonky2, hệ thống chứng minh đệ quy nhanh nhất và hiệu quả nhất. Trước đây được gọi là Giao thức Mir, nó được xây dựng vào năm 2019 bởi Predicate Labs, được thành lập bởi Brendan Farmer và Daniel Lubarov. Đặc điểm của giao thức Mir là xác minh ZKP (zk-proof) đệ quy sẽ được tạo trong quá trình thực thi chương trình. Tóm lại, chứng minh đệ quy giống như chứng minh của chứng minh tổng quát. Được sử dụng để xác minh rằng một bộ bằng chứng giao dịch là hợp lệ.

Chứng minh đệ quy là một công nghệ rất trẻ, lần đầu tiên được giới thiệu về mặt lý thuyết vào năm 2014. Vào năm 2019, Mir đã có thể tạo một bằng chứng đệ quy trong vòng 2 phút, rõ ràng là thời gian này không ngắn và nó thiếu khả năng mở rộng.

Vào năm 2020, do sự khám phá của nhóm Aztec, Mir đã tạo ra một bước đột phá lớn, nhận ra việc tạo ra các bằng chứng đệ quy trong vòng 60 giây. Dựa trên điều này, nhóm Mir đã phát triển Plonky, cho phép giao thức Mir tạo ra các bằng chứng đệ quy trong vòng 15 giây.

Vào tháng 12 năm 2021, Polygon mua lại Mir với giá 400 triệu USD và thỏa thuận được đổi tên thành Polygon Zero. Ý tưởng về một chuỗi L1 độc lập kích hoạt công nghệ zk mà Mir đang xây dựng ban đầu đã biến thành một zk-rollup phân tán được xây dựng trên Polygon.

tiêu đề phụ

1、Plonky2

Plonky2 là một phiên bản lặp lại của Plonky1, cũng đã được đề cập trước đó rằng nó được xây dựng trên hệ thống xác minh do Aztec xây dựng vào năm 2020.

Một chủ đề chung giữa cả ba là Plonk, vì vậy trước tiên chúng ta cần tìm hiểu xem Plonk là gì.

ZKP đề cập đến việc tạo bằng chứng về tính hợp lệ của tính toán mà không tiết lộ thông tin liên quan. Vì vậy, không có thông tin nào không bị rò rỉ, chỉ có bằng chứng được tạo ra.

Hai ZKP chính làSNARK và STARKMô tả hình ảnh

So sánh SNARK và STARK, nguồn: Trang web chính thức của Consensys

SNARK có bằng chứng nhỏ hơn, có nghĩa là lưu trữ dữ liệu trên chuỗi ít hơn và người dùng cuối phải trả ít gas hơn. Mặc dù SNARK thân thiện với nhà phát triển hơn, nhưng STARK mang lại một số lợi thế độc đáo, chẳng hạn như minh bạch hơn, không yêu cầu thiết lập đáng tin cậy và "an toàn lượng tử", với tiềm năng lớn hơn trong tương lai. Những ưu điểm này cũng khiến Vitalik nói rằng STARK thực sự là một công nghệ "mới hơn và rực rỡ hơn".

Nhưng vì SNARK được đề xuất và đưa vào sử dụng từ đầu năm 2012, còn STARK đến năm 2018 mới được đề xuất. Do đó, SNARK có lợi thế lớn của người đi đầu về mặt áp dụng. Hiện tại, Z-Cash, Giao thức Loopring và JPMorgan Chase đều đã áp dụng công nghệ SNARK và do được áp dụng rộng rãi, SNARK đã phát hành nhiều mã hơn, thư viện dành cho nhà phát triển, dự án và nhà phát triển. Tuy nhiên, với tư cách là một ngôi sao mới, STARK cũng đang được nhiều dự án áp dụng hơn vì những lợi thế độc đáo của nó.

Plonk là tên của hệ thống bằng chứng, là một loại hệ thống bằng chứng SNARK.

Tiếp theo, tôi sẽ phân tích một số loại giải pháp khác nhau kết hợp với Plonk:

Thời gian chứng minh đệ quy của Aztec sử dụng Plonk + KZG là 60 giây;

Plonky1 sử dụng Plonk + Halo và thời gian chứng minh đệ quy là 15 giây. Được Zcash ra mắt lần đầu tiên vào năm 2019, Halo là sơ đồ chứng minh đệ quy đầu tiên không yêu cầu thiết lập đáng tin cậy. Nhưng nhược điểm của Halo là nó không tương thích với Ethereum, đó là lý do Mir ban đầu muốn xây dựng một chuỗi L1 độc lập;

Plonky2 sử dụng Plonk + FRI với thời gian chứng minh đệ quy là 170 mili giây. Năm 2021, Daniel Lubarov, người đứng đầu Polygon Zero, đề xuất kết hợp FRI với Plonk.

FRI là một giải pháp cho STARK, có nghĩa là bằng cách sử dụng FRI, Plonk trở thành STARK (Plonk ban đầu là một loại SNARK), điều này cũng có nghĩa là tăng tính minh bạch của hệ thống. Vào thời điểm đó, chỉ có một dự án (Fractal) triển khai chứng minh FRI đệ quy và giao thức có thời gian chứng minh ~10 phút và không thể mở rộng.

tiêu đề phụ

2. Tòa nhà Plonky2 là gì?

Như đã đề cập trước đó, Polygon Zero cuối cùng đang xây dựng zkEVM có khả năng mở rộng nhất được cung cấp bởi Plonky2.

Nghĩa là, mỗi zk-rollup yêu cầu một zkEVM để thực sự xử lý việc tính toán. zkEVM cho zk-rollup của Polygon Zero sẽ được cung cấp bởi Plonky2, hệ thống bằng chứng zk hiệu quả nhất và nhanh nhất hiện có.

tiêu đề phụ

3. Sự khác biệt giữa Polygon Zero và Starkware

Hầu hết các bản tổng hợp, bao gồm cả Starkware, gói các giao dịch và tạo bằng chứng rằng mỗi giao dịch trong gói đó đều hợp lệ.

Polygon Zero sử dụng các bằng chứng đệ quy, vì vậy mọi giao dịch đồng thời tạo ra một loạt các bằng chứng rất nhanh. Các bằng chứng giao dịch riêng lẻ này sau đó được nhóm lại với nhau để tạo ra các bằng chứng lớn hơn, bằng chứng xác minh tính hợp lệ của các bằng chứng khác.

Mô tả hình ảnh

tiêu đề cấp đầu tiên

2. Đa giác Hermez

Năm năm trước, ba đồng nghiệp MBA Jordi Baylina, David Schwartz và Antoni Martin đã thành lập một công ty tên là Iden3, và dự án đầu tiên của họ là một giải pháp nhận dạng tự chủ, lúc đó được gọi là Bản sắc tự chủ. ID, viết tắt là SSI), thực sự là khái niệm giống như danh tính phi tập trung phổ biến của chúng tôi là DID.

Tuy nhiên, trong quá trình phát triển dự án SSI, ba người dần dần nhận ra rằng để tiếp tục đưa SSI trở thành xu hướng chủ đạo, cần phải làm cho chuỗi khối hiện tại có thể mở rộng hoàn toàn. Sau đó, bộ ba quyết định chuyển sang một dự án mới, Hermez.

Hermez là một giải pháp tổng hợp L2 phi tập trung dựa trên công nghệ zk. Hermez 1.0 là nền tảng thanh toán hiện đang hoạt động cho phép người dùng chuyển bất kỳ mã thông báo ERC-20 đã đăng ký nào từ tài khoản Hermez này sang tài khoản Hermez khác thông qua giao diện web hoặc thiết bị di động dễ sử dụng. Tháng 7 năm ngoái, nhóm đã công bố sự phát triển của zkEVM, Hermez 2.0, sẽ mang lại một zkEVM tương thích hoàn toàn với Ethereum khi hoàn thành.

tiêu đề phụ

1、Hermez 1.0

Hermez ban đầu bắt đầu dưới dạng zk-rollup, tập trung vào việc mở rộng quy mô thanh toán và chuyển mã thông báo trên Ethereum.

Tổng số đề cập đến việc đóng gói hàng tá giao dịch (hàng nghìn) và thực hiện chúng ngoài chuỗi cùng một lúc. Khi hàng nghìn giao dịch này được thực hiện ngoài chuỗi, trong trường hợp của Hermez, một zk-SNARK được tạo. Thay vì các giao dịch riêng lẻ, SNARK chứng minh tính hợp lệ của từng giao dịch trong lô, sau đó được xác minh bởi Ethereum (SNARK).

So với bản tổng hợp Lạc quan, bản tổng hợp zk có thể có hiệu lực ngay lập tức và thực hiện rút tiền ngay lập tức, trong khi bản tổng hợp Lạc quan phải đợi trong 7 ngày. Khả năng xác minh hiệu quả bằng chứng trong thời gian cố định là trọng tâm của tất cả các bản tổng hợp zk.

Hermez có tốc độ xử lý 2000 TPS. Theo nhóm Hermez, tốc độ xử lý sẽ được cải thiện rất nhiều trong tương lai.

Ba giao dịch khác nhau có sẵn trên Hermez:

tiền gửi:Gửi bất kỳ mã thông báo ERC-20 đã đăng ký nào từ L1 Ethereum đến L2 Hermez. Tiền gửi yêu cầu phí gas Ethereum.

chuyển khoản:Gửi bất kỳ mã thông báo ERC-20 đã đăng ký nào từ tài khoản Hermez này sang tài khoản Hermez khác, rẻ và ngay lập tức.

Rút tiền:Gửi mã thông báo ERC-20 từ L2 Hermez trở lại L1 Ethereum. Việc rút tiền phải chịu phí gas Ethereum.

Một điều cần lưu ý khi rút tiền là Hermez cung cấp một cơ chế bảo vệ, "rút tiền bắt buộc", cho phép người dùng chuyển tiền từ L2 Hermez trở lại L1 Ethereum bất cứ lúc nào, ngay cả khi người điều phối đang cố gắng làm điều ác.

Điều phối viên và bằng chứng quyên góp

Điều phối viên là phiên bản Hermez của nhà sản xuất khối. Những người này chứng minh tính hợp lệ của các giao dịch ngoài chuỗi bằng cách tạo bằng chứng zk.

Điều phối viên là người đóng gói các giao dịch. Họ sẽ tổng hợp tất cả các yêu cầu giao dịch thành một đơn vị. Mỗi đợt tổng hợp sẽ thực hiện hàng nghìn giao dịch, sau đó tạo bằng chứng zk, sau đó xác minh điều này thông qua hợp đồng thông minh trên Ethereum. bằng chứng zk.

Hermez được phân cấp vì bất kỳ ai cũng có thể trở thành điều phối viên và kiếm được phần thưởng cho các dịch vụ của họ. Có thể có bất kỳ số lượng điều phối viên nào trên mạng cùng một lúc, nhưng chỉ một người thực sự có thể xử lý giao dịch và nhận phần thưởng tại bất kỳ khoảng thời gian nhất định nào (dài 10 phút).

Mạng Hermez chọn điều phối viên tiếp theo thông qua quy trình đấu giá. Về cơ bản, bất kỳ ai cũng có thể đặt giá thầu bằng cách sử dụng mã thông báo MATIC và người đặt giá thầu cao nhất sẽ giành được quyền xử lý càng nhiều giao dịch càng tốt trong vòng 10 phút cho đến khi người điều phối tiếp theo được chọn. Đây là một quy trình rất hiệu quả vì nó yêu cầu điều phối viên thực hiện càng nhiều giao dịch càng tốt trong 10 phút đó để nhận được nhiều phần thưởng hơn giá thầu.

Nếu điều phối viên không đặt giá thầu, mã thông báo MATIC sẽ được trả lại ví ban đầu và những khoản tiền đã thắng giá thầu sẽ được sử dụng cho ba mục đích sau:

• 30% bị phá hủy vĩnh viễn

• 40% chuyển đến tài khoản quyên góp do Ethereum Foundation quản lý

• 30% dành cho các khuyến khích mạng để giúp thúc đẩy việc áp dụng mạng Hermez hơn nữa.

tiêu đề phụ

2、Hermez2.0

Tháng 7 năm ngoái, trong hội nghị EthCC 4, nhóm Hermez đã thông báo rằng họ đang phát triển zkEVM, Hermez 2.0.

Chúng ta đều biết rằng điểm mấu chốt khiến L2 chủ yếu áp dụng Chủ nghĩa lạc quan và ZK vẫn chưa thực sự thành công là ZK chưa tương thích với EVM. Do đó, zkEVM sẽ giải quyết vấn đề này và chạy các hợp đồng thông minh trên zk-rollup.

Hiện tại có nhiều dự án cũng đang phát triển zkEVM, riêng trong hệ sinh thái Polygon đã có 2 giải pháp là Polygon Zero và Polygon Hermez. Tuy nhiên, mỗi dự án đang giải quyết vấn đề này theo một cách khác nhau và mỗi dự án đều có sự cân bằng riêng.

Đặc điểm của Hermez là nó tương thích với Ethereum về công cụ, hệ sinh thái và bảo mật. Điều này có nghĩa là, lý tưởng nhất là các hợp đồng thông minh chạy trên Ethereum có thể chạy trên L2 Hermez. Cung cấp trải nghiệm trơn tru cho các nhà phát triển. Ngay khi Optimism và Arbitrum được ra mắt, chúng đã thu hút một số dự án và người dùng chuyển sang. Không khó để tưởng tượng rằng khi zk-rollup trưởng thành, nó sẽ còn có hiệu ứng mạng mạnh mẽ hơn nữa.

Người sáng lập Hermez, Antoni Martin, mô tả zkEVM rằng: "Nếu bạn tận dụng những phần tốt nhất của từng giải pháp, bạn có thể tạo ra chiếc xe tốt nhất...".Do đó, Hermez đã áp dụng cả kế hoạch SNARKS và STARKS ZKP khi phát triển zkEVM, cố gắng đạt được điều tốt nhất cho cả hai thế giới.

Cụ thể, khi Hermez xử lý các giao dịch và tạo các khối mới ngoài chuỗi, một bằng chứng STARK sẽ được tạo để chứng minh rằng tất cả các giao dịch này đều hợp lệ. Vấn đề với bằng chứng STARK là chi phí xác minh trên chuỗi (Ethereum) rất cao và SNARK ra đời vào thời điểm này.Tất cả những gì nó cần làm là xác minh tính hợp lệ của bằng chứng STARK trên Ethereum.

Nếu bạn muốn tìm hiểu thêm về kiến ​​trúc của zkEVM này, bạn có thểNhấp vào đây để xemMô tả hình ảnh

Các tính năng của Hermez 2.0 (zkEVM)

tiêu đề cấp đầu tiên

3. Đêm đa giác buông xuống

Vào tháng 9 năm ngoái, Polygon đã thiết lập quan hệ đối tác với công ty công nghệ và dịch vụ chuyên nghiệp toàn cầu Ernest & Young (EY, Ernest & Young), sau đó phát hành Polygon Nightfall.

Ernst & Young đã công bố phiên bản đầu tiên của Nightfall vào năm 2019. Điểm khác biệt nhất so với các giải pháp zk khác là,Nightfall là một bản tổng hợp tập trung vào quyền riêng tư, mà EY đã định vị là “một trong những giải pháp bảo mật nổi bật nhất trên Ethereum.” Cụ thể, mọi giao dịch trên Nightfall đều bao gồm quyền riêng tư, nghĩa là nếu Alice gửi một tài sản cho Bob, thì không ai khác có thể biết tài sản đó là gì, giá trị bao nhiêu hoặc nó đã đi đâu.

Lý do tại sao chúng tôi chú ý nhiều hơn đến quyền riêng tư của các giao dịch là vìKhách hàng mục tiêu của Ernst & Young là các doanh nghiệp. Lúc đầu, Nightfall đã cố gắng xây dựng chuỗi khối cấp doanh nghiệp đầu tiên trực tiếp trên Ethereum, nhưng cuối cùng nhận thấy rằng việc có quyền riêng tư trên mạng chính Ethereum là quá đắt, vì vậy họ đã chuyển sang L2 và cuối cùng chọn hợp tác với Polygon.

Polygon Nightfall do cả hai cùng phát hành là phiên bản Nightfall 3.0 sau nhiều lần lặp lại.Tính năng nổi bật nhất của nó là kết hợp hiệu quả khái niệm xương sống của Bản tổng hợp lạc quan với mật mã không có kiến ​​thức (ZK) thường được sử dụng trong ZK-Rollups, do đó đạt được sự kết hợp giữa khả năng mở rộng và quyền riêng tư.

tiêu đề phụ

1. Nightfall hoạt động như thế nào?

Polygon Nightfall về cơ bản là một Bản tổng hợp lạc quan sử dụng mã hóa zk để bảo vệ quyền riêng tư. Sự hợp tác giữa Polygon và Ernst & Young tập trung vào việc sử dụng công nghệ Nightfall để xây dựng chuỗi công nghiệp, cho phép các doanh nghiệp liên kết với L1 với chi phí thấp có thể dự đoán được và tuân theo hướng dẫn của quy định.

Hình dưới đây cho thấy cơ chế hoạt động cụ thể của Nightfall:

Hiện tại, chúng tôi có thể gán nút cổ chai về khả năng mở rộng cho "trạng thái" do chi phí lưu trữ dữ liệu trên chuỗi cao. Do đó, mục tiêu của các giải pháp mở rộng quy mô là liên tục giảm lượng dữ liệu được lưu trữ trên chuỗi. Nightfall sử dụng bản tổng hợp Lạc quan có chi phí thấp hơn để giảm dung lượng lưu trữ.

Thông thường, sẽ có thời gian thử thách 7 ngày khi sử dụng sơ đồ tổng hợp Lạc quan, có nghĩa là bạn cần đợi 7 ngày để rút từ L2 sang mạng chính Ethereum. Nhưng Nightfall cải thiện điều này bằng cách cung cấp cho người dùng tùy chọn "thoát ngay lập tức". Phương thức hoạt động của nó là nhà cung cấp thanh khoản trao đổi vị trí với người dùng trong giao dịch này, trước tiên ứng trước số tiền cần thiết để rút tiền ngay lập tức cho người dùng và giữ vị trí trong khoảng thời gian chờ đợi 7 ngày.

Nightfall muốn các giao dịch được riêng tư cùng một lúc. Vì vậy, trên Tổng hợp lạc quan,Màn đêm buông xuống thêm một lớp bảo mật zk bổ sung để giữ cho các giao dịch ở chế độ riêng tư.

Nightfall VS Aztec

Hình ảnh trên cho thấy hai cách khác nhau để kích hoạt quyền riêng tư. Polygon Nightfall ở bên trái sử dụng bản tổng hợp lạc quan của mật mã zk và Aztec ở bên phải sử dụng bản tổng hợp zk và mật mã zk. Tôi tin rằng giải pháp lý tưởng là cách tiếp cận zk/zk như Aztec, nhưng hiện tại, giải pháp này quá đắt. Vì vậy, ở một mức độ nào đó,Nightfall giống như một giải pháp thỏa hiệp có thể được sử dụng ngay lập tức. Nhóm Nightall cuối cùng sẽ chuyển sang sơ đồ zk/zk sau khi phí zk được giải quyết.

tiêu đề phụ

2. Các trường hợp sử dụng cụ thể

• Các tập đoàn tài chính và nhà đầu tư tổ chức: Quyền riêng tư độc đáo của Nightfall tạo ra cơ hội lớn cho các nhà quản lý danh mục đầu tư muốn giữ các giao dịch và giao dịch hoán đổi ở chế độ riêng tư.

• Cung cấp khả năng truy xuất nguồn gốc chuỗi cung ứng cho doanh nghiệp: doanh nghiệp có thể xử lý vật tư, thực hiện đơn đặt hàng, thanh toán cá nhân, v.v. thông qua Nightfall. Hiện tại, một nhà máy bia đã sử dụng chuỗi cung ứng Nightfall của Ernst & Young để thực hiện các giao dịch truy xuất nguồn gốc, doanh nghiệp có thể dễ dàng theo dõi lượng bia có bao nhiêu, ở đâu, vận chuyển bao nhiêu, v.v. Ngoài ra, một công ty dược phẩm sử dụng Nightfall để đúc mọi sản phẩm trên dây chuyền sản xuất thành NFT, tạo ra khoảng 60.000 NFT mỗi ngày.

• tiêu đề cấp đầu tiên

4. Đa giác Miden

Vào tháng 11 năm ngoái, Polygon đã công bố ra mắt Miden, một giải pháp mở rộng dựa trên zk-STARKs. Dự án này được dẫn dắt bởi cựu nhà nghiên cứu công nghệ bằng chứng không kiến ​​thức cốt lõi của Facebook, người đã từng lãnh đạo sự phát triển của công nghệ Winterfell.

Polygon Miden là một bản tổng hợp zk dựa trên STARK.Đặc điểm của Polygon Miden là nó nhằm mục đích giải quyết thách thức khiến việc cuộn lên khó hỗ trợ logic và giao dịch tùy ý.Rollup giảm lưu trữ dữ liệu trên chuỗi bằng cách đóng gói các giao dịch, điều này có thể giảm tắc nghẽn và giảm chi phí giao dịch, nhưng khó hỗ trợ xác minh giao dịch tùy ý trong gói giao dịch, điều này ảnh hưởng đến khả năng xác minh tất cả các giao dịch ngoài chuỗi. Polygon Miden giải quyết một trong những thách thức lớn nhất của zk rollup hiện nay bằng cách sử dụng Miden VM (Máy ảo).

Có hai thành phần cốt lõi của khung Polygon Miden: Distaff VM và Winterfell.

Distaff VM là một zk-EVM. Bất cứ khi nào một chương trình được thực thi trong zk-VM, một bằng chứng thực thi zk sẽ được tạo để xác minh rằng chương trình chạy chính xác mà không thực sự chạy chương trình. Distaff là một máy ảo dựa trên STARK.

Đối với bất kỳ chương trình nào được thực thi trên Distaff VM, bằng chứng thực thi dựa trên STARK sẽ tự động được tạo. Sau đó, bất kỳ ai cũng có thể sử dụng bằng chứng này để xác minh rằng chương trình đã thực thi chính xác mà không cần thực hiện lại chương trình hoặc thậm chí không biết chương trình đó là gì.

Miden VM sử dụng Distaff VM và thêm một hệ thống bằng chứng hiệu quả hơn - Winterfell vào nó. Winterfell là một trình chứng minh và xác minh STARK đa luồng đầy đủ tính năng choTính toán tùy ý. Về cơ bản, phiên bản mới nhất của bằng chứng STARK với hiệu suất cao hơn.

Sau khi được phát triển, bất kỳ dự án nào cũng có thể triển khai các hợp đồng thông minh trên zk-rollup này.

tiêu đề phụ

1. Kiến trúc của Miden

• Trước tiên, giao dịch sẽ được phân phối tới nút thực thi của Miden;

• Các nút thực thi này gộp 5000 giao dịch thành các khối cùng một lúc và tạo bằng chứng STARK;

• Chứng chỉ STARK được tạo cho mỗi 200 khối ràng buộc giao dịch để chứng minh tính hợp lệ của giao dịch;

• tiêu đề phụ

2. Điểm nổi bật của Miden VM:

• Nhà phát triển thân thiện:Mục tiêu của Miden là cho phép các nhà phát triển chạy các hợp đồng thông minh trên zkVM này mà không cần phải tìm hiểu bất cứ điều gì về mật mã hoặc bằng chứng zk.

• Nhiều ngôn ngữ lập trình được hỗ trợ:Nhóm đang làm việc để thêm hỗ trợ cho nhiều ngôn ngữ lập trình, nhưng đồng thời vẫn ưu tiên Solidity.

• Tập trung vào sự an toàn:Thông qua công nghệ zk, Miden VM an toàn hơn chính EVM.

• Tập trung vào quyền riêng tư:Mặc dù đây không phải là trọng tâm hiện tại nhưng đội ngũ Miden đã triển khai các kế hoạch phát triển phù hợp trong lộ trình.

tóm tắt:

tóm tắt:

Cuối cùng, hãy nhanh chóng so sánh bốn giải pháp mở rộng zk của Polygon:

Polygon Zero đã phát triển hệ thống chứng minh đệ quy dựa trên SNARK, Plonky2, có thể tạo chứng minh đệ quy trong vòng chưa đầy 170 mili giây trên Mac-Book Pro. Trên hệ thống bằng chứng Plonky2 hiệu quả và nhanh chóng như vậy, Polygon Zero cuối cùng sẽ phát triển zkEVM có khả năng mở rộng cao nhất.

Đặc điểm của zk rollup do Hermez phát triển là điều phối viên được lựa chọn thông qua đấu giá trong quá trình giao dịch. Điều phối viên thành công sẽ tiến hành giao dịch nhiều nhất có thể trong một đơn vị thời gian để kiếm lợi nhuận. Do đó, cơ chế cạnh tranh này sẽ mang lại hiệu quả giao dịch cao. Ngoài ra, Hermez cũng đang phát triển zkEVM và áp dụng hai kế hoạch ZKP, SNARK và STARK, để cố gắng đạt được điều tốt nhất cho cả hai thế giới.

Nightfall đặc biệt hơn, điểm khác biệt nhất so với các giải pháp zk khác là Nightfall là một rollup tập trung vào quyền riêng tư và khách hàng của nó là các doanh nghiệp. Ngoài ra, Nightfall kết hợp hiệu quả khái niệm xương sống của Bản tổng hợp lạc quan với mật mã không có kiến ​​thức (ZK) thường được sử dụng trong ZK-Rollups, dẫn đến sự kết hợp giữa khả năng mở rộng và quyền riêng tư.

Sản phẩm cốt lõi của Miden là Miden VM. Không giống như các bản tổng hợp khác, nó sử dụng hệ thống bằng chứng STARK tương đối không phổ biến để xây dựng một máy ảo, nhằm giải quyết thách thức khó khăn trong việc hỗ trợ các giao dịch và logic tùy ý, đồng thời cải thiện khả năng xác minh tất cả giao dịch ngoài chuỗi.

Hiện tại, hầu hết 4 giải pháp đều đang trong giai đoạn phát triển và thử nghiệm, tất cả sẽ chính thức ra mắt trong năm nay hoặc năm sau. Với giải pháp zk mới nói trên được đưa vào sử dụng, Layer 2 sẽ giải quyết phần lớn những nghi ngờ về sự lạc hậu của các giải pháp kỹ thuật trước đây và chiếm một vị trí trong giải pháp Layer 2 chủ đạo, mang lại nhiều sự lựa chọn hơn cho người dùng mã hóa.