چند ضلعی Miden: Ethereum ، گسترش یافته است.

Polygon Miden ، یک ZK بهینه سازی شده با اثبات سمت مشتری ، مجموعه راه حل های دانش صفر را با هدف تبدیل شدن به لایه ارزش اینترنت تکمیل می کند.

این پست برای اولین بار در یک سری است که به منظور معرفی چند ضلعی Miden ، انگیزه های طراحی آن و ویژگی های یک نوع از آن ارائه می شود. طی ماه های آینده منتهی به TestNet عمومی ، آزمایشگاه های چند ضلعی معماری و ویژگی های چند ضلعی Miden را با جزئیات بسیار شرح می دهند. برای این پست ، تمرکز بر روی اهداف و معماری است که برای دستیابی به آنها طراحی شده است.

هدف: مجموعه ویژگی های Ethereum را گسترش دهید

با استفاده از چند ضلعی Miden ، هدف ما گسترش مجموعه ویژگی های Ethereum است. Ethereum به گونه ای طراحی شده است که یک لایه پایه است که به آرامی تکامل می یابد و ثبات را فراهم می کند. غلتک ها ضمن حفظ امنیت اتریوم ، امکان ایجاد فضاهای طراحی جدید را فراهم می کنند. این امر باعث می شود مکان مناسبی برای نوآوری و فعال کردن عملکرد جدید باشد.

بر خلاف بسیاری از برنامه های دیگر ، چند ضلعی Miden دوست داشتن ZK را نسبت به سازگاری EVM در اولویت قرار می دهد. همچنین از یک مدل حالت جدید برای بهره برداری از قدرت کامل یک طراحی ZK محور استفاده می کند. این تصمیمات طراحی به توسعه دهندگان این امکان را می دهد تا برنامه هایی را ایجاد کنند که در حال حاضر برای ایجاد سیستم های مبتنی بر حساب دشوار یا غیر عملی هستند.

ما اتریوم را در سه بعد اصلی برای جذب میلیاردها کاربر گسترش می دهیم: مقیاس پذیری ، ایمنی و حریم خصوصی.

مقیاس پذیری

برای دستیابی به مقیاس پذیری نهایی ، ما به طور اساسی نحوه طراحی blockchains را تغییر می دهیم. چند ضلعی میانی پارادایم را تغییر می دهد که همه چیز در یک blockchain باید شفاف باشد تا قابل اثبات باشد.

blockchains با اجرای مجدد تأیید می شود. اجرای مجدد نیاز به شفافیت و قدرت پردازش دارد. تأیید مجدد توسط مجدد ، بلاکچین ها را کند می کند. اثبات دانش صفر امکان تأیید بدون اجرای مجدد را فراهم می کند. تأیید دانش صفر نیازی به شفافیت یا قدرت پردازش ندارد. در چند ضلعی Miden ، کاربران می توانند اثبات خود را تولید کنند و شبکه آنها را تأیید می کند.

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

این نه تنها بار محاسباتی را بر روی اپراتورها کاهش می دهد ، بلکه چنین معاملات را ذاتاً موازی می کند. حتی جالب تر این است که محدودیت هایی را که می تواند به یک قرارداد هوشمند برود ، بالا می برد. به عنوان مثال ، هر چیزی که کاربر بتواند به صورت محلی اجرا و اثبات کند - مهم نیست که چقدر پیچیده باشد - می تواند توسط شبکه با حداقل هزینه پردازش شود. در Miden ، انجام محاسبات پیچیده حتی ارزان خواهد بود.

یکی دیگر از تغییرات مهم در چند ضلعی Miden اطمینان از عدم نیاز به لمس دولت عمومی است. ما با ایجاد همه تعامل بین قراردادهای هوشمند ناهمزمان به این هدف می رسیم. با استفاده از چند ضلعی ، نقل و انتقالات توکن ، مبادلات NFT و بسیاری دیگر نیازی به لمس وضعیت عمومی ندارند. برای اقداماتی که وضعیت عمومی را تغییر می دهد ، چند ضلعی Miden اجازه می دهد تا به طور منظم شبکه معاملات را انجام دهد (همانند سایر blockchains). با این وجود ، به دلیل مدل اجرای ناهمزمان ، تعامل بین معاملات محلی اجرا شده و معاملات شبکه یکپارچه انجام می شود.

امنیت

دارایی ها باید ایمن و آسان برای رسیدگی باشند. هیچ کس نباید هنگام از دست دادن یک کلید یا ارسال آنها به آدرس اشتباه ، نشانه های خود را از دست بدهد. رویکرد چند ضلعی Miden با هدف کاهش خطرات استفاده از رمزنگاری در جبهه های مختلف انجام می شود.

اول ، هر حساب کاربری در Polygon Miden یک قرارداد هوشمند است. این اغلب به عنوان انتزاع حساب گفته می شود. این امر باعث می شود تا توسعه دهندگان در Miden چند ضلعی ایجاد کنند تا کیف پول های ایمن تر با ویژگی هایی مانند بازیابی اجتماعی کلیدها ، نشانه های هزینه محدود کننده نرخ ، تجزیه و تحلیل ریسک معاملات و غیره ایجاد کنند.

در مرحله بعد ، به دلیل مدل اجرای ناهمزمان چند ضلعی Miden ، می توان معاملات قابل فراخوانی ایجاد کرد که خطر ارسال وجوه به یک آدرس غیر موجود را کاهش می دهد. این یک محیط امن تر برای کاربران فراهم می کند.

تغییر دیگری که ایمنی را افزایش می دهد این است که در میان ، دارایی های قارچ و غیر قابل استفاده به صورت محلی در حساب ها ذخیره می شوند (به جای قراردادهای توکن جهانی). این امر بهره برداری از اشکالات بالقوه را دشوارتر می کند ، زیرا هر حساب باید به صورت جداگانه مورد حمله قرار گیرد.

صحبت از اشکالات ، برای ایمن تر کردن توسعه قرارداد هوشمند ، چند ضلعی Miden هدف پشتیبانی از زبانهای مدرن قرارداد هوشمند مانند Move و Sway است. این زبانها با تأکید بر ایمنی و صحت و سالها تجربه و ویژگی های دیگر زبانهای امن مانند زنگ زدگی در طراحی آنها طراحی شده اند.

حریم خصوصی

سرانجام ، شفافیت مطلق یکی از اصلی ترین اشکالات blockchains است. توانایی معامله در خصوصی یک حق اساسی و یک ضرورت عملی است. و به این ترتیب ، ما حریم خصوصی را در هسته طراحی چند ضلعی Miden قرار می دهیم.

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

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

ما می دانیم که حریم خصوصی یک منطقه پیچیده در حوزه عمومی است. حریم خصوصی موضوعی پیچیده است که نیاز به مطالعه و بررسی دقیق دارد. ما قصد داریم در مراحل مختلف حریم خصوصی را در چند ضلعی Miden فعال کنیم. در ابتدا ، کاربران می توانند حریم خصوصی سایر کاربران را حفظ کنند اما نه از اپراتورها (شبیه به حریم خصوصی Web2). این به ما فرصت می دهد تا بفهمیم چگونه می توانیم سطح حریم خصوصی قوی تری را بدون باز کردن سیلاب به سوءاستفاده های احتمالی فعال کنیم.

معماری: مدل مبتنی بر بازیگر با حالت همزمان زنجیره ای

معماری Polygon Miden به طور قابل توجهی از طرح های معمولی blockchain برای پشتیبانی از ویژگی های فوق استفاده می شود. در پست های آینده وبلاگ ، ما این موضوع را با جزئیات بیشتری پوشش خواهیم داد ، اما دو جنبه اساسی حتی اکنون نیز ارزش آن را دارند.

مدل اجرای بازیگر پایه

مدل بازیگر الهام بخش مدل اجرای چند ضلعی Miden است. این یک الگوی طراحی مشهور در سیستم های همزمان است. در مدل بازیگر ، بازیگران ماشین های دولتی هستند که مسئول حفظ وضعیت خود هستند. در زمینه چند ضلعی Miden ، هر حساب بازیگر است. بازیگران با تبادل پیام های ناهمزمان با یکدیگر ارتباط برقرار می کنند. یک بازیگر می تواند پیامی را به دیگری ارسال کند ، اما این وظیفه گیرنده است که تغییر درخواست شده را در وضعیت خود اعمال کند.

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

مدل حالت ترکیبی

مدل اجرای بازیگر مبتنی بر یک رویکرد کاملاً متفاوت برای ضبط وضعیت سیستم است. بازیگران و پیامهایی که مبادله می کنند باید به عنوان شهروندان درجه یک رفتار شوند. چند ضلعی Miden با ترکیب مدل های دولتی سیستم های مبتنی بر حساب مانند Ethereum و سیستم های مبتنی بر UTXO مانند بیت کوین و ZCash ، این موضوع را می پردازد.

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

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

در Devcon 6 ، در بوگوتا ، کلمبیا ، بنیانگذار Polygon Miden Bobbin Threadbare در مورد حالت های معاملات انعطاف پذیر و نحوه طراحی مدل حالت ما برای ساختن یک رول مقیاس پذیر غیر متمرکز صحبت کرد.

تغییر پارادایم

چند ضلعی Miden قصد دارد تا موارد و برنامه های کاربردی جدید را باز کند. ایده غالب این است که همه چیز در یک blockchain باید شفاف باشد تا قابل اثبات باشد. اما در چند ضلعی میانی ، بازیگران می توانند صحت را اثبات کنند و نیازی به شفاف بودن ندارند.

چند ضلعی Miden مفاهیم اصلی اتریوم ، بیت کوین و بانکهای اطلاعاتی همزمان مدرن را ترکیب می کند ، که همه از امنیت بی اعتماد اثبات ZK استفاده می شود. آنچه ظهور خواهد کرد ابعاد یک رول ZK با هدف کلی و عمومی است که برای توان بالا ، برنامه های سنگین محاسبات بهینه شده است که در آن حریم خصوصی نیز در اولویت قرار دارد.

پایه های معماری ما تنظیم شده است تا توان زیادی ، هزینه های پایین و حریم خصوصی را در تکرارهای آینده فعال کند. با این حال ، مانند همه غلتک ها ، ما با چرخ های آموزش شروع خواهیم کرد. ما به زودی نقشه راه خود را برقرار خواهیم کرد.

اگر به دانش صفر علاقه دارید (یا مورد آزار و اذیت قرار می گیرید) ، دسته اختصاص داده شده به کارهای داخلی ZK و پروتکل های مقیاس گذاری ، @0xpolygon یا رفتن به انجمن ZK را دنبال کنید.