Xác minh thời gian chạy và IELE - từ khả năng tương tác đến tính phổ biến
KEVM và IELE sẽ mang lại mức độ bảo mật, khả năng mở rộng và khả năng lập trình vô song cho Cardano
10 tháng 5 năm 2021 Alex Hamilton 
4 phút đọc
Alex Hamilton
Writer
Tác giả khách mời
Giáo sư Grigore Rosu , Chủ tịch kiêm Giám đốc điều hành của công ty khởi nghiệp Runtime Verification (RV) đã tham gia với chúng tôi trong ấn bản tháng 3 của chương trình Cardano360 để chia sẻ ý tưởng và thảo luận về sự hợp tác giữa RV và IOHK.
Mối quan hệ công việc của chúng tôi với Grigore và RV bắt đầu từ năm 2017 và Các chứng chỉ của Grigore thể hiện tất cả bằng bất kỳ ngôn ngữ nào). Anh ấy đã làm việc cho NASA, DARPA, Microsoft và đã giảng dạy tại Đại học Illinois Urbana-Champaign, có thể kể đến một vài thành tựu.
Grigore cũng được ghi nhận là người đã tạo ra K Framework , được mô tả là 'phần mềm đơn giản là không thể thất bại.' Được phát triển trong hơn 15 năm, mục đích chính của khung là tăng cường bảo mật. Chúng ta sẽ đi vào chi tiết hơn về vấn đề này sau, nhưng trước tiên, là một bài học lịch sử ngắn.
Khi nói đến hợp đồng thông minh, Máy ảo Ethereum (EVM) đã đặt ra nhiều tiêu chuẩn ban đầu, ví dụ như việc tạo ra các hợp đồng thông minh ERC-20 phổ biến, được viết bằng Solidity. Tuy nhiên, hệ thống này không hoàn hảo. Hợp đồng thông minh có các lỗ hổng mã hóa gây ra các vấn đề bảo mật.
IELE: Bảo mật, khả năng mở rộng và khả năng lập trình vô song
Kể từ cuối năm 2020, các nhà phát triển Cardano đã có một cầu nối với cộng đồng Solidity / Ethereum thông qua Máy ảo K Ethereum (KEVM), một EVM được chỉ định trong khuôn khổ K, cho phép các nhà phát triển sử dụng các công cụ xác minh chính thức mà K sản xuất để kiểm tra tính đúng đắn của hợp đồng.
IELE đưa mọi thứ tiến thêm một bước. Như đã được Rosu thảo luận trên chương trình Cardano360 vào tháng 3, IELE (được đặt tên theo một sinh vật giống thần tiên trong thần thoại Romania ) là một máy ảo thực thi các hợp đồng thông minh và cũng cung cấp một ngôn ngữ có thể đọc được cho các nhà phát triển blockchain. IELE được thiết kế với các phương pháp chính thức nhằm giải quyết các mối quan tâm về tính bảo mật và tính đúng đắn vốn có trong việc viết các hợp đồng thông minh Solidity nhắm mục tiêu Ethereum, giúp giảm bớt con đường dẫn đến mức độ bảo mật, khả năng mở rộng và khả năng lập trình cao hơn.
IELE giống như đại diện trung gian của trình biên dịch LLVM. Điều này cho phép thu hút sự phong phú của kiến thức có sẵn trong cộng đồng LLVM, đặc biệt, công việc đã đi vào viết tối ưu hóa trình biên dịch an toàn và hiệu quả vượt qua LLVM IR. Phần lớn nỗ lực dành cho trình biên dịch LLVM cũng có thể được chuyển sang trình tối ưu hóa IELE.
Về LLVM
Khi IELE được triển khai (Rosu nói rằng bản thử nghiệm ban đầu sẽ sẵn sàng sau sáu tháng nữa), cơ hội phát triển sẽ còn xa hơn. IELE hoạt động giống như một tấm hộ chiếu hơn là một máy ảo, mở ra cánh cửa - nếu không muốn nói là ngập tràn vô số tài năng mới và độc đáo. Một số nhà phát triển có thể đã từng bác bỏ ý tưởng tham gia vào không gian blockchain, vì nó có thể có nghĩa là học một ngôn ngữ lập trình hoàn toàn mới. Là kết quả trực tiếp của cách tiếp cận sáng tạo của RV, bất kỳ nhà phát triển nào muốn tham gia vào các hợp đồng thông minh đều có thể viết chúng bằng ngôn ngữ mà họ cảm thấy thoải mái, bao gồm cả Solidity. Kết quả đầu ra sẽ chạy thành công trên bất kỳ blockchain nào được cung cấp bởi IELE, bất kể ngôn ngữ nguồn là gì.
Điều này có ý nghĩa gì đối với Cardano?
Thành tựu này sẽ khuyến khích các nhà phát triển và doanh nghiệp di chuyển từ Ethereum và tham gia vào chuỗi khối Cardano. Tính cởi mở, toàn diện và khả năng tương tác là những nền tảng mà Cardano xây dựng nên. Triết lý của chúng tôi là luôn luôn chào đón các nhà phát triển từ mọi nền tảng, để đảm bảo sự phát triển ổn định của Cardano. Rosu có những kế hoạch táo bạo. Ông nói: “IELE là viên ngọc quý trong nghiên cứu của chúng tôi trong thập kỷ qua. 'Đó là điều lớn nhất mà bạn có thể hy vọng trên một khuôn khổ chung.'
Lời cuối
Quan hệ đối tác của IOHK với RV thể hiện cam kết đổi mới và mở rộng Cardano tới một cộng đồng phát triển rộng rãi nhất có thể. Việc triển khai KEVM / IELE sẽ mở rộng phạm vi tiếp cận và khả năng tương tác của Cardano bằng cách tạo ra các con đường hợp tác mới dẫn đến việc khám phá các ý tưởng, khái niệm và phát triển công nghệ mới trong bối cảnh môi trường 'đúng theo xây dựng'.
Bạn có thể đọc thêm từ Alex tại trang cộng đồng Cardano Adapulse.
Bài viết này được dịch bởi thanhphien273, review bởi Brit Nguyễn, Đăng bài bởi Nguyễn Hiệu. Link bài gốc tại đây Dự án này được tài trợ bởi Catalyst.