Nguồn | giao thức aztec

Tác giả | Zac

Xin chào mọi người 👋

Khi ngày càng có nhiều nhóm Lớp 2 triển khai công nghệ của họ vào mạng chính Ethereum và tiếp tục biến tầm nhìn mở rộng Ethereum thành hiện thực, bối cảnh trên Lớp 2 ngày càng trở nên hấp dẫn hơn.

Khi ngày càng có nhiều nhóm Lớp 2 triển khai công nghệ của họ vào mạng chính Ethereum và tiếp tục biến tầm nhìn mở rộng Ethereum thành hiện thực, bối cảnh trên Lớp 2 ngày càng trở nên hấp dẫn hơn.

Nhưng nếu người dùng chưa hòa nhập vào hệ sinh thái này và chưa hiểu các thuật ngữ liên quan đến Lớp 2, thì người dùng có thể giẫm phải sấm sét.

Đáng thất vọng là hầu hết mọi người giải thích các giải pháp Lớp 2 vì sở thích của họ và có xu hướng ủng hộ một công nghệ cụ thể (nghĩa là có, công nghệ mà giao thức của họ sử dụng!)

Vậy tôi khác họ như thế nào? Tuyệt đối không! Nhưng ít nhất tôi đang nói thẳng và không giả vờ vô tư, phải không?

tiêu đề phụ

Eth 1.0 có thông lượng giao dịch hạn chế, dẫn đến phí giao dịch cực kỳ cao.

Phí giao dịch ETH chủ yếu đến từ:

➤ Phí thay đổi lưu trữ trạng thái

➤ Phí dữ liệu giao dịch

➤ Tính phí

Các giải pháp lớp 2 ủy quyền một hoặc nhiều tác vụ trên cho mạng thứ cấp được xây dựng trên Ethereum.

Nói chung, có hai loại Lớp 2, mỗi loại có các yêu cầu và sự đánh đổi bảo mật riêng: bản tổng hợp lạc quan và bản tổng hợp zk. Và Aztec định nghĩa một loại thứ ba:tiêu đề phụ

Một bản tổng hợp lạc quan giống như một phiên bản thu nhỏ của Ethereum, bản thân nó là một mạng cũng có thể lưu trữ các hợp đồng và giao dịch thông minh.

Bản tổng hợp lạc quan sẽ phát định kỳ các khối giao dịch tới một hợp đồng thông minh trên Lớp 1. Các "khối" này bao gồm dữ liệu giao dịch hoàn chỉnh cho mọi giao dịch trong khối và không có gì khác. Hợp đồng thông minh trên Lớp 1 không thực hiện bất kỳ tính toán nào hoặc thực hiện bất kỳ cập nhật lưu trữ nào. Điều này làm giảm đáng kể chi phí xuất bản một khối.

Nó được gọi là tổng số lạc quan vì lược đồ giả định rằng mọi giao dịch đều hợp lệ theo mặc định - hợp đồng thông minh trên Lớp 1 không trực tiếp kiểm tra tính hợp lệ của chúng.

Ngược lại, nếu người dùng tin rằng một giao dịch là không phù hợp (ví dụ: giao dịch chi tiêu gấp đôi), họ có thể đưa ra "bằng chứng gian lận". Tại thời điểm này, các hợp đồng thông minh trên Lớp 1 có thể sử dụng dữ liệu khối được phát hành bằng cách tổng hợp để xác minh tính hợp lệ của các giao dịch bị nghi ngờ gian lận đó.

Hoạt động này rất tốn kém, nhưng chỉ được thực hiện nếu nghi ngờ có hành vi sai trái.

Nếu hành vi độc hại được xác nhận, thực thể đã phát hành khối tổng số lạc quan (thường được gọi là trình xác thực) sẽ mất một số tiền điện tử mà họ đã cam kết.

Các bản tổng hợp lạc quan dựa trên sự đồng thuận kinh tế này để đảm bảo các giao dịch là hợp pháp.

Mô tả hình ảnh

Chờ bằng chứng gian lận làm chậm đáng kể thời gian rút tiền

Chi phí chính để thực hiện một giao dịch trong một tổng số lạc quan là chi phí xuất bản dữ liệu giao dịch lên chuỗi. Tất cả các bản tổng hợp đều phải đối mặt với vấn đề về tính khả dụng của dữ liệu này, dù lạc quan hay ngược lại. Để ngăn quỹ của chính họ bị đóng băng, người dùng cần có quyền truy cập vào tất cả dữ liệu giao dịch của bản tổng hợp. Xuất bản những dữ liệu này trên Lớp 1 hoặc yêu cầu các giả định tin cậy bổ sung từ người dùng (ví dụ: tin rằng một số chuỗi bên sẽ cho phép người dùng truy cập những dữ liệu này).

Khi viết bài này, nếu các bản tổng hợp bạn đang sử dụng không đăng dữ liệu giao dịch của chúng trên chuỗi, điều đó có nghĩa là bạn chỉ có thể hy vọng rằng dịch vụ tập trung mà bạn dựa vào không đóng băng tiền của bạn.

lợi thế:

➤ Phong phú về chức năng. Kiến trúc của Eth1.0 có thể được sao chép và có thể hỗ trợ các hợp đồng thông minh.

➤ Dễ xây dựng và triển khai hơn zk-rollup

sự thiếu sót:

➤ Thời gian rút tiền lâu hơn. Mất khoảng một tuần kể từ khi giao dịch được thực hiện cho đến khi giao dịch được coi là 'an toàn và hợp lệ' (tức là không xuất trình được bằng chứng gian lận).

tiêu đề phụ

Tính toán và lưu trữ được xử lý bởi mạng thứ cấp.

L2 phát dữ liệu giao dịch lên mạng chính và cung cấp bằng chứng về tính hợp lệ - một bằng chứng toán học cho thấy giao dịch hợp lệ. Điều đó có nghĩa là, tổng hợp các giao dịch hàng loạt trên L2 thành một giao dịch lớn và gửi nó tới một hợp đồng thông minh trong L1.

Tiền tố "zk" trong zkRollups là viết tắt của "không kiến ​​thức". Tuy nhiên, zkRollups không cung cấp tính năng bảo vệ quyền riêng tư - tất cả các giao dịch đều được công khai theo mặc định, giống như các bản tổng hợp lạc quan. Nó được gọi là "zk" vì các bằng chứng hợp lệ như vậy thường được tạo bởi các hệ thống bằng chứng không có kiến ​​thức (ví dụ: ZK-SNARK hoặc ZK-STARK).

Ưu điểm của điều này là có ít chi phí hơn cho việc cập nhật và tính toán mục lưu trữ trên mạng chính Ethereum. Không cần phải giả định một cách lạc quan rằng giao dịch là hợp lệ và nếu chứng minh được là hợp lệ thì có thể xác định rằng giao dịch là hợp lệ.

Điều này có nghĩa là zkRollups có thời gian rút tiền nhanh hơn nhiều so với các bản tổng hợp lạc quan và yêu cầu ít giả định về độ tin cậy hơn.

Con voi trắng trong phòng là bằng chứng không có kiến ​​​​thức bổ sung một lượng chi phí tính toán đáng kinh ngạc cho một giao dịch.

Việc tạo bằng chứng không có kiến ​​thức cho một phép tính chậm hơn khoảng một triệu lần so với chạy phép tính trực tiếp! Đây là ước tính sơ bộ sẽ thay đổi tùy thuộc vào các tính toán liên quan, nhưng chính xác đối với các loại tính toán trong hợp đồng thông minh Solidity.

zkRollups xử lý việc này bằng cách ủy thác việc tạo bằng chứng cho "nhà cung cấp tổng số" bên thứ ba với tài nguyên máy tính khổng lồ. Người dùng sẽ dựa vào các nhà cung cấp dịch vụ bên thứ ba này để tạo giao dịch cho họ. Các nhà cung cấp tổng số có thể kiểm duyệt hoặc chạy trước các giao dịch, giống như những người khai thác Ethereum có thể. Càng cần nhiều sức mạnh tính toán, càng ít đối tượng có thể là nhà cung cấp tổng số, vì vậy chúng tôi phải giải quyết triệt để vấn đề xem xét từ kiến ​​trúc giao thức.

Khi nói đến việc chuyển các hợp đồng thông minh sang L2, chi phí tính toán cao đặt ra một số thách thức cho chúng tôi. Mục tiêu của chúng tôi là tương thích hoàn toàn với EVM. Để đạt được mục tiêu này, chúng tôi phải giải quyết vấn đề làm chậm 1 triệu lần này. EVM cực kỳ không thân thiện với SNARK, vì kích thước từ là 256 bit và vốn hỗ trợ SHA3 và các thuật toán băm không thân thiện với SNARK khác. Ngay cả việc ủy ​​quyền bằng chứng tính toán cho bên thứ ba có tài nguyên máy tính rộng lớn cũng có thể không đủ. Một giải pháp khả thi là viết trực tiếp thuật toán chứng minh zkSNARK vào silicon thông qua FPGA hoặc ASIC. Các nhà cung cấp tổng số sẽ cần phần cứng này để tạo bằng chứng.

Tạo một zk hóa ra chậm hơn nhiều so với chạy một chương trình bình thường. Plonk và Plookup mà chúng tôi đã nghiên cứu đã cải thiện tốc độ của SNARK theo một mức độ lớn, nhưng zkRollups vẫn có vấn đề về hiệu suất so với các bản tổng hợp lạc quan.

Thông thường, các ngôn ngữ lập trình SNARK và STARK đã phải thích ứng với sự thiếu hiệu quả của các hệ thống bằng chứng cơ bản của chúng. Hai ngôn ngữ này nói chung gặp khó khăn khi triển khai các vòng lặp có độ dài thay đổi và truy cập bộ nhớ động (chẳng hạn như mảng động và vectơ). Một số vấn đề này đã được giảm thiểu trong nghiên cứu Plookup mới nhất của chúng tôi, nhưng không phải tất cả.

Điều này có nghĩa là zkRollup có thể yêu cầu nhà phát triển chuyển hợp đồng của họ sang ngôn ngữ tùy chỉnh (chẳng hạn như ngôn ngữ Cairo của Starkware).

Một lợi ích của zkRollups không nhằm mục đích tương thích hoàn toàn với EVM là giao dịch rẻ hơn. Có thể giảm lượng dữ liệu quảng bá trên mỗi giao dịch cơ bản mà không cần phải tuân theo ngữ nghĩa EVM. Mạng Hermes làm được điều đó.

lợi thế:

➤ Chi phí giao dịch có thể rẻ hơn so với tổng số lạc quan

➤ Không cần chứng minh gian lận, thời gian rút tiền nhanh hơn

sự thiếu sót:

➤ Việc thêm các tính năng chậm hơn so với các bản tổng hợp lạc quan

➤ Dựa vào các bên thứ ba sử dụng phần cứng tùy chỉnh để tạo bằng chứng

Quyền riêng tưRollups

Aztec đã ra mắt bản cập nhật quyền riêng tư trên mạng chính vào tháng 3 năm 2021. Người dùng có thể bọc ETH thành một lá chắn bảo mật và gửi các giao dịch riêng tư thông qua zk.money, ví bảo mật trực tuyến của chúng tôi.

Kỹ thuật tổng hợp quyền riêng tư rất giống với kỹ thuật của zkRollups, nhưng mục đích của chúng hoàn toàn khác. Bản tổng hợp quyền riêng tư được thiết kế để đảm bảo quyền riêng tư mạnh mẽ cho người dùng L2. Người dùng giữ tiền ẩn danh. Khi thực hiện giao dịch, cả người gửi và người nhận đều ẩn danh và thậm chí số tiền chuyển cũng được mã hóa.

Đối với điều này, chúng tôi sử dụng Plonk, một hệ thống bằng chứng không kiến ​​thức tiên tiến nhất. Chúng tôi đã phát minh ra Plonk vào năm 2019 và nó nhanh chóng trở thành tiêu chuẩn ngành trong số các nhóm phát triển bằng chứng không kiến ​​thức trên chuỗi khối.

Đạt được quyền riêng tư theo thiết kế yêu cầu kiến ​​trúc tổng số rất khác so với zkRollup. Cách tiếp cận của chúng tôi là "ưu tiên quyền riêng tư" vì chúng tôi biết rằng việc trang bị thêm L2 công khai với quyền riêng tư có thể lập trình thường đòi hỏi phải hy sinh trải nghiệm người dùng hoặc tái cấu trúc triệt để toàn bộ giao thức.

Giải pháp bảo mật dựa trên Ethereum hiện tại là một bộ trộn. Bộ trộn có thể được sử dụng để ẩn danh số tiền của người dùng, nhưng có rất ít việc phải làm. Phiên bản đầy đủ của Quyền riêng tư L2 của chúng tôi sẽ bao gồm nhiều tính năng hơn:

➤ Hợp đồng thông minh bảo mật hoàn toàn có thể lập trình. Tiền tệ bảo mật sẽ có logic giao dịch nâng cao hơn

➤ Quyền sở hữu quyền riêng tư của NFT

➤ Các thuộc tính của NFT có thể được ẩn hoàn toàn và chỉ hiển thị với chủ sở hữu của NFT

➤ Chống rửa tiền và kiểm tra KYC có thể được lập trình trực tiếp vào mã thông báo bảo mật/dApps (ví dụ: mã thông báo KYC - người dùng có thể giao dịch với các đối tác đáng tin cậy mà không cần biết danh tính thực của họ)

➤ DeFi riêng tư! Đây là một chủ đề rộng lớn xứng đáng có cả một bài báo (sắp ra mắt!)

lợi thế:

lợi thế:

➤ Thực hiện các giao dịch riêng tư. Các hoạt động tài chính của người dùng sẽ không được bên thứ ba phân tích

➤ Các nhà cung cấp tổng số cũng không thể kiểm duyệt hoặc chạy trước các giao dịch của người dùng. Đối với những nhà cung cấp đó, mọi giao dịch giống như một chuỗi số ngẫu nhiên

➤ Không cần chứng minh gian lận, thời gian rút tiền ngắn

sự thiếu sót:

sự thiếu sót:

➤ Đắt hơn L2 công khai (nhưng rẻ hơn mạng chính) cho đến khi có dữ liệu/Eth 2.0 ra mắt

➤ Người dùng phải xây dựng bằng chứng zk giao dịch riêng tư tại địa phương và không thể ủy thác cho bên thứ ba. Do đó, hệ thống bằng chứng zk phải nhanh như chớp

➤ Cập nhật quyền riêng tư chậm hơn để thêm các tính năng so với zkRollup và cập nhật lạc quan do hạn chế về hiệu suất của bằng chứng xây dựng phía máy khách. Khả năng lập trình là có thể, nhưng sẽ mất một thời gian trước khi đạt được khả năng tương thích hoàn toàn với EVM.

tiêu đề phụ

Sự cạnh tranh trong lĩnh vực L2 rất khốc liệt và cần phải chịu áp lực lớn để đưa ra các giải pháp trước các đồng nghiệp và có được số lượng lớn người dùng.

Điều này có thể dẫn đến một số sai sót và nhu cầu bổ sung thêm các giả định về độ tin cậy vốn không rõ ràng đối với người dùng.

Vấn đề lớn nhất hiện nay là dữ liệu sẵn có.

Mỗi nhóm L2 đang nỗ lực làm việc để vượt qua ranh giới của công nghệ giải pháp mở rộng quy mô hiện tại. Mặc dù điều này thật đáng ngưỡng mộ, nhưng rất có thể họ đang sử dụng một số biệt ngữ kỹ thuật để che giấu những sai sót của giao thức.

Nếu người dùng đang cân nhắc sử dụng L2, họ nên đánh giá liệu một giải pháp có thể giải quyết thỏa đáng các vấn đề sau hay không:

➤ Làm thế nào để L2 này đạt được tính khả dụng của dữ liệu? Nếu phí giao dịch của họ thấp hơn 20 lần so với phí chuyển thông thường trên Ethereum, thì họ có thể không phát tất cả dữ liệu lên chuỗi

➤ Người dùng có thể đơn phương rút tiền từ L2 chỉ dựa trên thông tin được đăng lên mạng chính Ethereum không?

➤ Giao thức có mô tả kỹ thuật công khai để bên thứ ba xác minh không?

Ngoài ra, đối với zkRollups và privacy rollups, người dùng cũng cần quan tâm đến các vấn đề sau:

➤ Dữ liệu trên chuỗi có hợp lệ không? Tất cả dữ liệu này có được gửi dưới dạng đầu vào chung cho mạch tổng số không?

➤ L2 có dựa vào cụm máy tính tập trung để tạo các bản tổng hợp không? Nếu vậy, họ có kế hoạch gì để ngăn chặn kiểm duyệt và chạy trước? Có thể có bao nhiêu nhà cung cấp tổng số khi được phân cấp hoàn toàn?

tiêu đề phụ

Năm tới hứa hẹn sẽ là một khoảng thời gian rất thú vị trong không gian L2. Nhiều giao thức sẽ được triển khai chính thức trên mạng chính và nhiều năm R&D và công việc kỹ thuật trong ngành này sẽ mở ra thời điểm thịnh vượng nhất.

Đối với bản tổng hợp quyền riêng tư của Aztec, trọng tâm của chúng tôi là mang đến các hợp đồng thông minh về quyền riêng tư có thể lập trình cho mọi người. Các ngôn ngữ lập trình Plonk và Noir của chúng tôi được thiết kế để biên dịch các chương trình cấp cao thành các mạch ZKSNARK được tối ưu hóa cao đủ nhanh để xây dựng bằng chứng trong trình duyệt. Công nghệ này sẽ là nền tảng của kiến ​​trúc tổng hợp Aztec 3.0, người dùng sẽ có thể sử dụng các mạch tùy chỉnh Noir.

Bằng cách kết hợp quyền riêng tư có thể lập trình với khả năng mở rộng quy mô, chúng tôi đã thêm liên kết còn thiếu cuối cùng để biến công nghệ web3 trở thành xu hướng chủ đạo. Cuối cùng, web3 sẽ có thể cạnh tranh trên cùng một nền tảng với các công nghệ web2 truyền thống, với tiêu chuẩn đảm bảo quyền riêng tư mạnh mẽ. Chúng tôi hy vọng sẽ thúc đẩy một hệ sinh thái NFT và tiền điện tử tư nhân phát triển mạnh có thể tương tác với nhiều giao thức DeFi hơn và nhiều dịch vụ tài chính truyền thống hơn theo cách bảo vệ quyền riêng tư.

Chúng tôi đã ra mắt zk.money để cho mọi người thấy rằng đây không phải là một công nghệ tương lai điên rồ nào đó. Chúng tôi đã phát triển một số công nghệ chính để xây dựng dự án đầy tham vọng này và bây giờ chúng tôi sẽ bắt đầu làm việc chăm chỉ để hiện thực hóa tầm nhìn của mình.