بنیان‌گذار کاردانو زبان برنامه‌نویسی جدیدی توسعه می‌دهد که نیت‌های معاملاتی و اثبات Groth16 را ترکیب می‌کند

بنیان‌گذار کاردانو، چارلز هاسکینسون، در حال توسعه یک زبان برنامه‌نویسی جدید برای شبکه کاردانو است که همکار او مهندس لوکاس روزا از Input Output Global است. این زبان اولین زبانی خواهد بود که عملیات مورد نظر کاربران برای انجام معامله را با اثبات‌های رمزنگاری ترکیب می‌کند. زبان جدید از سه ابزار پشتیبانی خواهد کرد: نیت معاملاتی، داده‌های حاوی اثبات و اثبات Groth16. نیت معاملاتی به کاربران اجازه می‌دهد تا هدفی که می‌خواهند به آن برسند را مشخص کنند و مراحل دقیق توسط برنامه مدیریت می‌شود. داده‌های حاوی اثبات می‌توانند شواهد رمزنگاری را به اطلاعات اضافه کنند تا نشان دهند که با قوانین خاصی مطابقت دارند و برنامه‌های دیگر می‌توانند بدون محاسبه مجدد، آن‌ها را تأیید کنند. Groth16 یک سیستم اثبات پرکاربرد است که می‌تواند اثبات‌های کوچک و سریع‌التحقق تولید کند و در عین حال داده‌های خصوصی را افشا نکند. با ترکیب این سه، توسعه‌دهندگان می‌توانند برنامه‌هایی بسازند که معاملات را هماهنگ کنند، شرایط پیچیده را بررسی کنند و اطلاعات تأیید شده را بین خدمات منتقل کنند، در نهایت کاردانو یک اثبات کوچک را تأیید می‌کند. در حال حاضر، توسعه‌دهندگان کاردانو عمدتاً از Plutus مبتنی بر Haskell و Aiken برای نوشتن قراردادهای هوشمند استفاده می‌کنند و بلاک‌چین خصوصی Midnight که توسط Input Output Global تحت مدیریت هاسکینسون ساخته شده، زبان خاص خود به نام Compact دارد. نام، کد عمومی و تاریخ انتشار این زبان جدید هنوز اعلام نشده است.

این محتوا صرفاً برای اطلاع‌رسانی عمومی ارائه شده است و به‌منزله مشاوره مالی، سرمایه‌گذاری، حقوقی یا مالیاتی تلقی نمی‌شود. هرگونه رویداد، جایزه، کمپین آنلاین یا اطلاعات مرتبط که در اینجا ذکر شده است، نباید به‌عنوان توصیه، ترغیب یا دعوت به خرید، فروش، معامله یا هرگونه دادوستد دیگر دارایی‌های رمزارزی تلقی شود. دارایی‌های رمزارزی از نوسان بالایی برخوردار هستند و ممکن است منجر به زیان شوند. دسترسی به خدمات، محصولات و رویدادهای مرتبط با WEEX ممکن است بسته به منطقه جغرافیایی متفاوت باشد. اطمینان از اینکه استفاده شما از این خدمات با قوانین و مقررات محلی مطابقت دارد، بر عهده خود شماست.