Democratizing Zero-Knowledge Computing: The Power Of RISC Zero's Bonsai Network - Blockchain Capital

بازنشر افلاطون

دنبال: 0

By بارت استفنز, رایان اسپرولو یوان هان لی

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

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

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

برای مثال، اجرای محاسبات در ZK بیش از حد طول می کشد و بسیار گران است. قبل از اینکه محاسبات پیچیده در ZK عملی شود، زمان و هزینه های اثبات باید به شدت کاهش یابد. خبر خوب این است که این موارد به شدت در حال کاهش هستند: مسیر زمان اثبات ZK و هزینه ها از یک روند آشنا در تاریخ فناوری پیروی می کند - خواه قانون مور که در آن هزینه محاسبات هر دو سال به نصف کاهش می یابد، قانون فلتلی که در آن هزینه است. تعیین توالی ژنوم انسان با سرعت قابل توجهی کاهش یافت، یا قانون کرایدر که در آن چگالی دیسک های مغناطیسی تقریباً هر 13 ماه دو برابر می شود. پیشرفت‌های اخیر معماری در سیستم‌های اثبات‌کننده (Plonky2، Hyperplonk، STARKs) همراه با پیشرفت‌ها در رمزنگاری زیربنایی (Poseidon) میزان سربار را برای ایجاد یک اثبات ZK برای هر محاسباتی کاهش داده‌اند. در حالی که پیشرفت‌ها در این زمینه‌ها با سرعتی مشابه (به ویژه با هجوم اخیر استعدادها به ZK) ادامه خواهد یافت، هزینه‌های ثابت نیز از پیشرفت‌های شتاب‌دهی سخت‌افزاری (MSM، NTT) سود می‌برند، چیزی که تاکنون مورد بررسی قرار نگرفته است. .

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

در حالت ایده‌آل، توسعه‌دهندگان این آزادی را دارند که برنامه‌ها را به زبان دلخواه خود بنویسند، در حالی که هنوز توانایی اثبات محاسبات با دانش صفر را دارند، بدون نیاز به دست‌نویسی و طراحی مدارها در زبان‌های برنامه‌نویسی سطح پایین و مخصوص ZK. اینجاست که پلتفرم Bonsai RISC Zero تبدیل به یک تغییر دهنده بازی برای توسعه دهندگان در سراسر جهان می شود و دلیل سرمایه گذاری ما در RISC Zero است.

RISC Zero با ایجاد یک ماشین مجازی با دانش صفر (zkVM) که معماری مجموعه دستورات RISC-V (ISA) را تقلید می کند، سیستمی ساخته است که قادر به اثبات اجرای کدهای سطح پایین است. از آنجایی که یک ISA پل بین کدهای قابل خواندن توسط انسان و دستورالعمل های قابل تفسیر توسط ماشین است، این دستاورد نشان می دهد که شبکه Bonsai می تواند هر برنامه سطح بالایی را که می تواند در این معماری کامپایل شود، اثبات کند. با توجه به سازگاری اکثر زبان های برنامه نویسی مدرن با RISC-V، RISC Zero's Bonsai اجرای تقریباً هر برنامه کامپیوتری دلخواه را با دانش صفر امکان پذیر می کند.

در آینده ای که محاسبات دانش صفر (ZK) رایج می شود، برنامه های کاربردی متعددی که قبلا غیرممکن بودند فعال خواهند شد. اینها نه تنها شامل برنامه‌های مبتنی بر اتریوم می‌شوند که از شبکه بونسای RISC Zero به عنوان یک پردازشگر کمک می‌کنند - قبل از تأیید نتایج روی زنجیره، کارهایی که منابع فشرده را انجام می‌دهند - بلکه به برنامه‌های خارج از رمزارز نیز گسترش می‌یابد. به عنوان مثال، Bonsai می تواند هکرهای کلاه سفید را قادر به اثبات وجود آسیب پذیری ها و باگ های امنیتی بدون افشای مستقیم سوء استفاده کند. همچنین می‌تواند از حملات زنجیره تامین آتی به نرم‌افزار با اجازه دادن به کاربران برای دانلود و تأیید اسناد ZK برای اطمینان از اجرای کدهایی که از قبل در Bonsai حسابرسی شده است، جلوگیری کند. هیجان انگیزتر از همه، پذیرش گسترده بونسای می تواند به موارد استفاده کاملاً جدیدی منجر شود که هنوز تصور نمی شود.

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

هر یک از اعضای این سه نفر تجربه زیادی را برای RISC Zero به ارمغان می‌آورند—برایان مهارت‌های خود را در Google Cloud Platform، جایی که روی سیستم‌های قیمت‌گذاری و اندازه‌گیری کار می‌کرد، تقویت کرد. جرمی، یک علاقه‌مند به ریاضیات، روی شتاب GPU برای توالی‌یابی ژن کار می‌کرد و سابقه‌ای در رمزنگاری، HPC و امنیت دارد. و فرانک، که پیشینه قوی در کامپایلرها دارد و پایگاه های کد متعددی را طراحی کرده است. با سابقه مشترک و مجموعه مهارت های متنوع، RISC صفر تیم به طور منحصر به فردی آماده ارائه محاسبات دانش صفر به توده ها و به طور بالقوه، تغییر شکل چشم انداز دیجیتال در این فرآیند است.

همانطور که ما به آینده ای نگاه می کنیم که در آن محاسبات دانش صفر گسترده است، امکانات برای نوآوری بی حد و حصر است. شبکه بونسای RISC Zero با توانایی پشتیبانی از طیف گسترده ای از زبان های برنامه نویسی، محاسبات ZK را دموکراتیزه کرده و توسعه دهندگان را برای ایجاد برنامه های کاربردی امن، خصوصی و غیرقابل اعتماد در حوزه های مختلف توانمند می کند. از تقویت اقدامات امنیت سایبری گرفته تا افزایش اعتماد به زنجیره های تامین نرم افزار و افزایش شدید قدرت محاسباتی در دسترس برای برنامه های کاربردی زنجیره ای، تاثیر بالقوه محاسبات دانش صفر بسیار زیاد است. ترکیبی از زمان‌ها و هزینه‌های اثبات سریع ZK، تیم متعهد در RISC Zero، و ظهور Bonsai به عنوان یک پلت‌فرم محاسباتی همه‌کاره، خبر از عصر جدیدی در محاسبات می‌دهد - دورانی که در آن حریم خصوصی، امنیت و اعتماد در ساختار اصلی ایجاد می‌شود. از دنیای دیجیتال ما

افشا: Blockchain Capital یک سرمایه گذار در چندین پروتکل ذکر شده در بالا است.

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