کمک هزینه ۴۰۰ هزار دلاری Qtum برای R&D قرارداد های هوشمند
پروژه ی منبع باز Qtum برای توسعه ی یک زبان برنامه نویسی جدید برای قرارداد های هوشمند به دانشگاه کلمبیا ۴۰۰ هزار دلار کمک مالی می کند.
به گزارش کوین ایران و به نقل از Cointelegraph، پروژه ی بلاک چینی منبع باز Qtum برای توسعه ی یک زبان برنامه نویسی جدید برای قرارداد های هوشمند به سبک اتریوم (ETH) به دانشگاه کلمبیا 400 هزار دلار کمک مالی می کند.
این کمک هزینه تحقیق و توسعه به دو دانشجوی PhD و فوق دکترا به سرپرستی Ronghui Gu، دانشیار دانشکده کامپیوتر دانشگاه کلمبیا، داده شده است.
بیشتر بخوانید: قراداد هوشمند چیست؟
بنا به گزارشات، تمرکز این پروژه ی تحقیق و توسعه بر طراحی و اجرای زبان جدیدی به نام «DeepSEA» برای ادغام با قرارداد های هوشمند سبک اتریوم است. یکی از اولین سرفصل های بیانیه ی DeepSEA، زبانی است که می تواند در برنامه نویسی «اختلافات درونی را کاهش دهد»، بدین معنا که:
«امروزه، سیستم عامل های اصلی هنوز با زبان های سطح پایینی مانند C نوشته می شوند. یک اختلاف ذاتی میان ایده های سطح بالا و سیستم های برنامه نویسی سطح پایین به چشم می خورد: نخست، وابستگی به تئوری های قوی با سطح انتزاع بالا و سپس، مدیریت اثرات سطوح پایین و منابع سخت افزاری.»
بیشتر بخوانید: آموزش گام به گام زبان برنامه نویسی Solidity برای ساخت DApp اتریوم
همچنین، محققان قصد دارند همزمان با طراحی و اجرای زبان، به توسعه ی ابزار DeepSEA نیز بپردازند که برای ساخت «هسته ی گواهی سیستم عامل و قرارداد های به سبک اتریوم» به کار می رود. به گفته ی محققان و حامیانشان، این کار می تواند به حل بسیاری از مسائل اجزای کلیدی در زیرساخت های حساس قرارداد های هوشمند کمک کند و در نتیجه آنها را «قابل اعتماد تر، مستقل تر و قابل پذیرش تر» سازد.
با نگاهی به پروفایل ها می توان دید که پروفسور Gu علاوه برکار در دانشگاه کلمبیا، هم بنیان گذار استارتاپ بلاک چینی «CertiK» که بنیاد Qtum آن را حمایت مالی می کند، نیز هست. به طور خلاصه، CertiK یک پروژه ی محلی برای «چارچوب تاییدیه قانونی برای اثبات ریاضیاتی است که اکوسیستم بلاک چین و قرارداد های هوشمند را از باگ خالی و در برابر هکر ها مقاوم کند».
بیشتر بخوانید: راهنمای جامع علاقه مندان و توسعه دهندگان اتریوم و قرارداد های هوشمند
بنیاد Qtum که در سنگاپور ثبت شده است، یک پلتفرم کاربردی بلاک چین ترکیبی منبع باز، با تمرکز خاص روی قرارداد های هوشمند و اپلیکیشن های غیر متمرکز (DApps) است. تکنولوژی هسته ای آن متشکل از یک انشعاب از بیت کوین (BTC) و یک حساب لایه ی انتزاعی برای کار همزمان چندین ماشین مجازی، شامل ماشین مجازی اتریوم (EVM) و سیستم اجماع اثبات سهام (PoS) است.
پاییز امسال، دانشگاه کلمبیا به همراه IBM از برنامه ی راه اندازی دو شتاب دهنده بلاک چین برای کمک به استارتاپ های این فضای خلاقانه در هر ابعادی، خبر دادند. هر دوی این شتاب دهنده ها بخشی از مرکز نوآوری ای هستند که تابستان امسال توسط غول فناوری و مدرسه ی لیگ ivy ایالات متحده ایجاد شده است.
توجه!
دیدگاه هایی که در این مقاله ارائه شده اند متعلق به نویسنده می باشند و لزوماً مربوط به کوین ایران نیست و نباید به آن نسبت داده شود.
