Viết bởi: msfew@Foresight Ventures
Giới thiệu về StarkWare
StarkWare chủ yếu giải quyết vấn đề về khả năng mở rộng và quyền riêng tư của chuỗi khối. StarkWare đã phát triển một giải pháp hoàn chỉnh, sử dụng công nghệ STARK, để tạo và xác minh bằng chứng về tính toàn vẹn của tính toán thông qua chế độ zk-Rollups và Validium để tạo thành Volition. Bằng chứng mật mã của StarkWare Nó có thể đạt được mức 0- tri thức, đơn giản, minh bạch và bảo mật hậu lượng tử. Các sản phẩm do StarkWare phát triển chủ yếu bao gồm: StarkNet, StarkEx, Cairo.
khả năng mở rộng
khả năng mở rộng
StarkWare cho phép các chuỗi khối mở rộng quy mô lớn bằng cách dựa vào các bằng chứng mật mã được tạo bởi các bộ chứng minh ngoài chuỗi trên đám mây, sau đó được xác minh bằng các hợp đồng thông minh trên chuỗi.
Sự riêng tư
Kinh nghiệm người dùng
Kinh nghiệm người dùng
Thông qua các ví dụ về iMMUTABLE và dYdX, chúng ta có thể trải nghiệm khả năng mở rộng mạnh mẽ của các giải pháp do StarkWare cung cấp. TPS thanh toán của DiversiFi có thể lên tới 18k, phí đúc NFT của iMMUTABLE chỉ 0,2 cent và phí giao dịch của dYdX đã giảm đến 1/50... Xác nhận lần 2, mức phí gần như bằng 0, mang lại trải nghiệm tuyệt vời cho người dùng.
cột mốc
2018: Sách trắng STARK được phát hành, Ethereum Foundation Grant
2019: Demo đầu tiên được phát hành (mở rộng hiệu quả của Ethereum lên 200 lần), StarkEx Alpha phát hành mạng thử nghiệm và Demo thứ hai được phát hành (mở rộng hiệu quả của Ethereum lên 700 lần)
Năm 2020: DeversiFi (StarkEx 1.0) phát hành mạng chính, VeeDo (VDF dựa trên Stark) phát hành mạng chính, StarkEx Rollup phát hành mạng chính, phát hành ethSTARK, Cairo (ngôn ngữ Turing hoàn chỉnh cho STARK) và bản phát hành PlayGround của nó, Ziggy STARK ( sau Chữ ký bảo mật an toàn lượng tử) đã phát hành, StarkEx 2.0 đã phát hành Mainnet
2021: StarkNet công bố, dự án dYdX và Immutable X (cả hai đều là khách hàng của StarkWare) ra mắt mạng chính
iMMUTABLE và StarkWare
iMMUTABLE là nền tảng giao dịch NFT lớp 2. Tik Tok đã hợp tác với iMMUTABLE vào tháng 9 và phát hành một loạt NFT.
Vì thông lượng cục bộ của Ethereum được giới hạn ở mức 4 giao dịch/giây, nên bất kỳ DApp nào muốn mở rộng quy mô đều bị hạn chế. gấp hàng nghìn lần so với một Mã thông báo duy nhất. iMMUTABLE hy vọng sẽ sử dụng giải pháp gốc của Ethereum để tận hưởng tính bảo mật, công cụ phát triển và hiệu ứng mạng của Ethereum, vì vậy nó sẽ áp dụng giải pháp do StarkWare cung cấp.
Một trong những tính năng độc đáo của giải pháp do StarkWare cung cấp là khả năng triển khai ở một số chế độ sẵn có của dữ liệu: zk-Rollups hoặc Validium. Cả hai đều dựa trên bằng chứng về tính hợp lệ, nhưng trong zk-Rollups, tất cả dữ liệu đều trực tuyến. Tuy nhiên, trong Validium, dữ liệu được lưu giữ ngoài chuỗi và chỉ trạng thái mới nhất được gửi, cũng như việc gửi bằng chứng hợp lệ của trạng thái trên chuỗi. quy định Quy định, Ủy ban tính khả dụng của dữ liệu (DAC) đảm bảo rằng người dùng luôn có quyền truy cập vào dữ liệu của họ. hoặc off-chain (Validium) Đồng thời, cách tiếp cận này cũng tối đa hóa việc mở rộng hiệu suất.
Trong bài đăng trên blog về sự hợp tác giữa Tik Tok và iMMUTABLE, Tik Tok đã đề cập cụ thể rằng StarkWare là giải pháp mở rộng L2 trung hòa carbon đầu tiên.Từ quan điểm của các công ty Internet truyền thống, bảo vệ môi trường là rất quan trọng.Do đó, hiệu suất cao và tài nguyên của L2 -các tính năng tiết kiệm cũng có thể thu hút sự chú ý của các công ty Internet truyền thống, mở đường cho họ tham gia vào lĩnh vực tiền điện tử một cách cởi mở.
Giải pháp mà StarkWare cung cấp cho iMMUTABLE cuối cùng đã cho phép Tik Tok, công ty phổ biến nhất hiện nay, tìm đến iMMUTABLE để hợp tác. cải thiện hiệu suất Nó có thể được mở rộng. Quan trọng hơn, việc mở rộng hiệu suất cũng đã giải quyết vấn đề tiêu thụ năng lượng gây tranh cãi của Ethereum. Đây sẽ là một chiến thắng cho Layer 2 và StarkWare. Trong tương lai, chúng ta chắc chắn sẽ thấy nhiều doanh nghiệp truyền thống hơn lựa chọn Ethereum và StarkWare để vào lĩnh vực blockchain.
Tại sao các ứng dụng StarkWare lại có hiệu suất cao như vậy?
StarkWare's Prover có nhiều tối ưu hóa toán học khác nhau và một số thuật toán tối ưu hóa do StarkWare đề xuất đầu tiên và ngôn ngữ Cairo được sử dụng để phát triển có các tối ưu hóa đặc biệt liên quan đến toán học. Ngoài ra, trước khi dữ liệu tương tác được gửi đến Prover, công cụ StarkEx sẽ được sử dụng để điều phối dữ liệu cần chứng minh và xử lý hàng loạt.
Các ứng dụng StarkWare phi tập trung như thế nào?
Sự đồng thuận trên StarkNet của StarkWare là zk-STARK. zk-Rollups không nhất thiết phải phi tập trung và không có hạn chế truy cập. Nhưng zk-STARK được StarkWare sử dụng không có hạn chế truy cập, giống như các chuỗi công cộng như Ethereum. Trong quá trình trung gian của Ứng dụng do StarkWare tạo ra sẽ có một số máy chủ tập trung để cung cấp một số dịch vụ. Nhưng điều này là cần thiết và không thể loại bỏ trong quá trình phát triển một ứng dụng hoàn chỉnh. Giống như uniswap phải có tên miền tập trung và giao diện người dùng Tương tự. Do đó, dYdX , StarkNet, v.v. do StarkWare tạo ra vẫn được phân cấp.
zkSync so với StarkWare
Hiện tại, StarkWare đang dẫn trước zkSync về hiệu suất và trạng thái hoạt động hiện tại. Sự khác biệt lớn nhất giữa zkSync và StarkWare là khái niệm vận hành. Các dự án của zkSync đều là mã nguồn mở và nhóm có nói là có hay không cũng không thành vấn đề thay thế, miễn là họ có thể Thúc đẩy sự phát triển của cộng đồng và Ethereum. cho nhà phát triển) Cách tiếp cận phải tương thích với EVM như zkSync hoặc Optimistic).
bằng chứng zk-Rollups và STARK
Công nghệ được StarkWare sử dụng bao gồm zk-Rollups và zk-STARK. Hai công nghệ này không giống nhau. STARK là zk-STARK, đây là một loại bằng chứng không có kiến thức.
StarkWare có xu hướng gọi giải pháp của mình là Bản tổng hợp hiệu lực, bởi vì zk-Rollups không nhất thiết phải được sử dụng trong giải pháp. Bản tổng hợp hiệu lực bao gồm Validium và zk-Rollups. Sự khác biệt giữa hai loại này là liệu dữ liệu người dùng có trên chuỗi hay không.
https://immutablex.medium.com/eli5-nft-scaling-solutions-b1de4ad82461
STARK cải thiện khả năng mở rộng bằng cách cho phép các nhà phát triển di chuyển tính toán và lưu trữ ngoài chuỗi. Các dịch vụ ngoài chuỗi sẽ có thể tạo bằng chứng STARK chứng thực tính toàn vẹn của tính toán ngoài chuỗi. Những bằng chứng này sau đó được đưa trở lại chuỗi để bất kỳ bên liên quan nào xác minh Tính toán: Sử dụng STARK để di chuyển hầu hết công việc tính toán ra khỏi chuỗi, cho phép cơ sở hạ tầng chuỗi khối hiện có mở rộng quy mô theo cấp số nhân trong khi vẫn duy trì tính toàn vẹn của tính toán.
Quy trình chung của chuỗi dữ liệu Ethereum: 1000 giao dịch được gửi đến mỗi nút của Ethereum → mỗi nút đọc 1000 giao dịch → nút cập nhật 1000 giao dịch
Quy trình trên chuỗi dữ liệu zk-STARK: 1000 giao dịch được gửi đến zk-STARK → zk-STARK đóng vai trò là người chứng minh, tạo 1 chứng chỉ (* giai đoạn tạo) → nút đọc chứng chỉ với tư cách là người xác minh, cập nhật
*Giai đoạn tạo: Thông thường, bằng chứng zk-STARK yêu cầu quy trình sau để tạo bằng chứng. Quá trình chứng minh của trình xác minh được chia thành hai bước: bước đầu tiên là tạo biểu diễn mã trung gian đại số sau khi tính toán tuyên bố toàn vẹn và bước thứ hai là vượt qua bài kiểm tra Tạo FRI (một phương pháp tối ưu hóa cho các bằng chứng trong một bài báo do Người đồng sáng lập StarkWare viết vào năm 2017), sau đó xuất ra một đối số tri thức mở và minh bạch có thể mở rộng (nghĩa là STARK) sau một thuật toán mã hóa. Nói tóm lại, thông qua một môi trường an toàn và đáng tin cậy cũng như các thuật toán được tối ưu hóa để tạo ra bằng chứng đáng tin cậy và hiệu suất cao.
zk-Rollups so với các lược đồ L2 khác
Nói đúng ra, thuật ngữ zk-Rollups được sử dụng trong nhiều tài liệu của StarkWare không nhất thiết phải sử dụng zero-knowledge proofs, và mô tả chính xác là Validity Proofs (bao gồm zk-Rollups và Validium, vì StarkWare cung cấp hai chế độ). hiểu, bài viết này đề cập đến các biểu thức có liên quan dưới dạng zk-Rollups theo các tài liệu của StarkWare.
Sidechain (Đa giác hoặc xDai)
Ưu điểm: Ngay cả khi người dùng thực hiện nhiều giao dịch, chỉ có hai điều xảy ra trên chuỗi chính, đó là gửi và rút tiền.
kênh nhà nước
kênh nhà nước
Ưu điểm: Một ví dụ về kênh trạng thái là Lightning Network. Các kênh trạng thái rất hữu ích khi những người tham gia sẽ trao đổi một số lượng lớn các cập nhật trạng thái trong một khoảng thời gian dài. Quyền riêng tư cao, vì trạng thái giữa họ chỉ xảy ra trong kênh. Tức thời Sự kết thúc, ngay khi nó kết thúc, nó kết thúc ngay lập tức.
Nhược điểm: các kênh trạng thái rất phụ thuộc vào tính hợp lệ và phù hợp hơn cho các ứng dụng có một nhóm người tham gia nhất định.
Plasma
Ưu điểm: Plasma rất phù hợp để giao dịch với NFT, bởi vì mỗi NFT có một ID duy nhất. cơ chế đồng thuận ngừng tạo Block, người dùng vẫn có thể yêu cầu tiền từ Ethereum.
Nhược điểm: Nếu nhiều người dùng thoát khỏi chuỗi Plasma của họ cùng một lúc, họ có thể lấn át chuỗi gốc và làm tắc nghẽn mạng. Những thứ như hoạt động lừa đảo hoặc tấn công mạng có thể gây ra một cuộc di cư quy mô lớn như vậy. Một nhược điểm khác là thiếu tính phức tạp, Người dùng không thể thực hiện các loại hoạt động phức tạp tương tự như chúng có thể làm trên sidechains, mô phỏng môi trường Ethereum đầy đủ.
zk-Rollups
Ưu điểm: Chi phí mỗi lần truyền thấp. Nhanh hơn Plasma và Bản tổng hợp lạc quan. Ít dữ liệu hơn dẫn đến thông lượng và khả năng mở rộng cao hơn. Máy vi tính)
Sau khi so sánh các giải pháp L2 khác nhau, chúng tôi có thể thấy rằng zk-Rollups có thể là giải pháp hoàn hảo nhất để nâng cấp và mở rộng chuỗi khối. Đồng thời, một số thiếu sót của zk-Rollup sẽ được tìm thấy trong bản sửa lỗi zk-STARK được StarkWare thông qua.
So sánh hiệu suất giữa STARK và các ZK khác
Có ba loại bằng chứng ZK chủ yếu: SNARK, STARK và Bulletproof. Bulletproofs và STARK không yêu cầu cài đặt đáng tin cậy và STARK sử dụng tính ngẫu nhiên có thể kiểm chứng công khai để tạo ra một hệ thống máy tính không đáng tin cậy và có thể kiểm chứng. So với hai loại kia, STARK Kích thước bằng chứng rất lớn, nhưng nó có lợi thế lớn về quy mô tính toán và tốc độ chứng minh, đồng thời, STARK có tính bảo mật cao hơn và có thể chống lại các cuộc tấn công lượng tử.
tiêu đề cấp đầu tiên
StarkNet
StarkNet Alpha sẽ ra mắt trên mạng chính Ethereum vào tháng 11.
Giới thiệuhttps://voyager.online
Giới thiệu
StarkNet là một L2 zk-Rollups phi tập trung, không cần cấp phép và chống kiểm duyệt, hỗ trợ điện toán cho mục đích chung trên Ethereum. Nó dựa trên ngôn ngữ Cairo hoàn chỉnh Turing. Các nhà phát triển có thể xây dựng ứng dụng để triển khai logic nghiệp vụ Ứng dụng và Triển khai trên StarkNet; người dùng có thể gửi các giao dịch tới StarkNet để thực hiện giống như các giao dịch Ethereum thông thường. Các nút và người tham gia StarkNet sẽ được khuyến khích về mặt kinh tế để đảm bảo rằng mạng hoạt động hiệu quả và công bằng.
Tất cả các giao dịch của StarkNet sẽ được thực hiện theo đợt thường xuyên và các giao dịch sẽ được chứng minh bằng bằng chứng STARK và cuối cùng được xác minh trên Ethereum. Vì tất cả các chuyển đổi trạng thái StarkNet sẽ được xác minh bởi STARK, Ethereum chỉ chấp nhận chuyển đổi trạng thái hợp lệ cuối cùng.
Các tính năng chính: khả năng mở rộng hiệu suất, sự thuận tiện trong phát triển và khả năng kết hợp cho hệ sinh thái Ethereum.
hệ sinh thái mạng
Ngôn ngữ lập trình Cairo: Cairo là khung và ngôn ngữ lập trình cấp cao hoàn chỉnh Turing có thể được sử dụng để tạo bằng chứng STARK. Nhà phát triển có thể sử dụng Cairo để xác định bất kỳ logic kinh doanh nào, gửi giao dịch tới Dịch vụ chứng minh được chia sẻ để xác minh logic ngoại tuyến và Xác thực trên chuỗi. Cairo đã sẵn sàng để phát triển dự án chính thức trên mạng chính và có sẵn cho các nhà phát triển.
Dịch vụ xác minh ngoài chuỗi Dịch vụ chứng minh được chia sẻ: Trước khi giao dịch được tải lên chuỗi, giao dịch sẽ được gửi tới Sharp để xác minh, để đánh giá tính toàn vẹn của việc thực thi chương trình ứng dụng và để tính phí gas cho việc xác minh bằng chứng chia sẻ.
Chứng minh mã nguồn mở ethSTARK: ethSTARK cung cấp chữ ký bảo mật hậu lượng tử và không kiến thức. ethSTARK đã xử lý 300.000 giao dịch trong một chứng minh trên mạng chính và TPS đạt 3.000. Hiệu suất gas Rollup cũng phá kỷ lục thế giới và đạt 315 gas/tx , cao hơn Ethereum Giao dịch trên L1 là đơn đặt hàng rẻ hơn Công nghệ này là nền tảng của lớp bằng chứng khái niệm phi tập trung của StarkNet.
Trường hợp sử dụng
Trường hợp sử dụng
DeversiFi: TPS giao dịch 9k, TPS thanh toán 18k.
IMUTABLE: Khí đúc NFT 0,2 xu, giao dịch L2 hàng ngày > giao dịch L1 hàng tuần.
Giới thiệu
StarkEx
Giới thiệu
StarkEx giống như một công cụ cấp thấp tổng hợp các thành phần để hỗ trợ các ứng dụng sử dụng STARK.
StarkEx là một công cụ có khả năng mở rộng L2 sẵn sàng đi vào sản xuất, được triển khai trên mạng chính Ethereum kể từ tháng 6 năm 2020. StarkEx sử dụng công nghệ STARK để cung cấp các giao dịch tự lưu trữ có thể mở rộng cho các ứng dụng như DeFi và trò chơi. giao dịch vĩnh viễn, đúc và giao dịch NFT.Hơn 50 triệu giao dịch StarkEx đã được giải quyết trên các mạng thử nghiệm Ethereum công khai và riêng tư trước khi triển khai mạng chính.
đặc trưng
đặc trưng
Khả năng mở rộng và tính toàn vẹn tính toán Các ứng dụng có thể dựa vào StarkEx và cơ sở hạ tầng STARK cơ bản để mở rộng quy mô, trong khi StarkEx đảm bảo tính toàn vẹn tính toán.
Các chế độ triển khai đa dạng StarkEx có thể triển khai chế độ zk-Rollups (xuất bản dữ liệu trên chuỗi) hoặc chế độ Validium (xác minh tính khả dụng của dữ liệu thông qua các chuỗi bên) Ngoài ra còn có một chế độ sắp ra mắt: Volition, cho phép người dùng tự chọn chế độ khả dụng của dữ liệu.
Tích hợp ví StarkWare cung cấp hỗ trợ riêng thông qua Ledger, Authereum và WalletConnect.StarkWare cũng cung cấp tích hợp MetaMask thông qua tạo khóa tương thích với Web3 (hoạt động với nhiều ví hiện có khác).
Kiến trúc và Logic nghiệp vụ
Hình trên là sơ đồ kiến trúc ứng dụng điển hình sử dụng StarkNet và StarkEx, giả sử ứng dụng này là một DEX có tên là Starkswap.
Ứng dụng trong hộp màu vàng ở ngoài cùng bên trái - vận hành toàn bộ ứng dụng
Thành phần ngoài chuỗi này nhận các giao dịch của người dùng và xác định logic nghiệp vụ cũng như thứ tự thực hiện. Nó chuyển các giao dịch đến dịch vụ StarkEx.
Thành phần này là giao diện người dùng tập trung của ứng dụng, thường là web hoặc máy khách.
Dịch vụ StarkEx trong Hộp màu xanh nhạt - Hàng loạt và Phối hợp
Một thành phần ngoài chuỗi chịu trách nhiệm xử lý theo đợt một tập hợp các hoạt động và cập nhật trạng thái hệ thống dựa trên các hoạt động. Đối với mỗi đợt, nó sẽ chuyển đổi lô hoạt động (được thực thi bằng ngôn ngữ Cairo, trước tiên hãy chuyển đổi mã byte của Solidity thành thông minh hợp đồng bằng ngôn ngữ Cairo , chạy bằng ngôn ngữ Cairo) được gửi tới SHARP để chứng minh tính hợp lệ của nó. Sau khi bằng chứng được xác minh, nó sẽ xuất bản một trạng thái mới trên chuỗi. Trạng thái này được đại diện bởi một cây Merkle. Cấu trúc và nội dung của mỗi trạng thái vault dựa trên Khác nhau tùy thuộc vào logic kinh doanh cụ thể được triển khai. Gốc Merkle đại diện cho trạng thái được cam kết với chuỗi.
SHARP - Shared Authenticator (được tùy chỉnh bởi StarkWare cho các ứng dụng)
SHARP là một dịch vụ bằng chứng được chia sẻ cho ngôn ngữ Cairo. Dịch vụ này nhận các yêu cầu bằng chứng từ các ứng dụng khác nhau và đưa ra các bằng chứng để chứng minh tính hợp lệ của việc thực thi mã Cairo. Các bằng chứng đầu ra có thể được chia sẻ giữa nhiều yêu cầu bằng chứng.
Tên trước đây của thành phần này là Generic Prover Service. Vì vậy, thành phần này thực chất là một máy chủ phụ trợ, chứa một số dịch vụ cụ thể. Người ta suy đoán rằng nó được triển khai trên máy chủ tập trung của StarkWare.
Hợp đồng StarkEx (Hợp đồng xác minh) - Cập nhật trạng thái, tiền gửi và rút tiền
Hợp đồng có hai chức năng chính. Chức năng đầu tiên là cập nhật trạng thái của hệ thống sau khi xác minh rằng các điều kiện hợp lệ được đáp ứng và chức năng thứ hai là quản lý tiền gửi và rút tiền vào và ra khỏi StarkEx theo cách không giam giữ (trong bất kỳ trường hợp nào, người dùng có thể rút tiền của họ).
Thành phần này là một hợp đồng thông minh trên Ethereum.
Logic kinh doanh của Starkswap như sau:
Xử lý yêu cầu Ứng dụng StarkWare trong hộp màu xanh nhạt xử lý các yêu cầu của khách hàng, chuyển đổi các giao dịch này thành các báo cáo có thể chứng minh được và gửi chúng tới SHARP trong hộp màu xanh đậm. Tất cả các yêu cầu được gửi và xử lý thông qua API đầu tiên của bước đầu tiên và lô trong bước thứ hai được gửi (một đợt có thể biên dịch nhiều yêu cầu).
SHARP Proof Bằng chứng xây dựng SHARP màu xanh đậm.
Bằng chứng đăng ký SHARP chuyển bằng chứng đến hợp đồng thông minh của trình xác thực trên chuỗi ở Bước 3 trong hộp màu hồng.
Trong bước thứ tư của quá trình chuyển đổi trạng thái đăng ký, ứng dụng StarkWare thực hiện quá trình chuyển đổi trạng thái ứng dụng trên hợp đồng thông minh Starkswap. Ở bước thứ năm, để đảm bảo tính hợp lệ của quá trình chuyển đổi (xác minh SHARP), hợp đồng thông minh Starkswap xác nhận rằng tuyên bố chuyển đổi đã được thực hiện đã đăng ký trong hợp đồng thông minh Verifier Đăng ký.
Chức năng và thuật toán mã hóa
https://docs.starkware.co/starkex-v3/crypto/stark-curve
Chi tiết chức năng:
Trạng thái ngoài chuỗi:
Cây cân bằng và cây trình tự: Thông qua cây Merkle, tính bảo mật và độ tin cậy của trạng thái quỹ được đảm bảo và tránh được vấn đề chi tiêu hai lần.
Flow Description:
Tài khoản on-chain (Số dư của tài khoản được lưu trữ và quản lý off-chain, trừ khi tiền được chuyển vào/ra khỏi tài khoản on-chain. Từ quan điểm của L1, tiền của các tài khoản này được lưu trữ trong StarkEx smart hợp đồng.)
người sở hữu"người sở hữu"Do đó, người dùng và ứng dụng L1 có thể giao dịch thông qua StarkEx và khớp với bất kỳ lệnh đang chờ xử lý nào.
Các khái niệm cụ thể của StarkEx:
Có nhiều khái niệm trong StarkEx khác với Ethereum, vì vậy việc phát triển đòi hỏi phải học hỏi thêm.
https://docs.starkware.co/starkex-v3/starkex-deep-dive/starkex-specific-concepts
Ngoài ra, StarkEx còn có các hoạt động cụ thể như mã hóa thông tin, cho vay flash hàng loạt và gộp DeFi.
Thuật toán mã hóa:
STARK Elliptic Curve, Pedersen Hash Function,KDF. Bằng cách sử dụng thuật toán mã hóa ở trên và tham khảohttps://github.com/authereum/starkware-monorepo/tree/starkex-3.0/packages/starkware-provider#walletconnectGiới thiệu
Cairo
Giới thiệu
Cairo là nền tảng cấp sản xuất đầu tiên tạo ra bằng chứng STARK. Đó là Turing hoàn chỉnh và rất hiệu quả. Để triển khai các thành phần ứng dụng Lớp 2 hiệu suất cao và ít gas trên StarkNet, bạn cần sử dụng Cairo để viết ứng dụng. Cairo Ngôn ngữ này là không phải là một ngôn ngữ hợp đồng đặc biệt, nhưng nó có thể và chủ yếu được sử dụng để viết nội dung giống như hợp đồng.
đặc trưng
đặc trưng
toàn vẹn tính toán
Tính toàn vẹn của máy tính thể hiện tính công bằng của máy tính mà không cần giám sát. Có năm cách để đảm bảo tính toàn vẹn của máy tính: trách nhiệm giải trình được ngân hàng ủy thác (dựa trên danh tiếng, kiểm toán, v.v.), khả năng phát lại máy tính (chẳng hạn như tiền xu bit và các giao dịch công khai L1 khác), môi trường thực thi đáng tin cậy (chẳng hạn như SGX của Intel), bằng chứng gian lận (Bản tổng hợp lạc quan, giữa trách nhiệm giải trình được ủy quyền và khả năng phát lại tính toán), bằng chứng mã hóa (zk-STARK). Ngôn ngữ Cairo đã được xác minh bằng nhiều bài báo và bằng chứng toán học, đồng thời có thể tạo zk- chứng minh STARK để đảm bảo tính toàn vẹn tính toán.
AIR (Biểu diễn mã trung gian đại số)
ngôn ngữ thiết kế
ngôn ngữ thiết kế
Thiết kế của ngôn ngữ Cario tuân theo nguyên tắc Ngôn ngữ biến đổi tối thiểu và nó vừa phải, đồng thời đạt được tính biểu cảm của ngôn ngữ (dễ đọc cho các nhà phát triển) và hiệu quả tạo ra các bằng chứng STARK. ngôn ngữ Cario không quá phức tạp, chỉ có ba thanh ghi (PC, con trỏ cấp phát, con trỏ khung) và một tập lệnh ngắn gọn, ngôn ngữ Cario cũng hỗ trợ một số hàm cần thiết như hàm, đệ quy, rẽ nhánh, phán đoán, v.v. Thiết kế ngôn ngữ Cario cảm thấy phù hợp hơn với logic của các bằng chứng toán học và gọn gàng hơn.
chuỗi công cụ
người phiên dịch (https://github.com/NethermindEth/warp) ,Trình cắm máy ảo, môi trường chỉnh sửa mã (trình cắm nhắc mã trên VSCodehttps://github.com/ericglau/cairo-ls),Trình theo dõi, mã ví dụ (https://github.com/starkware-libs/cairo-examples).
sinh thái ngôn ngữ
Hiện tại, hệ sinh thái của ngôn ngữ Cairo có thể nói là rất toàn diện nhưng còn non trẻ, nó có đủ loại chuỗi công cụ, theo các ngôi sao GitHub của những công cụ này, có thể đánh giá rằng nó chưa được chú ý nhiều, nhưng các nhà phát triển của kho được cập nhật liên tục, về cơ bản là trong một Có các bài nộp mới trong vòng hai tuần. Trong tương lai, ngôn ngữ Cairo sẽ cởi mở hơn. Sau khi đào tạo thêm nhiều nhà phát triển, công việc viết mã Cairo trên công cụ StarkEx có thể sẽ được thực hiện được chuyển giao từ StarkWare cho các nhà phát triển mã nguồn mở.
Quan trọng hơn, OpenZeppelin đang triển khai các mẫu cơ bản như ERC-20 và ERC-721 bằng ngôn ngữ Cairo (https://github.com/OpenZeppelin/cairo-contractstóm tắt
tóm tắt
Là nhà cung cấp giải pháp Lớp 2, StarkWare đã sản xuất các sản phẩm bùng nổ như dYdX và iMMUTABLE. Trong số các giải pháp khác nhau, công nghệ zk-STARK của StarkWare hỗ trợ số lượng giao dịch lớn nhất trên Lớp 2. Tối ưu hóa toán học từ Prover , tối ưu hóa toán học của ngôn ngữ Cairo, và sự phối hợp bằng chứng của công cụ StarkEx, StarkNet, với tư cách là một mạng zk-STARK phi tập trung, mang lại hiệu suất cực cao và tối ưu hóa hoàn toàn quy trình vận hành. và sẽ nắm lấy nguồn mở trong tương lai để đạt được sự phân cấp nhiều hơn và giúp xây dựng Ethereum 2.0.
Liên kết liên quan:
iMMUTABLE: https://www.immutable.com/blog/design-architecture, https://medium.com/starkware/starkex-now-for-nfts-bfdc9f4655a2
Layer 2: https://academy.moralis.io/blog/comparing-layer-2-ethereum-scaling-solutions, https://www.bcskill.com/index.php/archives/965.html, https://l2beat.com/faq/
ZK: https://ethereum.stackexchange.com/questions/59145/zk-snarks-vs-zk-starks-vs-bulletproofs-updated/63778, https://consensys.net/blog/blockchain-explained/zero-knowledge-proofs-starks-vs-snarks/, https://medium.com/unitychain/reveal-mysterious-zk-starks-42d00679c05b
StarkNet: https://medium.com/starkware/on-the-road-to-starknet-a-permissionless-stark-powered-l2-zk-rollup-83be53640880, https://starkware.co/product/starknet/, https://medium.com/starkware/starknet-alpha-is-coming-to-mainnet-b825829eaf32
StarkEx: https://docs.starkware.co/starkex-v3/architecture/solution-architecture
Cairo: https://medium.com/starkware/hello-cairo-3cb43b13b209, https://www.youtube.com/watch?v=QPNp8w9rx7o, https://arxiv.org/abs/2109.14534
zkSync: https://www.reddit.com/r/ethereum/comments/q8q822/ama_were_matter_labs_the_team_behind_zksync_the/, https://members.delphidigital.io/reports/ethereum-layer-2-rollup-debate-optimism-starkware-arbitrum-and-zksync/, https://twitter.com/KyberNetwork/status/1372593913786109953, https://blog.kyber.network/research-trade-offs-in-rollup-solutions-a1084d2b444
General: https://academy.moralis.io/blog/what-is-starkware-and-starks
IOS
Android