چارلز هاسکینسون زبان برنامه‌نویسی جدیدی برای کاردانو می‌سازد

چارلز هاسکینسون (Charles Hoskinson)، بنیان‌گذار کاردانو، از توسعه یک زبان برنامه‌نویسی جدید برای این بلاکچین خبر داده است. هدف این پروژه، ترکیب خواسته کاربر از یک تراکنش با اثبات رمزنگاری‌شده اجرای صحیح قوانین آن است؛ رویکردی که می‌تواند ساخت برنامه‌های غیرمتمرکز پیچیده‌تر را ساده کند.

به گزارش میهن بلاکچین، هاسکینسون روز یکشنبه در شبکه اجتماعی ایکس اعلام کرد که شخصاً روی این زبان کار می‌کند و لوکاس روزا (Lucas Rosa)، مهندس نرم‌افزار شرکت اینپوت اوت‌پوت گلوبال (Input Output Global) و از سازندگان زبان آیکن (Aiken)، نیز در این پروژه مشارکت دارد. این زبان قرار است از سه قابلیت اصلی تعیین هدف تراکنش، داده‌های همراه با اثبات رمزنگاری و سیستم اثبات گروث۱۶ (Groth16) پشتیبانی کند.

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

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

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

توسعه‌دهندگان کاردانو در حال حاضر از پلوتوس (Plutus)، مبتنی بر زبان هسکل (Haskell)، و آیکن برای نوشتن قراردادهای هوشمند استفاده می‌کنند. میدنایت (Midnight)، پروژه متمرکز بر حفظ حریم خصوصی شرکت اینپوت اوت‌پوت گلوبال نیز زبان اختصاصی کامپکت (Compact) را برای ساخت برنامه‌هایی به کار می‌گیرد که با داده‌های محرمانه سروکار دارند.

با این حال، هاسکینسون هنوز نام زبان جدید، کد عمومی آن یا زمان آغاز دسترسی توسعه‌دهندگان به این ابزار را اعلام نکرده است.