شرکت Blockstream با معرفی زبان برنامه‌نویسی Simplicity، انقلابی در قراردادهای هوشمند بیت‌کوین و توسعه دیفای را رقم می‌زند

شرکت بلاک‌استریم (Blockstream)، در تاریخ ۳۱ ژوئیه، اعلام کرد که زبان برنامه‌نویسی جدید خود به نام سیمپلیسیتی (Simplicity) را برای شبکه لیویک (Liquid)، زنجیره فرعی فیدرال بیت‌کوین (Bitcoin) با ارزش قفل شده بیش از ۳.۲ میلیارد دلار، به صورت عملیاتی راه‌اندازی کرده است. این زبان، امکان ایجاد قراردادهای هوشمند قابل اثبات رسمی را بر بستر بیت‌کوین فراهم می‌کند و به مؤسسات مالی و توسعه‌دهندگان امکان می‌دهد قراردادهایی امن و قابل اعتماد بر اساس منطق بیت‌کوین ایجاد کنند.

سیمپلیسیتی بر مبنای مدل UTXO (Unspent Transaction Output) بیت‌کوین توسعه یافته است و از آسیب‌پذیری‌های سیستم‌های مبتنی بر حالت (state-based systems) اجتناب می‌کند. این رویکرد، از نظر امنیت و پایداری، برتری قابل توجهی نسبت به قراردادهای هوشمند مبتنی بر اتریوم (Ethereum) دارد، زیرا قابلیت اثبات رسمی قبل از اجرا را دارا می‌باشد و ویژگی‌هایی که ممکن است منجر به بهره‌برداری‌های مخرب شوند، حذف شده است.

این پروژه نتیجه دوازده سال تحقیق و توسعه است که از مفاهیم اولیه توسط دکتر راسل اوکانر (Russell O’Connor)، ریاضیدان شرکت بلاک‌استریم، آغاز شده است. تیم توسعه‌دهنده، همان تیمی است که مسئول ارتقاء تپروت (Taproot) در بیت‌کوین نیز بوده است.

بلاک‌استریم در بیانیه خود اعلام کرده است که علاوه بر راه‌اندازی سیمپلیسیتی، نقشه راهی برای توسعه نسخه‌های سطح بالاتر، به نام سیمپلیسیتی‌اچ‌ال (SimplicityHL)، ارائه داده است تا دسترسی توسعه‌دهندگان به این فناوری را گسترش دهد و امکانات بیشتری در اختیار آنان قرار دهد.

ساده‌سازی، نوآوری در قراردادهای بیت‌کوین

در حالی که اتریوم (Ethereum) و سایر شبکه‌های مشابه بر اساس مدل‌های حالت جهانی عمل می‌کنند که ممکن است شبکه‌های کامل را در معرض خطرات و خرابی‌های گسترده قرار دهد، پروژه سیمپلیسیتی (Simplicity) رویکردی بومی بر پایه بیت‌کوین (Bitcoin) اتخاذ کرده است. در این رویکرد، قراردادها باید کاملاً مستقل باشند و تمامی داده‌های مورد نیاز در هر تراکنش به صورت صریح منتقل شود. این طراحی، به طور طبیعی، از بروز آسیب‌پذیری‌هایی نظیر حملات reentrancy و فساد حالت جلوگیری می‌کند، بدون نیاز به اصلاحات پس از عرضه.

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

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

اندرو پولسترا، مدیر بخش تحقیقات در شرکت بلاک‌استریم (Blockstream)، اعلام کرد که هدف از طراحی پروژه سیمپلسیتی (Simplicity) ایجاد بستر امن و قابل اعتماد برای توسعه برنامه‌های مبتنی بر بیت‌کوین است که بتوانند بدون درگیر شدن در پیچیدگی‌ها و آسیب‌پذیری‌های اکوسیستم‌های قرارداد هوشمند دیگر، امکانات بیانی و برنامه‌نویسی گسترده‌ای را ارائه دهند. وی افزود که این پروژه با بهره‌گیری از روش‌های رسمی و تلفیق آن با مدل UTXO، پایه‌ای محکم برای توسعه مالی‌های هوشمند و قابل برنامه‌ریزی بر بستر بیت‌کوین فراهم می‌کند که هم توسعه‌دهندگان و هم نهادهای مالی مانند مؤسسات بانکی و سرمایه‌گذاری می‌توانند به آن اعتماد کنند.

شرکت بلوک‌استریم (Blockstream) بر اساس اهداف خود در حوزه امنیت و قابلیت اطمینان تمرکز دارد. این شرکت در حال توسعه و معرفی امکاناتی مانند vaultهای برنامه‌پذیر با قابلیت قفل‌گذاری زمان‌دار برداشت‌ها است که می‌تواند کنترل‌های انطباق‌پذیر و قابل اجرا برای نهادهای مالی فراهم کند. همچنین، صرافی‌های غیرمتمرکز بدون وضعیت (stateless) با ساختار دی‌سنترالایزد، پتانسیل ارائه جایگزینی منطبق با مقررات برای پلتفرم‌های جهانی فعلی را دارند.

از جمله نوآوری‌های مهم، راهکارهای نگهداری دارایی مبتنی بر بیت‌کوین است که از طریق طرح‌های امضای آستانه (threshold signature schemes) عمل می‌کنند و نیاز به پیچیدگی‌هایی مانند wrapping دارایی یا اعتماد به پل‌های شخص ثالث را برطرف می‌سازند.

در آینده، بلوک‌استریم قصد دارد دسترسی به زبان برنامه‌نویسی سیمپلی‌سیتی (Simplicity) را با معرفی لایه انتزاعی سطح بالاتر به نام سیمپلی‌سیتی‌اچ‌ال (SimplicityHL) تسهیل کند، تا فرآیند توسعه برای برنامه‌نویسانی که با زبان‌های انعطاف‌پذیرتر آشنا هستند، ساده‌تر و سریع‌تر شود.

منبع: کریپتو.نیوز