چارلز هاسکینسون، بنیانگذار Cardano، در حال ساخت یک زبان برنامه نویسی جدید برای شبکه است
هاسکینسون در X گفت که این زبان درخواست های تراکنش را با مدارک رمزنگاری بسته بندی می کند. او نام، مشخصات یا تاریخ انتشار را به اشتراک نگذاشته است.
چارلز هاسکینسون، بنیانگذار Cardano، در حال نوشتن یک زبان برنامه نویسی جدید برای بلاک چین خود است. او می‌گوید این اولین کاری خواهد بود که آنچه را که کاربر می‌خواهد تراکنش انجام دهد را با اثبات رمزنگاری مبنی بر رعایت قوانین ترکیب می‌کند.
هاسکینسون در روز یکشنبه در X نوشت: «من در واقع شخصا در حال توسعه یک زبان برنامه‌نویسی برای Cardano هستم.
این کاری نیست که اکثر بنیانگذاران وقتی شبکه آنها اینقدر بزرگ است انجام می دهند. هاسکینسون یک شرکت پر از مهندس را اداره می‌کند و همچنان در حال انتخاب ابزاری است که برنامه‌های Cardano آینده می‌توانند بر روی خودش ساخته شوند.
این زبان از سه ابزار پشتیبانی می‌کند: مقاصد تراکنش، داده‌های اثبات‌کننده و اثبات‌های Groth16.
یک intent به کاربر اجازه می‌دهد بگوید چه کاری می‌خواهد انجام دهد و مراحل را به برنامه بسپارد. تنها در صورتی که قیمت نهایی با شرایط تعیین شده مطابقت داشته باشد، یک معامله گر می تواند بخواهد که یک توکن را با توکن دیگری مبادله کند، بدون اینکه مشخص کند چگونه می توان به آن رسید.
داده‌های حامل اثبات، شواهد رمزنگاری را به یک اطلاعات متصل می‌کنند و نشان می‌دهند که از قوانین خاصی پیروی می‌کند. برنامه دیگری می‌تواند آن شواهد را بدون انجام مجدد هر محاسباتی بررسی کند.
Groth16 یک سیستم اثبات پرکاربرد است که اثبات های کوچکی را تولید می کند که رایانه ها می توانند به سرعت بررسی کنند. این شواهد می‌توانند نشان دهند که یک شرط بدون فاش کردن داده‌های خصوصی مورد استفاده برای برآورده کردن آن برآورده شده است.
آنها با هم می‌توانند به توسعه‌دهندگان اجازه دهند برنامه‌هایی بسازند که معاملات را هماهنگ می‌کند، شرایط پیچیده را بررسی می‌کند و اطلاعات تأیید شده را بین سرویس‌ها ارسال می‌کند و Cardano در پایان یک مدرک کوچک را بررسی می‌کند.
توسعه دهندگان Cardano در حال حاضر قراردادهای هوشمند را در Plutus، که بر اساس زبان برنامه نویسی Haskell ساخته شده است، و در Aiken می نویسند. Midnight، بلاک چین متمرکز بر حریم خصوصی که توسط شرکت هاسکینسون Input Output Global ساخته شده است، زبان مخصوص به خود را به نام Compact برای برنامه هایی دارد که داده های محرمانه را مدیریت می کنند.
در همین حال، هاسکینسون نام زبان جدید، هیچ کد عمومی یا تاریخی را که توسعه دهندگان می توانند شروع به استفاده از آن کنند، به اشتراک نگذاشته است.
متن اصلی (انگلیسی)
Cardano founder Charles Hoskinson is building a new programming language for the network
Hoskinson said on X the language will bundle transaction requests with cryptographic proofs. He hasn’t shared a name, specs or a release date.