راهحلهای لایه دوم مبتنی بر فناوری ZK ممکن است با کمک جان لایت از انجمن تحقیقاتی ZK-Rollup بنیاد حقوق بشر به بیتکوین بیایند و پیشنهادی را ارائه دهند که توجه برخی از توسعهدهندگان بیتکوین را به خود جلب کرده است.
در یک مرور کلی طولانی از مجموعههای اعتبار و نحوه پیادهسازی آنها در زبان اسکریپت نویسی بسیار محدود بیت کوین، لایت ابتدا به طور مفید خلاصه این اختراعات بسیار جدید را بیان میکند:
جمعآوری یک زنجیره بلوکی است که ریشه حالت و حداقل دادههای تراکنش کافی را برای محاسبه مجدد وضعیت فعلی از پیدایش درون بلوک یک بلاک چین «والد» متفاوت ذخیره میکند، در حالی که اجرای تراکنش «خارج از زنجیره» را به یک شبکه گره جداگانه تغییر میدهد.»
جمعآوری اعتبار حاوی دادههای کافی در زنجیره برای «اثبات اعتبار» است تا اطمینان حاصل شود که بلوکهای جمعآوری جدید از قوانین پروتکل جمعآوری پیروی میکنند.
این اثباتها از طریق ZK-tech، امروزه عمدتاً STARK ایجاد میشوند، و بنابراین در واقع شما یک روش فشردهسازی را دریافت میکنید که در آن میتوانید تراکنشهای مثلاً ۱۰۰ برابری را در لایه دوم، با اکثریت قریب به اتفاق امنیت لایه پایه، انجام دهید، و همه اینها فقط به این معنا هستند. یک معامله زنجیره ای
این نسبت به شبکه لایتنینگ مزایای قابل توجهی دارد زیرا شما به چیزهایی مانند وثیقه، روتر و غیره نیاز ندارید، فقط به مجموعه سپرده میکنید.
برای انتقالهای ساده، آنها عمدتاً روی اتریوم پیادهسازی شدهاند، جایی که اکنون روی ماشینهای مجازی اتریوم مبتنی بر zk کار میکنند، با این امید که در نهایت راهحل ZK بتواند در خود لایه پایه اعمال شود.
اما در بیت کوین تا بهار امسال کار زیادی روی آن صورت نگرفته بود که تری دل بونیس، توسعه دهنده بیت کوین، منتشر شده نمونههای کدی از نحوه پیادهسازی جمعبندی اعتبار در بیتکوین. سبک می گوید::
ایجاد یک مجموعه اعتبار روی بیت کوین با استفاده از زبان برنامه نویسی ناقص تورینگ بیت کوین، اسکریپت، با تغییرات نسبتاً کوچک (از نظر ردپای کد) در کدهای عملیاتی که اسکریپت پشتیبانی می کند، ممکن است.
به گفته دل بونیس، تغییرات مورد نیاز برای پشتیبانی از جمعبندی اعتبار در بیت کوین، چند اپکد اضافی هستند که دو اصل اولیه طراحی جمعآوری او را امکانپذیر میسازند: تأیید صحت اثبات اعتبار و میثاقهای بازگشتی…
میثاق های بازگشتی نوعی قرارداد هوشمند هستند که نوع اسکریپتی را که پس از خرج کردن بیت کوین می توان به آن ارسال کرد، محدود می کند.
دل بونیس از پیمانهای بازگشتی برای انتشار ساختار جمعآوری به سمت جلو با هر بهروزرسانی وضعیت استفاده میکند، و تضمین میکند که بیت کوینی که در یک اسکریپت جمعآوری قفل شده است و توسط مالک آن برداشت نشده است، هنوز از یک بهروزرسانی وضعیت جمعآوری به حالت بعدی در اسکریپت باقی میماند.
هنگامی که صاحب BTC در جمعآپ، تراکنش برداشت معتبر را در مجموعه تأیید کرد، آنگاه میتواند از اسکریپت عهد بازگشتی با BTC خود به آدرس برداشت L1 که مشخص کردهاند خارج شود.
میثاق های بازگشتی تغییری در اسکریپت است که مدت هاست توسط جامعه بیت کوین مورد توجه قرار گرفته است. با این حال، در حال حاضر هیچ پیشنهاد خاصی وجود ندارد که در میان جامعه توسعه دهندگان بیت کوین به اجماع گسترده ای برای اجرای میثاق های بازگشتی دست یافته باشد.
از نظر مفهومی این ساده به نظر می رسد. قراردادهای بازگشتی با بخش قفل یا انتقال وجوه در داخل و خارج از مجموعه سروکار دارند، در حالی که برخی تغییرات دیگر برای یکپارچه شدن مدارک مورد نیاز است.
با این حال، بیت کوین به سرعت تغییر می کند، اما لایت می گوید این پیشنهاد کاملاً با اخلاق بیت کوین سازگار است و به لیست پستی توسعه دهندگان بیت کوین می گوید:
مجموعههای اعتبار پتانسیل بهبود مقیاسپذیری، حریم خصوصی و قابلیت برنامهریزی بیتکوین را بدون قربانی کردن ارزشهای اصلی یا عملکرد بیتکوین بهعنوان یک سیستم نقدی الکترونیکی همتا به همتا دارند.
با توجه به ماهیت «غیرقابل اعتماد» جمعآوریهای اعتبار بهعنوان پسوندهای امن رمزنگاریشده زنجیره مادر، و با توجه به وضعیت بیتکوین بهعنوان امنترین لایه تسویه، حتی میتوان گفت که این پروتکلها یک تطابق کامل با یکدیگر هستند.
آنها به پهنای باند یا ذخیره سازی اضافی نیاز ندارند، بنابراین مقیاس پذیری را بدون معاوضه قابل توجه ارائه می دهند.
با این حال، اجرای آنها در بیت کوین به احتمال زیاد بسیار کند است، به جای آن لایت پیشنهاد می کند:
پروژه زنجیره جانبی Elements (و بلاک چین مایع که مبتنی بر Elements است) هنوز برای اثبات اعتبار مورد نیاز برای پشتیبانی از یک جمعبندی اعتبار پشتیبانی نمیکند، اما از میثاقهای بازگشتی پشتیبانی میکند.
بنابراین، اجرای پشتیبانی برای اثبات اعتبار در Elements، همراه با برخی از تغییرات دیگر که دل بونیس آن را خوب تشخیص داد، میتواند راهی برای آزمایش یک پروتکل جمعآوری اعتبار باشد که در نهایت قرار است روی بیتکوین مستقر شود.
Liquid توسط Blockstream با Greg Sanders از آن Blockstream نگهداری می شود که در بحث لیست پستی بیان می کند:
«آیا یک برگه تقلب یک صفحه ای از «پرسش» برای درون نگری تراکنش/OP_ZKP(؟) و استفاده از آن ها به صورت جداگانه و با هم برای معماری های مختلف ترکیبی وجود دارد؟»
Op_ZKP کاملاً وجود ندارد، شاید به همین دلیل است که او علامت سؤال را قرار داده است، اما این سؤال ممکن است به خوبی نشان دهد که اگرچه از نظر مفهومی آسان به نظر می رسد، در واقع اجرای آن در زبان اسکریپت بیت کوین بسیار محدود احتمالاً اصلاً آسان نخواهد بود.
نه حداقل به این دلیل که توسعه لبههای ناپایدار خواهد بود، اگرچه کاملاً اصلی نیست زیرا توسعه دهندگان در اتریوم از سال 2019 روی این سیستمهای zk کار میکنند.
حمل و نقل که اکنون به نقطه ای رسیده است که اسکلت برای بیت کوین چیده شده است. با این حال، اجرای کامل ممکن است مدتی طول بکشد.
منبع: https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin