Chào mừng bạn đến với Phần 4 của loạt bài Back to basics của chúng tôi, 'Koselig với Cairo'. Hãy chờ đợi nhé mọi người vì chúng tôi có điều gì đó thú vị sắp xếp cho bạn
Khi đọc tiêu đề, chắc hẳn bạn đã bắt đầu hình dung ra kim tự tháp, xác ướp và sa mạc. Nhưng hôm nay, chúng ta sẽ không khám phá sa mạc và cuộc sống của các Pharaoh mà đi sâu vào Cairo , một ngôn ngữ lập trình đã gây bão hệ sinh thái L2 🌪
Giới thiệu về Cairo
Cairo là một ngôn ngữ được phát minh bởi StarkWare, được thành lập vào năm 2018 để mở rộng quy mô Ethereum bằng cách sử dụng bằng chứng STARK . Chúng tôi cũng đã đề cập đến vấn đề này trong blog trước của chúng tôi, State of StarkWare . Bạn có thể đọc nó ở đây
Được rồi, bây giờ hãy bắt đầu với Cairo!
Cái tên Cairo bắt nguồn từ thuật ngữ “CPU AIR” — một AIR triển khai khái niệm CPU. Đó là một kiến trúc von Neumann hiệu quả và thiết thực, có thể được sử dụng với hệ thống chứng minh STARK để tạo ra các bằng chứng về tính toàn vẹn của tính toán.
Chương trình Cairo tạo ra một dấu vết sau đó có thể được gửi đến một bằng chứng không đáng tin cậy (trustless prover), đó sẽ tạo ra một bằng chứng STARK cho tính hợp lệ của tuyên bố. Sau đó, bằng chứng đó có thể được xác minh bằng cách sử dụng một bộ xác minh (có thể nằm trên chuỗi khối hoặc không).
Hiểu sâu hơn về Cairo?
Được rồi, bây giờ chúng ta đã hiểu cơ bản về Cairo. Vì vậy, hãy đi sâu và giải quyết từng câu hỏi sau:
1. Tại sao học Cairo?
Hiện nay, hầu hết các ứng dụng phi tập trung (dApps) đều được xây dựng dựa trên một hợp đồng Solidity thực hiện một số loại logic, một số giao diện người dùng (frontend)và có thể có một phần mềm máy chủ (backend). Tuy nhiên, khi những dApps này trở nên phổ biến, họ dễ dàng gặp vấn đề về tính mở rộng.
Giờ đây, các dApps đang giải quyết vấn đề về tính mở rộng bằng cách chuyển sang các giải pháp tăng tính mở rộng L2 dựa trên chứng minh. Một phần bên ngoài chuỗi khối sẽ xử lý một số phần khó khăn hơn của logic kinh doanh và liên lạc với các hợp đồng thông minh trên chuỗi khối mà vẫn đảm bảo tính bảo mật.
Trước khi có Cairo, việc tạo ra một hệ thống chứng minh (proof system) phủ khắp một logic kinh doanh cụ thể rất khó khăn. Với Cairo, rào cản để sử dụng các chứng minh để đạt được tính mở rộng cao hơn đã giảm xuống nhiều. Bạn có thể viết logic phức tạp của mình bằng Cairo, sau đó có nó được chứng minh ngoài chuỗi khối, và một khi bằng chứng đó được xác minh trên chuỗi khối, ứng dụng hợp đồng thông minh của bạn có thể sử dụng kết quả một cách đáng tin cậy.
Trong bài đăng trên blog Cairo có tựa đề "Cairo cho các nhà phát triển Blockchain", được đề cập đến:
Vai trò của hợp đồng thông minh của dApp thay đổi - từ thành phần chịu trách nhiệm thực hiện logic kinh doanh đắt đỏ, nó trở thành thành phần chịu trách nhiệm với các hậu quả rẻ tiền của logic kinh doanh đó.
Ryan Berckman, một nhà đầu tư nổi tiếng, đã chia sẻ quan điểm của mình về StarkNet như sau:
2. Cairo hoạt động như thế nào?
Cairo sử dụng một khái niệm mới được đặt tên là The Shared Prover (hoặc SHARP). Nó được phát hành bởi StarkWare vào ngày 16 tháng 2 năm 2021.
SHARP là mắt xích kết nối giữa mã Cairo và hợp đồng thông minh Solidity. Nó có ba thành phần chính - một prover (ngoài chuỗi), một hợp đồng thông minh verifier (trên chuỗi), và một hợp đồng registry facts (trên chuỗi).
Dưới đây, ZK Daily giải thích SHARP một cách đơn giản:
Bây giờ, hãy xem cách tính toán hoạt động bên trong:
Bước 1: Prover sẽ lấy các bước thực thi của Cairo, chứng minh tính hợp lệ của chúng, và gửi bằng chứng này đến verifier.
Bước 2: Verifier trên chuỗi sẽ xác minh tính hợp lệ của bằng chứng.
Bước 3: Tiếp theo, verifier sẽ tạo một facts chứng nhận tính hợp lệ của bằng chứng trong hợp đồng registry facts.
Bước 4: Cuối cùng, hợp đồng thông minh của dApp kiểm tra xem facts này có tồn tại để dựa trên tính toán đã được thực hiện ngoài chuỗi.
Hãy cùng tìm hiểu khái niệm này thông qua một ví dụ 🧐
Hãy tưởng tượng một trò chơi Wordle dựa trên blockchain, trong đó bạn sẽ nhận được mã thông báo cho việc đoán đúng từ. Trong công nghệ hiện tại, bạn sẽ phải viết toàn bộ logic trò chơi bằng Solidity. Không cần phải nói, đó là một việc đắt đỏ.
Thay vào đó, bạn có thể viết logic này bằng Cairo và thực thi nó ngoài chuỗi. Dưới đây là cách thực hiện:
Đầu tiên, chương trình Cairo sẽ kiểm tra từ được đoán đúng hay không.
Tiếp theo, nó sẽ kích hoạt SHARP để tạo ra chứng minh và xác minh nó trên chuỗi.
Sau đó, nó sẽ viết một sự kiện làm chứng rằng từ này là đúng.
Cuối cùng, hợp đồng thông minh của trò chơi Wordle sẽ kiểm tra xem sự kiện này tồn tại và trả token cho người chiến thắng.
3. Ưu điểm của Cairo
Trong WhitePaper của Cairo cung cấp cho chúng ta là giải thích chi tiết về những lợi ích của Cairo. Hãy xem một số lợi ích quan trọng dưới đây:
Hiệu quả: Tập lệnh Cairo được chọn để AIR tương ứng sẽ hiệu quả nhất có thể.
Thực tế: Cairo hỗ trợ các nhánh có điều kiện, bộ nhớ, cuộc gọi hàm và đệ quy.
Cấp sản xuất: Cairo là nền tảng của nhiều hệ thống tiền điện tử chạy trên blockchain Ethereum.
Builtins: Kiến trúc Cairo hỗ trợ việc triển khai các hoạt động được xác định trước trực tiếp, dưới dạng một tập phương trình, thay vì triển khai chúng với mã Cairo.
Bộ nhớ công khai hiệu quả: Trong việc triển khai bộ nhớ Cairo, mỗi ô nhớ nên được chia sẻ với trình xác minh, tăng chi phí xác minh của 4 phép tính.
Cairo trong hành động!
Chúng tôi nghĩ cách tốt nhất để học một ngôn ngữ lập trình là bằng cách viết một số mã. Chúng tôi cũng đã thêm các chú thích bên cạnh mọi cú pháp và logic để bạn có thể dễ dàng hiểu mã.
Đầu vào
Đầu ra
Những thành tựu TO LỚN của ngôn ngữ lập trình Cairo
Cairo là một ngôn ngữ lập trình hoàn chỉnh và đã cho thấy kết quả tại mức độ sản phẩm cho nhiều ứng dụng!
Hãy xem một số thành tựu của Cairo.
Cairo 1.0
Gần đây, StarkWare đã công bố Cairo 1.0, một phiên bản mới của Cairo. Bản cập nhật này bao gồm:
Sierra (Safe Intermediate Representation) - một lớp biểu diễn trung gian mới giữa Cairo 1.0 và Cairo byte code.
Trình biên dịch mới hoàn toàn sẽ cho phép các nhà phát triển thực hiện nhiều thứ hơn một cách đơn giản hơn.
Cải thiện tổng thể cho ngôn ngữ lập trình (ví dụ: cú pháp cải tiến, thư viện trực quan hơn, tích hợp trình biên dịch tốt hơn, v.v.).
Để biết thêm thông tin về Cairo 1.0, hãy xem blog trên trang medium này.
Ngôn ngữ Cairo trên thế giới
🎪 Khóa học Cairo 101
🗓 Ngày 14-15 tháng 3 năm 2022
💼 Eli Ben Sasson - đồng sáng lập và Chủ tịch StarkWare giải thích các chi tiết kỹ thuật của Cairo.
🗓 Ngày 19-20 tháng 4 năm 2022
💼 CTO ZKX của BitPactum nói về việc xây dựng Defi 3.0 sử dụng Cairo.
🗓 Ngày 22 tháng 7 năm 2022
💼 Đồng sáng lập Cairo @PapiniShahar nói về các bước tiến tiếp theo của Cairo.
🎪 Hội nghị Web3Conf tại Ấn Độ
🗓 12-14 tháng 8 năm 2022
💼 Kỹ sư Nethermind Swapni Raj nói về những lợi ích của Cairo.
🗓 Ngày 2 tháng 9 năm 2022
💼 Software Mansion tổ chức Hội thảo Cairo.
StarkCon
StarkCon là một hội nghị do cộng đồng tổ chức bởi ZKX và StarkWare nhằm nâng cao nhận thức về Cairo và hệ sinh thái StarkNet trên toàn cầu. Sự kiện tập hợp những giọng nói hàng đầu của StarkNet và có sự tham gia của các nhà phát triển, người xây dựng, nhà sáng lập, nhà đầu tư và các phương tiện truyền thông toàn cầu. Gần đây, họ đã thông báo một đợt trợ cấp 50 nghìn đô la cho các nhà phát triển và người xây dựng nhằm thúc đẩy phát triển và sự chấp nhận của Cairo tại Ấn Độ.
Bây giờ, bạn đã có một bản tóm tắt về Cairo và nhận ra tiềm năng mà nó nắm giữ!
Nhưng, chúng tôi đoán bạn không muốn dừng hành trình tìm hiểu Cairo của mình tại đây 🧐
Vì vậy, chúng tôi đã đối chiếu một số tài nguyên tốt nhất để giúp bạn tìm hiểu thêm về Cairo:
Bây giờ, bạn đã có một bản tóm tắt về Cairo và nhận ra tiềm năng mà nó nắm giữ!
Nhưng, chúng tôi đoán bạn không muốn dừng hành trình tìm hiểu Cairo của mình tại đây 🧐
Vì vậy, chúng tôi đã đối chiếu một số tài nguyên tốt nhất để giúp bạn tìm hiểu thêm về Cairo:
Danh sách các tài nguyên để học Cairo:
Tài liệu chính thức của Cairo từ StarkWare
Học Cairo bằng cách chơi game
Cairo's GitHub Repo
Trang Twitter CairoLang
HackerNoon Cairo Repo
Ghi chú của Perama
Hướng dẫn từ StarkNet
Cairo qua các ví dụ
Trang Twitter của Henri, người đại diện cho StarkWare Dev
Cairo Goldmine GitHub
https://github.com/lightshiftdev/starknet-bootcamp
Okay, đây là tất cả của phần 4 trong loạt bài viết "Back to Basics Series". Hãy cùng học về Cairo và cùng nhau xây dựng một tương lai phi tập trung. WAGMI 🙌
Giới thiệu về ZKX
ZKX là một giao thức phi tập trung cho các hợp đồng tương lai được xây dựng trên nền tảng StarkNet, với một sổ đặt hàng phi tập trung và một cách duy nhất để cung cấp các công cụ tài chính phức tạp dưới dạng trao đổi. Giao thức này được điều hành bởi một DAO và cung cấp một trải nghiệm giao dịch cao cấp với bảng xếp hạng chơi game và quản trị thanh khoản độc đáo. Sứ mệnh của ZKX là đưa các công cụ tài chính đến với mọi người ở bất cứ đâu, để giúp mọi người có thể tiếp cận các nguồn thu nhập toàn cầu
Twitter | Discord | Telegram | Website
Bài được lượt dịch từ: