موو: زبان برنامه‌نویسی ضد هک فیسبوک که بلاکچین‌ها را متحول می‌کند

Move آماده رشد در دیفای

منشأ زبان برنامه‌نویسی Move چندان سایفرپانک نیست. فیس‌بوک (که اکنون Meta نامیده می‌شود) این زبان را پس از مقایسه زبان‌های اصلی قرارداد هوشمند (مانند Bitcoin Script و زبان‌های بایت‌کد ماشین مجازی اتریوم) ایجاد کرد و تصمیم گرفت که تیم فنی قدرتمند داخلی آنها می‌تواند زبانی جدید بر اساس سال‌ها تحقیق در بخش‌های خصوصی و دولتی بسازد. تیم اصلی، شامل بنیان‌گذاران Mo Shaikh، Avery Ching و تیم مهندسی آنها، فیس‌بوک را ترک کردند تا به‌عنوان یک پروژه کاملاً مستقل و متن‌باز به رهبری Aptos Labs و با حمایت Aptos Foundation ادامه دهند.

نکته مهم این است که آزمایش ناموفق Libra توسط Meta، یک زبان برنامه‌نویسی خاص برای امور مالی کریپتو به جا گذاشت. Move در Aptos اکنون متن‌باز است و Aptos Foundation یک سازمان تجاری است که از سازندگان با هر پیشینه‌ای استقبال می‌کند.

ویژگی‌های کلیدی Move

Move اکنون بهترین زبان برنامه‌نویسی برای تأیید عدم وجود باگ‌ها و بررسی تغییرات و نشت‌ها است، که بیشتر بلاکچین‌ها از این طریق هک می‌شوند. این تأیید به دو ویژگی کلیدی Move در Aptos متکی است: (۱) «سازگاری با نسخه‌های قبلی» و (۲) مفهوم «ممیز در زمان اجرا».

Move در Aptos سریع و ارزان است و تجربه کاربری رقابتی را به‌ویژه برای برنامه‌های مالی غیرمتمرکز (DeFi) ایجاد می‌کند. Aptos به دنبال توان عملیاتی بالای تراکنش‌ها است و با استفاده از موتور اجرای موازی خود، Block-STM، به‌صورت نظری می‌تواند تا ۱۶۰,۰۰۰ تراکنش در ثانیه (TPS) را انجام دهد. نهایی‌سازی زیر یک ثانیه در Aptos به این معنی است که تراکنش‌ها به‌سرعت تأیید می‌شوند و تجربه کاربری را در برنامه‌های حساس به زمان بهبود می‌بخشد.

برای انصاف، سایر بلاکچین‌ها نیز این ویژگی‌ها را دارند. بااین‌حال، Move در Aptos به‌گونه‌ای طراحی شده است که «با نسخه‌های قبلی سازگار» باشد. به‌روزرسانی‌های آینده پروژه‌های موجود را مختل نخواهند کرد. این امر به توسعه‌دهندگان کمک می‌کند تا با اطمینان بیشتری راه‌حل‌های بلندمدت بسازند، بدون اینکه نگران خرابی‌ها به دلیل به‌روزرسانی Move باشند.

امنیت و انعطاف‌پذیری

قراردادهای هوشمند Move به‌گونه‌ای طراحی شده‌اند که بدون تأثیر بر تجربه کاربری قابل ارتقا باشند، که برای پذیرش عمومی ضروری است. این امر به تیم‌ها امکان می‌دهد تا بدون هیچ‌گونه اختلالی، رفع باگ‌ها و ویژگی‌های جدید را پیاده‌سازی کنند. انعطاف‌پذیری قراردادهای هوشمند از طریق ویژگی‌های امنیتی خاص Move در Aptos منجر به ارائه محصولات بهتر و سریع‌تر می‌شود.

با انعطاف‌پذیری بیشتر، Move در Aptos می‌تواند به‌سرعت برای پشتیبانی از اکوسیستم‌های جدید سازگار شود. هک‌های قراردادهای Solidity در طول سال‌ها رایج بوده‌اند. هنگام ساخت فناوری Web3 برای بازارهایی به ارزش میلیاردها یا حتی تریلیون‌ها دلار، داشتن یک سیستم امنیتی که از پروژه‌ها در برابر نشت منابع، دسترسی غیرمجاز به حافظه و سایر تغییرات غیرمجاز محافظت کند، بسیار مهم است.

ازآنجاکه Move در ابتدا برای پروژه Diem Meta توسعه داده شد، برای ایمنی، مدیریت منابع و عملکرد طراحی شده است و آن را برای توسعه‌دهندگانی که به دنبال یک زبان امن و درعین‌حال قدرتمند برای قراردادهای هوشمند هستند، جذاب می‌کند.

تأیید و ممیزی

هنگام استقرار کد با استفاده از Move، کد در چندین شرایط کدنویسی حیاتی مانند مدیریت صحیح منابع، درستی نوع و ایمنی مرجع تأیید می‌شود. مهم نیست که چه اتفاقی برای کد می‌افتد، ابتدا تأیید می‌شود تا از اجرای هرگونه قرارداد هوشمند معیوب یا مخرب جلوگیری شود. این قدرت تأیید بایت‌کد داخلی Move است.

پیشگام علوم کامپیوتر، Edsger Dijkstra، خاطرنشان کرد: «آزمایش برنامه می‌تواند برای نشان دادن وجود باگ‌ها استفاده شود، اما هرگز برای نشان دادن عدم وجود آنها!» قابلیت‌های تأیید رسمی Move به توسعه‌دهندگان این امکان را می‌دهد که واقعاً ثابت کنند در کد خاصی با توجه به مشخصات از پیش تعیین‌شده هیچ باگی وجود ندارد.

MoveVM کمتر از ماشین مجازی اتریوم در میدان نبرد آزمایش شده است، اما همان‌طور که Rushi Manche، بنیان‌گذار Movement Labs، توضیح داده است، Move به ممیزی کد بسیار کمتری نیاز دارد. زمان اجرای MoveVM می‌تواند به‌عنوان یک «ممیز در زمان اجرا» عمل کند. تأییدکننده داخل MoveVM تضمین می‌کند که کد تراکنش مضر نیست و نمی‌تواند منابعی را که توسط امضاکننده(های) تراکنش مجاز نیستند، ایجاد، تکثیر یا از بین ببرد. به‌عبارت‌دیگر، MoveVM یک «ممیز در زمان اجرا» است، نه یک ممیز انسانی قرارداد هوشمند.

رشد و پذیرش

امروزه Move در Aptos چیزی فراتر از یک زبان قرارداد هوشمند است. Move در Aptos قدیمی‌ترین، شناخته‌شده‌ترین و پرکاربردترین نسخه Move است که یکی از سریع‌ترین جوامع توسعه‌دهنده در حال رشد و یک اکوسیستم در حال رشد سریع از زیرساخت‌ها، ابزارها و پروژه‌ها را به رخ می‌کشد. تأیید سریع کد قبل از استقرار، شرایط را برای اکوسیستم Move در Aptos ایجاد کرده است.

از یک آغاز ناقص در Web2، Move اکنون آماده رشد در دیفای است.