StarkWare

Giới thiệu

Giới thiệu

Cả StarkEx và StarkNet đều là các dự án được phát triển bởi nhóm StarkWare. Dự án đầu tiên tương tự như Iaas, tương tự như chuỗi ứng dụng. StarkWare giúp các dự án quy mô lớn phát triển Rollup ứng dụng độc quyền; dự án thứ hai là Rollup có thể triển khai các ứng dụng có mục đích chung.

StarkEx: Công cụ ZKR độc quyền

Giới thiệu

Giới thiệu

Trong năm ngoái và nửa đầu năm nay, StarkWare đã tạo ra mô hình kinh doanh mở rộng quy mô như một dịch vụ (scale as a service) bằng cách cung cấp giải pháp công nghệ mở rộng quy mô StarkEx, thiết lập một mạng dành riêng cho ứng dụng và phục vụ các khách hàng hàng đầu trong ngành dYdX , Sorare, ImmutableX, DeversiFi, v.v.

Cấu trúc tổng thể

• Quy trình công việc bao gồm bốn liên kết sau

• Giao dịch được đóng gói: Các máy chủ ngoài chuỗi xử lý các yêu cầu của khách hàng và kết hợp nhiều giao dịch thành một "lô" để StarkEx xử lý.

• Xác nhận giao dịch và cập nhật trạng thái: Máy chủ ngoài chuỗi xác nhận rằng giao dịch là hợp pháp và cập nhật trạng thái hệ thống ở dạng băm nén.

• Tạo bằng chứng cho giao dịch: Sau khi hoàn tất quy trình trên, SHARP sẽ tạo bằng chứng STARK cho giao dịch để xác nhận tính hợp lệ của giao dịch. Bằng chứng và cập nhật sau đó được gửi đến hợp đồng thông minh của Trình xác minh trên chuỗi để đảm bảo tính toàn vẹn của giao dịch.

Bằng chứng được xác minh trên chuỗi: Sau khi bằng chứng STARK được xác minh, các cập nhật trạng thái được cam kết và giải quyết trở lại mạng chính Ethereum. Tất cả các giao dịch được xử lý và xác minh ngoài chuỗi, trong khi bằng chứng về tính toàn vẹn của chúng được xác minh trên chuỗi.

SHARP là một chứng minh được chia sẻ đồng thời cung cấp các dịch vụ tạo bằng chứng cho nhiều ứng dụng/ứng dụng khách StarkEx - tạo ra bằng chứng về các tuyên bố về tính toàn vẹn của máy tính.

StarkWare Applications

Trình xác minh là một hợp đồng thông minh được triển khai trên Ethereum để xác minh tính chính xác của các giao dịch từ StarkEx.

Ứng dụng StarkEx (Sàn giao dịch trong hình) là một loạt ứng dụng hỗ trợ giao dịch tự giám sát và có thể mở rộng, phân biệt giữa giao dịch giao ngay và giao dịch có đòn bẩy. Một ứng dụng bao gồm hai thành phần, hợp đồng thông minh và phụ trợ.

• quy trình chuẩn

• Người dùng bắt đầu giao dịch, giao dịch có thể tương tác trực tiếp với hợp đồng thông minh

• Mỗi giao dịch có một id duy nhất, cùng nhau tạo thành một luồng giao dịch và ứng dụng StarkEx truyền luồng giao dịch đến phần phụ trợ

• Chương trình phụ trợ gửi các chuyển đổi trạng thái tới SHARP và SHARP tạo bằng chứng cho các chuyển đổi trạng thái

• SHARP gửi bằng chứng cho hợp đồng của người xác minh và sau khi người xác minh hoàn tất quá trình xác minh, người xác minh sẽ ghi lại nó vào Cơ quan đăng ký thông tin xác minh, sau đó chương trình phụ trợ sẽ thực hiện quá trình chuyển đổi trạng thái trên hợp đồng thông minh StarkEx.

Hợp đồng thông minh StarkEx kiểm tra xem quá trình chuyển đổi trạng thái có tuân theo các quy tắc được xác định trước để đảm bảo tính hợp lệ của quá trình chuyển đổi trạng thái hay không (thông qua hợp đồng xác thực).

Liên kết tham khảo: Giới thiệu :: Tài liệu StarkEx

Tổng quan cấp cao

• Như được hiển thị trong sơ đồ 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ừ các chương trình phụ trợ của đối tác. Các giao dịch này sau đó được hệ thống StarkEx xử lý theo lô và xử lý. Kết hợp với việc giới thiệu các hợp đồng thông minh và phụ trợ ở trên, toàn bộ quy trình xử lý giao dịch của StarkEx và phân chia trách nhiệm được tóm tắt như sau.

• Ở mặt trước, các máy khách 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à một giao dịch Ethereum tiêu chuẩn và người dùng trực tiếp gửi và rút tiền thông qua hợp đồng StarkEx, trong khi cái sau là một hoạt động được thực hiện thông qua công cụ StarkEx, chẳng hạn như dydx.

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

• Logic kinh doanh, tùy chỉnh hợp đồng StarkEx (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 các mã định danh liên tục được gọi là tx_ids, tương tự như nonces,

• Người gửi giao dịch, sau khi cổng StarkEx xác nhận rằng giao dịch là chính xác, sẽ đảm bảo thực hiện giao dịch đó (không thực sự ngay lập tức) và sẽ 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 cho điểm cuối chuyên nghiệp của khách hàng và khách hàng sẽ thay thế giao dịch không hợp lệ bằng một danh sách giao dịch khác sẽ được thực hiện, chẳng hạn như danh sách trống.

• Xem xét hàng loạt. Bất kỳ lô nào cũng có thể được khách hàng xem xét trước khi nó được truyền trên chuỗi. Nếu quá trình chuyển đổi không phù hợp với trạng thái dự kiến, thì khách hàng không thể phê duyệt hoặc quay lại.

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 hoạt động trực tiếp thông qua hợp đồng StarkEx và 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.

StarkNet: Universal ZKR

Giới thiệu

Giới thiệu

Không giống như StarkEx, tùy chỉnh ZK Rollup cho các ứng dụng khác nhau, StarkNet là một ZK Rollup có mục đích 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

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

Trên Ethereum, mỗi khi một giao dịch được gửi, tất cả các nút cần phải 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 phép tính và thông báo thay đổi trạng thái được tính toán trong mạng.

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 gói nhiều giao dịch L2 thành một giao dịch trên Ethereum. Do đó, chi phí giao dịch phát sinh trên StarkNet có thể được chia sẻ bởi các sàn giao dịch khác trong cùng một đợt đóng gói, giống như đi chung xe (Pinduoduo), càng nhiều giao dịch, chi phí càng thấp.

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 tạo bằng chứng ZK cho các giao dịch của StarkNet có thể cải thiện đáng kể tốc độ hoạt động của mạng, giảm lưu lượng giao tiếp trên chuỗi và tăng thông lượng mạng. Với TPS cao hơn và Gas thấp hơn.

Tóm lại, so sánh kiểm chứng tính đúng đắn của các phép tính là 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à để 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 các mạch ZK cho các opcode Ethereum như Hermez và Scroll, nhưng đã tạo một bộ ngôn ngữ hợp ngữ thân thiện với ZK hơn, AIR (Đại diện trung gian đại số) và ngôn ngữ cấp cao Cairo.

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

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

Mặc dù bản thân StarkNet không tương thích với EVM, nhưng StarkNet vẫn có thể 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à một trình dịch Solidity-Cairo được phát triển bởi nhóm cơ sở hạ tầng Ethereum nổi tiếng Nethermind. 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 (chẳng hạn như gọi các chức năng tích hợp, 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 đang được triển khai trên Starknet (goerli testnet) và mã byte của nó tương đương với EVM. Hiện đang trong giai đoạn thử nghiệm. Các ứng dụng Ethereum có thể được chuyển sang StarkNet bằng cách triển khai lên Kakarot.

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

Hiện tại tất cả các opcode của EVM đều được hỗ trợ.

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

nguyên tắc làm việc

nguyên tắc làm việc

thành phần

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

• StarkNet có năm thành phần. Chúng là Prover (người xác nhận), Sequencer (bộ sắp xếp) và nút đầy đủ trên StarkNet; và người xác minh (Người xác minh) và hợp đồng trạng thái lõi (StarkNet Core) được triển khai trên Ethereum.

• Khi chúng tôi bắt đầu một giao dịch trên StarkNet, một máy chủ ngoài chuỗi—máy sắp xếp—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, sau đó gửi chuyển đổi trạng thái sang hợp đồng StarkNet Core;

• Người chứng minh sẽ tạo bằng chứng cho giao dịch và gửi nó đến hợp đồng xác minh của Ethereum;

Trình xác minh gửi kết quả xác minh tới hợp đồng StarkNet Core trên Ethereum và kích hoạt một bộ 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 chuỗi nhằm 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. Các "siêu dữ liệu" này có thể được giải mã bởi các nút đầy đủ của StarkNet.

Nút đầy đủ về cơ bản 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, bằng chứng và bản ghi trong StarkNet của tất cả các giao dịch đã được thực hiện 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" để tái tạo lại lịch sử của StarkNet.

Xem Đánh giá kiến ​​trúc của StarkNet bởi người ủng hộ phát triển StarkNet @barretodavid. 【 1 】

Trình duyệt https://testnet.starkscan.co/, tạo khối động L2, thanh toán trong một giờ Ethereum

Tóm tắt tài khoản và mô hình giao dịch

Khác với thiết kế tài khoản kép của Ethereum EOA+CA, StarkNet nhận ra sự trừu tượng của tài khoản gốc và chỉ một thiết kế tài khoản, dựa trên tinh thần của EIP 4337,

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

Hình dưới đây cho thấy mô hình giao dịch,

• Việc 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.Người ủng hộ phát triển StarkNet @barretodavid đã đề cập đến ý tưởng triển khai ví cứng điện thoại di động trên StarkNet.

• EOA trên Ethereum chỉ hỗ trợ sơ đồ chữ ký ECDSA trên đường cong elliptic Secp 256 k 1

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

• Do đó, ví di động cần dựa vào phần mềm để ký giao dịch và ví di động do đó là ví nóng.

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

https://github.com/spartucus/nistp 256-cairo

Cairo đã triển khai nistp 256 (đối với Enlave bảo mật cho điện thoại thông minh)

STARK

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

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

STARK có nhiều đổi mới hơn SNARK. Nó không cần 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ã hóa đơn giản hơn, tránh nhu cầu về đường cong elip, ghép nối và các giả định kiến ​​thức hàm mũ, hoàn toàn dựa vào lý thuyết thông tin và hàm băm, 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.

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

Về khả năng mở rộng, STARK có khả năng mở rộng hơn. Tốc độ tạo bằng chứng có thể mở rộng tuyến tính, đồng thời thời gian xác minh và kích thước bằng chứng có thể mở rộng theo logarit. Nhưng nhược điểm là kích thước bằng chứng được tạo ra 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 nhẹ - nghĩa là bằng chứng càng lớn thì tổng chi phí càng thấp.

Tóm lại, so với SNARK, STARK an toàn hơn và thời gian xác minh trung bình cũng như kích thước bằng chứng sẽ giảm khi quy mô xác minh tăng lên. 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 .

Mở rộng chi tiết

Thời gian chứng minh tỷ lệ tuyến tính: Thời gian dành cho một người châm ngôn tỷ lệ xấp xỉ tuyến tính với số lần gọi hàm băm.

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

Ở mức độ bảo mật 80 bit, thời gian thực hiện của trình tục ngữ cho mỗi 12288 lệnh gọi hàm băm của STARK là 1 giây, tức là 12288 lần/giây và mỗi 98304 lệnh gọi hàm băm cần 10 giây, tức là 9830 lần/giây. chúng ta có thể Được biết rằng thời gian chứng minh của STARK và lệnh gọi hàm băm về cơ bản là xấp xỉ tuyến tính. Như hình dưới đây

**Thang logarit kích thước bằng chứng và xác minh: Thời gian xác minh (và kích thước bằng chứng) chia tỷ lệ theo logarit với các cuộc gọi băm. **Như hình bên dưới:

Như có thể thấy từ hình bên trái, khi hàm băm tăng từ 3072 lên 49152, thời gian xác minh tăng từ 40 mili giây lên 60 mili giây. Và khi các cuộc gọi băm tăng từ 49152 lên 786432, thời gian xác minh chỉ tăng từ 60 mili giây lên 80 mili giây. Bằng chứng có cùng kích thước. Do đó, chúng ta có thể biết rằng càng nhiều cuộc gọi hàm băm, 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ỏ (gọi hàm băm để tạo giá trị băm/bằng chứng).

chứng minh đệ 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 tính toán tăng dần. Điều này có nghĩa là một phép tính có thể tạo ra bằng chứng về tính đúng đắn của một trường hợp trước đó của phép tính đó, một khái niệm được gọi một cách không chính thức là "thành phần chứng minh đệ quy"hoặc

STARK đệ quy".

https://medium.com/starkware/recursive-starks-78 f 8 dd 401025 

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

Cairo VM: xác minh tính chính xác của tính toán

Tổng quan về máy ảo Cairo

Đôi khi nó cũng xuất hiện dưới dạng StarkNet OS/Cairo OS.Đó là một thứ.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 phép tính và xác minh tính đúng đắn.

Cairo VM là CPU VM sử dụng kiến ​​trúc von Neumann, ngôn ngữ lập trình của nó còn có tên 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. Máy ảo Cairo bao gồm 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 nhận được. Tạo điều kiện 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à về cơ bản là một chương trình sử dụng hệ thống bằng chứng 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 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 bằng chứng STARK.

Một chương trình Cairo là một tập hợp các mã hợp ngữ và các nhà phát triển Cairo sẽ viết các hợp đồng thông minh bằng ngôn ngữ cấp cao Cairo thay vì hợp ngữ Cairo. Khi chúng ta viết chương trình Cairo, trình biên dịch Cairo sẽ biên dịch mã Cairo thành mã hợp ngữ Cairo và trình hợp dịch mã Cairo sẽ sử dụng mã hợp ngữ để tạo mã byte Cairo (chạy trên CPU Cairo) để thực thi trên máy ảo Cairo. chạy đến Nó cũng cần được biên dịch thành opcodes và machine code (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 tính toán nhất định là chính xác, vì vậy có thể thực hiện các phím tắt so với các phép tính xác đị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 phải là một phần của tính toán.

Ví dụ, chứng minh rằng căn bậc hai y của x = 961 nằm trong khoảng 0, 1,…, 100. 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 yêu cầu.

Mã giả như sau: đoán giá trị của y (đây là phần không xác định). Tính toán y 2 và đảm bảo rằng 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 thực hiện phương pháp tính toán sau đây. Y = SQRT(X) thay vào đó chúng ta có thể tính toán như sau (tính toán không 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 hướng dẫn còn lại.

Điều này có nghĩa là một số chương trình Cairo (như trên) không thể được thực thi 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 tôi gọi là gợi ý. Gợi ý là hướng dẫn đặc biệt cho Cairo Runner; được sử dụng để giải quyết các vấn đề không xác định trong đó các giá trị không thể dễ dàng suy ra. Về lý thuyết, gợi ý có thể được viết bằng bất kỳ ngôn ngữ lập trình nào. Trong triển khai Cairo hiện tại, các gợi ý được viết bằng Python.

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

• an accepting input to the Cairo deterministic machine, that constitutes the witness to the nondeterministic machine.

Cairo ở đây sẽ thực sự liên quan đến Cairo VM xác định và Cairo VM không xác định. 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 cho điện toán không xác định.

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

là 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 chọn bởi người hoạt ngôn, nó không thể thay đổi theo thời gian (trong quá trình thực thi chương trình Cairo) và là bất biến. Hướng dẫn này chỉ có thể được đọc từ. Chúng ta có thể coi nó như bộ nhớ ghi một lần: một giá trị có thể được ghi vào một ô một lần nhưng không thể thay đổi giá trị đó sau đó.

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

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

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

bộ lưu trư cô định,

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

Các chức năng tích hợp: giảm biên dịch mã

https://medium.com/@pban/demystifying-cairo-white-paper-part-i-b 71976 ad 0108 

Các 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 cần 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 hạn chế của CPU. Nó chỉ 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 sẵn như được hiển thị.

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

Kiến trúc CPU: Linh hoạt

Nó linh hoạt hơn và có thể tiến gần đến hiệu suất của AISC thông qua lập trình phần mềm (vậy Cairo sẽ làm CPU?). Chia nhánh các máy ảo khác với Cairo.

tải khởi động: tải chương trình 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ớ, trỏ Bộ đếm chương trình tới phân đoạn bộ nhớ đó, rồi chạy chương trình đó. Trường hợp sử dụng để tải khởi động từ hàm băm là khi một chương trình được gọi là bộ tải khởi động tính toán và xuất mã byte của một chương trình khác, sau đó bắt đầu thực thi nó như trước đây. 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 đầy đủ. Điều này có hai lợi thế:

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

Quyền riêng tư, trình xác minh có thể xác minh rằng chương trình được thực thi chính xác mà không cần biết tính toán.

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

Cairo có một 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ì 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ỉ, trình chuẩn sẽ tự động điền các địa chỉ này bằng các giá trị tùy ý. Nói chung, sẽ không hiệu quả nếu có những khoảng trống như thế này vì điều đó có nghĩa là bộ nhớ đang bị tiêu tốn khi nó không được sử dụng. Việc tạo ra quá nhiều lỗ hổng có thể khiến việc tạo bằng chứng trở nên quá tốn kém đối với một người chứng minh trung thực. Tuy nhiên, điều này vẫn không vi phạm đảm bảo về tính hợp lý - dù sao thì cũng không thể đưa ra bằng chứng sai sự thật.

Kiểm kê hệ sinh thái StarkNet:

https://h 0 m 83 hhc 6 r.feishu.cn/docx/doxcnS 3 GGdXXc 1 PzKh 9 uTgTR 73 c

Trò chơi chuỗi đầy đủ

Trò chơi chuỗi đầy đủ

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

The Future of On-Chain Gaming：

https://volt.capital/blog/the-future-of-on-chain-gaming

Game 2.0 ：

https://www.guiltygyoza.xyz/2022/07/game 2 

Trò chơi toàn chuỗi — hiệu quả sản xuất + chuyển đổi trải nghiệm của người tiêu dùng, về cơ bản, suy nghĩ (bài viết từ các tổ chức và nhóm khác nhau), thực hành (dự án trò chơi trên chuỗi và hackathons), tài trợ (tài trợ và trợ cấp) và quan trọng nhất Có một nhà phát triển năng động cộng đồng.

Rất khuyến khích nhóm Cấu trúc liên kết, Lootreamls.

Ví hợp đồng

• Có hai cách để nhận ra rằng ví hợp đồng trở 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ủa 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, thay vì chỉ hỗ trợ ECDSA (Secp 256 k 1 ) như Ethereum, do đó chip/mô-đun mã hóa của điện thoại di động có thể trực tiếp ký giao dịch (Hầu hết điện thoại di động không hỗ trợ ECDSA). Do đó, trên L2 nơi tài khoản gốc được trừu tượng hóa, 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 mạng trừu tượng hóa tài khoản không có nguồn gốc như Ethereum, 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 và người dùng ký bằng thuật toán được phần cứng điện thoại di động hỗ trợ, sau đó chuyển đổi nó thành ECDSA được Ethereum hỗ trợ.

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

• EOA trên Ethereum chỉ hỗ trợ sơ đồ chữ ký ECDSA trên đường cong elliptic Secp 256 k 1

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

• Do đó, ví di động cần dựa vào phần mềm để ký giao dịch và ví di động do đó là ví nóng.

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

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

Cairo đã có [nistp 256](

) (đối với triển khai Enlave bảo mật cho điện thoại thông minh).

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

AI trên chuỗi

Modulus Labs：https://www.moduluslabs.xyz/

Giza - Machine Learning in the Blockchain：

https://gizatech.xyz/

StarkNet decentralization : Kicking off the discussion

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

Hiện tại có 2 dự án máy học, nền tảng ML Giza và robot giao dịch trên chuỗi (Rockybot của ModulusLabs) Tập đoàn StarkNet của Trung Quốc có một dự án khác.

Các ứng dụng bao gồm: trò chơi, tiên tri, giao dịch (thu nhập tự động), chống phù thủy, KYC, quyền riêng tư dữ liệu; khai thác sức mạnh điện toán mô hình AI.

Cảm ơn

Cảm ơn

Bài viết này được tài trợ và tác giả bởi HackerDojo. Hacker Dōjo là một cộng đồng tri thức mã nguồn mở và công nghệ biên giới Web3 do Hacker đồng xây dựng.

Cảm ơn những người sáng tạo Maxlion và HackerDojo.