28 مه پرتاب را مشخص کرد اولین آزمایش هوشمند “KEVM” کاردانو. شبکه آزمایشی در یک نسخه صحیح توسط ساخت ماشین مجازی Ethereum (EVM) در چارچوب K مستقر شده است. این فناوری با همکاری توسط تأیید زمان اجرا با پشتیبانی از IOHK.

این اولین بار بود که شماتیک رسمی شبکه مجازی Ethereum (EVM) تولید می شد.

این مسأله مهمی است.

ده ها سال است که توسعه دهندگان در تلاشند چارچوبی مانند این را بسازند. اولین مطالعات رسمی مربوط به دهه 60 و 70. انتشار چارچوب K نشان می دهد که این امر نه تنها از لحاظ تئوریک بلکه امکان پذیر است. پروفسور گریگوره روزول, که مسئول توسعه KEVM است ، بیش از 15 سال است که خودش روی چارچوب K کار می کند.

هنگام صحبت در مورد انتشار آزمایشی KEVM ، Rosul اظهار داشت که “به نظر می رسد مانند یک رویا است ، اما دیگر نه.”

KEVM چیست?

چارچوب K یک تعریف رسمی از قوانین تعریف می کند که به شما امکان می دهد این معانی معنایی را برای زبان برنامه نویسی خود تعریف کنید. هنگامی که زبان برنامه نویسی خود را در K تعریف کنید ، طیف وسیعی از ابزارها را برای استفاده در دسترس خواهید داشت. این باعث می شود هر زبانی که در چارچوب K تعریف شده باشد یکنواخت رفتار کند و اطمینان حاصل کند که زبان همیشه یک رفتار صحیح و قابل پیش بینی دارد.

هنگامی که یک زبان یا یک ماشین مجازی را در K تعریف کنید ، به تمام ابزارهایی که چارچوب ارائه می دهد دسترسی خواهید داشت. توسعه دهندگان و تیم های دیگر تلاش های زیادی برای انجام کاری شبیه به این داشته اند ، اما K اولین مدل موفق کاری است که تاکنون ساخته شده است.

بنابراین KEVM به این معنی است که EVM به طور رسمی در چارچوب K تعریف شده است.

از طریق KEVM ، توسعه دهندگان می توانند هر برنامه طراحی شده برای EVM را راه اندازی کنند ، اما علاوه بر این آنها به مجموعه ای از توابع جدید و امنیتی که KEVM ارائه می دهد دسترسی خواهند داشت..

تست های KEVM و IELE همانطور که در نقشه راه کاردانو دیده می شود

KEVM زبانهای دیگری مانند C یا Java را با موفقیت رسمیت بخشیده است و ابزارهای تولید شده از این زبانها از نظر ویژگی ها و عملکرد با ابزارهایی که مخصوص این زبانها ساخته شده اند قابل مقایسه هستند.

از طریق چارچوب K ، Cardano اکنون می تواند یک ماشین مجازی صحیح و درست از مشخصات آن تولید کند – به این معنی که برنامه هایی که از طریق چارچوب K اجرا می شوند از نظر ریاضی تضمین می کنند که با مشخصات اصلی زبان برنامه نویسی مطابقت دارند..

KEVM نه تنها می تواند این کار را انجام دهد, اما ماشین مجازی برای اجرای برنامه های واقعی به اندازه کافی سریع است.

چرا ما اهمیت می دهیم?

پروفسور Grigore RosuI اظهار داشت که این یک گام بزرگ رو به جلو نه تنها برای کاردانو بلکه “به سمت وعده بلاک چین های نسل سوم” است.

قراردادهای هوشمند نوشته شده با چارچوب K ، از جمله قراردادهای هوشمند مبتنی بر Ethereum ، از مزایای امنیتی قوی ارائه شده توسط KEVM بهره مند می شود و علاوه بر این مراحل آسان برای بهینه سازی و تجزیه و تحلیل را فراهم می کند که در نهایت باعث امنیت بیشتر کدها می شود.

اشکالات مربوط به قرارداد هوشمند دائماً دنیای رمزنگاری را آزار می دهد. در گذشته تعدادی از موارد برجسته وجود داشته است ، از جمله موارد بدنام هک DOA, اما حتی امروز هکرها از کدهای ضعیف نوشته شده از دلایل ضعف بهره می برند.

به عنوان مثال هفته گذشته که یک خطای احتمالی وجود داشت ، استفاده کنید در شبکه اصلی EOS قرار گرفته است, که اگر گرفتار نشود ، می توانست به هکرها اجازه دهد گره های متصل به شبکه را تصاحب کنند. یا Verge را ببینید ، که در یک ماه گذشته بوده است هدف حمله هکرها قرار گرفت حداقل سه بار.

از طریق چارچوب K ، یک قرارداد هوشمند با استفاده از قابلیت های صحیح ساخت KEVM تأیید می شود. فقط با استفاده از ایمن ترین ویژگی های EVM ، بسیاری از مشکلات امنیتی و نقص های معمول در قراردادهای هوشمند Ethereum قبل از وقوع برطرف می شوند. 

Cardano: یکی از Crypto’s Shining Stars

این اولین مورد از دو آزمایش مهم آزمایشی است که برای کاردانو در نظر گرفته شده است. برنامه دوم – IELE دوبله شده – قرار است باشد در ماه جولای راه اندازی شد. از آنجا که KEVM مبتنی بر یک زبان برنامه نویسی از قبل تاسیس شده است ، سریعتر به یک کیفیت صنعتی حرفه ای رسیده و همچنین به تیم امکان می دهد ساختار شبکه و ارتباطی را که پس از راه اندازی در IELE نیز استفاده می شود ، نهایی کند..

این testnet یک موفقیت بزرگ است ، نه تنها برای تیم کاردانو ، بلکه به طور کلی جامعه بلاکچین.

این نوع پیشرفت های فنی همان چیزی است که باید از تیم Cardano انتظار داشته باشیم. با ممانعت از هرگونه عقب گرد بزرگ فناوری ، KEVM و بعداً ماشین مجازی IELE در شبکه اصلی Cardano قرار می گیرد. این کاردانو را بیشتر به عنوان یک بازیگر اصلی در مسابقه پلتفرم قرارداد هوشمند به جلو سوق می دهد.

برای مطالعه بیشتر در مورد پلت فرم کاردانو و تیم آن ، به موارد زیر مراجعه کنید: نقشه راه کاردانو و آنچه در آینده انتظار می رود و کاردانو چیست?