Contents
Giáo sư Grigore Rosu, Chủ tịch kiêm Giám đốc điều hành của Runtime Verification (RV) đã tham gia cùng chúng tôi trong chương trình Cardano360 vào tháng 3 để 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 biệt giữa chúng tôi với Grigore và RV bắt đầu từ năm 2017 và thông tin đăng nhập của Grigore đã nói lên (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.
Grigore cũng được ghi nhận là người đã tạo ra K Framework, được mô tả là ‘software that simply cannot afford to fail’(phần mềm đơn giản không có khả năng bị lỗi). Được phát triển hơn 15 năm qua, với mục đích chính của Framework 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, hãy xem lại một lịch sử ng
Khi nói đến hợp đồng thông minh, Ethereum Virtual Machine(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 biết tới có nhiều lỗ hổng coding gây ra các vấn đề bảo mật.
IELE: Khả năng mở rộng, lập trình, bảo mật chưa từng có
Kể từ cuối năm 2020, các nhà phát triển Cardano đã có cầu nối với cộng đồng Solidity/Ethereum thông qua K Ethereum Virtual Machine (KEVM), một triển khai EVM được chỉ định với K framework 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 tạo ra để 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 trong 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 virtual machine 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 đến mục tiêu Ethereum, giúp gia tăng 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 kiến thức phong phú có sẵn trong cộng đồng LLVM, đặc biệ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 chỉ ra rằng một khởi tạo về proof of concept để đưa ra thử nghiệm trong khoảng sáu tháng kể từ bây giờ), cơ hội phát triển sẽ còn rộng hơn. IELE hoạt động giống như một tấm hộ chiếu hơn là một virtual machine, mở ra cánh cửa – nếu không muốn nói là floodgate – cho nhiều sự mới mẻ 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ẽ cung cấp cho các nhà phát triển và doanh nghiệp một động lực khác để di chuyển từ Ethereum và tham gia vào Cardano blockchain. Tính cởi mở, tính toàn diện và khả năng tương tác là những nền tảng mà Cardano được xây dựng. Triết lý của chúng tôi là – và 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. ‘Bạn có thể hy vọng nhiều hơn về framework phổ biến’
Suy nghĩ cuối cùng
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 phương thức 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 kết cấu’.
Bạn có thể đọc thêm từ Alex tại trang web cộng đồng Cardano Adapulse.
Source: https://iohk.io/en/blog/posts/2021/05/10/runtime-verification-iele-from-interoperability-to-universality/
