ZK Sync: Một liên kết quan trọng trong việc phổ biến Ethereum
Lưu ý của biên tập viên: Bài viết này đến từNhững người đam mê Ethereum (ID: ethfans)Những người đam mê Ethereum (ID: ethfans)
bản tóm tắt
, Tác giả: Alex Gluchowski, Người dịch & Người soát lỗi: Min Min & A Jian, được Odaily sao chép với sự ủy quyền.
tiêu đề cấp đầu tiên
bản tóm tắt
Để giải quyết thành công vấn đề về khả năng mở rộng của chuỗi công khai, không chỉ là cải thiện thông lượng giao dịch. Cái gọi là khả năng mở rộng có nghĩa là hệ thống phải có khả năng đáp ứng nhu cầu của hàng triệu người dùng mà không phải trả chi phí phân quyền. Điều kiện tiên quyết để phổ biến tiền điện tử trên quy mô lớn là tốc độ nhanh, 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á công nghệ, các giải pháp khả năng mở rộng hiện có phải thực hiện các thỏa hiệp đáng kể đối với một hoặc nhiều điều kiện. May mắn thay, những tiến bộ gần đây trong công nghệ bằng chứng không kiến thức đã mang đến cho chúng ta nhiều giải pháp mới hơn nữa.
Hôm nay, chúng tôi, nhóm Matter Labs, rất vui mừng được công bố tầm nhìn về ZK Sync: một giải pháp bảo mật và khả năng mở rộng đáng tin cậy dựa trên ZK Rollup, được thiết kế để mang lại trải nghiệm tuyệt vời cho người dùng và nhà phát triển. Chúng tôi cũng tự hào thông báo rằng mạng thử nghiệm dành cho nhà phát triển của ZK Sync đang hoạt động.
ZK Sync nhằm mục đích tăng thông lượng trên Ethereum lên hàng nghìn giao dịch mỗi giây như VISA, đồng thời đảm bảo rằng tiền được an toàn khi chúng được lưu trữ trong tài khoản cơ bản và duy trì mức độ kiểm duyệt 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 trên ZK Sync có kết quả kinh tế ngay lập tức.
Chúng tôi đồng ý với quan điểm về thiết kế tinh gọn và ủng hộ việc cải tiến giao thức theo cách từng bước, giới thiệu từng chức năng một theo thứ tự để mỗi bước mang lại giá trị thiết thực nhất cho người dùng. Đó là lý do tại sao chúng tôi bắt đầu với những điều cơ bản (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 đó là khả năng lập trình (hợp đồng thông minh) và cuối cùng là quyền riêng tư.
Tổng quan về các tính năng của ZK Sync:
Hoàn toàn bằng với bảo mật của L1
Tốc độ xác nhận giao dịch dưới giây
Chống kiểm duyệt, chống tấn công DoS
Bảo vệ quyền riêng tư Hợp đồng thông minh
tiêu đề cấp đầu tiên
Thách thức lớn nhất của việc mở rộng chuỗi khối
Các đề xuất giá trị của các khái niệm chuỗi khối như tiền tệ Internet, DeFi và Web 3.0 không thể được hiện thực hóa ở mức độ lớn cho đến khi chúng thực sự được phổ biến rộng rãi.
Khả năng mở rộng không chỉ đề cập đến thông lượng giao dịch mà còn là liệu một hệ thống chuỗi khối có thể đáp ứng nhu cầu của hàng triệu người dùng hay không.
Hãy cùng xem xét ba thách thức lớn nhất trong việc đưa cuộc cách mạng blockchain đến với công chúng.
tiêu đề phụ
Để mở rộng quy mô các chuỗi khối trong cuộc sống thực, thông lượng giao dịch của các chuỗi khối phi tập trung nhất hiện nay là một mức độ tồi tệ hơn. Mạng Bitcoin có thể xử lý 7 giao dịch mỗi giây, mạng Ethereum có thể xử lý 15 giao dịch mỗi giây - và VISA có thể xử lý trung bình 2000 giao dịch mỗi giây.
Tuy nhiên, với Bitcoin và Ethereum, sự kém hiệu quả là một đặc điểm, không phải lỗi! Chỉ cần giảm số lượng trình xác nhận có thể dễ dàng tăng tốc độ xử lý giao dịch. Là hai mạng blockchain hàng đầu, một số lượng lớn các nút đầy đủ trên Bitcoin và Ethereum là tài sản quan trọng nhất của họ. Vì vậy, điều này mang lại khả năng phục hồi cho chuỗi khối, về cơ bản phân biệt nó với các tổ chức tài chính hiện có.
Một giải pháp mở rộng quy mô phổ biến khác là yêu cầu mỗi trình xác thực chỉ xác thực một phần lưu lượng truy cập 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 các giả định về niềm tin bổ sung và nền tảng lý thuyết trò chơi mà hệ thống này dựa vào sẽ trở nên vô cùng mong manh.
tiêu đề phụ
Thử thách thứ hai: Đạt được quyền riêng tư
Hầu hết mọi người không muốn chuyển một lượng lớn tài sản trong tầm nhìn đầy đủ. Cư dân của các khu vực không ổn định — ví dụ như Venezuela — không có khả năng sẵn sàng thanh toán bằng tiền điện tử nếu nó ngay lập tức tiết lộ số tiền họ có. Những người sản xuất hoặc tiêu thụ nội dung người lớn (ví dụ: nội dung khiêu dâm) sẽ không thể sử dụng tiền điện tử để thay thế cho Paypal nếu danh tính của họ có thể bị tiết lộ tại thời điểm thanh toán.
Ngoài ra, nếu không có tính bảo mật trên chuỗi, các quy định về quyền riêng tư như Quy định chung về bảo vệ dữ liệu (GDPR) và Đạo luật về quyền riêng tư của người tiêu dùng California năm 2018 (CCPA) có thể khiến các doanh nghiệp thông thường rời khỏi chuỗi công khai để chuyển sang các trung tâm tài chính và thanh toán toàn cầu tập trung hơn. xã hội không tiền mặt thành cơn ác mộng giám sát.
Quyền riêng tư là điều bắt buộc để phổ biến blockchain.
Quyền riêng tư phải là cấu hình mặc định của giao thức. Trích lời Vitalik Buterin, "Nếu tập hợp ẩn danh của mô hình quyền riêng tư có kích thước vừa phải, thì nó thực sự rất nhỏ. Nếu tập hợp ẩn danh của mô hình quyền riêng tư nhỏ, thì thực tế nó chẳng khác gì con số không. Chỉ có tập hợp ẩn danh toàn cầu mới thực sự Mạnh mẽ và đáng tin cậy."
Để các giao dịch bí mật trở thành lựa chọn mặc định, phí giao dịch cho các giao dịch bí mật phải rất thấp, nhưng về mặt kỹ thuật, các giao dịch bí mật chắc chắn sẽ mang lại chi phí tính toán cao.
Mô hình quyền riêng tư phải có thể lập trình được vì các trường hợp sử dụng trong thế giới thực không bị giới hạn đối với chuyển tiền: khôi phục tài khoản, đa chữ ký và giới hạn chi tiêu cũng được yêu cầu, trong số những trường hợp khác.
Thách thức 3: Đạt được trải nghiệm người dùng mong muốn
Thực tế phũ phàng: Các nhà quản lý sản phẩm biết rằng người dùng thích những trải nghiệm nhẹ hơn, nhẹ hơn mang lại sự hài lòng ngay lập tức, nhưng lại bỏ qua những rủi ro về lâu dài. Cần rất nhiều lực để lôi kéo người dùng chuyển từ thứ quen thuộc sang thứ mới. Đối với một số người, đề xuất giá trị của tiền điện tử (quyền tự chủ triệt để, khả năng chống kiểm duyệt và tiền ổn định) là đủ hấp dẫn. Nhưng những người này có khả năng đã tham gia vào thị trường. Để tiền điện tử thực hiện đúng như lời hứa ban đầu của chúng, cơ sở người dùng của chúng cần phải lên tới hàng triệu, nếu không muốn nói là hàng tỷ.
tiêu đề cấp đầu tiên
Lời hứa của ZK Sync: Không tin cậy, Bảo mật, Nhanh chóng
Bài viết này giải thích kiến trúc, nguyên tắc thiết kế và các thuộc tính mong muốn của giao thức được đề xuất của chúng tôi. Tất nhiên, quá trình thuyết minh không thể thiếu thuyết minh công nghệ.
tiêu đề phụ
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.
Nói tóm lại, ZK Rollup là một giải pháp mở rộng quy mô hai lớp, trong đó tất cả tiền được lưu trữ trong các hợp đồng thông minh trên chuỗi chính, trong khi việc tính toán và lưu trữ được thực hiện ngoài chuỗi. Mỗi khi một khối Tổng số mới được tạo, một bằng chứng không kiến thức (SNARK) về quá trình chuyển đổi trạng thái sẽ được tạo và gửi tới hợp đồng trên chuỗi chính để xác minh. SNARK này chứa bằng chứng về tính hợp lệ của tất cả các giao dịch trong khối Tổng số. Ngoài ra, bản cập nhật dữ liệu công khai của mỗi khối sẽ được xuất bản trên chuỗi chính dưới dạng calldata giá rẻ.
Kiến trúc này cung cấp các đảm bảo sau:
Trình xác thực cuộn lên không bao giờ có thể làm hỏng trạng thái hoặc ăn cắp tiền (không giống như sidechains).
Ngay cả khi trình xác thực không hợp tác, người dùng vẫn có thể khôi phục tiền trên Rollup vì Rollup có sẵn dữ liệu (không giống như Plasma).
Nhờ có bằng chứng hợp lệ, cả người dùng và bên thứ ba đáng tin cậy đều không cần theo dõi các khối Tổng số trực tuyến để ngăn chặn gian lận (không giống như các hệ thống sử dụng thông tin xác thực sai, chẳng hạn như kênh thanh toán hoặc tổng số lạc quan). Đây là một bài báo chất lượng cao (Ghi chú của biên tập viên: Đối với bản dịch tiếng Trung, hãy xem siêu liên kết ở cuối bài viết "Bằng chứng xác thực so với bằng chứng sai sự thật"), thảo luận sâu về những lợi thế vượt trội của bằng chứng hợp lệ so với bằng chứng sai sự thật.
Nói cách khác, ZK Rollup kế thừa hoàn toàn đảm bảo an ninh của chuỗi cơ bản. Chính với sự đảm bảo an ninh này, cùng với cộng đồng Ethereum phong phú và cơ sở hạ tầng hiện có, chúng tôi đã quyết định tập trung vào các giải pháp lớp thứ hai thay vì cố gắng xây dựng chuỗi cơ bản của riêng mình.
Để hiểu rõ hơn về khái niệm này, hãy xem các bài thuyết trình của chúng tôi tại ZCon1 và Dappcon, podcast của chúng tôi về Matter Labs trên zeroknowledge.fm và các bài đăng giải thích về công nghệ trước đây của chúng tôi. Độc giả tò mò cũng có thể đọc bài viết này (Nhóm biên tập viên: xem "Bản tổng hợp lạc quan so với ZK, hãy kiểm tra" ở cuối bài viết để biết các siêu liên kết) để hiểu sự khác biệt giữa Bản tổng hợp ZK và Bản tổng hợp lạc quan.
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 và mạch ZK. Bản phát hành 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à thực hiện nhiều cải tiến về khả năng sử dụng và hiệu suất.
hoàn toàn không tin tưởng
Có bảo đảm bảo mật giống như chuỗi cơ bản (Ethereum)
Sự chắc chắn được xác nhận bởi Ethereum sau lần xác nhận đầu tiên
tiêu đề phụ
2. Khả năng sử dụng: giao dịch thời gian thực
Chúng tôi hy vọng những phát triển mới nhất trong công nghệ ZK Proof sẽ rút ngắn thời gian chứng minh, đưa thời gian tạo khối ZK Rollup xuống dưới một phút. Sau khi bằng chứng khối được gửi tới chuỗi chính và được xác minh trong hợp đồng thông minh Rollup, tất cả các giao dịch trong khối này sẽ được hoàn thiện và bảo vệ bởi khả năng chống lại việc tổ chức lại chuỗi của Lớp 1.
Tuy nhiên, độ trễ khối chỉ 15 giây trên Ethereum là một khoảng thời gian dài đối với thanh toán trực tuyến và bán lẻ. Làm thế nào chúng ta có thể làm tốt hơn?
Giải pháp là giới thiệu biên lai giao dịch tức thời (biên lai tx tức thì) trong ZK Sync.
Người xác thực chọn tham gia sản xuất khối ZK Sync phải gửi một khoản tiền gửi bảo đảm khá lớn cho hợp đồng thông minh ZK Sync trên mạng chính. Sự đồng thuận đạt được bởi những người xác nhận cung cấp cho người dùng xác nhận dưới giây rằng các giao dịch của họ được đưa vào khối ZK Sync tiếp theo và được ký bởi đa số (2/3) những người tham gia đồng thuận (có trọng số theo cổ phần).
Nếu một khối ZK Sync mới được tạo và gửi tới chuỗi chính, thì không thể rút khối đó. Tuy nhiên, nếu khối không chứa các giao dịch đã cam kết, khoản tiền gửi bảo mật của người xác thực đã ký vào biên nhận ban đầu và khối mới sẽ bị mất. Khoản tiền gửi bảo đảm được cam kết bởi những người xác nhận này phải vượt quá 1/3 tổng số tiền. Nói cách khác, hình phạt sẽ bao gồm 1/3 hoặc nhiều hơn số tiền đặt cọc và chỉ những người xác nhận độc hại mới bị trừng phạt.
Một phần số tiền bị tịch thu sẽ được sử dụng để bồi thường cho người nhận giao dịch và phần còn lại sẽ bị đốt cháy.
Cơ chế cắt giả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 đồng thuận trung thực nào đã ký vào biên lai giao dịch ban đầu. Những người sau có động cơ cố hữu để kích hoạt cơ chế cắt giảm: nếu họ tham gia vào vòng sản xuất khối tiếp theo, họ cũng có thể bị trừng phạt. Do đó, chỉ cần một trong số những người tham gia đồng thuận trung thực là đủ để phát hiện gian lận.
Hãy giải thích lại: Trong ZK Sync, chúng tôi đã thiết kế chế độ giao dịch không xác nhận, có nghĩa là giao dịch được kèm theo dữ liệu giao dịch tức thì và biên nhận sẽ trỏ đến khối ZK Sync chưa được xuất bản trên chuỗi .
Chỉ có vài phút để chi tiêu gấp đôi một giao dịch không xác nhận trên ZK Sync trước khi bằng chứng khối được xuất bản lên chuỗi chính. Ngoài ra, nếu một trình xác minh độc hại muốn lừa người dùng tin rằng giao dịch của họ đã trở thành giao dịch không xác nhận, thì họ phải chuẩn bị cho việc 1/6 dự trữ bảo mật sẽ bị tịch thu.
Từ quan điểm của người mua và người bán, giao dịch không xác nhận là:
thời gian thực
Có khả năng đảo ngược, nhưng chỉ trong vài phút
Chỉ có thể đảo ngược nếu tấn công đồng thời hàng nghìn người bán chứ không phải riêng lẻ
So với thanh toán bằng thẻ tín dụng, ZK Sync đã cải thiện đáng kể trải nghiệm người dùng và bảo mật!
Bây giờ hãy xem xét nó từ quan điểm 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 ngay lập tức xác nhận đơn đặt hàng cho người dùng, nhưng miễn nhiễm với các cuộc tấn công vì người bán chờ xác nhận đầy đủ trước khi giao hàng.
Các cửa hàng truyền thống gần như không thể bị tấn công khi lượng giao dịch thấp. Ngay cả khi bạn bán một chiếc Macbook kèm theo biên lai ngay lập tức, thì sẽ cần hàng nghìn kẻ tấn công phối hợp ở các địa điểm khác nhau để khởi động cuộc tấn công và dựa vào sự thông đồng của phần lớn những người xác thực để thành công.
Hãy đi sâu hơn một chút. Để định lượng rủi ro, chúng ta có thể so sánh đảm bảo kinh tế do ký quỹ cung cấp với đảm bảo thanh toán do chuỗi khối PoW cung cấp (xem bài viết của Nic Carter tại đây) . Ví dụ: phải mất 35 lần xác nhận giao dịch trước khi Coinbase chấp nhận khoản tiền gửi Ethereum. Nếu một cuộc tấn công 51% được thực hiện bằng cách thuê GPU thông qua các dịch vụ đám mây của Amazon, sẽ mất 10 phút để rút giao dịch và chi phí khoảng 60.000 USD. Giả sử khoản ký gửi bảo đảm trị giá hàng triệu đô la, chi phí rút biên lai ZK Sync ngay lập tức sẽ cao hơn nhiều. Do đó, tính chắc chắn về mặt kinh tế của các khoản thu ngay lập tức này cũng nhiều như Ethereum.
Tóm tắt: Giao dịch trực tiếp
Sự chắc chắn về mặt kinh tế của xác nhận giao dịch dưới giây tương đương với Ethereum
Được xác nhận bởi Ethereum trong vài phút
tiêu đề phụ
3. Khả năng phản ứng: Chống kiểm duyệt và chống tấn công DoS
Một thuộc tính cần thiết của các sơ đồ mở rộng quy mô là hầu hết người dùng không thể tham gia xác minh tất cả các giao dịch. Do đó, tất cả các giải pháp mở rộng Lớp 2 đều yêu cầu vai trò chuyên dụng (trình xác thực trên Plasma và Rollup, Lightning hub, v.v.). Loại vai trò này có yêu cầu cao về bảo mật và hiệu suất, mang lại rủi ro về tập trung và kiểm duyệt.
Để giải quyết vấn đề này, ZK Sync giới thiệu hai vai trò khác nhau trong thiết kế: người xác minh và người giám hộ.
Trình xác thực
Trình 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 bằng chứng không có kiến thức cho các khối đó. Họ tham gia vào cơ chế đồng thuận và do đó phải gửi một khoản tiền gửi bảo đảm để tạo biên lai giao dịch ngay lập tức. Các nút trình xác thực phải hoạt động trong môi trường an toàn với băng thông mạng tốt. Ngoài ra, họ có thể tạo bằng chứng không có kiến thức trên nền tảng đám mây không an toàn nếu muốn.
Người xác thực được thưởng bằng phí giao dịch, được thanh toán bằng mã thông báo đang được giao dịch (thuận tiện tối đa cho người dùng cuối).
Để nhanh chóng đạt được sự đồng thuận của ZK Sync, số lượng người xác minh bị hạn chế (theo phân tích của chúng tôi, con số này phù hợp hơn trong khoảng từ 30 đến 100). Nhưng đừng quên rằng trình xác thực ZK Rollup hoàn toàn không đáng tin cậy. Trên ZK Sync, trình xác minh độc hại không thể phá hủy tính bảo mật của hệ thống cũng như không đánh lừa được trình xác minh trung thực để kích hoạt cơ chế cắt giảm. Do đó, không giống như tổng hợp lạc quan, người bảo vệ hệ thống (Guardian) có thể thường xuyên thay thế một số lượng nhỏ người xác minh. Đồng thời, tính sống động được đảm bảo miễn là 2/3 số người xác nhận được chỉ định là trung thực và hoạt động.
người giám hộ
Phần lớn chủ sở hữu mã thông báo ZK Sync chỉ định người xác thực bằng cách đặt cược chia sẻ mã thông báo của họ sẽ trở thành người giám hộ. 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 kiểm duyệt và đảm bảo rằng những người xác nhận kiểm duyệt không được chỉ định. Để bảo vệ tài sản thế chấp của họ khỏi bị chém, người giám hộ phải đảm bảo rằng ZK Sync có khả năng chống DoS và không bị kiểm duyệt.
Mặc dù các khóa biểu quyết thường được lưu trữ trực tuyến, nhưng điều này không có nguy cơ bị người giám hộ trên ZK Sync cắt xén hoặc đánh cắp (các khóa quyền sở hữu được lưu trữ lạnh). Người giám hộ sau đó 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 giám hộ có thể chạy trên máy tính xách tay hoặc máy chủ đám mây thông thường, nghĩa là không cần cung cấp dịch vụ xác minh chuyên dụng.
Người bảo vệ được thưởng phí xác thực dưới dạng mã thông báo gốc ZK Sync. Thu nhập và tiền gửi của nó sẽ bị khóa trong một khoảng thời gian dài hơn, do đó thúc đẩy sự đánh giá cao lâu dài của mã thông báo ZK Sync.
Hai vai trò: người xác nhận và người giám hộ, cả hai đều được khuyến khích bằng phí giao dịch
Trình xác thực chạy cơ chế đồng thuận và tạo bằng chứng
Chống kiểm duyệt bởi Guardians chạy trên phần cứng hàng hóa
tiêu đề phụ
4.1 RedShift: SNARK phổ trong suốt
Để hiện thực hóa các hợp đồng thông minh dựa trên bằng chứng không kiến thức (cho dù nó minh bạch hay bảo vệ quyền riêng tư), trở ngại lớn nhất là thiếu một hệ thống bằng chứng không kiến thức chung và hiệu quả (hệ thống bằng chứng ZK chung hiệu quả với thành phần đệ quy) được thực hiện bởi đệ quy thành phần. . Groth16 là ZK SNARK hiệu quả nhất, nhưng nó yêu cầu một bộ khởi tạo đáng tin cậy dành riêng cho từng ứng dụng và không hiệu quả khi đệ quy. Mặt khác, các STARK dựa trên FRI yêu cầu kỹ năng xây dựng chuyên môn cao và thiếu thành phần đệ quy hiệu quả cho các mạch chung tùy ý.
Đây cũng là một trong những động lực chính của chúng tôi để phát triển RedShift: để tạo ra một loại SNARK mới minh bạch, hiệu quả và ngắn gọn từ sơ đồ cam kết đa thức dựa trên giao thức FRI. Chúng tôi hiện đang trải qua đá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à một SNARK có mục đích chung cho phép chúng tôi chuyển đổi các chương trình tùy ý thành các mạch ZK 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ạo thành SNARK theo cách đệ quy. RedShift chỉ dựa vào các hàm băm chống va chạm và do đó có thể được coi là an toàn hậu lượng tử.
Minh bạch: không cần thiết lập đáng tin cậy
Có thể được coi là an toàn sau lượng tử: dựa trên mật mã đã được chứng minh
Universal: phù hợp với các chương trình phổ thông (điều này ngược lại với STARK)
tiêu đề phụ
4.2 Zinc: Khung hợp đồng thông minh không kiến thức
Trong quá trình thiết kế mô hình khả trình của ZK Sync, chúng tôi cam kết đạt được các mục tiêu sau:
Khả năng mở rộng cao
Hỗ trợ hợp đồng thông minh công khai và hợp đồng thông minh riêng tư
Điểm quan trọng nhất: đường cong học tập bằng phẳng và quá trình phát triển dễ dàng
Nhiều dự án xuất sắc đã đạt được một số mục tiêu này, nhưng cho đến nay chưa có dự án nào có thể đạt được tất cả các mục tiêu trên. Ví dụ: ZkVM cung cấp một máy ảo cho các hợp đồng thông minh có mục đích chung, nhưng dựa trên khả năng 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ư tuyệt vời, nhưng nó đòi hỏi sự hiểu biết sâu sắc về các chi tiết cụ thể và sự đánh đổi của mạch bằng chứng không có kiến thức, do đó, ngưỡng dành cho các lập trình viên là rất cao. Các khung lập trình bằng chứng không kiến thức đơn giản hơn khác thiếu tính biểu cảm và chức năng cần thiết để phát triển hợp đồng thông minh an toàn.
Do đó, chúng tôi đã quyết định tạo ra Zinc - một khung lập trình an toàn, đơn giản và hiệu quả cũng như môi trường thời gian chạy dựa trên máy ảo được thiết kế cho các hợp đồng thông minh dựa trên bằng chứng không có kiến thức.
Ưu tiên thiết kế của SyncVM chủ yếu là 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 được đơn giản hóa và mượn các yếu tố lập trình hợp đồng thông minh từ Solidity và Libra's Move. Các nhà phát triển không cần phải hiểu sâu về các chi tiết kỹ thuật của lĩnh vực bằng chứng không kiến thức để viết các chương trình hiệu quả và an toàn. Trên thực tế, bất kỳ nhà phát triển nào có nền tảng về các ngôn ngữ lập trình như Rust, Solidity và C++ đều có thể hiểu Zinc chỉ trong một ngày.
So sánh giữa việc viết một phần chương trình trong Rust cho Bellman framework (ZEXE sử dụng API tương tự) và viết chương trình tương tự cho Zinc như sau:
Phiên bản 0.1 của Zinc sẽ ra mắt vào tháng 1 năm 2020.
Khung lập trình an toàn và biểu cảm
Một máy ảo hộp cát tạo bằng chứng không có kiến thức theo cách được ủy quyền
tiêu đề cấp đầu tiên
Phiên bản ZK Sync 0.1 của mạng nhà phát triển đang trực tuyến. Phiên bản này được giới hạn trong việc chuyển mã thông báo ETH và ERC20 trong một môi trường điều hành duy nhất.
Kiểm tra SDK của ZK Sync
Duyệt mã trên Github
trải nghiệm bản demo
Ra mắt mạng lưới nhà phát triển phiên bản 0.1 là bước đầu tiên để hiện thực hóa tầm nhìn của ZK Sync. Nhiều công việc nghiên cứu, thử nghiệm và phát triển vẫn còn cần thiết trong tương lai. Một số phần của 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 đảm bảo rằng ZK Sync sẽ giới thiệu thế giới tiền điện tử cho hàng triệu người dùng và tầm nhìn này sẽ không thay đổi. 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ệ bằng chứng không kiến thức có thể cung cấp trải nghiệm giống như web mà không phải hy sinh các giá trị chuỗi khối.
chữ
