Zk Sync: Một liên kết cần thiết để Ethereum được áp dụng rộng rãi

Tiêu đề gốc: "Giới thiệu | Zk Sync: Một liên kết cần thiết để áp dụng Ethereum trên quy mô lớn"
Nguồn gốc: Unitimes

Tóm tắt nội dung

A Một giải pháp mở rộng chuỗi công khai thành công không chỉ cần mang lại thông lượng giao dịch cao mà còn cần có khả năng đáp ứng nhu cầu của hàng triệu người dùng mà không phải hy sinh khả năng phân quyền. Các điều kiện tiên quyết để áp dụng tiền điện tử hàng loạt bao gồm: tốc độ, chi phí thấp, trải nghiệm người dùng mượt mà và bảo vệ quyền riêng tư.

Trong trường hợp không có đột phá về công nghệ, các giải pháp mở rộng hiện tại phải thực hiện những thỏa hiệp đáng kể đối với một hoặc nhiều yêu cầu này. May mắn thay, những tiến bộ gần đây trong việc chứng minh không có kiến thức đã mở ra những khả năng hoàn toàn mới để giải quyết vấn đề này.

Hôm nay, chúng tôi tại Matter Labs rất vui mừng được giới thiệu tầm nhìn của mình về ZK Sync: một phiên bản không cần tin cậy của Ethereum dựa trên bản mở rộng ZK Rollup và giải pháp bảo mật, đồng thời nhấn mạnh trải nghiệm người dùng và nhà phát triển hạng nhất. Chúng tôi cũng tự hào thông báo về việc phát hành devnet của ZK Sync.

ZK Sync đặt mục tiêu mang lại thông lượng cấp Visa cho hàng nghìn giao dịch mỗi giây (TPS) cho Ethereum đồng thời đảm bảo rằng tiền được lưu trữ như an toàn như tài khoản Lớp 1 cơ bản và duy trì mức độ kháng kiểm toán cao. Một khía cạnh quan trọng khác của giao thức là độ trễ cực thấp: các giao dịch trong ZK Sync mang lại hiệu quả kinh tế tức thì.

Chúng tôi nhận ra triết lý thiết kế đơn giản và sự phát triển giao thức tiến bộ, giới thiệu từng tính năng mới và mang lại những điều tốt nhất cho người dùng ở mọi bước . giá trị thực. Đó là lý do tại sao chúng tôi bắt đầu với nền tảng (bảo mật), trước tiên tập trung vào khả năng mở rộng cơ bản (chuyển mã thông báo), sau đó đến khả năng lập trình (hợp đồng thông minh) và cuối cùng là quyền riêng tư.

Vấn đề khó khăn nhất trong việc mở rộng blockchain

Trên thực tế, hiện nay, tiền điện tử vẫn chủ yếu được sử dụng để đầu cơ. Nếu không được áp dụng rộng rãi thực sự, đề xuất giá trị của các loại tiền Internet kỳ diệu này, DeFi, Web 3.0 và tất cả các cải tiến blockchain đầy hứa hẹn khác phần lớn sẽ vẫn chưa được thực hiện.

Khả năng mở rộng không chỉ là thông lượng giao dịch mà còn là liệu hệ thống blockchain có thể thực hiện những gì cần thiết để đáp ứng nhu cầu của hàng triệu người hay không người dùng. Đã chuẩn bị đầy đủ.

Hãy xem xét ba trong số những vấn đề khó khăn nhất mà việc mở rộng cuộc cách mạng blockchain sang áp dụng đại trà phải đối mặt.

Thử thách số 1: Duy trì sự phân quyền

Để đạt được sự chấp nhận trong thế giới thực, blockchain sẽ cần cung cấp thông lượng giao dịch cao hơn nhiều so với các blockchain phi tập trung nhất hiện có. Bitcoin có thể đạt 7 TPS, Ethereum chỉ đạt 15 TPS và riêng Visa có thể xử lý tổng cộng 2000 TPS đáng kinh ngạc.

Nhưng sự chậm chạp của Bitcoin và Ethereum là một tính năng chứ không phải là một lỗi! Khả năng cải thiện tốc độ bằng cách giảm số lượng trình xác nhận là rất nhỏ. Nhiều nút đầy đủ mà các mạng blockchain hàng đầu trong ngành tự hào là tài sản quan trọng nhất của các mạng này. Điều này mang lại khả năng phục hồi, thực sự làm cho blockchain khác biệt về cơ bản với các tổ chức tài chính hiện có.

Một phương pháp mở rộng phổ biến khác là yêu cầu mỗi trình xác thực chỉ kiểm tra một phần của chuỗi khối có liên quan thay vì tất cả lưu lượng truy cập. Nhưng điều này chắc chắn sẽ đưa ra những giả định bổ sung về độ tin cậy và đặt những hệ thống như vậy trên một nền tảng lý thuyết trò chơi rất lung lay.

Thử thách số 2: Thực hiện bảo vệ quyền riêng tư

Hầu hết mọi người không sẵn lòng chuyển phần lớn tài sản của mình vào một hộp kính trong suốt công khai. Cư dân ở các khu vực có rủi ro cao, chẳng hạn như Venezuela, khó có thể sử dụng tiền điện tử để thanh toán cho người bán địa phương nếu người nhận có thể biết ngay người trả tiền có bao nhiêu tiền. Nếu hồ sơ thanh toán có thể được liên kết với danh tính trong thế giới thực của người trả tiền, thì những người tạo và tiêu thụ nội dung khiêu dâm sẽ ít có khả năng chuyển sang tiền điện tử thay thế cho Paypal.

Hơn nữa, do thiếu tính bảo mật trên chuỗi, các vấn đề như GDPR (Quy định bảo vệ dữ liệu chung của EU) và CCPA (Người tiêu dùng California Quy định bảo vệ) Pháp luật về quyền riêng tư như Đạo luật quyền riêng tư sẽ đẩy các doanh nghiệp bình thường rời khỏi các chuỗi khối công cộng và hướng tới các trung tâm tài chính và thanh toán tập trung hơn, biến xã hội ngày càng không có tiền mặt của chúng ta thành một cơn ác mộng về quy định.

Quyền riêng tư là điều kiện tiên quyết tuyệt đối để được áp dụng rộng rãi.

Tuy nhiên, việc đạt được sự bảo vệ quyền riêng tư trên các chuỗi khối công khai là cực kỳ khó khăn do các yếu tố sau:

Tính năng bảo vệ quyền riêng tư phải được bật theo mặc định dưới dạng tính năng giao thức đầy đủ. Trích lời Vitalik Buterin: "Nếu mô hình quyền riêng tư của bạn có bộ ẩn danh cỡ trung bình thì bạn thực sự có bộ ẩn danh cỡ nhỏ. Nếu mô hình quyền riêng tư của bạn có bộ ẩn danh cỡ nhỏ thì bạn chỉ có một bộ ẩn danh cỡ nhỏ. Nhóm ẩn danh gồm 1. Chỉ có nhóm ẩn danh toàn cầu mới thực sự đáng tin cậy và an toàn."

Để bật tính năng bảo vệ quyền riêng tư theo mặc định, mặc dù chi phí tính toán sẽ tăng đáng kể nhưng chi phí giao dịch riêng tư phải rất thấp.
Các mô hình quyền riêng tư phải hỗ trợ khả năng lập trình vì các trường hợp sử dụng trong thế giới thực không chỉ yêu cầu chuyển tiền: các mô hình quyền riêng tư này còn yêu cầu khôi phục tài khoản, nhiều chữ ký, giới hạn thanh toán, v.v.

Thử thách số 3: Đáp ứng mong đợi về trải nghiệm người dùng

Thực tế thật tàn khốc: Người quản lý sản phẩm biết rất rõ rằng so với các sản phẩm cạnh tranh, người dùng thường thích trải nghiệm người dùng dễ sử dụng hơn, nhẹ hơn và thỏa mãn hơn và thường bỏ qua những rủi ro lâu dài. Cần phải có một sức mạnh phi thường để thu hút người dùng từ cái quen thuộc sang cái mới. Đối với một số người, đề xuất giá trị của tiền điện tử (quyền sở hữu hoàn toàn, khả năng chống kiểm duyệt, tiền tệ lành mạnh) là đủ và những người này có thể đã sẵn sàng tham gia. Ngoài những người đã ở trong không gian, chúng ta sẽ cần hàng triệu, nếu không phải hàng tỷ, để đạt được quy mô cần thiết để tiền điện tử thực hiện đúng lời hứa của mình.

Để thu hút hàng triệu người dùng phổ thông, chúng tôi cần cung cấp cho họ trải nghiệm người dùng không chỉ đáp ứng những kỳ vọng này mà còn vượt xa trải nghiệm của họ . Chúng tôi phải cung cấp những khả năng mới trong khi vẫn duy trì tất cả các tính năng tiện lợi của các sản phẩm Internet truyền thống mà người dùng đã quen thuộc. Mọi thứ phải nhanh chóng, đơn giản, dễ hiểu và có khả năng chịu lỗi.

Lời hứa của ZK Sync: không cần tin cậy, bảo mật và nhanh chóng

Trong bài đánh giá kỹ thuật này, chúng ta sẽ khám phá kiến trúc cấp cao, các lựa chọn thiết kế và các tính năng liên quan của giao thức được đề xuất.

1) Bảo mật: Bắt nguồn từ ZK Rollup

ZK Sync được xây dựng dựa trên khái niệm ZK Rollup.

Tóm lại, ZK Rollup là giải pháp mở rộng Lớp 2 trong đó tất cả số tiền được giữ bằng hợp đồng thông minh trên chuỗi chính, trong khi tính toán và lưu trữ được xử lý ngoài chuỗi. Đối với mỗi khối Rollup, bằng chứng không có kiến thức (SNARK) về quá trình chuyển đổi trạng thái được tạo và xác minh bởi hợp đồng thông minh chuỗi chính. SNARK này chứa bằng chứng về tính hợp lệ của từng giao dịch trong khối Tổng hợp. Ngoài ra, các bản cập nhật dữ liệu công khai của từng khối được xuất bản thông qua mạng chuỗi chính dưới dạng dữ liệu cuộc gọi chi phí thấp.

Cấu trúc này cung cấp những đảm bảo sau:

Trình xác thực tổng hợp không bao giờ có thể làm hỏng dữ liệu trạng thái hoặc lấy cắp tiền (không giống như chuỗi bên).

Ngay cả khi người xác thực ngừng hợp tác, người dùng luôn có thể rút tiền từ Rollup vì dữ liệu luôn có sẵn (khác với Huyết tương).

Nhờ có bằng chứng xác thực, cả người dùng lẫn bên thứ ba đáng tin cậy đều không cần giám sát Rollup trực tuyến. (không giống như các hệ thống chống gian lận như kênh thanh toán hoặc tổng hợp lạc quan). Bài viết xuất sắc này đi sâu vào những lợi thế vượt trội của bằng chứng xác thực so với bằng chứng gian lận.

Nói cách khác, ZK Rollup kế thừa nghiêm ngặt các đảm bảo bảo mật của Lớp 1 cơ bản. Khía cạnh này, cùng với sự phong phú của cộng đồng Ethereum và cơ sở hạ tầng hiện có, là yếu tố quyết định trong quyết định của chúng tôi tập trung vào các giải pháp Lớp 2 thay vì cố gắng xây dựng Lớp 1 của riêng mình.

Để hiểu rõ hơn về khái niệm này, vui lòng tham khảo video hướng dẫn của chúng tôi trong các phiên ZCon1 và Dappcon, cũng như một video tại zeroknow.fm Podcast giới thiệu Matter Labs hoặc các bài viết giải thích kỹ thuật ban đầu của chúng tôi. Những độc giả tò mò có thể khám phá sự khác biệt giữa ZK Rollup và Optimistic Rollup trong bài viết này.

Với sự tài trợ từ Ethereum Foundation, Matter Labs đã nghiên cứu công nghệ ZK Rollup trong năm qua. Kể từ khi phát hành nguyên mẫu đầu tiên, chúng tôi đã viết lại hoàn toàn kiến trúc ban đầu cũng như mạch điện ZK. Phiên bản mới nhất kết hợp phản hồi mà chúng tôi nhận được từ cộng đồng và triển khai nhiều cải tiến về hiệu suất và khả năng sử dụng.

2) Tính sẵn có: giao dịch theo thời gian thực

Chúng tôi mong đợi không có kiến thức Sự phát triển hiện tại của công nghệ chứng minh có thể đạt được thời gian chứng minh đến mức các khối ZK Rollup có thể được tạo trong vòng một phút. Sau khi bằng chứng khối được gửi đến chuỗi chính và được xác minh bằng hợp đồng thông minh Rollup, tất cả các giao dịch trong khối đều được xác nhận và được đảm bảo chống tổ chức lại cấp Lớp 1.

Tuy nhiên, trong các kịch bản thanh toán bán lẻ và trực tuyến, ngay cả độ trễ khối 15 giây của Ethereum cũng có thể là quá dài. Làm thế nào chúng ta có thể cải thiện nó?

Đây là cách thực hiện: Chúng tôi đã giới thiệu biên nhận giao dịch tức thì (biên lai tx tức thì) trong ZK Sync.

Người xác minh được chọn tham gia tạo khối ZK Sync sẽ phải gửi một số tiền lớn đến hợp đồng ZK Sync trên chuỗi chính Tiền gửi ký quỹ. Người xác thực sẽ chạy giao thức đồng thuận để cung cấp cho người dùng xác nhận giao dịch dưới giây, nghĩa là giao dịch của người dùng sẽ được đưa vào khối ZK Sync tiếp theo và được ký bởi đa số tuyệt đối gồm 2/3 người tham gia đồng thuận (được tính theo vốn chủ sở hữu).

Nếu một khối ZK Sync mới được tạo và gửi tới chuỗi chính, khối đó sẽ không thể khôi phục được. Tuy nhiên, nếu khối không chứa giao dịch đã cam kết thì khoản tiền đặt cọc bảo đảm giữa người ký nhận ban đầu và người ký khối mới sẽ bị cắt giảm. Nút giao này chắc chắn sẽ nắm giữ hơn 1/3 vốn chủ sở hữu (cầm cố). Điều này đảm bảo rằng ít nhất 1/3 số tiền đặt cọc có thể bị cắt giảm và chỉ những người dùng có ác ý mới bị trừng phạt.

Một phần số tiền bị cắt giảm sẽ được sử dụng để bồi thường cho người nhận giao dịch, phần còn lại sẽ bị tiêu hủy.

Hình phạt chém có thể được kích hoạt bởi chính người dùng hoặc bởi bất kỳ người tham gia trung thực nào trong sự đồng thuận ký vào biên lai giao dịch ban đầu. Người sau sẽ có động cơ tự nhiên để báo cáo gian lận: nếu họ tham gia vào quá trình tạo khối tiếp theo, họ cũng sẽ bị cắt giảm. (Lưu ý của tác giả: Nếu những người tham gia trung thực không báo cáo và tiếp tục tham gia vào sự đồng thuận tiếp theo, thì nếu họ được báo cáo sau đó, vì những người tham gia trung thực tiếp tục đạt được sự đồng thuận dựa trên khối có vấn đề (nghĩa là khối có vấn đề đã được xác nhận), Sau đó anh ta cũng sẽ bị chém) Vì vậy, có ít nhất một người tham gia trung thực tham gia đồng thuận là đủ để phát hiện gian lận.

Hãy tóm tắt bản chất của giao thức này. Chúng tôi coi giao dịch không có xác nhận là giao dịch nhận ngay khối ZK Sync chưa được xuất bản lên mạng chính Ethereum.

Việc chi tiêu gấp đôi cho các giao dịch không xác nhận trên ZK Sync chỉ xảy ra trong vài giây ngắn ngủi trước khi bằng chứng khối được xuất bản lên chuỗi chính .có thể thực hiện được trong khoảng thời gian tính bằng phút. Ngoài ra, trình xác thực độc hại sẽ cần lừa người dùng chấp nhận giao dịch không xác nhận trị giá 1/6 số tiền đặt cọc (lưu ý của tác giả: trong bối cảnh, 1/6 là lỗi văn thư và phải là 1/3).

Từ góc độ của người mua và người bán, giao dịch không cần xác nhận trông như thế này:

1. Tức thì
2. Giao dịch có thể hoàn nguyên nhưng chỉ trong vòng vài phút
3. Giao dịch chỉ có thể được khôi phục nếu một cuộc tấn công được thực hiện nhằm vào hàng nghìn người bán đồng thời thay vì tấn công từng người một.

Đây là một cải tiến lớn về trải nghiệm người dùng và tính bảo mật so với thanh toán bằng thẻ tín dụng! Hãy nhìn nó từ góc độ của những người chơi khác nhau:

Các cửa hàng trực tuyến bán hàng hóa thực sẽ xác nhận đơn đặt hàng của người dùng ngay lập tức, nhưng sẽ không dễ bị tổn thương bởi vì họ sẽ đợi giao dịch được xác nhận đầy đủ trước khi vận chuyển.

Các cửa hàng truyền thống thực sự không bị ảnh hưởng bởi các cuộc tấn công khi khối lượng xử lý thấp. Ngay cả khi bạn bán Macbook dựa trên một biên lai giao dịch tức thời, tất cả những gì bạn phải chịu tổn thất sẽ là sự thông đồng của hàng nghìn kẻ tấn công phân tán về mặt vật lý làm việc cùng nhau và đại đa số những người xác nhận.

Nhưng hãy tìm hiểu sâu hơn một chút. Để định lượng rủi ro, bảo đảm kinh tế được cung cấp bằng ký quỹ có thể được so sánh với bảo đảm thanh toán được cung cấp bởi chuỗi khối loại bằng chứng công việc (xem một bài viết hay của Nic Carter). Ví dụ: Coinbase xem xét việc hoàn tất hoạt động gửi tiền trên Ethereum cần yêu cầu 35 xác nhận giao dịch. Chi phí khôi phục giao dịch bằng cách thuê GPU từ AWS để thực hiện cuộc tấn công 51% trong 10 phút là khoảng 60.000 USD. Giả sử số tiền đặt cọc là hàng triệu đô la, việc hoàn trả biên lai ZK Sync ngay lập tức sẽ đắt hơn đáng kể. Do đó, các khoản thu ngay lập tức thường có mục đích kinh tế tương tự như ETH hoặc thậm chí tốt hơn.

Điều quan trọng cần lưu ý là biên lai giao dịch tức thì cũng ngăn cản việc tổ chức lại khối ETH vì tính hợp lệ của chúng độc lập với Ethereum. Ngoài ra, bảo đảm thanh toán của Ethereum được kết hợp hữu cơ với bảo đảm thanh toán của ZK Sync.

3) Hoạt động: Chống lại sự kiểm duyệt và các cuộc tấn công DoS

Bất kỳ kế hoạch mở rộng nào cũng có một đặc điểm không thể tránh khỏi: hầu hết người dùng không thể tham gia xác minh toàn bộ khối lượng giao dịch. Điều này dẫn đến nhu cầu về vai trò chuyên nghiệp trong các giải pháp mở rộng quy mô Lớp 2 (chẳng hạn như trình xác thực trong Plasma hoặc Rollups, trung tâm trong Lightning Network, v.v.). Và nhu cầu về bảo mật và hiệu suất của những vai trò này mang đến rủi ro về việc tập trung hóa và kiểm duyệt.

Thiết kế của ZK Sync giải quyết vấn đề này bằng cách đưa ra hai vai trò khác nhau theo thời gian: người xác thực (Validators) và người giám hộ (Người giám hộ).

Người xác thực

Người xác thực chịu trách nhiệm để đóng gói các giao dịch thành các khối và tạo ra bằng chứng không có kiến thức cho chúng. Họ tham gia vào quá trình đồng thuận và do đó phải gửi một phần tiền đặt cọc để hỗ trợ việc nhận giao dịch ngay lập tức. Các nút của họ phải chạy trong môi trường an toàn với băng thông internet tốt. Ngoài ra, họ có thể chọn tạo bằng chứng không có kiến thức tại nhà cung cấp đám mây theo yêu cầu không an toàn.

Người xác thực sẽ được thưởng thông qua phí giao dịch, có thể ở dạng bất kỳ mã thông báo giao dịch nào (để mang lại sự thoải mái tốt nhất cho người dùng cuối ).

Để đảm bảo sự đồng thuận nhanh chóng của ZK Sync, chỉ có một số lượng người xác thực hạn chế (từ 30 đến 100, tùy thuộc vào từng trường hợp cụ thể). Phân tích). Tuy nhiên, hãy nhớ rằng trình xác thực của ZK Rollup hoàn toàn không đáng tin cậy. Trong ZK Sync, trình xác thực độc hại không thể xâm phạm tính bảo mật của hệ thống cũng như không thể đánh lừa những người xác thực trung thực vi phạm điều kiện gạch chéo. Do đó, không giống như Optimistic Rollup, một bộ nhỏ các trình xác nhận có thể được chuyển đổi thường xuyên bởi những người bảo vệ. Đồng thời, miễn là hơn 2/3 số người xác nhận được chỉ định trung thực và hoạt động bình thường thì tính tồn tại của sự đồng thuận có thể được đảm bảo.

Người giám hộ

Đội bảo vệ bao gồm phần lớn chủ sở hữu mã thông báo ZK Sync, những người đóng góp cổ phần mã thông báo của họ để chỉ định người xác thực. Mục đích của người bảo vệ là giám sát lưu lượng giao dịch ngang hàng, phát hiện hành vi kiểm duyệt, v.v. Động lực của những người gác cổng là bảo vệ giá trị cổ phần của họ (tức là các mã thông báo đã đặt cọc) bằng cách đảm bảo rằng ZK Sync vẫn có khả năng chống DoS và chống kiểm duyệt.

Mặc dù lính canh cần luôn giữ chìa khóa biểu quyết của mình trực tuyến nhưng lính canh trong ZK Sync sẽ không bao giờ phải đối mặt với việc bị chém hoặc đánh cắp. Rủi ro ( chìa khóa quyền sở hữu có thể vẫn còn trong kho lạnh). Họ cũng có thể chọn chỉ giám sát một phần nhỏ lưu lượng truy cập. Do đó, các nút của họ có thể chạy trên máy tính xách tay thông thường hoặc máy chủ đám mây, tức là không cần máy chủ xác thực chuyên dụng.

Người bảo vệ sẽ nhận được phần thưởng phí giao dịch từ người xác thực được chỉ định và những phần thưởng này sẽ được phân phối cho người bảo vệ dưới dạng mã thông báo gốc ZK Sync . Thu nhập và vốn chủ sở hữu của họ sẽ bị khóa trong thời gian dài, khuyến khích họ ưu tiên giá trị dài hạn của mã thông báo ZK Sync hơn là lợi nhuận ngắn hạn.

4) Khả năng lập trình và bảo vệ quyền riêng tư: các khối xây dựng

Đạt được khả năng lập trình hiệu quả và quyền riêng tư là phần khó khăn nhất trong tầm nhìn của ZK Sync. Nó đòi hỏi một hệ thống chứng minh không có kiến thức phù hợp cũng như thiết kế và triển khai đáng tin cậy khung lập trình hợp đồng thông minh.

4.1. RedShift: SNARK minh bạch và phổ quát

Trở ngại lớn nhất trong việc triển khai các hợp đồng thông minh dựa trên bằng chứng không có kiến thức (dù là minh bạch hay bảo vệ quyền riêng tư) là thiếu các hệ thống bằng chứng không có kiến thức chung và hiệu quả với cấu trúc đệ quy. Groth 16, hiện là ZK SNARK hiệu quả nhất, yêu cầu quy trình thiết lập niềm tin dành riêng cho ứng dụng và mất hiệu quả đáng kể khi áp dụng đệ quy. Mặt khác, STARK dựa trên FRI đòi hỏi các kỹ năng chuyên môn cao để xây dựng và thiếu các thành phần đệ quy hiệu quả của bất kỳ mạch đa năng nào.

Đây là một trong những động lực chính để chúng tôi nghiên cứu RedShift: RedShift là một sơ đồ cam kết đa thức minh bạch hoàn toàn mới dựa trên FRI , hiệu quả và SNARK rất ngắn gọn. Chúng tôi hiện đang tích hợp đánh giá ngang hàng và phản hồi của cộng đồng trước khi triển khai RedShift như một phần cốt lõi của ZK Sync.

Redshift là SNARK có mục đích chung cho phép chúng tôi dễ dàng chuyển đổi bất kỳ chương trình nào thành một mạch không có kiến thức có thể chứng minh được. Các mạch không đồng nhất (ví dụ: các hợp đồng thông minh khác nhau) có thể được tích hợp đệ quy vào SNARK. RedShift có thể an toàn sau lượng tử do nó hoàn toàn phụ thuộc vào các hàm băm chống va chạm.



4.2. Kẽm: Khung hợp đồng thông minh bằng chứng không có kiến thức

Trong thiết kế mô hình lập trình của ZK Sync, chúng tôi cam kết kết hợp các mục tiêu sau:

Khả năng mở rộng cao
Hỗ trợ cả hợp đồng thông minh công cộng và tư nhân
Điều quan trọng nhất là: đường cong học tập phẳng và phát triển dễ dàng

Nhiều dự án xuất sắc có chung một số mục tiêu nhưng không có dự án nào hứa hẹn đạt được tất cả các mục tiêu cùng một lúc. Ví dụ: ZkVM cung cấp một máy ảo cho các hợp đồng thông minh bảo mật chung, nhưng nó dựa trên cơ chế chống đạn và không hỗ trợ tổng hợp bằng chứng ngắn gọn. ZEXE có thiết kế bảo vệ quyền riêng tư hạng nhất, nhưng nó đòi hỏi sự hiểu biết sâu sắc về các chi tiết và sự đánh đổi của các bằng chứng không có kiến thức, điều này làm tăng đáng kể rào cản gia nhập đối với cộng đồng lập trình viên rộng lớn hơn. Ngoài ra, các khung lập trình không có kiến thức đơn giản hơn thiếu tính biểu cảm hoặc tính năng để phát triển hợp đồng thông minh an toàn.

Điều này khiến chúng tôi quyết định tạo ra Zinc: một hợp đồng thông minh an toàn, đơn giản và hiệu quả được thiết kế đặc biệt cho các hợp đồng thông minh dựa trên bằng chứng không có kiến thức . Khung lập trình và môi trường thời gian chạy dựa trên máy ảo.

Các ưu tiên thiết kế chính của SyncVM là tính bảo mật và thân thiện với nhà phát triển. Ngôn ngữ lập trình để xác định hợp đồng tuân thủ nghiêm ngặt cú pháp Rust đơn giản và có các thành phần lập trình được mượn từ Move in Solidity và Libra. Nó không yêu cầu các nhà phát triển phải hiểu sâu sắc các chi tiết của lĩnh vực chứng minh không có kiến thức để viết các chương trình hiệu quả và an toàn. Trên thực tế, các nhà phát triển sử dụng Rust, Solidity, C++ hoặc các ngôn ngữ lập trình đơn giản hơn có thể học Zinc trong một ngày.

Hãy xem xét một phần chương trình được viết cho khung Bellman trong Rust (ZEXE có API tương tự) và phần tương tự được viết bằng Zinc :

Zin v0.1 sẽ được phát hành vào tháng 1 năm 2020.

Trang web phát triển ZK Sync v0.1 hiện đã trực tuyến!
Trang web phát triển ZK Sync v0.1 hiện đã trực tuyến. Phạm vi của bản phát hành này được giới hạn ở việc chuyển mã thông báo ETH và ERC20 trong một cài đặt của một nhà điều hành.

Xem SDK ZK Sync
Duyệt mã trên github
Dùng thử bản demo

v0 Bản phát hành của .1 Devnet là bước đầu tiên trong một quá trình lâu dài nhằm hiện thực hóa tầm nhìn của ZK Sync. Điều này sẽ đòi hỏi những nỗ lực nghiên cứu, thử nghiệm và phát triển đáng kể. Mặc dù một số thiết kế có thể thay đổi khi chúng tôi tìm hiểu và kết hợp phản hồi, nhưng chúng tôi hứa rằng tầm nhìn dành cho ZK Sync sẽ vẫn như cũ: ZK Sync sẽ đóng vai trò là cầu nối đến không gian tiền điện tử cho hàng triệu người dùng. Chúng tôi đã đặt tiêu chuẩn cao cho trải nghiệm người dùng và sẽ chứng minh rằng công nghệ không kiến thức có thể mang lại trải nghiệm giống như web mà không phải hy sinh giá trị mang tính cách mạng của blockchain.

Bạn có thể theo dõi tiến trình của chúng tôi trên Twitter, kênh Telegram công khai của Matter Lab hoặc đăng ký nhận bản tin của chúng tôi (bản tin này thỉnh thoảng được xuất bản) .

Nếu bạn muốn đóng góp cho sự phát triển của ZK Sync, vui lòng liên hệ với chúng tôi. Chúng tôi luôn tìm kiếm các kỹ sư và nhà mật mã tài năng để tham gia vào nhóm của chúng tôi.

Người dịch: Shuanghua

Liên kết gốc: https://medium.com/matter-labs/introducing-zk-sync-the-missing-link-to-mass-adoption-of-ethereum-14c9cea83f58

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia