Tải xuống Plutus cho Linux

Đây là ứng dụng Linux có tên Plutus, phiên bản mới nhất có thể tải xuống dưới dạng Release1.53.0.0sourcecode.tar.gz. Ứng dụng có thể chạy trực tuyến trên nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks dành cho máy trạm.

 
 

Tải xuống và chạy trực tuyến ứng dụng có tên Plutus với OnWorks miễn phí.

Làm theo các hướng dẫn sau để chạy ứng dụng này:

- 1. Đã tải ứng dụng này xuống PC của bạn.

- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.

- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.

- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 6. Tải xuống ứng dụng, cài đặt và chạy nó.

MÀN HÌNH:


Sao Diêm Vương


SỰ MIÊU TẢ:

Plutus là khuôn khổ phát triển hợp đồng thông minh cho blockchain Cardano, được tạo ra bằng Haskell. Nó cung cấp cơ sở hạ tầng cốt lõi cho việc viết, thử nghiệm và triển khai các hợp đồng thông minh an toàn, xác định trên nền tảng Cardano. Plutus bao gồm một ngôn ngữ chức năng tùy chỉnh (Plutus Core), một DSL nhúng cấp cao hơn (Plutus Tx) để viết hợp đồng bằng Haskell, và một cơ sở hạ tầng ngoài chuỗi để quản lý các tương tác. Nó đảm bảo tính chính xác cao thông qua các mô hình xác minh chính thức và lập trình chức năng.



Tính năng

  • DSL Haskell nhúng (Plutus Tx) cho logic hợp đồng
  • Plutus Core để biểu diễn mã trên chuỗi
  • Cơ sở hạ tầng ngoài chuỗi để thực hiện hợp đồng
  • Xác minh chính thức và an toàn kiểu
  • Tích hợp với nút và ví Cardano
  • Môi trường mô phỏng và thử nghiệm để phát triển


Ngôn ngữ lập trình

Haskell


Danh Mục

Hợp đồng thông minh

Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/plutus.mirror/. Ứng dụng này được lưu trữ trên OnWorks để có thể chạy trực tuyến dễ dàng nhất từ một trong những Hệ điều hành miễn phí của chúng tôi.



Các chương trình trực tuyến Linux & Windows mới nhất


Danh mục tải xuống Phần mềm & Chương trình cho Windows & Linux