Cointime

Download App
iOS & Android

Plasma + zk-SNARKs: Ý tưởng mới cho việc mở rộng Ethereum?

Validated Media

Được viết bởi: dt, DODO Research; 0xNing0x, nhà nghiên cứu cao cấp tại Quỹ EMC

Biên tập: Lisa

Trước đó, Vitalik, người sáng lập Ethereum (sau đây gọi là Vitalik trong bài viết này) đã đăng bài viết mới nhất của mình "Thoát trò chơi cho xác thực EVM: sự trở lại của Plasma" trên Twitter. Bài viết tập trung vào việc giới thiệu công nghệ mở rộng Plasma và dự định hướng dẫn hiện tại Kế hoạch mở rộng Plasma ngày càng rìa được kết hợp với bằng chứng không có kiến ​​thức về ZK. Ngay sau khi bài viết này ra mắt, nhiều dự án liên quan đến công nghệ Plasma nổi lên và công nghệ này đã được thay thế bằng Rollup và dần dần biến mất khỏi công chúng mắt, quay trở lại đường đua mở rộng Ethereum.

CryptoSnap tuần này, hãy cùng DODO Research

Huyết tương là gì?

Vấn đề mở rộng luôn là một dự án nghiên cứu quan trọng đối với các nhà phát triển trong thế giới blockchain. Để đạt được mục tiêu về một máy tính thế giới phi tập trung, bắt buộc phải xây dựng một blockchain rẻ và nhanh. Do đó, nhiều vấn đề khác nhau đã xuất hiện xung quanh Ethereum mainnet.Kế hoạch mở rộng và Plasma đã từng là kế hoạch mở rộng chính thống cho Ethereum.

Plasma có thể hiểu đơn giản là xây dựng một chuỗi trên mạng chính Ethereum và kiểm soát sự tương tác giữa việc gửi và rút tiền giữa mạng chính và chuỗi Plasma thông qua các hợp đồng thông minh.Khác với các chuỗi bên (Chuỗi BNB, Chuỗi Gnosis), chuỗi Plasma cần thường xuyên Trạng thái cuối cùng trên chuỗi được truyền trở lại mạng chính Ethereum, nhưng không giống như công nghệ Rollup, chuỗi Plasma không trả về dữ liệu giao dịch trên toàn bộ chuỗi mà chỉ trả về gốc của cây Merkel, tức là trạng thái trên chuỗi Plasma.

Nguồn: https://learnblockchain.cn/2018/10/20/plasma-framework

Thoát Game cơ chế “thoát game” an toàn

Do các tính toán không được thực hiện trên mạng chính nên chuỗi Plasma có thể cải thiện đáng kể khả năng mở rộng của toàn bộ mạng và có cơ chế xác minh tương đối an toàn để ngăn chặn những kẻ bất lương. Nói đến bảo mật thì phải kể đến “Exit game” được nhắc đến trong tiêu đề Buterin, cơ chế “exit game” an toàn của chuỗi Plasma.

Trong thiết kế của Plasma framework, tính bảo mật được bảo vệ bởi cơ chế thoát của nó. Khi người dùng muốn quay lại mạng chính hoặc họ cho rằng có một cuộc tấn công vào chuỗi Plasma, người dùng có thể đề xuất "thoát" khỏi hợp đồng Plasma trên chuỗi mạng chính và cung cấp bằng chứng rằng nếu trong vòng bảy ngày Trong thời gian thử thách, nếu không có người thách thức nào phản đối việc thách thức "lối ra", thì tài sản có thể được lấy lại thành công trên mạng chính. Ngược lại, nếu thử thách là thành công, việc “thoát” sẽ thất bại và người dùng có ác ý sẽ phải chịu hình phạt tương ứng.

Có ba hành vi tấn công phổ biến:

Có ba hành vi tấn công phổ biến:

  • Rút tiền ngay sau khi gửi giao dịch (Không phải chủ sở hữu mới nhất): Cuộc tấn công này có nghĩa là khi người dùng gửi giao dịch chuyển khoản, anh ta sẽ rút tài sản ngay lập tức trong thời gian thử thách. Điều này không hợp lệ vì chủ sở hữu mới nhất của nội dung phải là người nhận giao dịch và mạng có thể thách thức lối thoát này để chứng minh rằng nội dung đã được chuyển giao cho người khác.
  • Tấn công chi tiêu gấp đôi: Tấn công chi tiêu gấp đôi đề cập đến việc cùng một tài sản được chi tiêu bất hợp pháp hai lần trở lên. Ví dụ: Alice chuyển một mã thông báo cho Bob và sau đó Alice chuyển cùng một mã thông báo đó cho Charlie. Mạng có thể phát hiện việc sử dụng kép mã thông báo và do đó thách thức việc chuyển tiền bất hợp pháp.
  • Lịch sử giao dịch bất hợp pháp (Lịch sử không hợp lệ): Điều này có nghĩa là đã phát hiện chuyển đổi trạng thái bất hợp pháp trong lịch sử giao dịch tài sản, ví dụ: có một đầu ra giao dịch chưa được tiêu thụ tương ứng. Người dùng có thể phản hồi thử thách này bằng cách cung cấp bằng chứng tương ứng của tiêu dùng.

Tiền mặt huyết tương

Sau đó, V God đã giới thiệu dự án Plasma Cash sử dụng khung Plasma trong bài viết này. Trong Plasma Cash, mọi mã thông báo mà người dùng gửi sẽ được coi là NFT. Mỗi NFT có một lịch sử giao dịch và dựa trên mặc định. Nó được ghi lại trong Tuy nhiên, do tính chất độc đáo và không thể phân chia của NFT, Plasma Cash có các kịch bản sử dụng hạn chế và chỉ có thể phục vụ các mục đích chuyển khoản cụ thể. Lúc này, một phiên bản cải tiến dựa trên mô hình UTXO đã xuất hiện. thông qua hình thức sổ cái UTXO. Vấn đề nan giải không thể tách rời trong thiết kế chuyển NFT ban đầu của Cash đã giúp phát triển lĩnh vực hoàn trả nhưng cũng gây khó khăn cho việc tương tác với các hợp đồng thông minh.

Nguồn: https://vitalik.ca/general/2023/11/14/neoplasma.html

Nút thắt kỹ thuật plasma

Điểm nghẽn kỹ thuật hiện tại của Plasma là khó khăn trong việc triển khai EVM. Do nhiều đối tượng trạng thái trong hợp đồng EVM không có "chủ sở hữu" rõ ràng nên điều này mâu thuẫn với mô hình bảo mật của Plasma. Cơ chế thoát Plasma yêu cầu mỗi đối tượng trạng thái có một Chủ sở hữu rõ ràng: Chủ sở hữu có trách nhiệm theo dõi dữ liệu của đối tượng trạng thái này và thoát ra khi cần thiết để bảo vệ an toàn tài sản. Tuy nhiên, có nhiều đối tượng trạng thái trong hợp đồng EVM không có chủ sở hữu rõ ràng, chẳng hạn như nhóm thanh khoản trong Uniswap hoặc vị trí CDP MakerDAO không có một chủ sở hữu duy nhất, trong trường hợp này nếu có vấn đề với Plasma chuỗi, điều sau đây sẽ xảy ra: Tình huống này:

  • Nếu không có chủ sở hữu thực hiện thoát trạng thái, trạng thái đó có thể bị khóa vĩnh viễn trên chuỗi Plasma.
  • Ngay cả khi người ngoài có thể bắt đầu thoát, các cuộc tấn công Exit Game vẫn có khả năng xảy ra và rủi ro rất cao.
  • Hợp đồng với các trạng thái phức tạp rất khó xác minh.

Huyết tương + ZK-SNARK

Về những nút thắt kỹ thuật mà Plasma hiện đang gặp phải, Buterin trả lời rằng nếu nó có thể được kết hợp với công nghệ chứng minh tính hợp lệ (zk-SNARKs) hiện đang hoàn thiện, một số nút thắt sẽ được giải quyết một cách hiệu quả, có thể chia thành 5 điểm sau:

  1. zk-SNARK có thể chứng minh tính hợp lệ của các khối Plasma trên chuỗi chính và giảm sự phụ thuộc vào cơ chế thoát.
  2. Nó có thể thực hiện việc rút tài sản ngay lập tức trên chuỗi Plasma, loại bỏ thời gian thử thách chống gian lận kéo dài bảy ngày và giảm bớt vấn đề tổ chức lại chuỗi.
  3. Bạn có thể xây dựng cấu trúc UTXO song song đại diện cho trạng thái EVM, sử dụng zk-SNARK để chứng minh tính tương đương của nó và tránh một số vấn đề của EVM.
  4. Việc sử dụng zk-SNARK sẽ giảm đáng kể lượng dữ liệu trạng thái mà người dùng cần xác minh và lưu trữ, tối ưu hóa trải nghiệm người dùng.
  5. Đối với các hợp đồng thông minh mà chủ sở hữu khó xác định, cũng có thể đạt được đảm bảo an ninh một phần nếu các phần chính có thể được chia thành các đối tượng có thể xác minh được.

Mặc dù các phương pháp này vẫn không thể bao gồm tất cả các hợp đồng EVM phức tạp, nhưng với sự phát triển hơn nữa của công nghệ ZK và việc liên tục khám phá không gian thiết kế Plasma, chúng tôi hy vọng sẽ tìm ra các giải pháp mới đạt được sự thỏa hiệp tốt hơn giữa bảo mật, khả năng mở rộng và trải nghiệm. .

Ý kiến ​​của tác giả

DT @19971122::

Trước khi đọc bài viết này của Buterin, tác giả chưa quen với kiến ​​trúc kỹ thuật của Plasma. Xét cho cùng, kế hoạch mở rộng Ethereum hiện tại gần như có thể nói là bị công nghệ Rollup thống trị. Nhiều đội ngũ đang gấp rút ra mắt mạng L2 với công nghệ Rollup, và cũng đã phát triển Lớp sẵn có dữ liệu (lớp DA) được xây dựng trên kiến ​​trúc mô-đun của các mạng khác (Celestia, EigenLayer và Avail), vì vậy có những người như Dankrad Feist, một nhà nghiên cứu tại Ethereum Foundation, đã nói trên Twitter " Không sử dụng ETH làm Chuỗi khối mô-đun của lớp DA (lớp sẵn có dữ liệu) không phải là Rollup và nó không phải là Ethereum L2." Với những nhận xét này, ai là người chính thống trong sự phát triển của Ethereum luôn là điểm được mọi người yêu thích Đúng như mọi người đang quan tâm đến sự phát triển của Rollup. Khi cuộc thảo luận đang diễn ra căng thẳng, bài viết của V God giống như một phát súng vào cánh tay Plasma, nói với cộng đồng Ethereum rằng Rollup không phải là giải pháp mở rộng duy nhất cho Ethereum và phiên bản mới hướng ZK+Plasma cũng có thể là một lựa chọn.

Tác giả tin rằng trong một thế giới phi tập trung, phát triển đa dạng là một quá trình tự nhiên, nhưng khi xem xét hiệu quả sử dụng vốn, việc phát triển theo mô-đun và đồng nhất dường như tiết kiệm hơn và các khuôn khổ tiêu chuẩn hóa như OP Stack hoặc Polygon zkEVM CDK đã xuất hiện. được nhiều công ty vốn khác nhau sử dụng để xây dựng mạng L2 của riêng họ, nhưng đồng thời họ cũng mất đi phần nào tính đa dạng. Động thái của Buterin có thể là một hướng dẫn mang tính định hướng dựa trên niềm tin rằng sự phát triển kế hoạch mở rộng của Ethereum đã mất đi sự cân bằng. phát triển Đó là điều mà chúng ta nên theo dõi nếu một nhóm nhảy ra triển khai nó. Với tư cách là một người dùng lâu dài và ủng hộ Ethereum, tác giả cũng rất vui khi thấy sự phát triển cân bằng của công nghệ mở rộng Ethereum.

NingNing @0xNing0x:

Plasma là một giải pháp được thiết kế để cải thiện khả năng mở rộng blockchain bằng cách di chuyển hầu hết dữ liệu và tính toán ra khỏi chuỗi. Nó xuất hiện lần đầu tiên vào năm 2017 và đã trải qua nhiều phiên bản lặp lại, bao gồm Plasma Cash, Plasma Cashflow, v.v. Tuy nhiên, do những hạn chế cơ bản của Plasma trong việc mở rộng ra ngoài phạm vi thanh toán (vấn đề nhà nước vô chủ và vấn đề dòng chảy khuyến khích), giải pháp Plasma L2 dần bị gạt ra ngoài lề.

Đồng thời, Rollup đã trở thành một giải pháp L2 chủ đạo và ưu điểm chính của nó là sự đơn giản trong thiết kế và thân thiện với nhà phát triển. Tuy nhiên, với việc triển khai và hoàn thiện công nghệ ZkEVM, Plasma đã mở ra một không gian thiết kế mới, mang đến những khả năng mới để đơn giản hóa trải nghiệm của nhà phát triển và bảo vệ tài sản của người dùng.

Mục đích của Vitalik khi quảng bá Plasma L2 lần này có thể là để nhấn mạnh tầm quan trọng của tính đa dạng và sự đổi mới trong mô hình L2, thay vì tin rằng giải pháp Plasma L2 của mô hình mới có thể thách thức vị thế phổ biến của giải pháp Rollup L2. Hiện tại, giải pháp Rollup L2 đang ở vị trí dẫn đầu tuyệt đối về quy mô TVL và số lượng người dùng, đồng thời do Hiệu ứng Matthew nên vị thế này sẽ được củng cố hơn nữa trong thời gian tới.

Trong hai ngày qua, L2 Blast mô hình mới do nhóm Paradigm và Blur đưa ra cho thấy một con đường khám phá khác. Mặc dù kiến ​​trúc của nó không đáp ứng được định nghĩa nghiêm ngặt về L2 của Vitalik, nhưng nó đã đạt được thành công đáng kể trên thị trường và cộng đồng, nhanh chóng thu hút sự chú ý của cộng đồng và sự tham gia tài chính đáng kể. Điều này cho thấy thị trường và cộng đồng đang mong muốn sự đa dạng của mô hình L2 và không còn hài lòng với việc chỉ có một hoặc hai thiết kế tiêu chuẩn.

Nhìn chung, các giải pháp Plasma L2 có tiềm năng và sự đổi mới nhất định, nhưng việc phát triển L2 không nên dựa vào kế hoạch chi tiết được thiết kế bởi một nhà thiết kế cấp cao với tính hợp lý cao nhất mà nên phát triển từ sự cạnh tranh thị trường phức tạp và phi tuyến tính.

Các bình luận

Tất cả bình luận

Recommended for you