Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

avatar
R3PO
1năm trước
Bài viết có khoảng 12375từ,đọc toàn bộ bài viết mất khoảng 16 phút
Bài viết này không tập trung vào các chi tiết kỹ thuật của công nghệ ZK mà tập trung vào việc mô tả càng nhiều càng tốt hướng ứng dụng của ZK. Việc lặp lại công nghệ ZK vẫn đang được tiến hàn

Bài viết này không tập trung vào các chi tiết kỹ thuật của công nghệ ZK mà tập trung vào việc mô tả càng nhiều càng tốt hướng ứng dụng của ZK. Việc lặp lại công nghệ ZK vẫn đang được tiến hành, nhưng việc triển khai công nghệ cần được thực hiện bởi các ứng dụng. Chúng tôi sẽ bắt đầu từ các ứng dụng gần người dùng nhất. Lớp dần dần thâm nhập vào EVM, L2, cầu nối chuỗi chéo và chuỗi công khai bên dưới.

Bài viết này không tập trung vào các chi tiết kỹ thuật của công nghệ ZK mà tập trung vào việc mô tả càng nhiều càng tốt hướng ứng dụng của ZK. Việc lặp lại công nghệ ZK vẫn đang được tiến hành, nhưng việc triển khai công nghệ cần được thực hiện bởi các ứng dụng. Chúng tôi sẽ bắt đầu từ các ứng dụng gần người dùng nhất. Lớp dần dần thâm nhập vào EVM, L2, cầu nối chuỗi chéo và chuỗi công khai bên dưới.

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

Tóm tắt lịch sử

Năm 1985, Goldwasser, Micali và Rackoff lần đầu tiên đề xuất mô hình Zero-Knowledge Proof. Nói chính xác, đây là một mô hình bằng chứng không kiến ​​thức tương tác, cho phép nhiều tương tác giữa hai bên mà không làm lộ tiền đề của Tiếp theo, xác minh tính xác thực thông qua các kỹ thuật cụ thể.

Năm 1991, Manuel Blum, Alfredo Santis, Silvio Micali và Giuseppe Persiano đã đề xuất bằng chứng không kiến ​​thức không tương tác, được gọi là phương pháp chứng minh không tương tác, nghĩa là trong điều kiện chỉ thực hiện một lần xác minh cuối cùng giữa hai bên, để xác minh tính xác thực của thông tin,

Tiến bộ do bằng chứng không kiến ​​thức không tương tác mang lại là rất lớn. Đầu tiên, số lượng tương tác giữa hai bên được giảm xuống một thời gian cố định, để có thể thực hiện xác minh ngoại tuyến và xác minh công khai. Cái trước đặt nền móng cho hiệu quả của Rollup và cái sau là khu vực ghép nối Cơ chế phát sóng của chuỗi khối có thể tránh lãng phí tài nguyên do nhiều tính toán gây ra.

Zcash xuất hiện sau đó cũng là lần đầu tiên lộ trình công nghệ SNARKs được sử dụng trên quy mô lớn, một đồng tiền riêng tư riêng biệt đã trở thành cầu nối giữa công nghệ ZK của mọi người và chuỗi khối.

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

Tổng quát hóa công nghệ ZK: bắt đầu từ L2 chuyên dụng, nhưng cuối cùng sẽ tỏa sáng trên toàn bộ chuỗi khối

Thật thích hợp khi mô tả công nghệ bằng chứng không có kiến ​​thức là nở muộn. Một thuật toán mật mã như vậy bắt nguồn từ những năm 1980 đã không thực sự bắt đầu phát huy tác dụng cho đến 30 năm sau. Với sự ra đời của các đồng tiền riêng tư thuật toán, công nghệ ZK cũng đã bắt đầu để kết hợp nhiều hơn với công nghệ blockchain.

Vào thời điểm này, Ethereum vẫn đang vật lộn trên bờ vực sinh tồn, nhưng việc mở rộng đã là một ý tưởng có kế hoạch dài hạn. SNARK, PLONK và STARK Và các phiên bản lặp kỹ thuật hơn khác đã xây dựng dòng sản phẩm ZK Roll up hiện đang thịnh vượng về mặt sinh thái.

Quyền riêng tư và mở rộng quy mô, Tornado Cash và L2, tương ứng, đã trở nên tương đương với các trường hợp sử dụng và thực hành của thuật ngữ kỹ thuật này.

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tín dụng hình ảnh: R 3 PO

Ba yêu cầu này xung đột với nhau, khả năng tương thích càng tốt thì khả năng tương thích càng tốt cần được tính toán ngoài chuỗi để cải thiện hiệu suất, việc theo đuổi phân cấp yêu cầu càng nhiều xác minh càng tốt trên chuỗi, điều này sẽ làm giảm hiệu suất và tăng chi phí tương thích; nếu chúng tôi muốn đạt được tốt nhất Khả năng tương thích tốt sẽ làm mất hiệu suất xác minh.

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

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tín dụng hình ảnh: R 3 PO

Trong Vấn đề ba người, Yun Tianming đã truyền đạt ba quy tắc sinh tồn trong khu rừng tối tăm cho đồng bào trái đất thông qua ba câu chuyện cổ tích quen thuộc với người Trisolaran:

  • Đầu hàng, che giấu bản thân và hạ thấp trình độ văn minh một cách giả tạo chẳng khác nào đưa ra tuyên bố an toàn cho những thợ săn ẩn nấp trong rừng;

  • Chạy trên đường, phát triển công nghệ động cơ cong và thoát khỏi suy nghĩ cố định rằng trái đất là nhà, nơi trái đất là nhà;

  • Chiến đấu, phát triển nền văn minh giữa các vì sao và đánh bại Trisolarans, nếu bạn gặp một nền văn minh mạnh hơn, bạn sẽ mạnh hơn khi bạn gặp kẻ mạnh hơn;

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Nguồn hình ảnh: L2Beat.com

Tính năng kiến thức gói thông tin của ZK rất phù hợp cho giao tiếp liên chuỗi, DEX chuỗi chéo và các lĩnh vực khác yêu cầu mã hóa kiến ​​thức, nhưng việc truyền thông tin cần phải mở.

Hãy lấy Loopring làm ví dụ. Mặc dù nó tự gọi mình là L2, nhưng nó là một giải pháp L2 cụ thể tập trung vào các giao dịch và thanh toán. Nó sử dụng tuyến đường zkSNARKs. Theo tài liệu chính thức của nó, nó đặt nhiều công việc xác minh hơn ngoài chuỗi , thông tin xác minh được lưu trữ trên chuỗi nên ngắn gọn nhất có thể.

Để có thông lượng cao nhất, chúng tôi chỉ hỗ trợ số dư ngoài chuỗi. Đây là số dư được lưu trữ trong cây Merkle. Người dùng có thể gửi và rút mã thông báo vào hợp đồng thông minh của chúng tôi và số dư của họ sẽ được cập nhật trong cây Merkle. Bằng cách này, chúng tôi có thể chuyển mã thông báo giữa những người dùng bằng cách cập nhật cây Merkle ngoài chuỗi mà không cần chuyển mã thông báo đắt tiền trên chuỗi.

Ưu điểm của điều này là một giải pháp ZK có thể hoạt động trong một lĩnh vực cụ thể được thiết kế. Về bản chất, nó sử dụng công nghệ ZK để sử dụng Roll up như một giải pháp ứng dụng duy nhất. Sự phát triển thực sự của mô hình này là sử dụng dYdX do StarkEx phát triển, đã trở thành một vòi theo dõi phái sinh.

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

ZK Rollup: Điểm giữa của giấc mơ

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tín dụng hình ảnh: R 3 PO

Lộ trình Rollup L2 không phải là chuỗi công khai cơ bản cũng không phải là ứng dụng lớp trên. Nó tồn tại rất kỳ lạ trong cấu trúc mã hóa tổng thể. Tương ứng, Ethereum thực sự là chuỗi duy nhất và phần còn lại của chuỗi công khai về cơ bản là Ethereum. xích.

L2 không dành riêng cho Ethereum, về lý thuyết, mạng sét của Bitcoin cũng là một loại L2, nhưng chỉ có L2 của Ethereum mới có thể được gọi là đường đua. phát triển sự khác biệt giữa ZK VM và ZK EVM, SNARK và STARK. Hiệu suất trực quan là có nhiều dự án và ý kiến ​​​​khác nhau.

Nhưng về bản chất, Rollup là tường thuật cơ bản của cấp chuỗi công khai phụ. Hoạt động của chính nó không thể trực tiếp tạo ra lợi nhuận mà phụ thuộc vào chức năng và tác động sinh thái của các ứng dụng trên đó. Ví dụ: zkSync tập trung vào thanh toán chuyển khoản Gitcoin và dYdX dựa vào StarkEx Chuỗi ứng dụng được xây dựng đang chứng minh sự giống nhau của chuỗi công khai của tường thuật tổng số.

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

zkSync: Hướng tới giải pháp ZK Snark tương thích với EVN

Thông tin cơ bản:

  1. Nhà phát triển: Matter Labs

  2. TVL: 52 M, 170 M (tối đa)

  3. Phí chuyển khoản: 0,1 U

  4. Mô hình kỹ thuật: ZK-SNARK

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Thông tin đội:

  1. Alex Gluchowski Đồng sáng lập và Giám đốc điều hành

  2. Danil Lugovskoi Kỹ sư phần mềm cao cấp

Lịch sử tài trợ:Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tín dụng hình ảnh: @ZK_Daily

Toàn cảnh sinh thái:Hiện tại, có tổng cộng hơn 70 ứng dụng. Sau khi 2.0 được khởi chạy, khả năng tương thích với các tính năng của EVM có thể dẫn đến số lượng ứng dụng tăng thêm

ZigZag:Sổ đặt hàng DEX dựa trên zkSync là một ứng dụng DeFi cũ hơn hỗ trợ zkSync.

  • ZigZag là một giao thức giao dịch sổ đặt hàng phi tập trung. Vì zkSync là một giải pháp mở rộng dựa trên kiến ​​trúc ZK Rollups, nên nó chỉ chuyển các tính toán và lưu trữ trạng thái sang chuỗi ngoại tuyến. Trong các khoản thanh toán, giao dịch đơn giản và ZigZag dành riêng cho ứng dụng khác có một lợi thế trong các trường hợp sử dụng và có thể cung cấp cho người dùng các dịch vụ giao dịch với phí gần như bằng 0. Đồng thời, ZigZag cũng cung cấp các dịch vụ như cầu nối và thị trường NFT (chưa trực tuyến).

  • ZigZag lần đầu tiên nhận được khoản quyên góp 100.000 đô la Mỹ vào tháng 10 năm ngoái và đã tung ra ba cặp giao dịch ETH/USDT, ETH/USDC và USDC/USDT trên zkSync 1.0 trong cùng tháng. Theo trang quyên góp Gitcoin, ZigZag cũng đã nhận được khoản quyên góp với tổng trị giá gần 300.000 đô la, khiến nó trở thành một trong những dự án phổ biến nhất trong vòng quyên góp thứ 12 của Gitcoin vào thời điểm đó.

  • Dịch vụ cầu nối ZigZag là một sản phẩm cốt lõi khác của dự án, hiện đang hỗ trợ trao đổi tài sản giữa Ethereum và zkSync, đồng thời cũng khởi chạy cầu nối chuỗi chéo từ zkSync sang Polygon.

  • ZigZag cũng sẽ ra mắt thị trường NFT trên mạng chính zkSync trước đó.

  • ZigZag cũng đã thiết lập ZigZag DAO khi công bố khởi chạy mã thông báo và sau đó DAO sẽ xác định khả năng sử dụng mã thông báo, chia sẻ doanh thu, v.v.

tiêu đề phụ

zkSync 1.0 

mức độ tương thích zkVM, chủ yếu được sử dụng để thanh toán và chuyển khoản, trường hợp sử dụng thành công nhất là hỗ trợ 98% kênh quyên góp Gitcoin.

tiêu đề phụ

zkSync 2.0 

zkEVM sẽ được hỗ trợ đầy đủ, zkSync 2.0 sẽ được tung ra trên mạng chính trong vòng 100 ngày và bằng chứng ZK cho các hợp đồng thông minh EVM trong môi trường sản xuất thời gian thực sẽ được tung ra vào mùa thu.

  • 2022.10.29 Giải pháp mở rộng lớp 2 Ethereum zkSync phát hành phiên bản 2.0 mainnet Baby Alpha

  • 2022.10.18 zkSync, giải pháp mở rộng Lớp 2 của Ethereum, đã hoàn thành Cột mốc 3: Hợp nhất bằng chứng (Milestone 3: Proof Merging) và phát hành trình xác thực đầu cuối zkSync trên mạng thử nghiệm. Thông qua bằng chứng hợp lệ được tích hợp, zkSync 2.0 được ra mắt chính thức trên Chạy zkEVM trên mạng thử nghiệm công khai và sẽ chứng minh ZK-rollup hoạt động đầy đủ 11 ngày trước khi ra mắt mạng chính.

  • 2022.9.7 Giải pháp mở rộng Ethereum Layer 2 đăng ký dự án mở mạng chính zkSync 2.0

  • 2022.8.31 Mạng thử nghiệm zkSync 2.0 đã hoàn thành việc nâng cấp phí động, phí này hiện được ước tính dựa trên tài nguyên hệ thống dự kiến ​​được yêu cầu và tính phí dựa trên mức sử dụng thực tế. Nâng cấp phí động bao gồm mô hình phí mới, hỗ trợ trừu tượng cho tài khoản Paymasters và hỗ trợ EIP-1559, đồng thời các cập nhật khác bao gồm hỗ trợ ngôn ngữ lập trình Vyper, cải tiến khả năng tương thích zkEVM, chức năng nhị phân plugin trình biên dịch Hardhat.

  • 2022.5.25 Cầu nối chéo lớp 2 Mạng thử nghiệm của Orbiter Finance đã thêm hỗ trợ cho giải pháp lớp thứ hai của Ethereum zkSync 2.0.

  • Cổng thông tin nâng cấp phiên bản 2.0 2022.3.10 zkSync, bao gồm hỗ trợ thanh toán phí Gas với bất kỳ mã thông báo ERC 20 nào không giới hạn ở ETH, thêm trình khám phá khối, v.v. Người dùng có thể đăng ký mã thông báo thử nghiệm để sử dụng thử.

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

StarkNet: Sau khi dYdX chạy Cosmos, StarkNet đã viết ZK-EVM với Cairo

Thông tin cơ bản:

  1. Nhà phát hành: StarkWare

  2. TVL: 1.26M, 1.5M (cao nhất)

  3. Mô hình kỹ thuật: ZK-STARK, chế độ ZKVM, ngôn ngữ lập trình riêng của nó Cairo không tương thích với solidity, nhưng được tối ưu hóa để viết ZK-EVM

  4. sản phẩm chính:

  • StarkEx, một dịch vụ ToB, cung cấp các dịch vụ công nghệ Rollup dành riêng cho từng ứng dụng, đã chính thức ra mắt trên mạng chính Ethereum từ năm 2020. Nó đã tương đối trưởng thành và đại diện tiêu biểu nhất là dYdX.

  • L2 StarkNet có mục đích chung có thể triển khai bất kỳ hợp đồng thông minh nào, không giống như StarkEx, vốn yêu cầu phát triển tùy chỉnh cho các ứng dụng cụ thể.

  • Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Nguồn hình ảnh: L2BEAT.COM

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Thông tin đội:

  • Lianchuang và Chủ tịch Eli Ben-Sasson đã nhận bằng Tiến sĩ về Khoa học Máy tính Lý thuyết từ Đại học Hebrew vào năm 2001, chuyên về mật mã và bằng chứng không kiến ​​thức. Ông là một trong những người phát minh ra hệ thống chứng minh STARK và đã tham gia thành lập một số dự án mã hóa, bao gồm cả Zcash. Trước khi đồng sáng lập StarkWare, Eli là giáo sư khoa học máy tính tại Viện Công nghệ Technion-Israel.

  • Lianchuang và CEO Uri Kolodny đã nhận bằng cử nhân khoa học máy tính của Đại học Hebrew và bằng MBA của MIT Sloan. Uri là một doanh nhân nối tiếp, người đã đồng sáng lập một số công ty công nghệ, bao gồm OmniGuide, một công ty thiết bị y tế và Mondria, một công cụ phát triển trực quan hóa dữ liệu lớn. Trước đây, Uri từng là EIR (tiền doanh nhân lưu trú) trong hai VC của Israel và cũng từng là nhà phân tích của McKinsey.

  • Lianchuang và kiến ​​trúc sư trưởng của nó, Tiến sĩ Michael Riabzev, là nghiên cứu sinh tiến sĩ do Eli Ben-Sasson hướng dẫn và là người đồng phát minh ra giao thức ZK-STARK.

  • Lianchuang và Nhà khoa học trưởng Alessandro Chiesa, và Eli Ben-Sasson đồng sáng lập Zcash và giảng dạy tại Khoa Khoa học Máy tính tại UC Berkeley.

Lịch sử tài trợ:Tổng cộng 225 triệu đô la tài chính đã được huy động.

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Đánh giá ngắn gọn:

  • Công nghệ STARK khó phát triển nhưng có triển vọng rộng lớn và có khả năng chống lại các cuộc tấn công lượng tử, đây là lý do chính khiến TVL của nó thấp nhưng có thể thu được nguồn tài chính khổng lồ;

  • Sự ra đi của dYdX đã gây ra thiệt hại nghiêm trọng cho nó, nhưng MakerDAO và Aave sẽ tiếp tục triển khai trong tương lai, về lâu dài, nó phù hợp với các ứng dụng có yêu cầu riêng về bảo mật;

  • StarkNet có thể thực hiện một lượng lớn tính toán, điều này rất có lợi cho việc phát triển trò chơi, chẳng hạn như @LootRealms, @TheDopeWars, v.v. đang chuẩn bị lên mạng;

  • Cuối cùng, StarkNet đã viết ZK-EVM đầu tiên lần đầu tiên, sớm hơn bất kỳ đối thủ cạnh tranh L2 tương thích với solidity nào. cho Có sẵn vào đầu Q1 năm sau, tập trung vào việc hỗ trợ tất cả các tính năng hiện có của StarkNet trong Cairo 1.0.

Phát triển sinh thái:

Vào ngày 29 tháng 11, StarkNet đã công bố nâng cấp Mainnet alpha lên v 0.10.2 và đưa ra lộ trình hiệu suất.

Tiến bộ chính sẽ bao gồm song song hóa trình tự sắp xếp, triển khai Rust mới của Cairo-VM, triển khai lại trình sắp xếp theo trình tự trong Rust và lộ trình hướng tới việc cải thiện TPS.

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

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

dYdX chạy đến chuỗi ứng dụng

  1. dYdX sẽ phát triển sổ đặt hàng ngoài chuỗi và công cụ khớp lệnh phi tập trung, đồng thời chuyển từ Ethereum sang chuỗi ứng dụng dành riêng cho dYdX, đồng thời có kế hoạch mở mã nguồn dYdX V 4 vào cuối năm nay.

  2. Giao thức giao dịch phái sinh trên Ethereum hiện thực hiện các yêu cầu mở rộng và chi phí thấp thông qua StarkEx trên StarkWare. Tuy nhiên, vào tháng 6 năm 2022, dYdX đã công bố kế hoạch V 4, kế hoạch này sẽ sử dụng SDK Cosmos và Tendermint để phát triển chuỗi ứng dụng của riêng mình.

  3. Thống kê của Messari cho thấy Uniswap và dYdX lần lượt chiếm 44% và 38% thị trường DEX.

  4. Về lý do tại sao nó rời khỏi hệ sinh thái Ethereum, dYdX đã đề cập rằng nhóm không hài lòng với tốc độ giao dịch hiện tại là 10 giao dịch mỗi giây và hiệu suất hủy/đặt hàng là 1000 giao dịch mỗi giây và việc mở rộng cần xây dựng khớp lệnh ngoại tuyến tập trung hệ thống, khác với Định vị của sàn giao dịch phi tập trung dYdX không khớp. Do đó, trong V 4, dYdX sẽ xây dựng một hệ thống đặt hàng ngoài chuỗi phi tập trung, có tính đến cả hiệu suất và khái niệm.

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

Bất biến: L2 trên L2

  1. Được thành lập vào năm 2018, Immutable sở hữu trò chơi đánh bài giao dịch NFT Gods Unchained và giải pháp mở rộng NFT ImmutableX (sử dụng giải pháp StarkWare) được thiết kế đặc biệt cho trò chơi Web3 và thúc đẩy sự phát triển của thế giới NFT thông qua xưởng phát triển trò chơi NFT Immutable Studios.

  2. Immutable X áp dụng sơ đồ lưu trữ dữ liệu Validium vì dữ liệu giao dịch được lưu trữ thông qua một giải pháp ngoài chuỗi có tên là Ủy ban tính khả dụng của dữ liệu, thay vì được lưu trữ hoàn toàn trên chuỗi.

  3. Immutable X là một giải pháp mở rộng cho NFT trên Ethereum. Nó sử dụng giải pháp của StarkWare. Immutable X có thể được coi là một thị trường NFT và một chuỗi Lớp 2 cùng một lúc. Immutable X có kế hoạch triển khai một số dự án trên StarkEx để đạt được khả năng tương tác và khả năng kết hợp DeFi phức tạp.

  4. Khi hiểu về Immutable X, cần phân biệt mối quan hệ giữa nền tảng Immutable X, thị trường Immutable X và token Immutable X. Nền tảng Immutable X là cơ sở hạ tầng cốt lõi cho phép người dùng gửi, rút ​​tiền, đúc và giao dịch trên Lớp 2; thị trường Immutable X cho phép người dùng đúc và giao dịch NFT mà không cần Gas, được phát triển bởi Immutable và được cung cấp bởi Immutable X để cung cấp kỹ thuật cơ bản hỗ trợ; Mã thông báo thế hệ X bất biến (IMX) là mã thông báo tiện ích ERC-20 của giao thức Immutable X, được sử dụng để thưởng cho người dùng vì những đóng góp của họ cho nền tảng.

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

Polygon Hermez

Nói một cách chính xác, sự kết hợp giữa đa giác và hermez xây dựng một giải pháp L2 và sự khác biệt giữa đa giác và đa giác Hermez sẽ không được phân biệt rõ ràng bên dưới.

Thông tin cơ bản:

  1. Nhà sản xuất: iden 3 + đa giác

  2. TVL: 309k, 29M (cao nhất)

  3. Mô hình công nghệ: ZK-SNARK, zkEVM sẽ sớm ra mắt, Polygon sẽ tích hợp sau khi mua lại để xây dựng một giải pháp L2 thống nhất.

  4. Thành phần chính:

  • Vào ngày 20 tháng 7, Polygon Hermez đã chính thức phát hành và mã nguồn mở tương đương EVM đầu tiên ZK L2 (ZKR).

  • Các thành phần chính của Polygon zkEVM Rollup là: thuật toán đồng thuận PoE, zkNode, zkProver, STARK và SNARK Proof Builder, Rollup cross-chain bridge.

  • Thuật toán đồng thuận PoE: Để cải thiện tính bảo mật, hiệu quả và phân cấp, thuật toán PoE thay thế thuật toán PoD của Hermez 1.0. PoE có thể được kết hợp với PoS để đảm bảo tính phân cấp và hiệu quả của việc tạo khối Polygon zkEVM Rollup. Bất kỳ công cụ khai thác nào chạy zkNode đều có thể trở thành Sequencer và bất kỳ công cụ khai thác nào chạy zkNode và zkProver đều có thể trở thành Trình tổng hợp. Trong số đó, phí gas của quyền tạo khối của người khai thác sẽ được giao dịch bằng $MATIC.

  • zkNode: zkNode là phần mềm mà bất kỳ người khai thác nào muốn tham gia vào mạng Rollup Polygon zkEVM đều cần phải chạy. zkNode sẽ thực hiện đồng bộ hóa, sắp xếp và xác minh tx. Ngoài ra, nếu bạn chỉ muốn biết trạng thái hoạt động của mạng chứ không muốn tham gia, bạn chỉ cần chạy nút chỉ đọc mà không cần chạy zkNode.

  • zkProver: zkProver là phần mềm mà bất kỳ người khai thác nào muốn tham gia vào mạng Rollup Polygon zkEVM với tư cách là Người tổng hợp đều cần phải chạy. zkProver, đúng như tên gọi, là một công cụ chứng minh tạo ra các bằng chứng zk. Về bản chất, zkEVM là một quá trình chuyển đổi trạng thái được biểu thị bằng một đa thức và zkProver bao gồm một Executor SM chính và nhiều Máy trạng thái phụ để chứng minh quá trình chuyển đổi trạng thái.

  • Trình tạo Bằng chứng STARK và SNARK: Hai Trình tạo Bằng chứng sẽ tạo ra các bằng chứng STARK và SNARK. STARK (PIL STARK) tạo ra các bằng chứng về sự thỏa mãn các ràng buộc đa thức của các đợt chuyển đổi trạng thái, trong khi SNARK (SnarkJS) tạo ra các bằng chứng có kích thước không đổi để xây dựng các bằng chứng STARK, có thể được xuất bản trên chuỗi với chi phí thấp hơn.

  • Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tín dụng hình ảnh: Đa giác

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Lịch sử tài trợ:

Vào tháng 8 năm 2021, Polygon đã mua lại Hermez Network, một giải pháp mở rộng Ethereum ZK Rollup do iden 3 phát triển, với giá 250 triệu đô la Mỹ, đổi tên thành Polygon Hermez và kết hợp nó vào hệ sinh thái Polygon.

Đánh giá ngắn gọn:

  • Đây là lần đầu tiên một mạng blockchain hợp nhất với một mạng blockchain khác, chứng minh khả năng kỹ thuật của cả hai đội;

  • Có tính đến cả hiệu suất và hiệu quả, thông qua các mô hình như POE, cố gắng cải thiện khả năng tương thích mà không làm tăng gánh nặng cho các nhà phát triển;

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

Aztec: Quyền riêng tư + DeFi + Tập hợp ba bông hoa L2

Thông tin cơ bản:

  1. Tổ chức phát hành: Aztec

  2. TVL: 3M, 14M (Tối đa)

  3. Mô hình kỹ thuật: ZK-SNARK, hệ thống bằng chứng cơ bản PLONK

  4. Đặc trưng:

  • Tập trung vào lĩnh vực quyền riêng tư, nó không thuộc về L2 theo nghĩa thông thường là xây dựng kịch bản phí gas thấp cho các ứng dụng khác, mà giống như sử dụng công nghệ L2 để đảm bảo quyền riêng tư;

  • Có ít sản phẩm defi hơn trên đó và nhiều sản phẩm chịu trách nhiệm chuyển khoản ẩn danh trên chuỗi tương tự như Tornoda Cash, hiện tại chỉ có zk.money có thể minh họa điểm này;

  • Để đảm bảo quyền riêng tư, có tùy chọn chứng chỉ một gói, điều này rõ ràng sẽ làm tăng phí gas và nhiều gói không thuận tiện như các giải pháp L2 khác;

  • Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Nguồn hình ảnh: L2BEAT.COM

Nền tảng đội:

  • Giám đốc điều hành Zac Williamson, tiến sĩ vật lý hạt của Đại học Oxford, một trong những người phát minh ra PLONK, từng là nhà vật lý tại CERN (Trung tâm nghiên cứu hạt nhân châu Âu) và T 2 K (một thí nghiệm vật lý hạt ở Nhật Bản).

  • Joe Andrews, giám đốc sản phẩm CPO, có bằng cử nhân khoa học vật liệu tại Đại học Hoàng gia Luân Đôn và từng làm CTO tại Radish, một công ty khởi nghiệp cung cấp dịch vụ ăn uống ở Thung lũng Silicon.

  • Nhà khoa học trưởng Ariel Gabizon, Tiến sĩ khoa học máy tính của Viện Weizmann ở Israel, từng là nhà nghiên cứu và kỹ sư tại Zcash và là một trong những người phát minh ra PLONK.

Lịch sử tài trợ:Tổng cộng đã hoàn thành hai vòng cấp vốn, với tổng số tiền tài trợ là 19,1 triệu đô la Mỹ, cần lưu ý rằng khoảng thời gian giữa hai lần cấp vốn rất dài và nhóm vẫn rất kiên nhẫn.

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Lịch sử phát triển:

  • 2022-09-16 Mạng Aztec đã hoàn thành tích hợp một phần với giao thức doanh thu Yearn. Hiện tại, người dùng có thể gửi tiền từ ZK Rollup của Aztec vào quỹ DAI và ETH của Yearn.

  • 2022-09-09 Hơn 6 triệu DAI đã được gửi vào Mạng Aztec, 1900 giao dịch Rollup đã được tạo trên mạng và có hơn 110.000 tài khoản.

  • 2022-08-16 Giao thức đa chữ ký riêng tư Nucleo đã bắt đầu thử nghiệm nội bộ trên giải pháp mở rộng và quyền riêng tư dựa trên ZK Rollup Mạng Aztec, sử dụng công nghệ mã hóa đa chữ ký và không kiến ​​thức, cho phép người dùng thực hiện các giao dịch riêng tư và DeFi riêng tư bằng cách xem chìa khóa, gây quỹ tư nhân và các hoạt động khác, và có khả năng kiểm toán.

  • 2022-07-07 Aztec Network đã công bố ra mắt Aztec Connect, một mạng không kiến ​​thức phi tập trung với quyền riêng tư của hợp đồng thông minh bản địa. Aztec Connect cho phép mọi người thêm quyền riêng tư vào các ứng dụng Ethereum thông qua hai công cụ dễ sử dụng, hợp đồng cầu nối (giao diện kết nối hợp đồng thông minh Ethereum với Aztec Rollup) và SDK (bộ công cụ giao diện người dùng). Ngoài ra, Aztec cũng đã khởi chạy lại zk.money với tư cách là một công cụ tổng hợp DeFi bảo mật, cho phép mọi người sử dụng các ứng dụng DeFi như Lido, Curve và Element, Aztec cho biết, hoàn toàn bảo mật và tiết kiệm chi phí lên tới 100 lần.

  • 2022-03-25 Trong SDK cập nhật, số lượng bằng chứng Tổng số nội bộ được tăng lên và bằng chứng Tổng số được gửi lần cuối có thể chứa 896 giao dịch.

  • 2022-02-28 Aztec đã đưa ra đề xuất tích hợp với Compound. Aztec có kế hoạch sử dụng zkRollup để xử lý các giao dịch của người dùng theo lô nhằm giảm chi phí gas của các hoạt động chẳng hạn như tiền gửi của người dùng trên L1.

Kiến trúc sản phẩm:

Hệ thống sản phẩm của Aztec là: dựa trên hệ thống chứng nhận PLONK cơ bản, nó thực hiện các giao dịch ẩn danh giữa các tài khoản và thực hiện các tương tác riêng tư với các dự án Defi thông qua việc ghép các hợp đồng cổng.

Kiến trúc bảo mật:

Mô hình UTXO được sử dụng để đảm bảo tính riêng tư Trong cấu trúc dữ liệu của Aztec, trạng thái của tất cả các ghi chú được lưu trữ trong hai Merkle Trees, một trong số đó là cây ghi chú (note tree) lưu trữ tất cả các ghi chú đã tạo và cây kia là nullifier tree ( Cây bị bỏ rơi), nơi lưu trữ tất cả các vé bị hủy.

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

Scroll: L2 có mục đích chung tương thích nhất được Ethereum Foundation hỗ trợ

  1. Tổ chức phát hành: Scroll

  2. Kiểm tra trạng thái mạng, chưa có dữ liệu

  3. Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Tình trạng tài chính:

Tình trạng tài chính:Theo người sáng lập, việc cấp vốn đã hoàn tất vào cuối năm 2021 và thông báo chính thức được đưa ra vào tháng 4 năm nay.

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

thành viên của đội:

  • Ye Zhang: Đại học tại Đại học Bắc Kinh. Anh ấy đã nghiên cứu về bằng chứng ZK từ năm 2018. Trước đó, anh ấy chủ yếu nghiên cứu về tăng tốc phần cứng bằng chứng zk và nguyên tắc thuật toán mật mã zk. Sau đó, bằng tiến sĩ của anh ấy cũng theo hướng zk, nhưng bây giờ anh ấy đã nghỉ việc và đang làm việc toàn thời gian cho Scroll.

  • Sandy Peng tốt nghiệp Đại học Cambridge và làm việc tại Ủy ban Điều tiết Chứng khoán Hồng Kông trong lĩnh vực nghiên cứu Năm 2017, anh bắt đầu làm việc trong lĩnh vực đầu tư cho các dự án Web3. Hiện tại, anh ấy phụ trách BD, tài chính, sinh thái và các vấn đề khác tại Scroll.

  • Haichen Shen học đại học tại Yaoban, Đại học Thanh Hoa và tốt nghiệp tiến sĩ tại Đại học Washington. Hướng nghiên cứu tiến sĩ của anh thiên về lĩnh vực hệ thống cơ bản (bao gồm GPU, PL, trình biên dịch và các hướng xuyên suốt khác). Sau khi tốt nghiệp, anh làm việc tại Amazon để xây dựng hệ thống máy học và các khía cạnh khác.

Đặc trưng:

  • Scroll sẽ giống với phương thức thực thi gốc của Ethereum hơn. Các nút khối cuộn sẽ trực tiếp sử dụng lại mã của các nút cấp đầu tiên của Ethereum. Khả năng tương thích ở cấp độ mã byte của Scroll hoàn toàn có thể thích ứng với các bản nâng cấp khác nhau của Ethereum, bao gồm cả các bản nâng cấp mã như EIP

  • Scroll sẽ hợp tác chặt chẽ với Ethereum Foundation, vì nhiều mã được chúng tôi cùng phát triển và họ có thể trực tiếp sử dụng bộ này trên mạng Ethereum trong tương lai.

Tiến độ phát triển:

  • Mạng thử nghiệm tiền alpha đã có một số ứng dụng được triển khai trước.Ví dụ: hợp đồng Uniswap v2 đã có thể được triển khai trên mạng thử nghiệm, cho phép người dùng thực hiện một số chức năng như chuyển giữa L1 ​​và L2, hoán đổi và các tương tác cấp người dùng khác. Tuy nhiên, nó hiện chỉ mở cho những người dùng đã tham gia danh sách trắng.

  • Mạng thử nghiệm alpha cho phép mọi người tương tác trên mạng thử nghiệm mà không cần sự cho phép. Ngoài ra, các nhà phát triển cũng có thể triển khai các hợp đồng trên mạng mà không cần sự cho phép. Alpha-testnet dự kiến ​​sẽ ra mắt trong thời gian tới.

  • Testnet hoàn chỉnh dự kiến ​​sẽ được tung ra vào cuối năm nay, khi đó nó sẽ hỗ trợ tạo ra một bằng chứng kiểm tra (proof) hoàn chỉnh, phần bằng chứng hiện tại đã bao gồm hầu hết quyền truy cập đọc và ghi opcode và lưu trữ, và một số mạch còn lại vẫn đang được phát triển do tiến độ của dự án đang dần hoàn thiện.

Trực giác hiểu được sự khác biệt giữa hai loại này, chủ yếu là do Khả năng mở rộng (khả năng mở rộng) là trọng tâm của STARK, được định hướng theo các kịch bản đồng thời cao và độ trễ thấp truyền thống hơn, đồng thời tính bảo mật của nó sẽ cao hơn, chẳng hạn như trò chơi, mạng xã hội, NFT và hướng khác. Sự phát triển tổng thể của nó là rất khó khăn.

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

ZK-EVM: tương thích với mọi thứ

Một chuỗi công khai khác sẽ thay thế Ethereum?

Hiện tại, có vẻ như Ethereum là một sự tồn tại đặc biệt không có đối thủ, sự cạnh tranh của các chuỗi công khai khác ngoài Bitcoin nằm ở hệ sinh thái chứ không phải ở các chỉ số kỹ thuật cụ thể như TPS. TPS, Tuy nhiên, mức độ phân cấp không thể được đảm bảo. Thời gian ngừng hoạt động thường xuyên rõ ràng là đắt hơn Phí gas. Thời gian chết là một vấn đề về trải nghiệm người dùng và đắt đỏ là một sai lầm tồi tệ.

Với sự sụp đổ của FTX, Solona, ​​người bị ràng buộc sâu sắc với nó, cũng đã mang đến tai họa cho Chiyu. SoBTC được tạo ra trên đó về cơ bản là một lời hứa. Cho dù có hỗ trợ trực tiếp BTC hay không, dường như không thể xác minh hiện tại, hay nói cách khác, hệ sinh thái Solona DeFi sắp tuyệt chủng.

Solana không bị đánh bại bởi Move public chain từ cùng trường, mà bị chết bởi bên liên quan lớn nhất, từ quan điểm này, nó không khác gì EOS, và cuối cùng sẽ trở thành cát bụi của lịch sử.

Sau trận chiến này, tất cả các chuỗi công cộng phải nghiêm túc xem xét khả năng tương thích với Ethereum, cho dù đó là tuyến EVM tương thích với sidechain của Ripple hay tranh chấp ZK VM/ZK EVM lớp 2, đó là một loại thách thức đối với chính Ethereum.

Hệ sinh thái phát triển EVM và Ethereum đủ thân thiện với các nhà phát triển. Các nhà phát triển chỉ cần phát triển cho EVM một lần và họ có thể dựa vào tính bảo mật của mạng chính Ethereum để đảm bảo an ninh và hiệu quả hoạt động của chính họ mà không cần phải suy nghĩ quá nhiều về việc điều chỉnh của các chuỗi công cộng khác. .

Solidity không hoàn hảo và EVM không thiếu chỗ để cải thiện, nhưng khi ngày càng có nhiều chuỗi công khai tương thích với EVM, giống như sự phát triển của iOS, với sự hỗ trợ của kiến ​​trúc chip ARM, nó có thể được sử dụng trực tiếp trên Mac, iPad và iPhone. Dòng chảy liền mạch, giúp giảm đáng kể khối lượng công việc của các nhà phát triển.

EVM tương thích với cấp độ ngôn ngữ Solidity. Các nhà phát triển sử dụng API do Infura cung cấp để tương tác với mạng chính và sử dụng Truffle để phát triển, thử nghiệm và triển khai các hợp đồng thông minh. Bộ công cụ phát triển có sẵn để hoàn thành việc điều chỉnh EVM .Sau đó, Dapp có thể chạy trên mọi chuỗi công khai tương thích với EVM.

Mô tả hình ảnh

Lịch sử phát triển tích hợp của ZK: Tổng quan về quá khứ, hiện tại và tương lai của đường đua

Mô tả hình ảnh

Nguồn: Vitalik.eth

  • ZK EVM, gần với chế độ hoạt động của EVM ban đầu, khả năng tương thích càng mạnh, nhưng hiệu suất sẽ bị hạn chế nghiêm trọng, chẳng hạn như Scroll,

  • Sự khác biệt giữa ZK VM và EVM gốc của Ethereum càng lớn, hiệu suất càng mạnh thì khả năng tương thích càng kém, chẳng hạn như Polyon Hermez.

phần kết

phần kết

Sự phát triển của lộ trình Ethereum đã đạt đến một thời điểm quan trọng. Rẽ trái sẽ dẫn đến một lộ trình mở rộng theo chiều ngang theo mô-đun và rẽ phải sẽ dẫn đến một mô hình xếp lớp theo chiều dọc.

Trong bối cảnh cạnh tranh hiện tại, khả năng tương thích TPS và EVM đã trở thành hai điều bắt buộc. Lộ trình Rollup chứng minh rằng hiệu quả của ZK có thể tính đến tính bảo mật của cấp chuỗi công khai và tốc độ bằng chứng của L2.

Tuy nhiên, về khả năng tương thích của EVM, nó tương thích với Ethereum ở mức độ nào đã trở thành một vấn đề nan giải, khả năng tương thích cao sẽ dẫn đến khủng hoảng hiệu suất, nhưng khả năng tương thích giảm cũng sẽ dẫn đến khủng hoảng bảo mật. Giải pháp Cario do StarkWare đưa ra phù hợp hơn, nhưng nó cũng đặt ra nhiều hơn những yêu cầu chung về khả năng phát triển.

Nói tóm lại, nó hiện là ngã tư đường của Ethereum, thậm chí là toàn bộ cấu trúc chuỗi công khai, chúng ta hãy chờ xem nó sẽ đi về đâu trong tương lai và liệu đây có phải là chủ đề chính của thập kỷ tới hay không.

Tuyên bố miễn trừ trách nhiệm: Có những rủi ro trên thị trường và đầu tư cần phải thận trọng. Độc giả được yêu cầu tuân thủ nghiêm ngặt luật pháp và quy định của địa phương khi xem xét bất kỳ ý kiến, quan điểm hoặc kết luận nào trong bài viết này.Nội dung trên không phải là bất kỳ lời khuyên đầu tư nào.

Tuyên bố miễn trừ trách nhiệm: Có những rủi ro trên thị trường và đầu tư cần phải thận trọng. Độc giả được yêu cầu tuân thủ nghiêm ngặt luật pháp và quy định của địa phương khi xem xét bất kỳ ý kiến, quan điểm hoặc kết luận nào trong bài viết này.Nội dung trên không phải là bất kỳ lời khuyên đầu tư nào.

Bài viết gốc, tác giả:R3PO。Tuyển dụng: Nhân viên kinh doanh phần mềm theo dự án report@odaily.email;Vi phạm quy định của pháp luật.

Odaily nhắc nhở, mời đông đảo độc giả xây dựng quan niệm đúng đắn về tiền tệ và khái niệm đầu tư, nhìn nhận hợp lý về blockchain, nâng cao nhận thức về rủi ro; Đối với manh mối phạm tội phát hiện, có thể tích cực tố cáo phản ánh với cơ quan hữu quan.

Đọc nhiều nhất
Lựa chọn của người biên tập