Solidity là ngôn ngữ lập trình bậc cao, định kiểu tĩnh, dành cho hợp đồng thông minh chạy trên Máy ảo Ethereum (EVM). Nhà phát triển có thể định nghĩa trạng thái, hàm, sự kiện và quy tắc tương tác với tài sản số của hợp đồng.
Từ mã nguồn đến hợp đồng
Trình biên dịch chuyển mã nguồn Solidity thành mã byte EVM. Giao diện nhị phân ứng dụng (ABI) mô tả cách phần mềm khác gọi hàm và diễn giải dữ liệu. Triển khai hợp đồng hoặc thay đổi trạng thái trên chuỗi cần giao dịch và gas; đọc trạng thái hiện có qua lệnh gọi đến nút cục bộ không nhất thiết cần giao dịch trả phí.
Solidity được dùng cho token, ký quỹ và quản trị. Cú pháp có thể quen thuộc với lập trình viên JavaScript, nhưng quá trình thực thi tuân theo quy tắc blockchain thay vì trình duyệt. Cấu hình trình biên dịch và các tính năng EVM mà mạng đích hỗ trợ ảnh hưởng đến tính tương thích.
Tính công khai của mã và bảo mật
Công bố mã nguồn đã xác minh giúp đối chiếu với hợp đồng đã triển khai, nhưng không chứng minh hợp đồng an toàn. Quyền truy cập, lệnh gọi bên ngoài, giả định về oracle và quyền quản trị vẫn cần được xem xét.
Biến được đánh dấu private không phải bí mật trên blockchain công khai. Tái nhập có thể xảy ra khi lệnh gọi bên ngoài quay lại hợp đồng trước khi trạng thái được cập nhật an toàn. Kiểm thử và đánh giá bảo mật độc lập làm giảm rủi ro nhưng không loại bỏ hoàn toàn.