Silverscript là gì? Ngôn ngữ và trình biên dịch hợp đồng thông minh cấp cao đầu tiên của Kaspa.

chữ viết bằng bạc là một ngôn ngữ và trình biên dịch hợp đồng thông minh cấp cao được xây dựng cho... Blockchain KaspaĐược nhà phát triển Ori Newman công bố vào ngày 10 tháng 2 năm 2026, sản phẩm này giới thiệu các tính năng lập trình trực tiếp trên... gàu'S Lớp 1 (L1)) mà không cần dựa vào các máy ảo bên ngoài hoặc các mô hình trạng thái toàn cục được chia sẻ như EVM của Ethereum.

Silverscript được biên dịch thành mã Kaspa Script gốc và được thiết kế cho kiến ​​trúc dựa trên UTXO của Kaspa. Nó cho phép các nhà phát triển viết logic giao ước dễ đọc, thực thi các quy tắc giao dịch ở cấp độ giao thức.

Silverscript giải quyết vấn đề gì trên Kaspa?

Kaspa là một loại tiền điện tử dựa trên cơ chế Bằng chứng công việc (PoW), được xây dựng trên nền tảng [tên cơ sở]. Đồ thị có hướng không chu trình (BlockDAG) Cấu trúc. Không giống như các blockchain tuyến tính, Kaspa xử lý các khối song song. Mạng lưới hiện đang hướng đến mục tiêu 10 khối mỗi giây, với các nâng cấp như... DAGKnight Mục tiêu là đạt tốc độ hơn 100 khối mỗi giây.

Cho đến nay, khả năng diễn đạt của ngôn ngữ lập trình Kaspa còn hạn chế. Silverscript giải quyết vấn đề này bằng cách giới thiệu các tính năng lập trình có cấu trúc, cho phép thiết kế giao ước phức tạp hơn trong khi vẫn phù hợp với mô hình UTXO.

Thay vì trạng thái toàn cục được chia sẻ, thường thấy trong các hệ thống dựa trên tài khoản, Silverscript duy trì trạng thái cục bộ cho mỗi UTXO. Điều này giảm thiểu các rủi ro như lỗ hổng tái nhập thường gặp trong các hệ thống dựa trên EVM.

Silverscript hoạt động như thế nào?

Silverscript được lấy cảm hứng từ CashScript, một ngôn ngữ hợp đồng thông minh được sử dụng trong... Tiền mặt BitcoinTuy nhiên, nó mở rộng CashScript bằng cách bổ sung các công cụ lập trình có cấu trúc cần thiết cho các nguyên tắc DeFi phức tạp hơn.

Nó biên dịch mã cấp cao thành mã lệnh cấp thấp của Kaspa, bao gồm:

• KIP-10 (mã lệnh nội quan)
• KIP-16 (mã lệnh xác minh không tiết lộ thông tin)
• KIP-17 (các kiểu dữ liệu nguyên thủy byte)

Nó được thiết kế để tích hợp với nâng cấp mạng sắp tới dự kiến ​​ra mắt vào ngày 5 tháng 5 năm 2026, sẽ giới thiệu:

• Giao ước++ (các ràng buộc chi tiêu nâng cao)
• Tài sản gốc theo KIP-20 (theo dõi nguồn gốc và xuất xứ token)
• Không có kiến ​​thức (ZK) hỗ trợ xác minh

Silverscript bổ sung những tính năng gì cho Kaspa?

Silverscript giới thiệu các yếu tố lập trình có cấu trúc mà trước đây không có trong Kaspa Script.

Loops

Hỗ trợ các thao tác lặp đi lặp lại như sau: cho các vòng lặp.
Điều này cho phép thực hiện các phép tính lặp lại, xử lý hàng loạt và logic quản lý tài sản có điều kiện.

Mảng

Hỗ trợ các cấu trúc dữ liệu động.
Các nhà phát triển có thể quản lý số dư token, điều kiện đa chữ ký hoặc đầu ra có cấu trúc.

Gọi hàm

Cho phép sử dụng lại các hàm có tham số và giá trị trả về.
Cải thiện độ rõ ràng của mã và giảm lỗi trong quá trình thực thi.

Yêu cầu các tuyên bố

Cung cấp các khẳng định tích hợp sẵn.
Các hợp đồng có thể thực thi các ràng buộc như giới hạn kích thước mảng hoặc kiểm tra giá trị tại thời điểm biên dịch hoặc thời điểm chạy.

Thiết kế tập trung vào UTXO

Hoạt động trên trạng thái UTXO cục bộ chứ không phải trạng thái toàn cục được chia sẻ.
Mô hình này thực thi việc xác thực rõ ràng và tránh các vấn đề về khả năng tái nhập.

Mã Silverscript trông như thế nào?

Silverscript sử dụng cú pháp đơn giản giống C. Ví dụ sau đây minh họa mảng, vòng lặp và câu lệnh require:

Ví dụ này định nghĩa một hàm tính tổng các phần tử của một mảng số nguyên. Nó kiểm tra độ dài của mảng, lặp qua các phần tử và đảm bảo tổng bằng 6.

Trong thực tế sử dụng, logic tương tự cũng có thể áp dụng cho:

• Thực thi phân phối mã thông báo
• Điều kiện rút tiền từ kho tiền
• Quy tắc xác thực ký quỹ
• Các kết quả đầu ra DeFi có cấu trúc

Cú pháp này đang trong giai đoạn thử nghiệm và hiện chỉ có sẵn trên Testnet-12.

Silverscript khác với CashScript như thế nào?

Silverscript được xây dựng dựa trên CashScript nhưng mở rộng thêm nhiều khả năng của nó.

Điểm tương đồng:

• Cú pháp cấp cao cho các giao ước dựa trên UTXO
• Hãy tập trung vào các ràng buộc giao dịch thay vì tính đầy đủ của lý thuyết Turing.

Sự khác biệt:

• Hỗ trợ vòng lặp gốc
• Mảng gốc
• Định nghĩa hàm và cấu trúc mô-đun
• Được thiết kế đặc biệt cho BlockDAG của Kaspa.

CashScript không hỗ trợ sẵn các vòng lặp có cấu trúc hoặc mảng động. Silverscript giới thiệu các tính năng này để hỗ trợ logic giao ước biểu đạt hơn.

Silverscript phù hợp như thế nào với hệ sinh thái của Kaspa?

Silverscript hoạt động trong một kiến ​​trúc rộng lớn hơn, tách biệt các mô hình trạng thái cục bộ và trạng thái chia sẻ:

• Bang địa phương: Được quản lý bởi Silverscript thông qua các thỏa thuận UTXO.
• Tính toán chia sẻ: Được quản lý bởi vProgs (Chương trình có thể kiểm chứng), được xác minh trên chuỗi bằng bằng chứng không tiết lộ thông tin.

Nó tích hợp với:

• KIP-20 Hỗ trợ tài sản gốc (thực thi nguồn gốc token)
• CDAG (Computational DAG) cho các phụ thuộc chương trình
• Sparkle, một framework tổng hợp dựa trên ZK.

Cấu trúc này cho phép:

• Các nhà tạo lập thị trường tự động (AMM) sử dụng cấu trúc đầu ra bắt buộc.
• Kho cho vay
• Hoán đổi nguyên tử
• Quản trị DAO được mã hóa trong các tập lệnh.

Tất cả đều không có trạng thái toàn cục có thể thay đổi.

Tình trạng phát triển hiện tại như thế nào?

Silverscript hiện đang trong giai đoạn thử nghiệm và chỉ tương thích với Kaspa Testnet-12. Nó chưa khả dụng trên mạng chính thức.

Kho lưu trữ GitHub bao gồm:

• Triển khai trình biên dịch
• Các ví dụ
• Tài liệu TUTORIAL.md

Nhà phát triển Ori Newman, hoạt động trong lĩnh vực giá BTC, Kể từ năm 2013, dự án này vẫn được duy trì và đã thể hiện khả năng hỗ trợ WebAssembly (WASM) trong tương lai.

Khả năng tương thích với Mainnet phụ thuộc vào đợt hardfork ngày 5 tháng 5 năm 2026, sự kiện sẽ kích hoạt Covenants++ và chức năng tài sản gốc.

Kết luận

Silverscript giới thiệu phương pháp phát triển hợp đồng thông minh có cấu trúc cho mạng BlockDAG dựa trên UTXO của Kaspa. Nó bổ sung các vòng lặp, mảng, hàm và các khẳng định có thể thực thi trong khi biên dịch thành mã lệnh gốc. Ngôn ngữ này phù hợp với các bản nâng cấp giao thức sắp tới, bao gồm Covenants++, tài sản gốc và xác minh không tiết lộ thông tin. 

Hiện tại chỉ giới hạn ở Testnet-12, Silverscript cung cấp nền tảng kỹ thuật cho các ứng dụng Lớp 1 có thể lập trình trên Kaspa mà không cần áp dụng các mô hình trạng thái toàn cục dùng chung.

Nguồn:

• Kho lưu trữ GitHub của KaspaHướng dẫn sử dụng ngôn ngữ Silverscript 
• X Bài viếtThông báo công khai của Ori Newman