Hiểu ngăn xếp nguồn mở của StarkNet trong một bài viết

Tiêu đề gốc: " (loạt bài giảm trí thông minh web3) Tìm hiểu ngăn xếp nguồn mở của StarkNet trong một bài viết 》

Tác giả gốc: CryptoNerdCn

Loạt bài trí tuệ về Web3 là một loạt bài mới mà tôi bắt đầu vào năm 2023 dựa trên việc truyền đạt kiến thức Web3er hàng ngày. Nó nhắm đến những người không rành về kỹ thuật bằng cách nói ra các ý tưởng thiết kế thay vì những biểu hiện bên ngoài và cố gắng không liên quan đến các công thức và mã cụ thể, với mục đích có thể hiểu được ngay cả khi não của bạn đang trong trạng thái ngừng hoạt động sau một ngày bận rộn. . loạt khoa học phổ biến.   

Sau khi chúng tôi đề cập lần trước rằng StarkNet đã phát hành Sequencer (bộ tuần tự) mã nguồn mở), StarkWare đã đưa ra một tin tức quan trọng khác: Prover của StarkNet sẽ nguồn mở sớm!

Vô tình, trong vòng ba tháng kể từ khi ngôn ngữ Cairo được mở nguồn vào tháng 11 năm ngoái, tất cả các thành phần của StarkNet đã được viết lại và có nguồn mở. Ở đây, hãy xem lại ngăn xếp nguồn mở của StarkNet.

Kiến trúc tổng thể

Đầu tiên, chúng ta hãy xem lại Kiến trúc StarkNet được đề cập trong bài viết trước.

Sequencer có trách nhiệm quản lý và điều phối trình tự thực hiện các giao dịch. Sequencer có thể được coi là một hàng đợi giao dịch để đảm bảo rằng tất cả các giao dịch trong cùng một khối được thực hiện theo thứ tự đã chỉ định và không có giao dịch nào được thực hiện hai lần. Sequencer cũng chịu trách nhiệm xác minh tính hợp pháp của các giao dịch và ghi chúng vào blockchain.

Prover chịu trách nhiệm tạo ra bằng chứng mật mã về tính hợp lệ của dấu vết thực thi Trình tự. Hiện tại, công việc này được thực hiện bởi một Prover duy nhất, "Share Prover" hoặc "SHARP".

Verifier nằm ở L1 và được sử dụng để xác minh hợp đồng thông minh do Starknet Prover tạo ra. Nếu chạy thành công, nó sẽ cập nhật trạng thái trên Ethereum L1 để ghi lại duy trì.

Ở bài trước chúng tôi đã đề cập đến 3 thành phần trên, lần này ngoài Sequencer và Prover chúng tôi cũng sẽ giới thiệu FullNode Giải thích (Verifier và StarkNet Core là các hợp đồng trên Ethereum và không nằm trong phạm vi thảo luận).

Trình tuần tự—Trình chặn

Trình chặn trình tự mới của Starknet đã được phát hành vào ngày 26 tháng 1. Phần nút của nó và phần CairoOS lần lượt dựa trên Papyrus và Cairo-rs, sẽ được đề cập bên dưới. Sequencer trước đây là một ứng dụng khách nguồn đóng được viết bằng python và chỉ được kiểm soát bởi chính StarkNet. Ứng dụng khách Python này thậm chí còn được chính thức thừa nhận là chậm và không nhận ra tính song song trong thực hiện giao dịch, điều này ảnh hưởng nghiêm trọng đến TPS của StarkNet và không phù hợp với ý tưởng phân quyền.

Sau khi Sequencer viết bằng Rust này là nguồn mở, điều cơ bản nhất là nó cho phép mọi người biên dịch và chạy ứng dụng khách Sequencer của riêng họ. Đồng thời, theo thông tin chính thức, khách hàng này đã cải thiện đáng kể tốc độ thực hiện. Và kế hoạch kế thừa chính thức cũng đang được triển khai:

- Tích hợp Trình sắp xếp StarkNet hiện tại bằng cách thay thế thành phần khối giao dịch hiện tại được viết bằng Python.

- Cho phép tính đồng thời lạc quan trong việc thực hiện giao dịch.

- Mở rộng Blockifier thành StarkNet Squencer hoàn chỉnh, thay thế trình sắp xếp chuỗi hiện đang được sử dụng.

FullNode—Giấy cói

FullNode, tức là full node, trong Starknet ám chỉ một client PathFinder (pathfinder) hoặc đang chạy This máy của khách hàng. Nút đầy đủ ghi lại tất cả các giao dịch được thực hiện trong một bản tổng hợp và theo dõi trạng thái toàn cầu hiện tại của hệ thống. Nó nhận thông tin này qua mạng p2p và bất cứ khi nào một khối mới được tạo, nó sẽ chia sẻ trạng thái toàn cầu và bằng chứng hợp lệ liên quan đến nó.

Papyrus, một bản triển khai Rust của nút đầy đủ StarkNet, đã được phát hành vào ngày 16 tháng 1. Nó sẽ tạo thành một phần nền tảng của StarkNet Sequencer mới, giúp tăng đáng kể TPS của StarkNet. Nguồn mở Papyrus sẽ giúp cải thiện hiệu suất và sự phân cấp của StarkNet.

Cairo OS—Cairo-rs

Cairo OS là một máy ảo được sử dụng trong Sequencer để thực hiện các hợp đồng được viết bằng ngôn ngữ Cairo ( VM ). Cairo-rs là một Cairo VM mã nguồn mở mới được phát triển bởi nhóm phát triển bên thứ ba Lambdaclass để thay thế CairoVM cũ do Python phát triển.

Nhà cung cấp—???(tên chưa xác định)

Vậy Prover nguồn mở này có ý nghĩa gì đối với kiến trúc StarkNet ?? Đầu tiên là chuẩn bị cho quá trình phân quyền của Prover và thứ hai là cải thiện TPS của StarkNet. Hiện tại, StarkNet chỉ có một Prover chạy chính thức duy nhất có tên là “Share Prover” (Shared Prover, gọi tắt là “SHARP”). Tại sao nó có một phần trong tên của nó? Đó là bởi vì người chứng minh này không chỉ chịu trách nhiệm đưa ra bằng chứng về StarkNet mà còn là bằng chứng của StarkEX (để biết StarkEX là gì, vui lòng tham khảo tại đây). Điều này ảnh hưởng nghiêm trọng đến TPS của StarkNet và không phù hợp với ý tưởng phân quyền*agian.

Với Prover nguồn mở, bất kỳ ai cũng có thể biên dịch và chạy Prover của riêng mình. Tất nhiên Prover vẫn chỉ công bố mã nguồn mở và chưa ra mắt Git Repo. Và do đặc điểm của ZK nên các phép tính mà Prover yêu cầu để tạo ra bằng chứng cho các phép tính nhiều hơn so với các phép tính do Sequencer thực hiện. Do đó, theo các tài liệu chính thức cũ, Prover có thể yêu cầu cấu hình cực cao và ngưỡng đầu vào rất cao ( như trong hình), CPU 4 nhân và bộ nhớ 16GB chỉ có thể xử lý 100 băm mỗi giây).

Ngôn ngữ Cairo

Cairo 1.0 cũng đã được mở nguồn trong năm nay. Vì Ngôn ngữ Cairo được viết bằng Rust nên toàn bộ hệ sinh thái chính thức của StarkNet có thể nói đã trở thành một gia đình Rust Gầu múc. Tất nhiên, Cairo 1.0 chưa được StarkNet hỗ trợ nên chưa thể sử dụng nó để viết hợp đồng thông minh. Theo tin tức chính thức, hỗ trợ cho Cairo 1.0 sẽ được triển khai trong quý 1 năm 2023.

Liên kết gốc

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