28 tháng 5 đánh dấu sự ra mắt của mạng thử nghiệm “KEVM” hợp đồng thông minh đầu tiên của Cardano. Testnet được triển khai trong một phiên bản chính xác của Máy ảo Ethereum (EVM) trong K framework. Công nghệ này được sản xuất với sự hợp tác của Xác minh thời gian chạy với sự hỗ trợ của IOHK.

Đây là lần đầu tiên một sơ đồ chính thức của Mạng ảo Ethereum (EVM) được tạo ra.

Đây là một vấn đề lớn.

Trong nhiều thập kỷ, các nhà phát triển đã cố gắng phát triển một khuôn khổ như thế này; các nghiên cứu chính thức đầu tiên có từ thời Những năm 60 và 70. Việc phát hành khuôn khổ K cho thấy rằng điều này không chỉ là lý thuyết, mà còn có thể. Giáo sư Grigore Rosul, người phụ trách phát triển của KEVM, đã làm việc trên K framework trong hơn 15 năm.

Khi nói về bản phát hành testnet của KEVM, Rosul đã nêu rằng nó “nghe giống như một giấc mơ, nhưng không còn nữa.”

KEVM là gì?

Các K khuôn khổ xác định một định nghĩa chính thức về các quy tắc cho phép bạn xác định các ngữ nghĩa này cho ngôn ngữ lập trình của riêng bạn. Khi bạn xác định ngôn ngữ lập trình của mình bằng K, bạn sẽ có sẵn một loạt công cụ để sử dụng. Điều này sẽ làm cho bất kỳ ngôn ngữ nào được xác định trong khung K hoạt động thống nhất, đảm bảo rằng ngôn ngữ đó sẽ luôn hoạt động theo một cách chính xác và có thể thấy trước.

Khi bạn xác định một ngôn ngữ hoặc VM trong K, bạn sẽ có quyền truy cập vào tất cả các công cụ mà khung công tác cung cấp. Đã có rất nhiều nỗ lực của các nhà phát triển và nhóm khác để làm điều gì đó tương tự như thế này, nhưng K là mô hình làm việc thành công đầu tiên từng được xây dựng.

Do đó KEVM đơn giản có nghĩa là EVM đã được định nghĩa chính thức trong khuôn khổ K.

Thông qua KEVM, các nhà phát triển sẽ có thể khởi chạy bất kỳ ứng dụng nào được thiết kế cho EVM, nhưng ngoài ra họ sẽ có quyền truy cập vào toàn bộ các chức năng và bảo mật mới mà KEVM cung cấp.

Các bài thi KEVM và IELE như được thấy trên Lộ trình Cardano

KEVM đã chính thức hóa thành công các ngôn ngữ khác như C hoặc Java và các công cụ được tạo từ các ngôn ngữ này có tính năng và hiệu suất tương đương với các công cụ được tạo riêng cho các ngôn ngữ đó.

Thông qua khung K, Cardano hiện có thể tạo một máy ảo theo cấu trúc chính xác từ đặc điểm kỹ thuật của nó — nghĩa là các chương trình đang được chạy qua khung K được đảm bảo về mặt toán học để đáp ứng đặc điểm ngôn ngữ lập trình ban đầu.

Không chỉ KEVM mới có thể làm được điều này, nhưng máy ảo đủ nhanh để chạy các chương trình thực tế.

Tại sao chúng tôi quan tâm?

Giáo sư Grigore RosuI nói rằng đây là một bước tiến lớn không chỉ đối với Cardano, mà còn là “hướng tới lời hứa của các blockchain thế hệ thứ ba”.

Các hợp đồng thông minh được viết bằng khung K, bao gồm các hợp đồng thông minh dựa trên Ethereum hiện có, sẽ tận dụng các lợi thế bảo mật mạnh mẽ do KEVM cung cấp và ngoài ra sẽ cho phép các giai đoạn và phân tích tối ưu hóa dễ dàng, điều này cuối cùng sẽ làm cho mã an toàn hơn.

Các lỗi hợp đồng thông minh đã liên tục gây khó khăn cho thế giới tiền điện tử. Đã có một số vấn đề nổi tiếng trong quá khứ, chẳng hạn như Hack DOA, nhưng ngay cả ngày nay tin tặc cũng khai thác nguyên nhân yếu kém do mã được viết kém.

Ví dụ như tuần trước khi một lỗi tiềm ẩn hiển thị trên mạng chính EOS, mà nếu không bị bắt có thể sẽ cho phép tin tặc chiếm đoạt các nút được kết nối mạng. Hoặc nhìn vào Verge, trong tháng qua đã bị tin tặc nhắm mục tiêu ít nhất ba lần.

Thông qua khuôn khổ K, hợp đồng thông minh được xác minh bằng cách sử dụng các khả năng xây dựng chính xác của KEVM. Bằng cách chỉ triển khai các tính năng an toàn nhất của EVM, nhiều vấn đề bảo mật tiềm ẩn và lỗ hổng thường thấy trong Hợp đồng thông minh Ethereum sẽ được loại bỏ trước khi chúng xảy ra. 

Cardano: Một trong những ngôi sao tỏa sáng của Crypto

Đây là lần đầu tiên trong số hai lần ra mắt testnet lớn được lên kế hoạch cho Cardano. Chương trình thứ hai – được đặt tên là IELE – dự kiến ​​sẽ là ra mắt vào tháng 7. Vì KEVM dựa trên một ngôn ngữ lập trình đã được thiết lập sẵn, nó sẽ nhanh chóng đạt được chất lượng công nghiệp chuyên nghiệp hơn và cũng sẽ cho phép nhóm hoàn thiện mạng và cấu trúc giao tiếp cũng sẽ được sử dụng trên IELE sau khi ra mắt.

Mạng thử nghiệm này đánh dấu một thành tựu tuyệt vời, không chỉ cho nhóm Cardano, mà cả cộng đồng blockchain nói chung.

Những loại cải tiến công nghệ này là những gì chúng tôi phải mong đợi từ nhóm của Cardano. Nếu không có bất kỳ trở ngại lớn nào về mặt công nghệ, KEVM và sau đó là máy ảo IELE sẽ được đưa vào mạng chính của Cardano. Điều này sẽ tiếp tục thúc đẩy Cardano tiến lên như một người chơi chính trong cuộc đua nền tảng hợp đồng thông minh.

Để đọc thêm về nền tảng Cardano và nhóm của nó, hãy xem: Lộ trình Cardano và những gì tương lai nắm giữ và Cardano là gì?