Trình xác minh tính toàn vẹn: Một bước tiến lớn hướng tới khả năng mở rộng cực cao cho Starknet

Bản dịch gốc: TinTinLand

Quan điểm cốt lõi

• An integrity verifier developed by Herodotus that enables developers to verify Cairo programs executed elsewhere on Starknet.

• Trình xác minh tính toàn vẹn cho phép mở rộng quy mô Lớp 3 bằng cách giới thiệu một lớp nén bằng chứng bổ sung trên Starknet trước khi thanh toán Ethereum, giúp giảm chi phí.

• Mở rộng quy mô L3 là một trong một số tùy chọn để cải thiện khả năng mở rộng của Starknet, mở ra cơ hội xây dựng các chuỗi ứng dụng có thể tùy chỉnh hoàn toàn, có thể hưởng lợi từ lợi ích giảm chi phí bổ sung của trình xác thực tính toàn vẹn.

• Các trường hợp sử dụng khác cũng sẽ được hưởng lợi từ khả năng xác minh của trình xác minh tính toàn vẹn trên Starknet, bao gồm xác minh bằng chứng lưu trữ và học máy không có kiến thức.

giới thiệu

Hai năm trước, StarkWare đã giới thiệu khái niệm chia tỷ lệ fractal và Lớp 3, cho phép các nhà phát triển xây dựng chuỗi ứng dụng có thể tùy chỉnh hoàn toàn với chi phí thấp hơn so với mạng Lớp 2. Giờ đây, nhà cải tiến bằng chứng lưu trữ Herodotus đang thực hiện bước quan trọng đầu tiên hướng tới việc giới thiệu khả năng này cho Starknet.

Với sự hỗ trợ từ StarkWare, Herodotus đã ra mắt công cụ xác minh tính toàn vẹn, cho phép các nhà phát triển xác minh bằng chứng Stone trên Starknet. Với trình xác minh mới này, các nhà phát triển có thể xác minh các chương trình Cairo được thực thi ở nơi khác trên Starknet giống như cách họ xác minh việc thực thi Starknet trên Ethereum.

Mở cửa cho chuỗi ứng dụng L3

Một trong những khả năng mạnh mẽ nhất của trình xác minh tính toàn vẹn là nó cho phép các nhà phát triển xây dựng các chuỗi chuyên dụng (chuỗi ứng dụng) trên Starknet với chi phí thấp hơn.

Điều này đòi hỏi phải xây dựng một lớp trên Starknet nơi các giao dịch có thể được thực hiện và tập hợp thành một bằng chứng chứng minh tính hợp lệ của chúng. Việc xác minh các bằng chứng này trên L2 là lúc trình xác minh tính toàn vẹn phát huy tác dụng. Với trình xác minh mới này, các bằng chứng được tạo bằng Stone (và Stwo sắp ra mắt) có thể được xác minh trên Starknet, do đó xác minh các giao dịch được thực hiện trên chuỗi ứng dụng.

Vì các chuỗi ứng dụng của Starknet vẫn được sử dụng trên Ethereum nên chúng kế thừa tính bảo mật của mạng lưới, giống như chính Starknet. Nhưng các chuỗi ứng dụng trên Starknet cũng mang lại những lợi ích bổ sung:

• Tùy chỉnh: Nhìn chung, AppChains cung cấp cho các nhà phát triển tính linh hoạt cao hơn so với L2 công khai, tối đa hóa khả năng tùy chỉnh mọi khía cạnh của ứng dụng của họ. Ví dụ: tùy chỉnh kích thước khối, độ trễ, mẫu sẵn có của dữ liệu và thậm chí triển khai các tính năng mà L2 công khai không hỗ trợ.

• Khả năng mở rộng cực cao: Khi chuỗi ứng dụng được xây dựng dưới dạng L3, Starknet sẽ nén thêm các bằng chứng trước khi xác minh chúng trên Ethereum. Các chuỗi ứng dụng như vậy được hưởng lợi từ việc giảm chi phí khác, giúp việc phát triển các trường hợp sử dụng phức tạp hơn trở nên khả thi hơn về mặt kinh tế, chẳng hạn như giao dịch DeFi tần suất cao, quản lý chuỗi cung ứng và trò chơi toàn chuỗi.

• Tránh ùn tắc: Chuỗi ứng dụng cung cấp môi trường giao dịch ổn định hơn (quan trọng đối với các ứng dụng thời gian thực như trò chơi) và tránh tắc nghẽn mạng tiềm ẩn trên L2 công khai khi blockchain được áp dụng rộng rãi.

• Các lợi ích khác của xác thực có thể mở rộng

Thu nhỏ, vì Cairo là ngôn ngữ hoàn chỉnh của Turing, trình xác minh tính toàn vẹn sẽ xác minh việc thực thi các chương trình Cairo, điều này giúp có thể xác minh bất kỳ tính toán nào trên Starknet một cách rẻ tiền. Lớp giảm chi phí bổ sung này có thể mang lại lợi ích cho nhiều trường hợp sử dụng và hai ví dụ nổi bật bên cạnh chuỗi ứng dụng là bằng chứng lưu trữ và máy học không kiến thức (ZKML).

Bằng chứng lưu trữ giúp việc xác minh bất kỳ trạng thái blockchain nào tại bất kỳ thời điểm nào trong quá khứ trở nên khả thi về mặt kinh tế mà không cần phải tin tưởng vào bên thứ ba. Điều thú vị là Herodotus, nhóm đứng sau trình xác minh tính toàn vẹn, gần đây đã đưa Proof of Storage tiến thêm một bước bằng cách cung cấp bằng chứng không đáng tin cậy về Ethereum bắt đầu từ khối gốc. Bằng chứng STARK giúp giảm chi phí Bằng chứng lưu trữ và trình xác minh tính toàn vẹn mở ra cơ hội giảm thêm chi phí.

Khi AI ngày càng trở thành một phần trong cuộc sống của chúng ta, khái niệm ZKML, sử dụng bằng chứng không có kiến thức để xác minh tính toán của các mô hình AI, ngày càng thu hút được nhiều sự chú ý hơn.

Trong các lĩnh vực như AI, nơi thường thiếu tính minh bạch, sự xuất hiện của các trình xác thực tính toàn vẹn có thể là yếu tố thay đổi cuộc chơi. Xác minh AI có thể mở rộng không thể cung cấp cái nhìn sâu sắc về cách một mô hình “suy nghĩ” hoặc đưa ra kết luận, nhưng nó có thể xác minh rằng mô hình chính xác đã thực sự được sử dụng. Các công cụ như trình xác thực tính toàn vẹn có thể giúp ZKML hiệu quả hơn về mặt kinh tế bằng cách giúp việc xác minh các mô hình AI tiết kiệm chi phí hơn.

Herodotus đã công bố hợp tác với nhà cải tiến ZKML Giza để trao quyền cho các nhà phát triển xây dựng các ứng dụng AI mạnh mẽ, an toàn và không cần tin cậy thông qua việc mở rộng các công nghệ mới như trình xác minh tính toàn vẹn.

Tóm lại là

Việc ra mắt trình xác thực tính toàn vẹn thể hiện bước đầu tiên hướng tới khả năng mở rộng cực cao cho Starknet. Bằng cách cho phép các nhà phát triển xác thực các chương trình Cairo được thực thi ở nơi khác trên Starknet, trình xác thực sẽ mở ra những khả năng hoàn toàn mới cho mạng. Những khả năng này bao gồm từ việc xây dựng chuỗi ứng dụng có thể tùy chỉnh với mức giảm chi phí bổ sung cho đến phát triển các trường hợp sử dụng mới như ZKML. L3 chỉ là một trong những công cụ giúp nâng cao khả năng mở rộng của Starknet và còn nhiều công cụ khác sắp ra mắt.

Chương trình tài trợ hạt giống Starknet

In order to help more developers enter the Starknet ecosystem and efficiently develop new projects, the Starknet ecosystem launched the Seed Funding Program, which aims to support more development teams to strengthen the development of the Starknet ecosystem by providing up to US$25,000 USDC non-dilution funding rewards.

Chương trình tài trợ hạt giống có quy trình đánh giá và nộp đơn hợp lý, với mục tiêu đưa ra quyết định trong vòng khoảng hai tuần kể từ khi nộp đơn.

Nguồn tài trợ hạt giống chủ yếu dành cho các dự án đã phát triển sản phẩm khả thi tối thiểu (MVP) hoặc bằng chứng về khái niệm (POC) nhưng chưa được triển khai. Các dự án và nhóm đáp ứng các tiêu chí sau có thể đăng ký:

• Tích cực tham gia vào các hoạt động cộng đồng Starknet hoặc đã tham gia các cuộc thi hackathon của Starknet, chương trình xây dựng hoặc các chương trình cấp cơ bản khác;

• MVP hoặc POC đã được phát triển;

• Các dự án có kế hoạch sử dụng hoặc xây dựng dựa trên các công cụ và tích hợp Starknet hiện có.

Tất cả các đội phải trình bày một kế hoạch rõ ràng nêu chi tiết cách họ sẽ sử dụng số tiền này trong ba tháng tới. Cộng đồng Starknet hoan nghênh các ứng dụng từ mọi ngành, không có hạn chế về loại sản phẩm.

quá trình nộp đơn

• Áp dụng

Đơn đăng ký dự án có sẵn bằng cách gửi mẫu đơn đăng ký. Cần có lộ trình rõ ràng để giải thích cách sử dụng nguồn tài trợ trong ba tháng tới.

• Xem xét nội bộ

Một ủy ban nội bộ sẽ đánh giá từng ứng dụng dựa trên tác động tiềm tàng, sự đổi mới, các cột mốc quan trọng, sự tham gia của cộng đồng, hồ sơ theo dõi và khả năng tích hợp với hệ sinh thái Starknet.

• Thông báo kết quả

Chúng tôi dự định sẽ thông báo cho bạn về kết quả đơn đăng ký của bạn sau khoảng hai tuần.

• Quá trình

Sau khi hoàn thành thành công KYC (Biết khách hàng của bạn) và ký thỏa thuận tài trợ, bạn sẽ nhận được tài trợ.

• Theo sát

Sau ba tháng, Quỹ sẽ theo dõi những người được cấp và đánh giá kết quả. Người được cấp nên chia sẻ thông tin cập nhật thường xuyên (bài đăng trên blog, video, AMA, v.v.) với nhóm để hỗ trợ quá trình này.

Ứng viên không đủ điều kiện

Chương trình này không phù hợp cho các dự án trưởng thành. Nếu sản phẩm của bạn đã trực tuyến được hơn ba tháng và/hoặc có một nhóm người dùng cốt lõi thì sản phẩm đó không đủ điều kiện tham gia Chương trình tài trợ hạt giống.

Cộng đồng Starknet không chấp nhận các ứng dụng liên quan đến:

• cờ bạc

• chất độc

• súng cầm tay

• buôn bán trái phép

• Rửa tiền

• Bất kỳ hoạt động tội phạm nào

nộp đơn ngay lập tức

♥️ https://forms.monday.com/forms/34e1d6aab0c5a173758aa66ee34660cf?r=apse2

Các câu hỏi thường gặp

• Chương trình tài trợ hạt giống là gì?

Chương trình tài trợ hạt giống nhằm mục đích hỗ trợ các nhóm tăng cường phát triển hệ sinh thái Starknet bằng cách cung cấp phần thưởng tài trợ không pha loãng lên tới $25.000 bằng USDC.

• Ai có thể nộp đơn

Chương trình tài trợ hạt giống chủ yếu nhằm vào các dự án đã phát triển sản phẩm khả thi tối thiểu (MVP) hoặc bằng chứng về khái niệm (POC) nhưng chưa được tung ra thị trường.

Các dự án và nhóm đáp ứng các tiêu chí sau có thể được áp dụng:

• Tích cực tham gia vào các hoạt động cộng đồng Starknet hoặc đã tham gia các cuộc thi hackathon của Starknet, chương trình xây dựng hoặc các chương trình cấp cơ bản khác;

• MVP hoặc POC đã được phát triển;

• Các dự án có kế hoạch sử dụng hoặc xây dựng dựa trên các công cụ và tích hợp Starknet hiện có.

• Mất bao lâu để nhận được phản hồi cho đơn đăng ký của tôi ?

Người nộp đơn có thể mong đợi nhận được phản hồi trong vòng hai tuần.

• Những loại dự án nào được tài trợ chủ yếu?

Không có hạn chế về loại sản phẩm. Bất kỳ dự án nào được xây dựng trên Starknet không đáp ứng yêu cầu đều có thể xin tài trợ.

• Tư vấn ứng dụng

Khi đăng ký, điều quan trọng là phải cung cấp cái nhìn tổng quan toàn diện về dự án của bạn, bao gồm các mục tiêu, tác động tiềm tàng và cách dự án phù hợp với hệ sinh thái Starknet.

Trình bày rõ ràng đề xuất giá trị độc đáo của dự án của bạn và cách dự án giải quyết những thách thức hiện có hoặc giải quyết các cơ hội trong hệ sinh thái.

Ngoài ra, hãy nêu chi tiết chuyên môn, kinh nghiệm và đóng góp của nhóm bạn để chứng minh lý do tại sao nhóm của bạn là người phù hợp nhất để biến dự án này thành hiện thực.

Việc có một kế hoạch được cân nhắc kỹ lưỡng về việc sử dụng vốn là rất quan trọng vì nó sẽ thể hiện sự hiểu biết rõ ràng về cách thức phân bổ vốn, thúc đẩy sự thành công của dự án.

• Có bất kỳ hạn chế nào đối với ngành này không?

Chúng tôi hoan nghênh các đơn đăng ký từ tất cả các lĩnh vực và không có hạn chế nào đối với các loại dự án được xem xét.

• Nếu bạn cần nhiều hơn 25.000 thì sao?

Nếu bạn cần nhiều hơn $25.000, chúng tôi khuyên bạn nên xem xét các nguồn tài trợ khác hoặc thảo luận về nhu cầu cụ thể của bạn với nhóm của chúng tôi.

Mặc dù Chương trình tài trợ hạt giống cung cấp nguồn tài trợ có giới hạn ở mức $25.000, chúng tôi hiểu rằng một số dự án có thể cần nhiều tài trợ hơn.

Vui lòng liên hệ với chúng tôi để thảo luận về các lựa chọn thay thế hoặc cơ hội có thể được hỗ trợ thêm.

• Bạn có thích các dự án đã được xây dựng trên Starknet và tham gia vào hệ sinh thái không?

Mặc dù bất kỳ dự án nào cũng có thể áp dụng, nhưng dự án của bạn sẽ có cơ hội nổi bật hơn nếu bạn có thể chứng minh được sự hợp tác và liên quan trước đây với Starknet.

🔍 Để biết thêm thông tin về QA, vui lòng kiểm tra văn bản gốc:

https://www.starknet.io/en/ecosystem/grant

Lô dự án được chọn đầu tiên

Lô dự án được lựa chọn đầu tiên cho Chương trình tài trợ hạt giống đã được công bố. Chúng tôi hy vọng rằng nhiều nhà phát triển hơn sẽ tìm thấy nguồn cảm hứng phát triển của riêng họ từ việc khám phá các dự án này!

Lô dự án được lựa chọn đầu tiên bao gồm:

• Nhà phát triển trò chơi chuỗi khối Underware

Được thành lập vào năm 2023 bởi Rob Morris và mataleone, sự hợp tác giữa funDAOmental và Endless Crawler, là một studio trò chơi trên chuỗi bao gồm các nhà xây dựng, nghệ sĩ, nhà thiết kế, người kể chuyện kỳ cựu và những người tiên phong trong thế giới trò chơi tự trị và trò chơi toàn chuỗi.

• Làng ML, một trò chơi blockchain

ML Village đang xây dựng mô hình AI thương trường tập trung vào các trò chơi trên chuỗi Bot so với Bot và zkML sẽ được sử dụng để chứng minh lý luận trên chuỗi/ngoài chuỗi.

• Thunder, một thị trường sưu tầm trực tuyến

Thunder cho phép bạn trải nghiệm cảm giác hồi hộp khi giao dịch thẻ, bảo vệ và đơn giản hóa bộ sưu tập trực tuyến của bạn một cách liền mạch. Sự hợp tác của Thunder với Starknet sẽ cách mạng hóa hoạt động kinh doanh đồ sưu tầm. Chúng tôi mong muốn các giao dịch nhanh hơn, phí thấp hơn và khả năng mở rộng nâng cao trong tương lai.

• Sổ lệnh giới hạn kết hợp trên chuỗi/ngoài chuỗi DEX LayerAkire

LayerAkira đang xây dựng sổ lệnh giới hạn trung tâm (CLOB) kết hợp trên chuỗi/ngoài chuỗi đầu tiên trên Starknet, nhằm mục đích cung cấp tính thanh khoản sâu và tiêu chuẩn hóa tính công bằng cũng như minh bạch về giá cho mọi người trên mạng.

• Game nhập vai trực tuyến Starkane

Starkane là một game nhập vai chiến thuật hoàn toàn theo phong cách anime được xây dựng trên công cụ Dojo cải tiến và tận dụng Unity cho đồ họa 3D, nơi game thủ và người sáng tạo có thể tham gia vào một vũ trụ trò chơi rộng lớn.

• Máy chủ trò chơi phi tập trung Primis Protocol

Giao thức Primis cung cấp các máy chủ trò chơi phi tập trung được hỗ trợ bởi Liquid Stake để tạo ra thế giới trò chơi blockchain tuyệt đỉnh. Trò chơi cốt lõi của nó có tính năng tiến triển và chiến đấu vô tận, các tùy chọn phát triển mở rộng và nội dung do người dùng tạo. Nó được liên kết với một mô hình kinh tế sử dụng đặt cược thanh khoản, trong đó giá trị của tài sản quyết định mức độ phức tạp và quy mô của trò chơi.

• Trò chơi tương tác AI Tale Weaver

Tale Weaver kết hợp AI với các trò chơi tương tác để cho phép người chơi viết lại các quy tắc kể chuyện kỹ thuật số. Người chơi có thể tác động đến câu chuyện và chứng kiến cốt truyện phát triển theo một chu kỳ vô tận gồm các lựa chọn và hậu quả, với mục tiêu cách mạng hóa thế giới trò chơi trực tuyến và NFT.

• Công cụ tổng hợp lợi nhuận DeFi STRKFarm

Bằng cách dễ dàng điều hướng bối cảnh DeFi rộng lớn của Starknet trên STRKFarm, người dùng có thể xác định các nhóm có giá trị nhất và tối đa hóa phần thưởng $STRK. STRKFarm sẽ mang đến cho người dùng công cụ tổng hợp lợi nhuận tối ưu trên Starknet và sẽ sớm ra mắt NFT áp dụng sớm độc quyền.

• Thỏa thuận gây quỹ tuân thủ Kamea Labs

Kamea Labs đang xây dựng tương lai của hoạt động gây quỹ với sự hợp tác của Genki, một nền tảng tự quản lý, tuân thủ đầy đủ, cho phép người dùng giới thiệu dự án của họ với các nhà đầu tư quan tâm.

• Giao thức tiết kiệm giải thưởng không giám sát phi tập trung Bountive

Bountive là một giao thức tiết kiệm tiền thưởng phi tập trung, không giám sát trên Starknet, cung cấp cho người dùng các khoản tiền thưởng không bị mất và là giao thức tiết kiệm tiền thưởng phi tập trung đầu tiên dựa trên khái niệm tài khoản tiết kiệm liên kết với tiền thưởng.

• CodeJam Giao thức Học tập Cairo

CodeJam là một nền tảng giáo dục trực tuyến tập trung vào các khóa học Web3, được thiết kế để giúp các nhà phát triển mới dễ dàng học mà không cần bất kỳ thiết lập nào, chỉ cần truy cập trang web, đăng ký, học và thực hành viết mã. Mục tiêu của CodeJams là thu hút làn sóng nhà phát triển tiếp theo tìm hiểu Cairo và tìm hiểu sâu về StarkNet!

• Ví mã nguồn mở Ví Cypherock

Sử dụng ví phần cứng CypherockWallet X 1 có thể đảm bảo an toàn cho tài sản kỹ thuật số của người dùng và hiện đã bảo vệ tài sản hơn $50 triệu USD.

• Giao thức AMM BrownFi

BrownFi là giao thức AMM mới lấy cảm hứng từ sổ lệnh giới hạn truyền thống, trong đó các nhà cung cấp thanh khoản phân bổ tài sản vào các nhóm theo một đường cong liên kết tương tự để tối đa hóa lợi ích cho mọi người.

• ORugging Trail, một giao thức phiêu lưu văn bản trên chuỗi

Đây là một trò chơi phiêu lưu văn bản hoàn toàn trực tuyến do Archetype Tech phát hành. Trước tiên, dự án sẽ cố gắng chuyển TheOrugginTrail đến Cairo và nghiên cứu khả năng kết hợp của nó với các trò chơi có tính thẩm mỹ và chủ đề chồng chéo.

• Thị trường thu nhập cố địnhLila Finance

LilaFinance đang tung ra DeFi thu nhập cố định. Lila sử dụng thị trường thu nhập cố định phi tập trung trong đó NFT thể hiện các vị thế tài chính ở dạng có thể giao dịch, cung cấp cho người dùng thu nhập cố định với tính minh bạch và hiệu quả cao hơn.

• Trò chơi trực tuyến Grugs Lair

Đây là một trò chơi hoàn toàn trên chuỗi được xây dựng bởi nhóm Grugs Lair, chẳng hạn như Rising Revenant, Blob Arena và Plagues Survivor.

• Trang tổng quan trò chơi Web3 Wendash Analytics

Wendashboard Analytics cung cấp bảng điều khiển toàn diện cho các dự án trò chơi Web3, cung cấp cho các thành viên trong nhóm và người chơi những công cụ cần thiết để thống kê và thành công trên chuỗi.

• Phối hợp ngăn xếp, một bộ công cụ tập trung vào tài chính, nhận dạng và quản trị

Ngăn xếp CoinationLab cung cấp bộ công cụ tập trung vào tài chính, danh tính và quản trị để nâng cao hiệu quả và khả năng mở rộng cho các doanh nghiệp có nguồn gốc từ Internet.

• StarkShoot, trò chơi bắn súng trên blockchain

StarkShoot là trải nghiệm chơi trò chơi trực tuyến trong thế giới thực nhiều người chơi mang tính đột phá, giúp đẩy lùi ranh giới của sự phấn khích và đổi mới.

• Dòng tiền vào cổng thanh toán

Inflow Pay tạo điều kiện thuận lợi cho các giao dịch liền mạch từ tiền pháp định đến tiền điện tử cho các doanh nghiệp B2C, cung cấp một cổng thanh toán đáng tin cậy cho phép các doanh nghiệp dễ dàng điều hướng nền kinh tế kỹ thuật số.

Bài viết này được lấy từ internet: Trình xác minh tính toàn vẹn: Một bước tiến lớn hướng tới khả năng mở rộng cực cao cho Starknet

Liên quan: Chainlink (LINK) sắp sửa điều chỉnh 21%

Tóm lại, giá Chainlink hiện đang chứng kiến sự hình thành của mô hình vai và đầu vai đảo chiều giảm giá. Sự tham gia của các nhà đầu tư cũng đã giảm 44% trong hai tuần, cho thấy khả năng sụt giảm. LINK có thể tìm thấy hỗ trợ trên $15,56 vì gần 39,39 triệu LINK hiện vẫn có lãi. Chainlink (LINK) dường như đã sẵn sàng cho một đợt điều chỉnh đáng kể trong tương lai gần, do sự xuất hiện của mô hình đảo chiều giảm giá. Tuy nhiên, người bán nên thận trọng. Sự suy thoái được dự đoán trước này có thể gặp phải sự kháng cự, có khả năng làm giảm mức độ điều chỉnh. Các nhà đầu tư Chainlink đang rút lui Giá Chainlink đã điều chỉnh trong vài ngày qua, đưa altcoin này giao dịch ở mức $17.2 tại thời điểm viết bài. Mức giảm này dự kiến sẽ còn kéo dài hơn nữa do nhiều yếu tố, bao gồm cả sự tham gia ngày càng giảm của các nhà đầu tư.…