Lưu ý của biên tập viên: Bài viết này đến từThông tin Babbitt (ID: bitcoin8btc)Lưu ý của biên tập viên: Bài viết này đến từ

Thông tin Babbitt (ID: bitcoin8btc)
StarkWare dự kiến ​​sẽ triển khai Giai đoạn 1 trong những tháng tới và chuyển sang Giai đoạn 2 và 3 vào cuối năm 2021. StarkNet do StarkWare xây dựng là một ZK Rollup hai lớp phi tập trung do STARK điều khiển, có thể hỗ trợ tính toán chung của Ethereum.

, Tác giả: StarkWare, Trình biên dịch: Kyle, được xuất bản với sự cho phép.

Tổ chức nghiên cứu và phát triển bằng chứng không kiến ​​thức StarkWare tuyên bố rằng giải pháp mở rộng lớp 2 ZK Rollup "StarkNet" của họ đã hoàn thành việc xây dựng cơ bản (giai đoạn 0), cụ thể là khung hoàn chỉnh Turing Cairo, ngăn xếp phần mềm STARK và lớp 2 công cụ mở rộng StarkEx, sẽ được xây dựng sau Giai đoạn 1 đến Giai đoạn 3. Trong số đó, Giai đoạn 1 sẽ hỗ trợ Tổng hợp một ứng dụng "Single-App Rollup", cho phép các nhà phát triển xây dựng và triển khai các ứng dụng có thể mở rộng của riêng họ trên StarkNet; Giai đoạn 2 sẽ hỗ trợ Tổng hợp nhiều ứng dụng "Multi-App Rollup", sẽ hỗ trợ Chạy và truy cập nhiều ứng dụng trên cùng một phiên bản StarkNet sẽ cho phép khả năng tương tác giữa các ứng dụng khác nhau và giảm chi phí Gas; giai đoạn ba sẽ hỗ trợ Rollup phi tập trung "Decentralized Rollup".

StarkWare dự kiến ​​sẽ triển khai Giai đoạn 1 trong những tháng tới và chuyển sang Giai đoạn 2 và 3 vào cuối năm 2021. StarkNet do StarkWare xây dựng là một ZK Rollup hai lớp phi tập trung do STARK điều khiển, có thể hỗ trợ tính toán chung của Ethereum.

Sau đây là toàn văn thông báo của StarkWare (đã dịch):

Chúng tôi đang xây dựng StarkNet theo bốn bước:

Bước 0 - Khái niệm cơ bản (Đã hoàn thành*)

Bước II - Chòm sao: Tóm tắt Đa ứng dụng

giới thiệu

Bước III - Vũ trụ: Tập hợp phi tập trung

Chúng tôi dự kiến ​​sẽ triển khai Bước I trong vòng vài tháng và sẽ đi đúng hướng đến Bước II và III vào cuối năm 2021.

giới thiệu

Chúng tôi đang xây dựng StarkNet, một công nghệ STARK phi tập trung, không cần cấp phép và chống kiểm duyệt hỗ trợ L2 ZK-Rollup để hỗ trợ tính toán chung trên Ethereum. Nó dựa trên ngôn ngữ Cairo hoàn chỉnh Turing.

Các nhà phát triển, người dùng và các nút StarkNet sẽ có thể thực hiện mọi thứ mà người ta mong đợi từ sơ đồ tổng số L2 không được phép: các nhà phát triển có thể xây dựng các ứng dụng triển khai logic nghiệp vụ của riêng họ và triển khai chúng trên StarkNet. Người dùng có thể gửi giao dịch tới StarkNet để thực hiện, giống như họ tương tác với Ethereum ngày nay. Các nút và người tham gia StarkNet sẽ được hưởng các ưu đãi về kinh tế tiền điện tử để đảm bảo rằng mạng hoạt động hiệu quả và công bằng.

Tất cả các giao dịch StarkNet sẽ được thực hiện theo đợt định kỳ và tính hợp lệ của chúng sẽ được chứng minh thông qua bằng chứng STARK và được xác minh trên Ethereum. Tính toán cần thiết để xác minh bằng chứng STARK nhỏ hơn nhiều so với tính toán cần thiết để xác minh nó, vì vậy StarkNet chia tỷ lệ Ethereum theo một số bậc độ lớn.

Vì tất cả các chuyển đổi trạng thái của StarkNet sẽ được xác minh bằng STARK nên chỉ các chuyển đổi hợp lệ mới được chấp nhận trên mạng Ethereum. Tất cả dữ liệu cần thiết để tái tạo lại trạng thái StarkNet đầy đủ sẽ được xuất bản trên chuỗi. Bất kỳ ai cũng có thể chạy nút StarkNet của riêng mình. Các thuộc tính này sẽ làm cho StarkNet trở nên an toàn và không cần cấp phép như Ethereum.

Cairo

Chúng tôi đã phát triển được ba năm và đã đạt được một số cột mốc đáng chú ý trong việc biến "Moon Math" thành phần mềm hiệu quả cấp sản xuất chạy trên Ethereum. Cách chúng tôi làm mọi việc là trước tiên giải quyết các vấn đề khó khăn, xây dựng công nghệ cốt lõi, sau đó dần dần đưa nó vào sản xuất. Chúng tôi sẽ tiếp tục xây dựng theo cách này khi StarkNet hoàn thành.

Bước 0 — Cơ bản

Chúng tôi đã đặt một số nền tảng quan trọng cho StarkNet.

Cairo là ngôn ngữ và khuôn khổ cấp cao hoàn chỉnh Turing của chúng tôi để tạo bằng chứng STARK cho tính toán chung. Các nhà phát triển ứng dụng có thể sử dụng Cairo để xác định bất kỳ logic kinh doanh nào và để nó được chứng minh và xác minh ngoài chuỗi mà không cần chế tạo thủ công các "mạch" hoặc AIR phức tạp. Cairo đã có sẵn trên mạng chính và các nhà phát triển cũng có thể sử dụng nó.

Trong vài tuần nữa, chúng tôi sẽ ra mắt phiên bản alpha của Dịch vụ bằng chứng chung Cairo (GPS) trên mạng thử nghiệm Ethereum công khai. Điều này sẽ cho phép các nhà phát triển xây dựng các ứng dụng của riêng họ bằng Cairo, triển khai bất kỳ logic nghiệp vụ nào họ muốn. Họ có thể gửi mã Cairo của mình tới GPS để xác minh và sau đó giao dịch trên chuỗi.

GPS triển khai một bằng chứng duy nhất để xác nhận tính toàn vẹn thực thi của các ứng dụng hoàn toàn riêng biệt và độc lập, cho phép các ứng dụng này phân bổ chi phí gas xác minh bằng chứng.

Cairo và GPS là nền tảng của StarkNet - quyết định của chúng tôi đối với các nhà phát triển bên ngoài giúp họ tiếp cận sớm với công nghệ, không chỉ cho phép họ bắt đầu xây dựng trên đó mà còn có khả năng ảnh hưởng đến sự phát triển của StarkNet.

Chúng tôi sẽ tiếp tục phát triển Cairo dựa trên nhu cầu và phản hồi của cộng đồng nhà phát triển. Chúng tôi sẽ nâng cao ngôn ngữ bằng các tính năng, cú pháp và plugin tích hợp mới để tăng khả năng sử dụng của nó, đồng thời tiếp tục phát triển và cải thiện các công cụ của Cairo: trình biên dịch, trình theo dõi/trình gỡ lỗi và tích hợp với các IDE phổ biến.

StarkNet sẽ chạy Cairo ở chế độ nền.

ngăn xếp phần mềm STARK

StarkEx

Chúng tôi đã phát triển hệ thống bằng chứng mạnh mẽ nhất trong hệ sinh thái và nó đã chạy trên mạng chính được vài tháng. Chúng tôi cũng đã phát triển một chương trình chứng minh mã nguồn mở, ethSTARK, nhanh hơn 20 lần so với các chương trình chứng minh khác; chương trình này cung cấp cả chữ ký không kiến ​​thức và chữ ký bảo mật hậu lượng tử.

Các tiêu chí mở rộng của chúng tôi bao gồm xử lý 300.000 giao dịch trong một bằng chứng duy nhất trên mạng chính, đạt được kỷ lục thế giới về thông lượng tổng hợp: 300.000 tps. Trong quá trình này, chúng tôi đã đạt được kỷ lục thế giới về hiệu quả sử dụng gas tổng hợp: 315 gas/tx, đơn đặt hàng rẻ hơn nhiều so với giao dịch Ethereum L1.

Công nghệ này sẽ là nền tảng của lớp bằng chứng khái niệm phi tập trung của StarkNet, vì vậy chúng tôi sẽ xuất bản nhiều bằng chứng hơn và nâng cao hơn như một phần trong quá trình phát triển của StarkNet (xem bài đăng blog sắp tới để biết thêm thông tin).

StarkEx là công cụ mở rộng quy mô L2 của chúng tôi. Nó đã cung cấp dịch vụ mạng chính cho khách hàng của DeversiFi kể từ tháng 6 năm 2020. Nó sẽ cung cấp năng lượng cho dYdX và ImmutableX trong vài tuần tới. StarkEx có thể xử lý logic giao dịch phức tạp (giao dịch giao ngay, công cụ phái sinh, NFT) cũng như thanh toán.

Phát triển StarkEx là cách chúng tôi mở rộng chuỗi công cụ và thử nghiệm nó theo nhu cầu thực tế. Các ứng dụng thực và nhu cầu thực của người dùng giúp các công cụ trưởng thành và phát triển tốt nhất. Nó cũng giúp chúng tôi hiểu các yếu tố cần được giải quyết để phục vụ hệ sinh thái tốt hơn, chẳng hạn như tích hợp với ví và trình khám phá khối.

StarkEx là một ví dụ trực tiếp về chức năng ứng dụng mở rộng quy mô bằng cách sử dụng ZK-Rollup dựa trên STARK và là ứng dụng sản xuất đầu tiên của Cairo được viết trên mạng chính. Do đó, nó cũng sẽ là một trong những ứng dụng chạy trên StarkNet.

Lộ trình phát triển trong tương lai

Bước I - Các hành tinh: Tóm tắt Đơn đăng ký

Bước này sẽ cho phép các nhà phát triển xây dựng và triển khai các ứng dụng có thể mở rộng của riêng họ trên StarkNet.

Tại thời điểm này, mỗi phiên bản StarkNet sẽ có thể chạy một ứng dụng. Các phiên bản khác nhau có thể chạy các ứng dụng khác nhau.

Khung StarkNet sẽ bao gồm những điều sau đây:

Cơ chế tạo bằng chứng STARK cho logic Cairo tùy ý, sau đó gửi và xác minh trên Ethereum.

Tương tác với L1 Ethereum: Gửi, rút ​​mã thông báo L1, phát hành dữ liệu trên chuỗi, cơ chế thoát để bảo vệ người dùng StarkNet khỏi các nhà khai thác StarkNet độc hại, v.v.

Quản lý số dư người dùng L2 và lưu trữ ứng dụng và bộ nhớ.

Các nhà phát triển sẽ có thể hoàn toàn tập trung vào việc xây dựng logic nghiệp vụ của ứng dụng trước khi đi vào sản xuất: triển khai và chạy nó trên quy mô lớn trên StarkNet.

Điều cho phép chúng tôi xây dựng một ZK-Rollup có thể mở rộng chung là:

Cairo, một ngôn ngữ lập trình đa dụng, Turing-đầy đủ

Ngăn xếp STARK mạnh mẽ của chúng tôi (người chứng minh và người xác minh) kết hợp rất nhiều tính toán vào một bằng chứng duy nhất

Bước II - Chòm sao: Tóm tắt Đa ứng dụng

Bước tiếp theo sẽ là hỗ trợ nhiều ứng dụng chạy trên cùng một phiên bản StarkNet và truy cập vào cùng một trạng thái L2 toàn cầu. Điều này sẽ cho phép khả năng tương tác giữa các ứng dụng khác nhau và giảm chi phí gas do quy mô kinh tế được cải thiện.

Cairo, ngăn xếp STARK mạnh mẽ và GPS nâng cao lợi thế cạnh tranh của StarkNet trong việc hỗ trợ tập hợp đa ứng dụng.

Ở giai đoạn này, StarkNet sẽ là một khung đầy đủ chức năng để chạy nhiều ứng dụng với logic kinh doanh tùy ý trên Ethereum, mỗi phiên bản được điều hành bởi một nhà điều hành.

Các nhà khai thác hiện có thể khởi chạy các nút StarkNet mà các nhà phát triển ứng dụng có thể triển khai hợp đồng trên đó. Từ góc độ người dùng, StarkNet giờ đây trông giống như Ethereum, nhưng ở quy mô lớn hơn.

Bước III - Vũ trụ: Tập hợp phi tập trung

Bước cuối cùng trong quá trình phát triển của StarkNet là đạt được các hoạt động phi tập trung.

Các vấn đề R&D quan trọng mà chúng tôi hiện đang giải quyết có ảnh hưởng đến giai đoạn này bao gồm (i) cải thiện cơ chế đạt được sự đồng thuận bằng cách sử dụng ZK-Rollups và (ii) thiết kế các cơ chế kinh tế tiền điện tử để khuyến khích những người đóng góp và nhà điều hành StarkNet phi tập trung (trình tự giao dịch, chứng minh, v.v.) hoạt động hiệu quả, công bằng và an toàn.