Đánh giá kiến trúc kỹ thuật và ứng dụng sinh thái của Starkware

Như được hiển thị bên dưới, hệ thống StarkEx được thiết kế để chấp nhận các giao dịch của người dùng từ chương trình phụ trợ của đối tác. Các giao dịch này sau đó được phân nhóm và xử lý bởi hệ thống StarkEx. Kết hợp với việc giới thiệu hợp đồng thông minh và chương trình phụ trợ trước đó, toàn bộ quy trình xử lý giao dịch và phân chia trách nhiệm của StarkEx được tóm tắt như sau.

Về mặt giao diện người dùng, khách hàng của StarkEx hỗ trợ hai loại hoạt động, trên chuỗi và ngoài chuỗi. Cái trước là giao dịch Ethereum tiêu chuẩn và người dùng thực hiện gửi và rút tiền trực tiếp thông qua hợp đồng StaarkEx, trong khi cái sau là hoạt động được thực hiện thông qua công cụ StarkEx, chẳng hạn như dydx, v.v.

Xác minh đơn hàng, được thiết lập và xác minh bởi chương trình phụ trợ của khách hàng StarkEx.

Logic kinh doanh, hợp đồng StarkEx tùy chỉnh (hợp đồng phụ) để hỗ trợ logic kinh doanh của khách hàng

Luồng giao dịch, tất cả các giao dịch được truyền tới StarkEx đều được xác minh và lập chỉ mục bằng cách sử dụng mã định danh liên tục được gọi là tx_ids, tương tự như cách tiếp cận nonce,

Người gửi giao dịch, Khi cổng StarkEx xác nhận rằng giao dịch đúng, nó sẽ được đảm bảo thực hiện (không thực sự ngay lập tức) và sẽ được hiển thị trước cho người dùng ở giao diện người dùng thay vì chờ hoàn tất trên chuỗi.

Xử lý lỗi, nếu phát hiện giao dịch không hợp lệ, hệ thống StarkEx sẽ báo lỗi đến endpoint chuyên nghiệp của khách hàng, khách hàng sẽ phản hồi kèm theo danh sách bổ sung các giao dịch sẽ được thực hiện.Thay thế các giao dịch không hợp lệ, chẳng hạn như danh sách trống, v.v.

Xem xét hàng loạt, lô nào khách hàng cũng có thể xem xét trước khi truyền lên dây chuyền, nếu không đúng với trạng thái mong đợi thì khách hàng có thể không đồng ý hoặc hủy bỏ mặt sau.

Khả năng chống kiểm duyệt, nếu khách hàng xem xét yêu cầu của người dùng, StarkEx cho phép người dùng thực hiện các thao tác trực tiếp thông qua hợp đồng StarkEx, khách hàng phải cung cấp cho người dùng trong thời gian quy định, nếu không hợp đồng StarkEx sẽ bị đóng băng.

Tài liệu tham khảo: Tích hợp đối tác StarkEx :: Tài liệu StarkEx

StarkNet: ZKR phổ quát

Giới thiệu

Khác nhau đối với các ứng dụng khác nhau mà StarkEx tùy chỉnh ZK Rollup. StarkNet là một ZK Rollup chung và các nhà phát triển có thể triển khai các ứng dụng trên StarkNet.

Giới thiệu cơ bản

Trên Ethereum, mọi giao dịch được gửi đều yêu cầu tất cả các nút kiểm tra, xác minh và thực hiện giao dịch để đảm bảo tính chính xác của tính toán và các thay đổi trạng thái được tính toán sẽ được phản ánh trong mạng phát tin.

https://ethereum.org/zh/developers/docs/evm/ 

StarkNet chỉ thực hiện các phép tính ngoài chuỗi và tạo bằng chứng ZK, sau đó xác minh tính chính xác của bằng chứng trên chuỗi và cuối cùng đóng gói nhiều giao dịch L2 thành một giao dịch trên Ethereum. Vì vậy, chi phí giao dịch phát sinh trên StarkNet có thể được chia đều cho các nền tảng giao dịch khác trong cùng một lô đóng gói, giống như việc đi chung xe (Pinduoduo), giao dịch càng nhiều thì chi phí càng giảm.

Ngoài ra, so với phương pháp của Ethereum cho phép mỗi nút thực hiện đầy đủ các giao dịch, phương pháp của StarkNet việc tạo bằng chứng ZK cho các giao dịch có thể cải thiện đáng kể tốc độ hoạt động của mạng, giảm giao tiếp trên chuỗi và tăng thông lượng mạng.Do đó, StarkNet có TPS cao hơn và Gas thấp hơn Ethereum.

Tóm lại, việc kiểm tra tính đúng đắn của phép tính được ví như việc giáo viên cần kiểm tra xem học sinh đã nắm vững kiến thức chưa . Phương pháp của Ethereum là kiểm tra xem mỗi bạn cùng lớp có thể đọc thuộc lòng toàn bộ sách giáo khoa hay không, trong khi phương pháp của StarkNet là yêu cầu học sinh làm bài. Loại thứ hai hiệu quả hơn và ít tốn kém hơn nhưng vẫn đảm bảo an toàn.

Tương thích với EVM

Bản thân mạng StarkNet không tương thích với EVM và một bộ máy ảo Cairo thân thiện với ZK khác đã được thiết kế.

StarkNet không tạo ra các mạch ZK cho các opcode Ethereum như Hermez và Scroll, mà tự nó đã tạo ra một thêm ngôn ngữ hợp ngữ thân thiện với ZK, AIR (biểu diễn đại số trung gian) và ngôn ngữ cấp cao Cairo.

StarkNet thuộc cấp loại 4 được xác định bởi Vitalik - zkEVM tương thích với ngôn ngữ ( StarkNet về mặt kỹ thuật thuộc về zkVM do máy ảo được tùy chỉnh).

https://vitalik.eth.limo /general/2022/08/04/zkevm.html

Mặc dù bản thân StarkNet không tương thích với EVM, nhưng StarkNet vẫn tương thích với Ethereum theo những cách khác.

1. Warp: một dịch giả dịch Solidity sang ngôn ngữ Cairo

Warp là trình dịch Solidity-Cairo được phát triển bởi Nethermind, một nhóm cơ sở hạ tầng Ethereum nổi tiếng. Warp có thể dịch mã Solidity sang Cairo, nhưng chương trình Cairo đã dịch thường cần được sửa đổi và bổ sung các tính năng của Cairo (như gọi các hàm dựng sẵn, tối ưu hóa bộ nhớ, v.v.) để tối đa hóa hiệu quả thực thi.

2. Kakarot: một zkEVM được viết bằng ngôn ngữ Cairo

Kakarot là một hợp đồng thông minh được viết ở Cairo, hiện được triển khai trên Starknet ( goerli test mạng), mã byte tương đương với EVM. Hiện đang trong giai đoạn beta. Các ứng dụng Ethereum có thể được chuyển sang StarkNet bằng cách triển khai sang Kakarot.

Kakarot có thể: (a) thực thi mã byte EVM tùy ý, (b) triển khai EVM nguyên trạng hợp đồng thông minh, (c) Gọi các chức năng (phương thức xem và ghi) của hợp đồng thông minh EVM do Kakarot triển khai

Kakarot là trình thông dịch mã byte EVM.

Hiện tại, tất cả các mã EVM đều được hỗ trợ.

https://github.com/sayajin-labs/kakarot

Cách thức hoạt động

Thành phần

StarkNet có năm thành phần. Đó là Prover (certifier), Sequencer (sequencer) và full node trên StarkNet; và Verifier (Verifier) và hợp đồng trạng thái cốt lõi (StarkNet Core) được triển khai trên Ethereum.

https://david-barreto.com /starknets-architecture-review/#more-4602

Khi chúng tôi bắt đầu giao dịch trên StarkNet , một máy chủ ngoài chuỗi - trình sắp xếp thứ tự sẽ nhận, sắp xếp, xác minh và đóng gói chúng thành các khối. Thực hiện giao dịch và sau đó chuyển đổi trạng thái được gửi đến hợp đồng StarkNet Core;

Người chứng minh sẽ tạo bằng chứng về giao dịch và gửi nó đến người xác thực Ethereum

Người xác thực gửi kết quả xác minh đến hợp đồng StarkNet Core trên Ethereum và kích hoạt một tập hợp giao dịch Ethereum mới từ hợp đồng StarkNet Core để cập nhật trạng thái toàn cầu trên dây chuyền nhằm mục đích lưu giữ hồ sơ. Các giao dịch trạng thái được gửi dưới dạng "calldata" (Blob sau EIP-4844) để tiết kiệm gas giao dịch L1. Những "siêu dữ liệu" này có thể được giải mã bởi tất cả các nút StarkNet.

Về cơ bản, tất cả các nút đều thực hiện chức năng lưu trữ. Các nút đầy đủ lưu trữ các thay đổi trạng thái, siêu dữ liệu, chứng thực và hồ sơ của 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. Khi cần thiết, các nút đầy đủ sẽ giải mã "siêu dữ liệu" để xây dựng lại lịch sử của StarkNet.

Tham khảo "Đánh giá kiến trúc của StarkNet" được viết bởi người ủng hộ phát triển StarkNet @barretodavid.

Trình duyệt https://testnet.starkscan.co/, L2 Tạo khối động, Ethereum Một giờ giải quyết

Mô hình giao dịch và trừu tượng hóa tài khoản

Khác với thiết kế tài khoản kép của Ethereum EOA+CA, StarkNet triển khai tính năng trừu tượng hóa tài khoản gốc và chỉ có một thiết kế tài khoản, dựa trên Spirit của EIP 4337,

Hình bên dưới thể hiện mô hình giao dịch,

https://community.starknet.io/t/starknet-account-abstraction-model- part- 1/781

Sự trừu tượng hóa tài khoản gốc mở ra cánh cửa cho khả năng lập trình tài khoản, sáng kiến phát triển StarkNet Tác giả @barretodavid đề cập đến ý tưởng triển khai ví cứng di động trên StarkNet.

EOA trên Ethereum chỉ hỗ trợ sơ đồ chữ ký đường cong elip Secp256k1 ECDSA

Hầu hết điện thoại thông minh không hỗ trợ đường cong elip của Ethereum.

Vì vậy, ví di động cần phải dựa vào phần mềm để ký giao dịch và ví di động do đó là ví nóng.

Tính trừu tượng hóa tài khoản gốc của StarkNet, hỗ trợ nhiều đường cong elip và chữ ký Xác minh có khả năng lập trình cao, do đó, ví di động dựa trên StarkNet/Cairo có thể biến thành ví cứng.

Cairo đã triển khai nistp256 (dành cho điện thoại thông minh Secure Enlave)

https://github.com/spartucus/nistp256-cairo

Nói một cách đơn giản là gọi trực tiếp đến module mã hóa của điện thoại di động để “ký cứng” giao dịch.

TUYỆT VỜI

Hiện tại có nhiều hệ thống chứng minh khác nhau (tạo và xác minh bằng chứng), chẳng hạn như Halo, PLONK, Groth16, Groth09, Marlin, Plonky2, v.v., tất cả đều thuộc về SNARK hệ thống chứng minh. Hệ thống chứng minh có một người chứng minh để tạo ra bằng chứng và một người xác minh để xác minh bằng chứng. Các dự án ZK khác nhau hầu như luôn sử dụng các hệ thống chứng minh khác nhau. STARK được StarkNet sử dụng là một SNARK đặc biệt theo một nghĩa nào đó.

STARK có nhiều đổi mới hơn SNARK. Không cần phải dựa vào "cài đặt đáng tin cậy" như SNARK. Nó cũng đi kèm với các giả định mật mã đơn giản hơn, tránh sự cần thiết của các giả định về đường cong elip, ghép nối và kiến thức hàm mũ, hoàn toàn dựa vào lý thuyết băm và thông tin, và do đó có khả năng chống lại các cuộc tấn công lượng tử. Nói chung, STARK an toàn hơn SNARK.

Về khả năng mở rộng, STARK có khả năng mở rộng cao hơn. Tốc độ tạo bằng chứng có thang đo tuyến tính, thời gian xác minh và kích thước bằng chứng có thang đo logarit. Nhưng nhược điểm là bằng chứng được tạo ra có kích thước lớn hơn. Nhưng khi quy mô của bằng chứng tăng lên, chi phí xác minh sẽ giảm dần - nghĩa là bằng chứng càng lớn thì tổng chi phí càng thấp.

https://consensys.net/blog /blockchain-explained/zero-know-proofs-starks-vs-snarks/

Tóm tắt , So với SNARK, STARK an toàn hơn. Thời gian xác minh trung bình và kích thước bằng chứng sẽ giảm khi quy mô xác minh mở rộng. Nhược điểm là kích thước bằng chứng ban đầu lớn hơn nên phù hợp hơn cho các ứng dụng quy mô lớn.

Giải thích chi tiết về khả năng mở rộng

Giải thích chi tiết về khả năng mở rộng

Thời gian chứng minh tỉ lệ tuyến tính: Thời gian mà người chứng minh sử dụng có mối quan hệ gần như tuyến tính với số lượng lệnh gọi băm.

Ở mức bảo mật 80 bit, thời gian thực thi của trình chứng minh STARK trên mỗi 12288 lệnh băm Nếu là 1 thứ hai, chúng tôi nhận được 12288 lần/S và cứ sau 98304 lệnh gọi băm mất 10 giây, chúng tôi nhận được 9830 lần/S. Do đó, chúng tôi có thể biết rằng thời gian chứng minh của STARK và lệnh gọi băm về cơ bản có mối quan hệ gần như tuyến tính. Như trong hình bên dưới

https://eprint.iacr.org/2021/582.pdf

Xác minh và Chia tỷ lệ kích thước logarit bằng chứng: Thời gian xác minh (và kích thước bằng chứng) chia tỷ lệ theo logarit với các lệnh gọi băm. Như được hiển thị bên dưới:

Như có thể thấy trong hình bên trái, khi cuộc gọi băm bắt đầu từ 3072 Tăng lên 49152, thời gian xác minh tăng từ 40 ms lên 60 ms. Và khi số lượng lệnh gọi băm tăng từ 49152 lên 786432 thì thời gian xác minh chỉ tăng từ 60 ms lên 80 ms. Chứng minh rằng kích thước là như nhau. Do đó, chúng ta có thể biết rằng càng có nhiều lệnh gọi băm thì thời gian xác minh trung bình càng ngắn và kích thước bằng chứng trung bình càng nhỏ (băm được gọi để tạo ra hàm băm/bằng chứng).

Bằng chứng đệ quy

Bất kỳ bằng chứng/lập luận chung, ngắn gọn nào về một hệ thống kiến thức (đặc biệt là STARK) đều có thể được sử dụng để xác minh dần dần các tính toán. Điều này có nghĩa là một phép tính có thể tạo ra bằng chứng chứng minh tính đúng đắn của phiên bản tính toán trước đó, một khái niệm được gọi một cách không chính thức là "kết hợp bằng chứng đệ quy" hoặc "STARK đệ quy".

Nói cách khác, bộ chứng minh STARK đệ quy có thể đưa ra bằng chứng cho phát biểu rằng trạng thái của hệ thống có thể thu được từ một nước đi tới a+1. Bởi vì người chứng minh đã xác minh bằng chứng (đệ quy) xác nhận tính toàn vẹn tính toán của a và thực hiện một cách trung thực việc tính toán trạng thái a, đạt đến trạng thái mới a+1. Tóm lại, bạn có thể hiểu quá trình này là việc kết hợp hai cách chứng minh a và a+1 thành một chứng minh. Như được hiển thị bên dưới:

https:// Medium .com/starkware/recursive-starks-78f8dd401025

Cairo VM: Xác minh tính chính xác của phép tính

Tổng quan về Cairo VM

Đôi khi nó cũng xuất hiện thông qua StarkNet OS/Cairo OS. Đó là một chuyện. Không giống như EVM thực hiện các phép tính, bản thân Cairo VM chỉ tạo ra bằng chứng cho các tính toán và xác minh tính chính xác.

Cairo VM là một máy ảo CPU sử dụng kiến trúc von Neumann. Ngôn ngữ lập trình của nó Còn được gọi là Cairo, Ngôn ngữ Cairo dựa trên hợp ngữ Cairo nên hiệu quả biên dịch rất cao. Cairo là từ viết tắt của Biểu diễn trung gian đại số CPU. Cairo VM chứa một AIR duy nhất để xác minh tập lệnh của "CPU" này.

Về cách thức hoạt động, nó cập nhật trạng thái L2 của hệ thống dựa trên các giao dịch đầu vào nó nhận được. Tạo điều kiện thuận lợi cho việc thực hiện các hợp đồng StarkNet (có trụ sở tại Cairo). Hệ điều hành dựa trên Cairo, về cơ bản là một chương trình sử dụng hệ thống chứng minh STARK để chứng minh và xác minh đầu ra của nó. Các hoạt động và chức năng hệ thống cụ thể có sẵn cho các hợp đồng StarkNet có sẵn dưới dạng lệnh gọi tới hệ điều hành.

Tổng quan về ngôn ngữ Cairo

Cairo là ngôn ngữ hợp đồng thông minh của StarkNet, dựa trên thiết kế STARK. Chương trình Cairo có thể tạo ra các bằng chứng STARK.

Chương trình Cairo là một tập hợp mã hợp ngữ, các nhà phát triển Cairo sẽ sử dụng mã hợp ngữ cấp cao ngôn ngữ Cairo để viết hợp đồng thông minh thay vì lắp ráp Cairo. Khi chúng ta viết một chương trình Cairo, trình biên dịch Cairo sẽ biên dịch mã Cairo thành hợp ngữ Cairo. Trình biên dịch Cairo sẽ lấy mã hợp ngữ để tạo mã byte Cairo (chạy trên CPU Cairo) để thực thi trong Cairo VM. Cuối cùng khi nó chạy Nó cũng cần được biên dịch thành các opcode và mã máy (và hướng dẫn) trên máy thật.

Tính toán không xác định

Mục tiêu của chương trình Cairo là xác minh rằng các phép tính nhất định là chính xác và do đó có thể đi đường tắt so với các phép tính tất định. Điều đó có nghĩa là để chứng minh một tính toán, người xác minh có thể thực hiện một số công việc bổ sung không nằm trong tính toán.

Ví dụ: Chứng minh căn bậc hai y của x=961 bằng 0,1, …,100 trong phạm vi. Cách tiếp cận đơn giản là viết một mã phức tạp bắt đầu từ 961, tính toán gốc của nó và xác minh rằng gốc này nằm trong phạm vi được yêu cầu.

Mã giả như sau:

Đoán giá trị của y (đây là phần không chắc chắn). Tính y2 và đảm bảo kết quả của nó bằng x. Xác minh rằng y nằm trong phạm vi.

Và, nếu chúng ta áp dụng phương pháp tính toán sau.

Y = SQRT(X)

Thay vào đó, chúng ta có thể tính toán nó như sau (không phải tính toán xác định).

Y*Y=X

Như chúng ta có thể thấy, có hai giải pháp khả thi. +Y và -Y, và có thể chỉ một trong số chúng đáp ứng được các hướng dẫn còn lại.

Điều này có nghĩa là một số thủ tục Cairo (như ở trên) không thể được thực thi một cách hiệu quả nếu không có một số thông tin bổ sung. Thông tin này được cung cấp bởi những gì chúng ta gọi là tín hiệu. Gợi ý là những hướng dẫn đặc biệt dành cho Người chạy Cairo; được sử dụng để giải các bài toán không xác định trong đó các giá trị không thể dễ dàng suy ra. Về lý thuyết, lời nhắc có thể được viết bằng bất kỳ ngôn ngữ lập trình nào. Trong quá trình triển khai Cairo hiện tại, lời nhắc được viết bằng Python.

Giới thiệu về máy ảo xác định và không xác định, nhân chứng

Cairo thực sự liên quan đến VM Cairo mang tính tiền định và VM Cairo không tiền định ở đây. Cái trước là zkVM nghiêm túc, bằng chứng và xác minh; cái sau được sử dụng để tính toán không xác định.

việc chấp nhận đầu vào của cỗ máy xác định Cairo, tạo thành nhân chứng cho cỗ máy không tất định.

Đầu vào có thể chấp nhận được của VM mang tính quyết định ở Cairo tạo thành nhân chứng của VM không mang tính quyết định, ZKP Witness cần được sử dụng làm bằng chứng đầu vào và đầu ra. (Nhân chứng của một câu lệnh NP là một phần thông tin cho phép bạn xác minh một cách hiệu quả rằng tuyên bố đó là đúng. Ví dụ: nếu người ta khẳng định rằng chu trình Hamilton tồn tại trong một đồ thị nào đó, thì nhân chứng chính là một chu trình như vậy. Cho một chu trình, bạn có thể kiểm tra một cách hiệu quả xem đây có phải là vành Hamilton hợp lệ không, nhưng việc tìm một vành như vậy rất khó)

Có Một máy trạng thái song song.

Mô hình bộ nhớ: chỉ đọc không xác định

Bộ nhớ không xác định chỉ đọc, nghĩa là giá trị của mỗi ô nhớ được người chứng minh chọn và nó không thể thay đổi theo thời gian ( ở Cairo (trong quá trình thực hiện chương trình), là không thay đổi. Hướng dẫn này chỉ có thể đọc từ nó. Chúng ta có thể coi nó như bộ nhớ ghi một lần: bạn có thể ghi một giá trị vào một ô một lần, nhưng sau đó bạn không thể thay đổi giá trị đó.

Và nó liên tục, nếu có chỗ trống thì nó sẽ được lấp đầy bằng bất kỳ giá trị nào.

Ưu điểm của ROM bao gồm

Thấp Chi phí, mạch điện đơn giản hơn RAM

Bộ nhớ vĩnh viễn,

không thể bị giả mạo, không thể sửa đổi hoặc xóa dữ liệu

Các hàm tích hợp: Giảm việc biên dịch mã

Nhà phát triển có thể gọi trực tiếp các hàm tích hợp để giảm chi phí tính toán và tối ưu hóa trải nghiệm phát triển mà không yêu cầu chuyển đổi mã. Việc thêm các chức năng tích hợp không ảnh hưởng đến các ràng buộc của CPU. Điều này đơn giản có nghĩa là cùng một bộ nhớ được chia sẻ giữa CPU và các chức năng tích hợp như trong hình.

https://medium.com/@pban/demystifying-cairo-white-paper-part-i-b71976ad0108

Kiến trúc Cairo không chỉ định một tập hợp cụ thể các chức năng tích hợp sẵn. Các chức năng tích hợp có thể được thêm hoặc xóa trong AIR (Biểu diễn trung gian đại số) nếu cần.

Cấu trúc CPU: linh hoạt

Nó linh hoạt hơn và có thể gần bằng hiệu suất của AISC thông qua lập trình phần mềm (vậy Cairo có thể tạo ra CPU không?). Sao chép các máy ảo khác bằng Cairo.

Bắt đầu tải: trình tải từ hàm băm

Một chương trình có thể ghi mã byte của chương trình khác vào bộ nhớ, để Bộ đếm chương trình trỏ đến đoạn bộ nhớ đó rồi chạy chương trình. Một trường hợp sử dụng để tải khởi động từ hàm băm là trong đó một chương trình được gọi là bộ nạp khởi động tính toán và xuất mã byte của một chương trình khác rồi bắt đầu thực thi chương trình đó như trước. Bằng cách này, người xác minh chỉ cần biết hàm băm của chương trình chứ không phải mã byte hoàn chỉnh. Điều này có hai lợi ích:

Khả năng mở rộng, thời gian xác minh và quy mô chương trình có mối quan hệ logarit, như đã đề cập trong phần STARK.

Quyền riêng tư, người xác minh có thể xác minh xem chương trình có được thực thi chính xác hay không mà không cần biết phép tính.

Bộ nhớ liên tục: truy cập liên tục vào các địa chỉ bộ nhớ

Cairo có yêu cầu kỹ thuật là các địa chỉ bộ nhớ mà chương trình truy cập phải liên tục. Ví dụ: nếu địa chỉ 7 và 9 được truy cập thì địa chỉ 8 cũng phải được truy cập trước khi chương trình kết thúc (thứ tự truy cập không quan trọng). Nếu có những khoảng trống nhỏ trong phạm vi địa chỉ, người chứng minh sẽ tự động điền các giá trị tùy ý vào những địa chỉ đó. Thông thường, việc có một khoảng trống như vậy là không hiệu quả vì nó có nghĩa là bộ nhớ bị tiêu hao mà không được sử dụng. Việc đưa ra quá nhiều lỗ hổng có thể khiến việc tạo ra bằng chứng trở nên quá tốn kém đối với những người chứng minh trung thực thực hiện. Tuy nhiên, điều này vẫn không vi phạm đảm bảo độ tin cậy - dù sao cũng không có bằng chứng sai nào được đưa ra.

Hệ sinh thái StarkNet

Danh sách hệ sinh thái StarkNet:

https://h0m83hhc6r.feishu.cn/docx/doxcnS3GGdXXc1PzKh9uTgTR73c

Trò chơi toàn chuỗi

Trò chơi toàn chuỗi - những thay đổi về hiệu quả sản xuất + kinh nghiệm tiêu dùng, về cơ bản là có những suy nghĩ (các thể chế và tổ chức khác nhau) các bài báo về nhóm), có các hoạt động thực tiễn (dự án trò chơi trực tuyến và hackathons), có quỹ (tài chính và trợ cấp) và quan trọng nhất là có một cộng đồng nhà phát triển sôi động.

Matchbox DAO: https://mirror.xyz/matchboxdao.eth

Tương lai của trò chơi trên chuỗi:

https://volt.capital/blog/the-future -chơi game trên chuỗi

Trò chơi 2.0:

https://www .guiltygyoza.xyz/2022/07/game2

Rất khuyến khích nhóm Topology, Lootreamls.

Ví hợp đồng

Có hai cách để chuyển đổi ví hợp đồng thành ví cứng.

Lớp đồng thuận hỗ trợ phần cứng điện thoại di động. Trên L2, có tính năng trừu tượng hóa tài khoản gốc như StarkNet (ngôn ngữ lập trình Cairo), nó hỗ trợ nhiều đường cong elip khác nhau, thay vì chỉ hỗ trợ ECDSA (Secp256k1) như Ethereum, do đó, chip/mô-đun mã hóa của điện thoại có thể ký trực tiếp các giao dịch (hầu hết The điện thoại không hỗ trợ ECDSA). Do đó, trên L2 với tính năng trừu tượng hóa tài khoản gốc, ví hợp đồng có thể ký giao dịch trực tiếp thông qua phần cứng giống như ví cứng.

Lớp ví thực hiện sao chép chữ ký. Trên các mạng như Ethereum với tính năng trừu tượng hóa tài khoản không phải gốc, ví hợp đồng có thể ký và sao chép. Giống như EIP-4337, bạn có thể tùy chỉnh logic xác minh.Người dùng ký bằng thuật toán được phần cứng điện thoại di động hỗ trợ và sau đó chuyển đổi nó thành ECDSA được Ethereum hỗ trợ.

Người ủng hộ phát triển StarkNet @barretodavid đã đề cập đến việc triển khai ví cứng di động trên các ý tưởng của StarkNet.

EOA trên Ethereum chỉ hỗ trợ sơ đồ chữ ký đường cong elip Secp256k1 ECDSA

Hầu hết điện thoại thông minh không hỗ trợ đường cong elip của Ethereum.

Vì vậy, ví di động cần phải dựa vào phần mềm để ký giao dịch và ví di động do đó là ví nóng.

Tính trừu tượng hóa tài khoản gốc của StarkNet, hỗ trợ nhiều đường cong elip và chữ ký Xác minh có khả năng lập trình cao, do đó, ví di động dựa trên StarkNet/Cairo có thể biến thành ví cứng.

https://twitter.com/barretodavid/status/1563584823884935168

Cairo đã triển khai [nistp256]() (dành cho Điện thoại thông minh Secure Enlave).

Sự kết hợp giữa ví hợp đồng + trò chơi toàn chuỗi mở ra những kịch bản mới ngoài ví + DeFi. Argent, Cartridge.gg đang làm việc đó.

AI trên chuỗi

Hiện có 2 dự án máy học là nền tảng ML Giza và robot giao dịch trên chuỗi (Rockybot của ModulusLabs). Ngoài ra còn có một dự án khác trong nhóm StarkNet Trung Quốc .

Phòng thí nghiệm mô đun: https://www.moduluslabs.xyz/

Giza - Học máy trong chuỗi khối:

https://gizatech.xyz/

Phi tập trung của StarkNet: Bắt đầu cuộc thảo luận

mirror.xyz:https ://community.starknet.io/t/starknet-decentralization-kicking-off-the-discussion/711

Tóm lại, tại sao StarkNet và AI+ML lại tương thích với nhau đến vậy? ZKP cho phép AI ML được tính toán ngoài chuỗi và bằng chứng được tạo ra có thể được xác minh bởi những người khác.

Phạm vi ứng dụng bao gồm: trò chơi, oracles, giao dịch (lợi nhuận tự động), chống phù thủy, KYC , quyền riêng tư dữ liệu; Khai thác sức mạnh tính toán mô hình AI.

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