Tác giả: StarkWare Biên dịch: Cointime.com 237

Bản tóm tắt:

1. SHARP (SHAred Prover) tạo bằng chứng STARK tổng hợp các chương trình của Cairo để bất kỳ ứng dụng nào cũng có thể gửi giao dịch đến cùng một bằng chứng. Tương tự như mô hình "đi chung xe" của UberPool, điều này có nghĩa là ngay cả những ứng dụng nhỏ cũng có thể truy cập vào khả năng rộng lớn của tiện ích mở rộng STARK.

2. Miễn là nó được viết ở Cairo, SHARP có thể chứng minh điều đó, cho dù dApp có đa dạng đến đâu. Trên mạng chính Ethereum, khoảng 220.000 giao dịch được xử lý thành một bằng chứng duy nhất.

3. Sử dụng SHARP để chứng minh đệ quy có thể xử lý và xác minh song song nhiều bằng chứng STARK, cải thiện khả năng mở rộng và hiệu quả.

4. Chức năng tùy chỉnh bố cục động SHARP sắp ra mắt sẽ tiếp tục giảm tới 30% chi phí nhiên liệu.

tour du lịch mở rộng

Mở rộng quy mô Ethereum là một hành trình. Để tìm ra các giải pháp cải thiện hơn nữa khả năng mở rộng, cần phải đổi mới liên tục. Vào tháng 6 năm 2020, StarkWare đã ra mắt StarkEx, giải pháp mở rộng Lớp 2 đầu tiên dựa trên STARK. Vào tháng 9 năm 2020, nó đã công bố ra mắt Cairo, ngôn ngữ lập trình đầu tiên được thiết kế để đạt hiệu quả tối đa với bằng chứng STARK. Cairo và các tính toán chung mà nó cho phép cung cấp một cách nhanh chóng và an toàn để mã hóa bất kỳ logic nghiệp vụ nào và bằng chứng về các câu lệnh tính toán tùy ý. Với sự ra mắt của cải tiến này, một lớp nhà phát triển mới đã tham gia vào hệ sinh thái StarkWare.

Nhưng trong khi các nhà phát triển này muốn khả năng mở rộng, bảo mật và hiệu quả của StarkEx, thì không có đủ hoạt động giao dịch trong các dự án của họ để hoàn thành bằng chứng về STARK. Tương tự như vậy, người dùng vẫn bị hạn chế bởi tính không thể đoán trước của việc tăng phí gas do tắc nghẽn mạng Ethereum.

Sau đó, SHARP đến.

SHARP là gì?

SHARP (SHARed Prover) là một hệ thống mạnh mẽ được thiết kế để tạo bằng chứng STARK cho các chương trình Cairo tổng hợp. Cairo, với tư cách là một ngôn ngữ lập trình máy tính có mục đích chung, có thể chứa nhiều logic mã trong một bằng chứng duy nhất. SHARP xử lý hàng loạt giao dịch ngoài chuỗi và xác minh bằng chứng tính toán của chúng trên chuỗi, phân bổ chi phí của tất cả các giao dịch thành một bằng chứng duy nhất. Bằng chứng STARK thống nhất được tạo ra được xác minh bằng hợp đồng xác minh Solidity trên chuỗi, cho phép SHARP tăng thông lượng, giảm chi phí gas và giảm thiểu độ trễ.

Ví dụ: SHARP có thể xử lý bất kỳ mã Cairo nào từ các chương trình và logic hoàn toàn khác nhau, thậm chí bao gồm cả hệ điều hành mạng NFT và hệ điều hành mạng Starknet. Nếu đó là mã Cairo, SHARP có thể chứng minh điều đó và có thể tổng hợp nhiều chương trình thành một bằng chứng. Hiệu quả do SHARP mang lại có nghĩa là khả năng gộp hàng nghìn giao dịch vào một bằng chứng duy nhất trên mạng chính. Chi phí xử lý bằng chứng trên chuỗi sẽ được khấu hao trên tất cả các giao dịch trong lô, do đó, càng nhiều giao dịch được gộp lại, phí gas trên mỗi giao dịch càng thấp.

Hãy minh họa ý tưởng này bằng một ví dụ:

Hãy minh họa ý tưởng này bằng một ví dụ:

Giả sử bạn và chị gái đang mua quà cho bố mẹ - một chiếc điện thoại mới, một chiếc cốc và một chiếc áo phông. Mỗi món quà được đặt hàng từ một nhà bán lẻ trực tuyến khác nhau và sẽ được chuyển đến nhà của bạn vào một ngày khác nhau, với kích thước và cách đóng gói khác nhau. Kế hoạch của bạn là đóng gói từng món đồ và gửi cho phụ huynh.

Tuy nhiên, một vấn đề nan giải nảy sinh tại Bưu điện. Thùng vừa và nhỏ đều không có, chỉ còn thùng lớn phổ thông. Điều này cung cấp hai tùy chọn:

Tùy chọn 1: Mỗi mặt hàng được đóng gói riêng và vận chuyển khi đến nơi. Mặc dù điều này có thể tăng tốc độ giao một món quà, nhưng nó đòi hỏi phải làm thêm công việc để đóng gói ba gói hàng riêng biệt và ba chuyến đi đến bưu điện để gửi ba gói hàng riêng biệt. Do đó, cách tiếp cận này không tiết kiệm thời gian cũng như chi phí.

Cách 2: Đóng gói mọi thứ lại với nhau và gửi vào một hộp lớn. Điều này có nghĩa là bạn chỉ phải xử lý một thùng thay vì ba thùng.

Trong ví dụ này, SHARP là tùy chọn 2, cho phép sử dụng tài nguyên hiệu quả và quản lý thời gian mượt mà hơn.

SẮC

Mặc dù SHARP được thiết kế cho hệ sinh thái StarkWare, nhưng nó có thể chứng nhận bất kỳ chương trình Cairo nào có thực thi hợp lệ. Tính hiệu quả trong việc tiết kiệm thời gian và chi phí khiến SHARP trở thành giải pháp cho bất kỳ vấn đề nào đòi hỏi các phương pháp chứng minh sáng tạo.

Kể từ khi SHARP ra đời, nó đã trải qua một loạt nâng cấp hiệu quả. Một trong những điểm mạnh nhất trong số này là sự chuyển đổi từ mô hình tuyến tính sang mô hình đệ quy.

Với chứng minh đệ quy, SHARP chứng minh từng câu lệnh khi nó đến, thay vì thu thập một loạt câu lệnh để điền vào chứng minh và sau đó bắt đầu quy trình cho toàn bộ nhóm câu lệnh. Đây là một cách hiệu quả về thời gian để xác thực một câu lệnh tính toán, nhanh hơn bản thân phép tính.

Điều này đạt được bằng cách xử lý song song các câu lệnh đến, bỏ qua rào cản về khả năng mở rộng trước đó là cần chứng minh các câu lệnh kết hợp sau khi đã nhận được tất cả các câu lệnh riêng lẻ. Giờ đây, SHARP không chỉ có thể chứng minh tính chính xác của hàng nghìn giao dịch mà còn có thể xác minh nhiều bằng chứng STARK bằng trình xác thực STARK tương ứng. Điều này cho phép tạo ra một bằng chứng duy nhất để chứng minh tính hợp lệ của nhiều bằng chứng ngược dòng.

Sau khi thực thi đệ quy, SHARP sẽ ngay lập tức xác nhận các câu lệnh gửi đến. Từ đó, bản thân các chứng minh có thể được lặp lại và kết hợp thành chứng minh đệ quy. Quá trình chứng minh đệ quy này sẽ tiếp tục cho đến khi bằng chứng cuối cùng được gửi tới hợp đồng xác minh Solidity trên chuỗi. Giống như chế độ lồng nhau: chương trình Cairo xác minh bằng chứng ngược dòng, từ đó tạo ra bằng chứng mới, tính hợp lệ của nó được xác nhận bởi trình xác thực STARK.

Sau khi thực thi đệ quy, SHARP sẽ ngay lập tức xác nhận các câu lệnh gửi đến. Từ đó, bản thân các chứng minh có thể được lặp lại và kết hợp thành chứng minh đệ quy. Quá trình chứng minh đệ quy này sẽ tiếp tục cho đến khi bằng chứng cuối cùng được gửi tới hợp đồng xác minh Solidity trên chuỗi. Giống như chế độ lồng nhau: chương trình Cairo xác minh bằng chứng ngược dòng, từ đó tạo ra bằng chứng mới, tính hợp lệ của nó được xác nhận bởi trình xác thực STARK.

Thay vì bưu điện tượng trưng của chúng tôi ban đầu chỉ cung cấp một hộp có kích thước tiêu chuẩn, SHARP đệ quy giới thiệu một cải tiến đột phá giới thiệu các hộp nhỏ hơn với các kích cỡ khác nhau, mỗi hộp được thiết kế riêng cho một mặt hàng cụ thể. Mặc dù các hộp không vừa vặn chính xác với kích thước của từng mặt hàng cụ thể, nhưng cách tiếp cận sáng tạo này cho phép các mặt hàng được đóng gói trong các hộp nhỏ hơn khi chúng đến nơi, loại bỏ các khoản phí không cần thiết cho không gian không sử dụng và giảm sự chậm trễ. Thay vì đợi nhận được cả ba món quà và đóng gói chúng vào một hộp lớn, hộp nhỏ hơn có thể được đóng gói và sẵn sàng vận chuyển ngay khi tất cả quà tặng đã sẵn sàng.

Bước tiếp theo: bố cục động

Nhóm của chúng tôi hiện đang phát triển bố cục động làm tính năng tùy chỉnh tiếp theo cho các dịch vụ SHARP. Với bố cục động, người chứng minh sẽ tính toán các tài nguyên cần thiết theo từng logic cụ thể và tạo ra một bằng chứng tùy chỉnh cho phù hợp.

Một lần nữa, theo mạch tương tự của bưu điện, bố cục động có thể được ví như khái niệm hộp vận chuyển tùy chỉnh. Những hộp tùy chỉnh này hoàn toàn phù hợp với hình dạng của từng món quà, đảm bảo bạn chỉ trả tiền cho kích thước chính xác mà bạn cần và tránh các khoản phí không cần thiết. Tương tự như vậy, với vị trí động, chúng tôi sẽ tạo bằng chứng tùy chỉnh cho từng logic và tài nguyên điện toán duy nhất mà nó yêu cầu, đảm bảo bạn chỉ trả tiền cho điện toán bạn sử dụng. Nếu đó là mã Cairo, SHARP có thể chứng minh điều đó một cách chính xác.

Nhóm của chúng tôi hy vọng sẽ giới thiệu khả năng thích ứng và cải tiến hiệu quả này trong phiên bản SHARP tiếp theo. Cách bố trí năng động sẽ nhằm mục đích giảm đáng kể hóa đơn nhiên liệu.

Bằng cách sử dụng đầy đủ sức mạnh của việc tạo bằng chứng đệ quy dựa trên STARK, công nghệ này cải thiện đáng kể khả năng mở rộng và hiệu quả của mạng Ethereum.