Được biết, Starknet 0.12.0 đã được triển khai chính thức trên mạng chính vào ngày 12 tháng 7, đạt được thông lượng lớn hơn và độ trễ thấp hơn. Trước khi đọc bài viết này, bạn cần hiểu sơ bộ về khái niệm zero-knowledge proof:
Bằng chứng không kiến thức thuộc về khái niệm mật mã và là một bằng chứng tương tác. Hãy bắt đầu với một ví dụ kinh điển: A bị mù màu đỏ-lục, và B có hai quả bóng bi-a, một đỏ và một lục. Trong mắt của A, hai quả bóng có màu giống hệt nhau và B cần chứng minh với A rằng một trong hai quả bóng bi-a có màu đỏ và quả còn lại có màu xanh lục. Lúc này, A đặt bi-a sau lưng, anh ta có thể hoán đổi hai bi-a hay không, và B cần phán đoán xem A đã hoán đổi hai bi-a hay chưa, lặp lại nhiều lần, nếu kết quả B đoán mỗi lần là đúng , sau đó A nghĩ rằng một trong hai quả bi-a màu đỏ và quả còn lại màu xanh, đó là tình huống thực tế. Đây là một ví dụ về bằng chứng không kiến thức cổ điển.
1 Giới thiệu về Starknet
StarkNet là một cuộn xác thực phi tập trung không được phép (còn được gọi là "ZK-Rollup"). Là Lớp 2 trên Ethereum, nó cho phép bất kỳ Dapp nào đạt được khả năng mở rộng vô hạn trong điện toán mà không phải hy sinh khả năng kết hợp và bảo mật của Ethereum.
StarkWare, công ty mẹ của StarekNet, được thành lập vào năm 2018 và có trụ sở chính tại Israel với các sản phẩm chính là Starknet và StarkEx. Định giá công ty của nó đã đạt 8 tỷ đô la Mỹ. Cho đến nay, StarkNet đã trải qua 5 vòng cấp vốn, huy động được tổng cộng 273 triệu đô la Mỹ.
Điều đáng nói là Ethereum Foundation đã hỗ trợ công khai cụ thể starkware bằng cách sử dụng stark và họ đã cung cấp khoản tài trợ trị giá 12 triệu đô la cho starkware. Và đây là một trong những lý do tại sao ngành nói chung lạc quan về sự phát triển trong tương lai của StarkNet và tính chính thống của nó.
Mô hình kinh tế mã thông báo
StarkNet đã thông báo vào ngày 16 tháng 11 năm 2022 rằng mã thông báo gốc $STRK của nó sẽ được triển khai trên mạng chính Ethereum để bỏ phiếu, đặt cược và thanh toán phí.
Hình 1-1 Mô hình kinh tế mã thông báo $STARK
Trong mô hình kinh tế mã thông báo, ngoại trừ 49,9% mã thông báo của các nhà đầu tư và những người đóng góp cốt lõi, 50,1% mã thông báo còn lại đều thuộc sở hữu của Quỹ StarkNet. Trong số này, 8,1% mã thông báo vẫn chưa được phân bổ. Phần này sẽ được cộng đồng sử dụng để xác định mục đích sử dụng tương ứng, vì vậy phần mã thông báo này thường được suy đoán là hạn ngạch airdrop tiềm năng. Quỹ Starknet cũng đã bổ nhiệm cựu giám đốc điều hành Facebook Diego Oliva làm Giám đốc điều hành đầu tiên của mình. Oliva trước đây đã tuyên bố rằng anh ấy sẽ tập trung vào việc quản trị cộng đồng phi tập trung Starknet, nhấn mạnh quyền và lợi ích của các nhà phát triển và người dùng.
bản đồ tuyến đường
Thông lượng và độ trễ của V 0.12.0
Quan chức này gần đây đã công bố lộ trình tổng thể cho năm 2023. Phiên bản 0.12.0 đã chính thức được triển khai trên mạng chính vào thứ Tư, ngày 12 tháng 7. Phiên bản mới nhất của Starknet, 0.12.0, giới thiệu các cải tiến đáng kể về hiệu suất, bao gồm các cải tiến về thông lượng và độ trễ. Bằng cách áp dụng Sequencer dựa trên Rust và Rust-Cairo VM, hiệu suất của StarkNet sẽ được cải thiện đáng kể và sàn giao dịch OKEX đã bắt đầu hỗ trợ ký gửi mạng chính starknet ETH.
V 0.13.0 Chi phí giao dịch
Trong phiên bản V 0.13.0, chi phí giao dịch của Starknet sẽ giảm đáng kể. Điều này đạt được thông qua ý chí, một thành phần chính của việc giảm chi phí giao dịch. Chi phí dữ liệu L1 (Ethereum) chiếm 95% chi phí giao dịch hiện nay và Volition sẽ cho phép các nhà phát triển xây dựng các ứng dụng Starknet bằng mô hình Dữ liệu sẵn có (DA) kết hợp. Ngoài ra, Ethereum’s EIP-4844 (Sharded Blob Transactions) dự kiến sẽ được phát hành vào quý 4 năm 2023. Do EIP-4844 của Ethereum và Volition của Starknet (dữ liệu sẵn có ngoài chuỗi), chi phí dữ liệu của Starknet sẽ giảm đáng kể.
Thị trường phí V 0.14.0
Tắc nghẽn mạng là vấn đề đau đầu đối với mọi nhà phát triển và người dùng. Để giải quyết vấn đề này, Starknet sẽ giới thiệu một thị trường phí trong phiên bản V 0.14.0 để phân bổ hiệu quả các nguồn tài nguyên hạn chế của Starknet theo lượng gas mà người dùng trả cho các giao dịch.
V 0.15.0 khoảng thời gian chặn cố định ngắn hơn
Trong phiên bản V0.15.0, một số kế hoạch cải tiến nhằm cải thiện hiệu suất và trải nghiệm người dùng của Starknet, giảm khoảng thời gian chặn và cải thiện thông lượng của mạng bằng cách tách rời mối quan hệ giữa các khối và bằng chứng. Điều này sẽ làm cho Starknet trở thành một nền tảng chuỗi khối mạnh mẽ và hiệu quả hơn.
2 Phân tích Kỹ thuật
ZK-Rollup VS OP-Rollup
Hiện tại Lớp 2 được sử dụng rộng rãi nhất trên thị trường - công nghệ cơ bản của Arbitrium là OP-Rollup, (Rollup lạc quan). Nó đạt được sự mở rộng thông qua bằng chứng gian lận. Trong Op-Rollup, dữ liệu giao dịch được hệ thống tin tưởng một cách lạc quan là chính xác, không cần xác minh theo thời gian thực, trực tiếp bước vào giai đoạn chờ đợi. Trong thời gian chờ đợi, nếu một nút đưa ra phản đối và cung cấp bằng chứng để chứng minh rằng có giao dịch độc hại, giao dịch sẽ bị hủy; nếu không có phản đối, giao dịch sẽ tự động hoàn thành và được xác minh trên chuỗi chính sau thời gian chờ đợi. thời gian đã hết.
Starknet là Lớp 2 dựa trên công nghệ ZK-Rollup. ZK-Rollup chủ yếu dựa vào công nghệ chứng minh kiến thức bằng 0. Bằng cách tách biệt quy trình tính toán và xác minh, quá trình xác minh thực thi hợp đồng được hoàn thành ngoài chuỗi, sau đó kết quả xác minh được gửi tới mạng chính Ethereum. Quá trình tính toán được thực hiện ngoài chuỗi và kết quả xác minh chỉ được gửi tới Ethereum để làm bằng chứng.
So với OP-rollup và ZK-rollup, ZK-rollup là giải pháp thay thế an toàn hơn OP-rollup, trong khi OP-rollup là lựa chọn tốt hơn cho các dự án DeFi có khả năng tương thích với EVM. Có thể thấy rằng ZK-rollup tương thích với EVM sẽ là hướng phát triển tường thuật trong tương lai của Lớp 2 với những ưu điểm bảo mật tự nhiên của nó. Bảo mật đạt được nhờ sự phụ thuộc của StarkNet vào STARK, hệ thống bằng chứng mật mã an toàn và có khả năng mở rộng nhất.
Zk-STARK đấu với Zk-SNARK
STARK (Đối số kiến thức minh bạch có thể mở rộng bằng không kiến thức) và Zk-SNARK (Lập luận kiến thức ngắn gọn không tương tác về tri thức) đều là các công nghệ bằng chứng không kiến thức, được sử dụng để tạo bằng chứng có thể được xác minh mà không tiết lộ tất cả thông tin. Nhưng có một số khác biệt chính trong việc triển khai và các tính năng của chúng.
Việc chọn sử dụng SNARK hoặc STARK tùy thuộc vào các tình huống và yêu cầu ứng dụng cụ thể. SNARK có lợi thế về kích thước bằng chứng và tốc độ xác minh, nhưng yêu cầu thiết lập niềm tin. STARK không yêu cầu cài đặt tin cậy và có khả năng chống lại các cuộc tấn công máy tính lượng tử, nhưng bằng chứng lớn hơn và tốc độ xác minh chậm hơn.
Một khái niệm được giới thiệu ở đây - Thiết lập đáng tin cậy, là quy trình được sử dụng trong một số loại hệ thống bằng chứng không có kiến thức (chẳng hạn như zk-SNARK), tạo ra một số tham số ban đầu trước khi hệ thống bắt đầu hoạt động. Các tham số này được sử dụng cả trong quá trình tạo và xác minh bằng chứng.
Chìa khóa của việc thiết lập lòng tin là đảm bảo rằng những người tạo sẽ phá hủy triệt để các bí mật mà họ sử dụng sau khi tạo các tham số ban đầu. Nếu người tạo giữ bí mật này, họ sẽ có khả năng tạo bằng chứng giả có vẻ hợp lệ, điều này sẽ ảnh hưởng đến tính bảo mật của hệ thống. Do đó, quy trình thiết lập lòng tin cần phải được giám sát và giám sát chặt chẽ để đảm bảo rằng tất cả những người tạo ra thông tin bí mật đã được hủy đúng cách. Đó là lý do tại sao nó được gọi là "thiết lập tin cậy" vì người dùng phải tin tưởng rằng quy trình này là công bằng và trình tạo không gian lận.
Tuy nhiên, zk-STARKs là một hệ thống bằng chứng không có kiến thức, không yêu cầu cài đặt tin cậy. Điều này có nghĩa là, không giống như các hệ thống yêu cầu thiết lập niềm tin (chẳng hạn như zk-SNARK), quá trình tạo và xác minh bằng chứng của zk-STARK không dựa vào bất kỳ thông tin bí mật nào. Điều này mang lại tính minh bạch và bảo mật cao hơn, vì tính bảo mật của hệ thống không phụ thuộc vào hành động của bất kỳ cá nhân hoặc tổ chức cụ thể nào. zk-STARK được hiện thực hóa bằng cách sử dụng một công nghệ gọi là "FRI" (Bằng chứng Oracle tương tác nhanh với Reed-Solomon).
Thỏa thuận FRI
Ý tưởng cơ bản của giao thức FRI là giảm dần bậc của đa thức thông qua một loạt các bước lấy mẫu và nội suy. Ở mỗi bước, trình tục ngữ cung cấp một đa thức mới mà nó tuyên bố là phiên bản nén của đa thức ban đầu. Người xác minh có thể xác minh rằng tuyên bố là chính xác bằng cách kiểm tra các giá trị của các đa thức này tại các điểm ngẫu nhiên.
Quá trình này tiếp tục cho đến khi bậc của đa thức đủ thấp để người kiểm tra có thể kiểm tra trực tiếp tất cả các hệ số của nó. Do bậc của đa thức giảm đi một nửa trong mỗi bước, quá trình này có thể được thực hiện trong thời gian logarit, điều này làm cho giao thức FRI rất hiệu quả.
Một thuộc tính quan trọng của giao thức FRI là nó chỉ dựa vào các thông số công khai, được xác định trước và không yêu cầu bất kỳ thông tin bí mật nào. Điều này làm cho nó hữu ích cho việc xây dựng các hệ thống bằng chứng không có kiến thức như zk-STARK không yêu cầu thiết lập tin cậy. Tuy nhiên, giao thức FRI (Fast Reed-Solomon Interactive Oracle Proofs) không tương đương với thiết lập tin cậy. Thay vào đó, giao thức FRI là một công nghệ để tạo và xác minh bằng chứng về zk-STARK. Nó cho phép người chứng minh chứng minh với người chứng minh rằng các hệ số của một đa thức là bậc thấp mà không tiết lộ nội dung cụ thể của đa thức. Thuộc tính quan trọng của giao thức FRI là nó chỉ dựa vào các tham số công khai, được xác định trước và không yêu cầu bất kỳ thông tin bí mật nào. Điều này làm cho nó hữu ích cho việc xây dựng các hệ thống bằng chứng không có kiến thức như zk-STARK không yêu cầu thiết lập tin cậy. Giao thức FRI là thành phần chính của zk-STARK, cho phép zk-STARK hoạt động mà không yêu cầu thiết lập tin cậy. Nhưng bản thân giao thức FRI không phải là một quy trình thiết lập niềm tin, vì nó không liên quan đến việc tạo hoặc hủy bất kỳ thông tin bí mật nào.
Cách thức hoạt động của Starknet
Các sản phẩm của StarkWare bao gồm StarkEx, một dịch vụ doanh nghiệp ZKR được tùy chỉnh cho các bên dự án và StarkNet tổng quát hơn. StarkNet bao gồm năm phần, đó là: prover (người xác nhận), Sequencer (bộ phân loại) và Full node (nút đầy đủ) trên Starknet; và verifier (người xác minh) và lõi Starknet (trạng thái lõi được triển khai trên hợp đồng Ethereum).
Nguyên tắc hoạt động của nó là bắt đầu một giao dịch trên StarkNet, được chấp nhận, sắp xếp, xác minh bởi bộ phân loại máy chủ ngoài chuỗi và đóng gói thành các khối, thực hiện giao dịch, sau đó chuyển trạng thái sang hợp đồng trạng thái lõi starknet. Ngay lập tức, người chứng minh tạo bằng chứng về giao dịch và gửi nó đến người xác minh của Ethereum để xác minh. Trình xác minh gửi kết quả xác minh tới hợp đồng trạng thái lõi starknet của Ethereum và kích hoạt một bộ giao dịch Ethereum mới từ hợp đồng lõi Starknet để cập nhật trạng thái toàn cầu trên chuỗi nhằm lưu giữ hồ sơ. Nút đầy đủ (Full node) đóng vai trò lưu trữ, bao gồm thay đổi trạng thái, siêu dữ liệu, bằng chứng và ghi lại tất cả các giao dịch được thực hiện trong Starknet và theo dõi trạng thái toàn cầu hiện tại của hệ thống.
Hình 2-1 Sơ đồ nguyên lý hoạt động của Starknet
3 Hệ sinh thái StarkNet
Hình 3-1 Bản đồ sinh thái Starknet (từ Twitter @odin_free)
Có nhiều dự án sinh thái trong Starknet, hiện bao gồm hơn 100 dapp và dịch vụ. Trong số đó, có hai loại ví là Braavos và Argent, nhưng cách ghi nhớ giữa hai loại này không tương thích với nhau. Hơn 60 giao thức Defi đã được triển khai, bao gồm các DEX như 10kswap, Jediswap, Myswap và các giao thức cho vay như Zklend; tính đến thời điểm hiện tại, theo dữ liệu của Defilama, tổng TVL của StarkNet chỉ là 17,36 triệu đô la. Mặc dù TVL tổng thể là ngày càng tăng, So với 189,21 triệu đô la của Kỷ nguyên zkSync cùng loại, vẫn còn khoảng cách gần gấp 10. Có thể thấy rằng hệ sinh thái StarkNet vẫn đang ở giai đoạn đầu.
Hình 3-2 StarkNet TVL từ defilama
Cầu liên chuỗi bao gồm stargate cầu liên chuỗi chính thức, Orbiter, Layerswap, v.v.; Did có StarknetID và nền tảng nhiệm vụ StarQuest. Hiện tại, các hoạt động NFT Odyssey của các giao thức khác nhau của Starknet đang diễn ra sôi nổi. Liệu hệ sinh thái trong tương lai của StarkNet sẽ tiếp tục thịnh vượng hay chỉ tồn tại trong thời gian ngắn, chúng ta chỉ có thể chờ xem...
Xem bản gốc
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 Chính thức triển khai Mainnet: Hiện thực hóa bước nhảy lượng tử
Lời nói đầu
Được biết, Starknet 0.12.0 đã được triển khai chính thức trên mạng chính vào ngày 12 tháng 7, đạt được thông lượng lớn hơn và độ trễ thấp hơn. Trước khi đọc bài viết này, bạn cần hiểu sơ bộ về khái niệm zero-knowledge proof:
Bằng chứng không kiến thức thuộc về khái niệm mật mã và là một bằng chứng tương tác. Hãy bắt đầu với một ví dụ kinh điển: A bị mù màu đỏ-lục, và B có hai quả bóng bi-a, một đỏ và một lục. Trong mắt của A, hai quả bóng có màu giống hệt nhau và B cần chứng minh với A rằng một trong hai quả bóng bi-a có màu đỏ và quả còn lại có màu xanh lục. Lúc này, A đặt bi-a sau lưng, anh ta có thể hoán đổi hai bi-a hay không, và B cần phán đoán xem A đã hoán đổi hai bi-a hay chưa, lặp lại nhiều lần, nếu kết quả B đoán mỗi lần là đúng , sau đó A nghĩ rằng một trong hai quả bi-a màu đỏ và quả còn lại màu xanh, đó là tình huống thực tế. Đây là một ví dụ về bằng chứng không kiến thức cổ điển.
1 Giới thiệu về Starknet
StarkNet là một cuộn xác thực phi tập trung không được phép (còn được gọi là "ZK-Rollup"). Là Lớp 2 trên Ethereum, nó cho phép bất kỳ Dapp nào đạt được khả năng mở rộng vô hạn trong điện toán mà không phải hy sinh khả năng kết hợp và bảo mật của Ethereum.
StarkWare, công ty mẹ của StarekNet, được thành lập vào năm 2018 và có trụ sở chính tại Israel với các sản phẩm chính là Starknet và StarkEx. Định giá công ty của nó đã đạt 8 tỷ đô la Mỹ. Cho đến nay, StarkNet đã trải qua 5 vòng cấp vốn, huy động được tổng cộng 273 triệu đô la Mỹ.
Điều đáng nói là Ethereum Foundation đã hỗ trợ công khai cụ thể starkware bằng cách sử dụng stark và họ đã cung cấp khoản tài trợ trị giá 12 triệu đô la cho starkware. Và đây là một trong những lý do tại sao ngành nói chung lạc quan về sự phát triển trong tương lai của StarkNet và tính chính thống của nó.
Mô hình kinh tế mã thông báo
StarkNet đã thông báo vào ngày 16 tháng 11 năm 2022 rằng mã thông báo gốc $STRK của nó sẽ được triển khai trên mạng chính Ethereum để bỏ phiếu, đặt cược và thanh toán phí.
Hình 1-1 Mô hình kinh tế mã thông báo $STARK
Trong mô hình kinh tế mã thông báo, ngoại trừ 49,9% mã thông báo của các nhà đầu tư và những người đóng góp cốt lõi, 50,1% mã thông báo còn lại đều thuộc sở hữu của Quỹ StarkNet. Trong số này, 8,1% mã thông báo vẫn chưa được phân bổ. Phần này sẽ được cộng đồng sử dụng để xác định mục đích sử dụng tương ứng, vì vậy phần mã thông báo này thường được suy đoán là hạn ngạch airdrop tiềm năng. Quỹ Starknet cũng đã bổ nhiệm cựu giám đốc điều hành Facebook Diego Oliva làm Giám đốc điều hành đầu tiên của mình. Oliva trước đây đã tuyên bố rằng anh ấy sẽ tập trung vào việc quản trị cộng đồng phi tập trung Starknet, nhấn mạnh quyền và lợi ích của các nhà phát triển và người dùng.
bản đồ tuyến đường
Thông lượng và độ trễ của V 0.12.0
Quan chức này gần đây đã công bố lộ trình tổng thể cho năm 2023. Phiên bản 0.12.0 đã chính thức được triển khai trên mạng chính vào thứ Tư, ngày 12 tháng 7. Phiên bản mới nhất của Starknet, 0.12.0, giới thiệu các cải tiến đáng kể về hiệu suất, bao gồm các cải tiến về thông lượng và độ trễ. Bằng cách áp dụng Sequencer dựa trên Rust và Rust-Cairo VM, hiệu suất của StarkNet sẽ được cải thiện đáng kể và sàn giao dịch OKEX đã bắt đầu hỗ trợ ký gửi mạng chính starknet ETH.
V 0.13.0 Chi phí giao dịch
Trong phiên bản V 0.13.0, chi phí giao dịch của Starknet sẽ giảm đáng kể. Điều này đạt được thông qua ý chí, một thành phần chính của việc giảm chi phí giao dịch. Chi phí dữ liệu L1 (Ethereum) chiếm 95% chi phí giao dịch hiện nay và Volition sẽ cho phép các nhà phát triển xây dựng các ứng dụng Starknet bằng mô hình Dữ liệu sẵn có (DA) kết hợp. Ngoài ra, Ethereum’s EIP-4844 (Sharded Blob Transactions) dự kiến sẽ được phát hành vào quý 4 năm 2023. Do EIP-4844 của Ethereum và Volition của Starknet (dữ liệu sẵn có ngoài chuỗi), chi phí dữ liệu của Starknet sẽ giảm đáng kể.
Thị trường phí V 0.14.0
Tắc nghẽn mạng là vấn đề đau đầu đối với mọi nhà phát triển và người dùng. Để giải quyết vấn đề này, Starknet sẽ giới thiệu một thị trường phí trong phiên bản V 0.14.0 để phân bổ hiệu quả các nguồn tài nguyên hạn chế của Starknet theo lượng gas mà người dùng trả cho các giao dịch.
V 0.15.0 khoảng thời gian chặn cố định ngắn hơn
Trong phiên bản V0.15.0, một số kế hoạch cải tiến nhằm cải thiện hiệu suất và trải nghiệm người dùng của Starknet, giảm khoảng thời gian chặn và cải thiện thông lượng của mạng bằng cách tách rời mối quan hệ giữa các khối và bằng chứng. Điều này sẽ làm cho Starknet trở thành một nền tảng chuỗi khối mạnh mẽ và hiệu quả hơn.
2 Phân tích Kỹ thuật
ZK-Rollup VS OP-Rollup
Hiện tại Lớp 2 được sử dụng rộng rãi nhất trên thị trường - công nghệ cơ bản của Arbitrium là OP-Rollup, (Rollup lạc quan). Nó đạt được sự mở rộng thông qua bằng chứng gian lận. Trong Op-Rollup, dữ liệu giao dịch được hệ thống tin tưởng một cách lạc quan là chính xác, không cần xác minh theo thời gian thực, trực tiếp bước vào giai đoạn chờ đợi. Trong thời gian chờ đợi, nếu một nút đưa ra phản đối và cung cấp bằng chứng để chứng minh rằng có giao dịch độc hại, giao dịch sẽ bị hủy; nếu không có phản đối, giao dịch sẽ tự động hoàn thành và được xác minh trên chuỗi chính sau thời gian chờ đợi. thời gian đã hết.
Starknet là Lớp 2 dựa trên công nghệ ZK-Rollup. ZK-Rollup chủ yếu dựa vào công nghệ chứng minh kiến thức bằng 0. Bằng cách tách biệt quy trình tính toán và xác minh, quá trình xác minh thực thi hợp đồng được hoàn thành ngoài chuỗi, sau đó kết quả xác minh được gửi tới mạng chính Ethereum. Quá trình tính toán được thực hiện ngoài chuỗi và kết quả xác minh chỉ được gửi tới Ethereum để làm bằng chứng.
So với OP-rollup và ZK-rollup, ZK-rollup là giải pháp thay thế an toàn hơn OP-rollup, trong khi OP-rollup là lựa chọn tốt hơn cho các dự án DeFi có khả năng tương thích với EVM. Có thể thấy rằng ZK-rollup tương thích với EVM sẽ là hướng phát triển tường thuật trong tương lai của Lớp 2 với những ưu điểm bảo mật tự nhiên của nó. Bảo mật đạt được nhờ sự phụ thuộc của StarkNet vào STARK, hệ thống bằng chứng mật mã an toàn và có khả năng mở rộng nhất.
Zk-STARK đấu với Zk-SNARK
STARK (Đối số kiến thức minh bạch có thể mở rộng bằng không kiến thức) và Zk-SNARK (Lập luận kiến thức ngắn gọn không tương tác về tri thức) đều là các công nghệ bằng chứng không kiến thức, được sử dụng để tạo bằng chứng có thể được xác minh mà không tiết lộ tất cả thông tin. Nhưng có một số khác biệt chính trong việc triển khai và các tính năng của chúng.
Việc chọn sử dụng SNARK hoặc STARK tùy thuộc vào các tình huống và yêu cầu ứng dụng cụ thể. SNARK có lợi thế về kích thước bằng chứng và tốc độ xác minh, nhưng yêu cầu thiết lập niềm tin. STARK không yêu cầu cài đặt tin cậy và có khả năng chống lại các cuộc tấn công máy tính lượng tử, nhưng bằng chứng lớn hơn và tốc độ xác minh chậm hơn.
Một khái niệm được giới thiệu ở đây - Thiết lập đáng tin cậy, là quy trình được sử dụng trong một số loại hệ thống bằng chứng không có kiến thức (chẳng hạn như zk-SNARK), tạo ra một số tham số ban đầu trước khi hệ thống bắt đầu hoạt động. Các tham số này được sử dụng cả trong quá trình tạo và xác minh bằng chứng.
Chìa khóa của việc thiết lập lòng tin là đảm bảo rằng những người tạo sẽ phá hủy triệt để các bí mật mà họ sử dụng sau khi tạo các tham số ban đầu. Nếu người tạo giữ bí mật này, họ sẽ có khả năng tạo bằng chứng giả có vẻ hợp lệ, điều này sẽ ảnh hưởng đến tính bảo mật của hệ thống. Do đó, quy trình thiết lập lòng tin cần phải được giám sát và giám sát chặt chẽ để đảm bảo rằng tất cả những người tạo ra thông tin bí mật đã được hủy đúng cách. Đó là lý do tại sao nó được gọi là "thiết lập tin cậy" vì người dùng phải tin tưởng rằng quy trình này là công bằng và trình tạo không gian lận.
Tuy nhiên, zk-STARKs là một hệ thống bằng chứng không có kiến thức, không yêu cầu cài đặt tin cậy. Điều này có nghĩa là, không giống như các hệ thống yêu cầu thiết lập niềm tin (chẳng hạn như zk-SNARK), quá trình tạo và xác minh bằng chứng của zk-STARK không dựa vào bất kỳ thông tin bí mật nào. Điều này mang lại tính minh bạch và bảo mật cao hơn, vì tính bảo mật của hệ thống không phụ thuộc vào hành động của bất kỳ cá nhân hoặc tổ chức cụ thể nào. zk-STARK được hiện thực hóa bằng cách sử dụng một công nghệ gọi là "FRI" (Bằng chứng Oracle tương tác nhanh với Reed-Solomon).
Thỏa thuận FRI
Ý tưởng cơ bản của giao thức FRI là giảm dần bậc của đa thức thông qua một loạt các bước lấy mẫu và nội suy. Ở mỗi bước, trình tục ngữ cung cấp một đa thức mới mà nó tuyên bố là phiên bản nén của đa thức ban đầu. Người xác minh có thể xác minh rằng tuyên bố là chính xác bằng cách kiểm tra các giá trị của các đa thức này tại các điểm ngẫu nhiên.
Quá trình này tiếp tục cho đến khi bậc của đa thức đủ thấp để người kiểm tra có thể kiểm tra trực tiếp tất cả các hệ số của nó. Do bậc của đa thức giảm đi một nửa trong mỗi bước, quá trình này có thể được thực hiện trong thời gian logarit, điều này làm cho giao thức FRI rất hiệu quả.
Một thuộc tính quan trọng của giao thức FRI là nó chỉ dựa vào các thông số công khai, được xác định trước và không yêu cầu bất kỳ thông tin bí mật nào. Điều này làm cho nó hữu ích cho việc xây dựng các hệ thống bằng chứng không có kiến thức như zk-STARK không yêu cầu thiết lập tin cậy. Tuy nhiên, giao thức FRI (Fast Reed-Solomon Interactive Oracle Proofs) không tương đương với thiết lập tin cậy. Thay vào đó, giao thức FRI là một công nghệ để tạo và xác minh bằng chứng về zk-STARK. Nó cho phép người chứng minh chứng minh với người chứng minh rằng các hệ số của một đa thức là bậc thấp mà không tiết lộ nội dung cụ thể của đa thức. Thuộc tính quan trọng của giao thức FRI là nó chỉ dựa vào các tham số công khai, được xác định trước và không yêu cầu bất kỳ thông tin bí mật nào. Điều này làm cho nó hữu ích cho việc xây dựng các hệ thống bằng chứng không có kiến thức như zk-STARK không yêu cầu thiết lập tin cậy. Giao thức FRI là thành phần chính của zk-STARK, cho phép zk-STARK hoạt động mà không yêu cầu thiết lập tin cậy. Nhưng bản thân giao thức FRI không phải là một quy trình thiết lập niềm tin, vì nó không liên quan đến việc tạo hoặc hủy bất kỳ thông tin bí mật nào.
Cách thức hoạt động của Starknet
Các sản phẩm của StarkWare bao gồm StarkEx, một dịch vụ doanh nghiệp ZKR được tùy chỉnh cho các bên dự án và StarkNet tổng quát hơn. StarkNet bao gồm năm phần, đó là: prover (người xác nhận), Sequencer (bộ phân loại) và Full node (nút đầy đủ) trên Starknet; và verifier (người xác minh) và lõi Starknet (trạng thái lõi được triển khai trên hợp đồng Ethereum).
Nguyên tắc hoạt động của nó là bắt đầu một giao dịch trên StarkNet, được chấp nhận, sắp xếp, xác minh bởi bộ phân loại máy chủ ngoài chuỗi và đóng gói thành các khối, thực hiện giao dịch, sau đó chuyển trạng thái sang hợp đồng trạng thái lõi starknet. Ngay lập tức, người chứng minh tạo bằng chứng về giao dịch và gửi nó đến người xác minh của Ethereum để xác minh. Trình xác minh gửi kết quả xác minh tới hợp đồng trạng thái lõi starknet của Ethereum và kích hoạt một bộ giao dịch Ethereum mới từ hợp đồng lõi Starknet để cập nhật trạng thái toàn cầu trên chuỗi nhằm lưu giữ hồ sơ. Nút đầy đủ (Full node) đóng vai trò lưu trữ, bao gồm thay đổi trạng thái, siêu dữ liệu, bằng chứng và ghi lại tất cả các giao dịch được thực hiện trong Starknet và theo dõi trạng thái toàn cầu hiện tại của hệ thống.
Hình 2-1 Sơ đồ nguyên lý hoạt động của Starknet
3 Hệ sinh thái StarkNet
Hình 3-1 Bản đồ sinh thái Starknet (từ Twitter @odin_free)
Có nhiều dự án sinh thái trong Starknet, hiện bao gồm hơn 100 dapp và dịch vụ. Trong số đó, có hai loại ví là Braavos và Argent, nhưng cách ghi nhớ giữa hai loại này không tương thích với nhau. Hơn 60 giao thức Defi đã được triển khai, bao gồm các DEX như 10kswap, Jediswap, Myswap và các giao thức cho vay như Zklend; tính đến thời điểm hiện tại, theo dữ liệu của Defilama, tổng TVL của StarkNet chỉ là 17,36 triệu đô la. Mặc dù TVL tổng thể là ngày càng tăng, So với 189,21 triệu đô la của Kỷ nguyên zkSync cùng loại, vẫn còn khoảng cách gần gấp 10. Có thể thấy rằng hệ sinh thái StarkNet vẫn đang ở giai đoạn đầu.
Hình 3-2 StarkNet TVL từ defilama
Cầu liên chuỗi bao gồm stargate cầu liên chuỗi chính thức, Orbiter, Layerswap, v.v.; Did có StarknetID và nền tảng nhiệm vụ StarQuest. Hiện tại, các hoạt động NFT Odyssey của các giao thức khác nhau của Starknet đang diễn ra sôi nổi. Liệu hệ sinh thái trong tương lai của StarkNet sẽ tiếp tục thịnh vượng hay chỉ tồn tại trong thời gian ngắn, chúng ta chỉ có thể chờ xem...