Giới thiệu chung
Cardano là gì?
Cardano là một mạng lưới blockchain bằng chứng cổ phần đột phá, đang được phát triển thành một nền tảng phát triển ứng dụng phi tập trung (DApp) với sổ cái đa tài sản và các hợp đồng thông minh có thể xác minh. Được xây dựng với sự nghiêm ngặt của các phương pháp phát triển chính thức đảm bảo cao, Cardano nhằm đạt được khả năng mở rộng, khả năng tương tác và tính bền vững cần thiết cho các ứng dụng trong thế giới thực. Cardano được thiết kế để trở thành nền tảng được lựa chọn cho các DApps quy mô lớn, có sứ mệnh quan trọng sẽ làm nền tảng cho nền kinh tế trong tương lai.
Dựa trên nghiên cứu học thuật được bình duyệt, Cardano có đặc tính cởi mở và minh bạch. Tất cả các nghiên cứu và đặc điểm kỹ thuật làm nền tảng cho Cardano đều được xuất bản công khai và tất cả hoạt động phát triển Cardano đều được công bố rộng rãi. Cardano được thiết kế bởi một nhóm chuyên gia toàn cầu, những người dẫn đầu trong các lĩnh vực từ hệ thống phân tán đến ngôn ngữ lập trình và lý thuyết trò chơi và được IOHK và các đối tác cùng phát triển. IOHK phát triển công nghệ, Cardano Foundation chịu trách nhiệm giám sát sự phát triển và thúc đẩy Cardano, trong khi Emurgo thúc đẩy việc áp dụng thương mại. Trong khi chúng tôi đang xây dựng Cardano, chúng tôi chỉ đơn thuần là những người giám sát. Khi mạng được phân quyền hoàn toàn, nó sẽ thuộc về cộng đồng và chính cộng đồng sẽ quyết định tương lai của nó thông qua các tính năng quản trị tiên tiến.
Lộ trình phát triển Cardano
Lộ trình Cardano là một bản tóm tắt về sự phát triển của Cardano, đã được sắp xếp thành năm thời đại: Byron, Shelley, Goguen, Basho và Voltaire. Mỗi thời đại đều xoay quanh một tập hợp các chức năng sẽ được phân phối trên nhiều bản phát hành mã.
Trong khi các kỷ nguyên của Cardano sẽ được phân phối tuần tự, công việc cho mỗi kỷ nguyên diễn ra song song, với việc nghiên cứu, tạo mẫu và phát triển thường được tiến hành cùng một lúc trên các dòng phát triển khác nhau.
Tác phẩm của mỗi thời đại được tập hợp và trình bày trên trang dành riêng của mình, đại diện cho nhiều năm nỗ lực. Tại đây, bạn sẽ tìm thấy tổng quan về các mục tiêu của thời đại, cũng như mô tả về các thành phần chức năng cốt lõi, liên kết đến nghiên cứu học thuật được liên kết, cập nhật trạng thái và thậm chí cả cam kết mã thời gian thực.
Phương pháp luận
Nghiên cứu học thuật
Không giống như nhiều blockchain khác, Cardano không dựa trên nền tảng kỹ thuật lấy từ Bitcoin hoặc các hệ thống tiền điện tử khác. Thay vào đó, IOHK làm việc với các học giả hàng đầu thế giới về nghiên cứu cơ bản, hầu hết trong số đó là đối tượng của đánh giá đồng cấp học thuật , với các bài báo được trình bày tại các hội nghị quốc tế cấp cao nhất. Công việc trên tất cả các thành phần chính và các khu vực chức năng bắt đầu với nghiên cứu như vậy để xác định những gì có thể và cách tốt nhất để hoàn thành nó.
Tạo mẫu
Phối hợp với nhóm nghiên cứu, một nhóm tạo mẫu kỹ thuật thử nghiệm việc triển khai các chức năng và cách tiếp cận được mô tả trong nghiên cứu. Mục tiêu là biến những gì về mặt lý thuyết có thể thực sự có thể thực hiện được trong khi học các bài học về các vấn đề triển khai chức năng và kỹ thuật trong thế giới thực, cho phép tạo ra các thông số kỹ thuật để xây dựng sản phẩm thực tế.
Thông số kỹ thuật
Phối hợp với tạo mẫu, các thông số kỹ thuật được tạo và xuất bản dựa trên kết quả nghiên cứu và tạo mẫu, thiết lập chức năng và hành vi mong đợi. Các thông số kỹ thuật này đảm bảo rằng việc triển khai mã cuối cùng đúng với tầm nhìn ban đầu của nghiên cứu, hoàn thành các chức năng cần thiết và khả thi về mặt kỹ thuật.
Phương pháp phát triển chính thức
Các kỹ sư IOHK tận dụng rất tốt các phương pháp phát triển chính thức : các kỹ thuật toán học, nghiêm ngặt để kiểm tra xem phần mềm có hoạt động chính xác như dự định hay không. Thường chỉ được sử dụng trong các ứng dụng có giá trị cổ phần cao như phần mềm điện tử hàng không, hệ thống cho chuyến bay vũ trụ hoặc phần mềm ngân hàng khối lượng lớn, IOHK đang áp dụng mức độ nghiêm ngặt này để phát triển Cardano trong ngành công nghiệp blockchain trước tiên.
Lập trình hàm chức năng
IOHK bao gồm các ngôn ngữ lập trình chức năng , đáng chú ý nhất là Haskell. Các ngôn ngữ lập trình chức năng không chỉ ít bị mơ hồ và lỗi của con người hơn các ngôn ngữ khác mà còn dễ kiểm tra và xác minh hơn từ quan điểm toán học, củng cố cam kết của IOHK đối với sự phát triển chính thức đảm bảo cao.
