Tính toán ngoài Chuỗi có thể kiểm chứng được của Micro- Rollups , trạng thái kiểm toán và khả năng tích hợp ứng dụng trên Chuỗi có thể thúc đẩy tăng trưởng của các trường hợp sử dụng trong thế giới thực trên Chuỗi .
Được viết bởi: stackrlabs
Biên soạn bởi: Frank, Tin tức tầm nhìn xa
Chứng thực là một từ có nghĩa rộng. Hầu hết mọi người đều có một số hiểu biết về ý nghĩa của nó và mọi người đều đã sử dụng khái niệm này một cách vô thức trong cuộc sống của mình.
Vì vậy, chúng ta hãy thử định nghĩa nó, chứng thực về cơ bản là một tuyên bố hoặc khẳng định được đưa ra về một phần thông tin nhất định, đóng vai trò là bằng chứng hoặc xác nhận do một bên đáng tin cậy cung cấp để xác minh tính xác thực của một tuyên bố cụ thể. Độ tin cậy của chứng chỉ phụ thuộc vào danh tiếng của tổ chức cung cấp chứng chỉ và trong thế giới Web3, chứng chỉ được ký điện tử, đảm bảo tính xác thực và bất biến.
Hãy xem xét một số ví dụ, cả trong thế giới thực và crypto, mà bạn có thể không nhận ra thực ra là một dạng bằng chứng nào đó.
Bằng chứng cho thế giới Web3: Dịch vụ bằng chứng Ethereum ra mắt
Dịch vụ chứng thực Ethereum(EAS) là một trong những dự án hàng đầu trong lĩnh vực Web3 nhằm hỗ trợ các trường hợp sử dụng chứng thực. Đây là một sản phẩm công cộng về cơ sở hạ tầng mã nguồn mở để chứng thực trên Chuỗi hoặc ngoài Chuỗi. Cách thức hoạt động của EAS rất đơn giản, bạn chỉ cần đăng ký một lược đồ về bất kỳ chủ đề nào (hoặc sử dụng một lược đồ có sẵn) và sau đó đưa ra các bằng chứng dựa trên lược đồ đó.
giới hạn
Mặc dù EAS cung cấp nền tảng vững chắc cho việc suy luận và khai thác bằng chứng trong Web3 nhưng nó không phải là không có những hạn chế. Chi phí của bằng chứng trên Chuỗi bằng cách sử dụng EAS có thể rất cao và yêu cầu viết hợp đồng thông minh EVM để triển khai bất kỳ logic tùy chỉnh nào. Đối với các bằng chứng ngoài Chuỗi, kiến trúc vẫn cần được đặt trên Chuỗi và các nhà phát triển thường lưu trữ những bằng chứng này trong cơ sở dữ liệu sở hữu tư nhân, ảnh hưởng đến khả năng xác minh của người dùng.
Tình huống này nêu bật cách Micro- Rollups được xây dựng bằng Stackr SDK có thể được sử dụng để nâng cao chức năng của EAS hoặc bằng chứng tổng thể.
Giới thiệu nhanh về Micro Rollups
Micro- Rollups về cơ bản là một máy trạng thái có thể thực thi logic cụ thể ngoài Chuỗi, sau đó thuê ngoài việc xác minh kết quả thực thi cho một lớp khác gọi là "Vulcan" và Vulcan sẽ cập nhật trạng thái xác minh và tải dữ liệu tính toán lên Chuỗi..
Máy trạng thái của Micro- Rollups có định dạng trạng thái được xác định rõ ràng và được khởi tạo thông qua điều kiện gốc;
Máy trạng thái có thể thực hiện các hành động (tức là các loại giao dịch) và khi các hành động này được kích hoạt, các chức năng chuyển đổi trạng thái trên máy trạng thái sẽ được gọi;
Hàm chuyển trạng thái (STF) có nhiệm vụ thực hiện tính toán và cập nhật trạng thái của máy trạng thái;
Sau khi STF được thực thi, mọi hành động sẽ được đóng gói thành một khối và gửi đến lớp Vulcan.
Lớp Vulcan thực hiện như sau:
Thực hiện lại các hành động trong khối một cách “bi quan” để kiểm tra tính hợp lệ của hàm chuyển trạng thái (STF);
Tạo dữ liệu cho các khối đã được xác minh;
Quyết toán diễn ra trên L1 ( Chuỗi chính) và lớp sẵn có dữ liệu (DA);
Gửi trạng thái cập nhật của Micro- Rollups tới lớp DA;
Ghi dữ liệu khối đã được xác minh và giá trị băm gốc trạng thái được cập nhật vào hợp đồng hộp thư đến Micro- Rollups trên L1;
Các quy trình trên cùng nhau tạo thành khung Micro- Rollups của Stackr.
Hệ thống chứng minhMicro- Rollups
Vậy tại sao Micro- Rollups lại đặc biệt thích hợp để xây dựng các hệ thống chống chịu? Micro- Rollups có những ưu điểm sau:
Tính toán ngoài Chuỗi có thể xác minh được: Micro- Rollups có chức năng tương tự như các dịch vụ phụ trợ, nhưng chúng bổ sung thêm một lớp xác minh vào trạng thái và tính toán của ứng dụng, đảm bảo rằng nhà phát hành chứng chỉ không can thiệp vào các quy tắc hệ thống;
Trạng thái kiểm toán : Sau khi máy trạng thái được triển khai, logic của chức năng chuyển đổi trạng thái (STF) không thể sửa đổi, điều này cho phép người dùng tin tưởng rằng nhà cung cấp sẽ không tự ý thay đổi các quy tắc của hệ thống;
Có thể tích hợp với các ứng dụng trên Chuỗi : Micro- Rollups có thể tích hợp với các ứng dụng Chuỗi . Micro- Rollups sẽ ghi giá trị băm gốc trạng thái của ứng dụng vào L1 và các ứng dụng khác có thể sử dụng giá trị băm này để truy cập vào trạng thái của Rollup một cách có thể chứng minh được;
Ba cách sử dụng Micro- Rollups để chứng minh
1. Lưu trữ có thể xác minh được bằng chứng ngoài Chuỗi EAS
Như đã đề cập trước đó, bằng chứng Chuỗi của EAS chỉ là một tệp JSON chứa dữ liệu bằng chứng và chữ ký. Dữ liệu này sẽ không được lưu trữ trên Chuỗi mà trong cơ sở dữ liệu sở hữu tư nhân hoặc giải pháp lưu trữ phi tập trung.
Rất giống với "Sổ cái dữ liệu có thể xác minh của Mạng gốm" được EAS đề xuất, Micro- Rollups là một giải pháp lý tưởng để lưu trữ các bằng chứng ngoài Chuỗi này. Về cơ bản, Micro- Rollups là một sổ cái dữ liệu có thể kiểm chứng được vì:
Các tính toán có thể kiểm chứng đảm bảo tính chính xác của quá trình chuyển đổi trạng thái;
Trạng thái được "tổng hợp" thành một giá trị băm (được gọi là hàm băm gốc Merkle) và được xuất bản lên mạng chính Ethereum L1 sau mỗi kỷ nguyên;
Tất cả dữ liệu đều có sẵn cho lớp DA bên dưới;
Hệ thống như vậy sẽ là một Micro- Rollups có mục đích chung được thiết kế để lưu trữ bằng chứng chống lại bất kỳ kiến trúc nào được đăng ký trên EAS mà không ảnh hưởng đến khả năng xác minh của người dùng cuối.
2. Micro- Rollups phù hợp với các bằng chứng kiến trúc cụ thể
Về cốt lõi, Micro- Rollups về cơ bản chỉ là một máy trạng thái bao gồm các trạng thái và các hàm chuyển đổi trạng thái. Khi nhìn vào khung này qua góc độ kiến trúc và bằng chứng, chúng ta có thể tìm thấy một số điểm tương đồng.
Các trạng thái giống như các lược đồ ở chỗ chúng xác định cấu trúc dữ liệu, trong khi các bằng chứng giống như các chuyển đổi trạng thái ở chỗ chúng là các bản cập nhật được xác minh phù hợp với lược đồ. Sự tương phản này làm nổi bật tiềm năng thực sự của Micro- Rollups : Micro- Rollups có thể được xây dựng cho một kiến trúc cụ thể. , Cho phép điều chỉnh bằng chứng cho phù hợp với các kiến trúc cụ thể và mang lại cho nhà phát triển sự linh hoạt trong việc kết hợp logic tùy chỉnh vào các hàm chuyển đổi, tương tự như các hợp đồng Trình giải quyết trong EAS.
Thậm chí tốt hơn nữa, vì việc tính toán được thực hiện hoàn toàn ngoài Chuỗi và bên ngoài EVM, người dùng không cần phải trả bất kỳ khoản phí gas nào khi thực hiện bằng chứng.
Bài viết gần đây của chúng tôi về Micro- Rollups đã thảo luận về cách ứng dụng có thể sử dụng điểm làm cơ chế khích lệ và đây là ví dụ trực tiếp về hệ thống như vậy, vì điểm về cơ bản là chứng chỉ được ứng dụng trao cho người dùng.
Cũng có thể sử dụng SDK của Stackr để xây dựng trình bao bọc nhằm dễ dàng khởi chạy một Micro- Rollups mới với logic trình phân tích cú pháp và lược đồ tùy chỉnh, trong khi vẫn duy trì cùng một API cho khả năng tương tác trên các Micro- Rollups .
3.Micro- Rollups là giải pháp cải tiến cho EAS
Vì Micro- Rollups có thể loại bỏ phần lớn sự phức tạp của việc xây dựng các ứng dụng phi tập trung, nên một giải pháp thay thế EAS gần như có tính năng cung cấp ba lõi giống nhau có thể được triển khai khá nhanh như Chức năng Micro- Rollups :
Sổ đăng ký lược đồ để lưu trữ tất cả các lược đồ;
Khả năng tạo bằng chứng dựa trên kiến trúc;
Tùy chọn thu hồi chứng chỉ hiện có;
Trong phần tiếp theo, chúng ta sẽ xem xét kỹ hơn cách xây dựng điều này.
Hãy xây dựng EAS bằng cách sử dụng Micro- Rollups
Tuyên bố miễn trừ trách nhiệm: Bản demo này thể hiện chức năng của khung, thể hiện một bản dựng chưa hoàn chỉnh và không dành cho hoàn cảnh sản xuất, vui lòng coi nội dung mang tính minh họa hơn là sản phẩm cuối cùng.
Khi phát triển Micro- Rollups , điều quan trọng là phải hiểu logic của bạn theo thuật ngữ máy trạng thái, điều này đòi hỏi phải xem xét cẩn thận trạng thái của Micro- Rollups (tức là dữ liệu mà nó sẽ giữ) và các hành động sẽ chi phối hành vi của quá trình chuyển đổi trạng thái và chức năng chuyển trạng thái sẽ hoạt động ở trạng thái này.
Sau khi hiểu những điều trên, bây giờ chúng ta bắt đầu sử dụng SDK của Stackr để thiết kế trạng thái của Micro- Rollups .
thiết kế
Kiến trúc và bằng chứng được lưu trữ ngoài Chuỗi bên trong máy trạng thái;
Người dùng gửi một hành động để kích hoạt chức năng chuyển trạng thái bên trong máy trạng thái;
Người dùng có thể gửi hành động để đăng ký lược đồ, tạo bằng chứng dựa trên bất kỳ lược đồ được lưu trữ nào hoặc thu hồi bằng chứng hiện có;
Một khối được tạo ra mỗi dấu thời gian nhất định trong đó thông tin chi tiết về kiến trúc và trạng thái bằng chứng;
Khối được gửi đến mạng Vulcan để xác minh;
Nếu khối tuân thủ các quy tắc của máy trạng thái, khối sẽ được phê duyệt;
Dữ liệu khối sẽ được chia thành L1 và DA để quyết toán;
Xác định trạng thái ban đầu
Tương tự như EAS, chúng ta cần lưu trữ danh sách các lược đồ và bằng chứng. Để minh họa điều này một cách rõ ràng và mang lại sự tương phản rõ ràng, chúng ta sẽ sử dụng định nghĩa cấu trúc tương tự như EAS.
1. Trước tiên, hãy xác định kiến trúc và bằng chứng trong trạng thái của chúng ta.
Chi tiết phân tích như sau:
lược đồ: Trường này lưu trữ bản đồ băm, khóa là UID của lược đồ và giá trị là cấu trúc SchemaRecord tương ứng với lược đồ chứng minh do người dùng gửi.
chứng thực: Trường này lưu trữ một bản đồ băm khác, khóa là UID của chứng thực và giá trị là cấu trúc Chứng thực. Cấu trúc Chứng thực tương ứng với một chứng thực duy nhất tham chiếu đến một kiến trúc cụ thể.
Thêm trình xử lý cập nhật trạng thái
Sau khi thiết lập trạng thái khả thi tối thiểu, chúng ta cần xác định hàm chuyển trạng thái để cập nhật trạng thái.
2. Chúng ta hãy xác định hai chức năng:
lược đồ: Chịu trách nhiệm tạo các mục lược đồ;
chứng thực: Chịu trách nhiệm tạo các mục chứng nhận;
Phân tích hàm registerSchema:
Khi người dùng gửi hướng dẫn để đăng ký kiến trúc bằng chứng mới, cần phải cung cấp hai trường: lược đồ: ABI (Giao diện nhị phân ứng dụng) của kiến trúc bằng chứng, có thể hủy bỏ: liệu kiến trúc có cho phép thu hồi bằng chứng một cách rõ ràng hay không;
Người dùng bắt đầu hành động đăng ký sẽ được ghi nhận là người đăng ký kiến trúc;
Hàm chuyển trạng thái tính toán mã định danh duy nhất cho mục nhập lược đồ dựa trên giá trị được cung cấp;
Cuối cùng, thêm mục nhập lược đồ mới vào trạng thái;
Phân tích chức năng chứng thực:
Người dùng gửi hướng dẫn để tạo chứng chỉ mới, trong đó chứa các trường như SchemaUID có liên quan;
Người dùng bắt đầu hành động tạo sẽ được ghi nhận là người chứng nhận;
Hàm chuyển đổi trạng thái tính toán mã định danh duy nhất của mục nhập bằng chứng dựa trên giá trị được cung cấp;
Hàm chuyển đổi trạng thái so sánh dữ liệu chứng minh đến với ABI của kiến trúc liên quan;
Cuối cùng, mục chứng minh mới được thêm vào trạng thái;
Tại thời điểm này, chúng tôi đã xây dựng được một hệ thống khả thi tối thiểu.
Hợp đồng thông minh so với Micro- Rollups
Để có được tất cả các bằng chứng được tạo cho một kiến trúc nhất định hoặc tất cả các bằng chứng được phát hành bởi một địa chỉ nhất định, chúng ta cần lặp qua tất cả các mục nhập bằng chứng. Quá trình này cần phải được lặp lại lần khi chúng ta muốn thực hiện tìm kiếm như vậy.
Để giảm bớt vấn đề này, EAS triển khai một hợp đồng thông minh có tên Indexer.sol, được sử dụng đặc biệt để lập chỉ mục các giá trị trong nhiều biến ánh xạ. Tuy nhiên, do chi phí lưu trữ trong Máy ảo Ethereum(EVM) rất đắt so với Micro- Rollups nên điều này sẽ phát sinh thêm phí Gas .
Nhưng vì chúng tôi đang xây dựng Micro- Rollups nên chúng tôi có thể sử dụng trạng thái và tính toán một cách tự do hơn, ưu tiên trải nghiệm người dùng hơn là chi phí.
Thêm trường chỉ mục để cải thiện hiệu quả tìm kiếm
3. Thêm trường SchemaAttestations vào trạng thái. Trường này sẽ được sử dụng để duy trì mối quan hệ ánh xạ giữa lược đồ và các chứng chỉ của nó.
Do đó, khi thêm bằng chứng mới, chúng tôi cũng cập nhật hàm chứng thực để cập nhật ánh xạ lược đồ.
Bằng cách này, bạn có thể dễ dàng xây dựng một hệ thống bằng chứng trên Chuỗi với khả năng truy xuất nguồn gốc tương tự như Dịch vụ Chứng minh Ethereum , mang lại cho máy chủ phụ trợ những siêu năng lực Chuỗi. Nghe có vẻ đơn giản phải không?
Đưa bằng chứng ngoài Chuỗi lên Chuỗi → Các trường hợp sử dụng trong thế giới thực và nhiều khả năng hơn
Trong thế giới Web3, bằng chứng rất quan trọng để hỗ trợ hầu hết các trường hợp sử dụng trong thế giới thực, thu hẹp khoảng cách giữa Web2, danh tính trong thế giới thực và Web3, duy trì sự tin cậy được phân phối.
Cái hay của hệ thống trên là nó cho phép bằng chứng được sử dụng liền mạch trên Chuỗi mà không phát sinh lượng lớn chi phí.
Như đã đề cập ở phần đầu, trạng thái gốc của Micro- Rollups sẽ quyết toán trên L1. Đáng chú ý, các nhà phát triển có thể chọn phần nào của trạng thái quyết toán trên L1 và phần nào được đặt làm dữ liệu trên DA, do đó mở khóa các giả định về bảo mật kết hợp.
Trong trường hợp này, nếu chúng ta rút bằng chứng và quyết toán gốc merklized của nó trên L1, thì chúng ta có thể thực hiện bằng chứng đưa trực tiếp vào bằng chứng trong Merkle trees.
