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 در هر پست وبلاگی ارجاع داده شود، چنین مطالبی باید با دقت به هرگونه سلب مسئولیت ارائه شده در آن مطالعه شود.
- محتوای مبتنی بر SEO و توزیع روابط عمومی. امروز تقویت شوید.
- PlatoData.Network Vertical Generative Ai. به خودت قدرت بده دسترسی به اینجا.
- PlatoAiStream. هوش وب 3 دانش تقویت شده دسترسی به اینجا.
- PlatoESG. خودرو / خودروهای الکتریکی، کربن ، CleanTech، انرژی، محیط، خورشیدی، مدیریت پسماند دسترسی به اینجا.
- BlockOffsets. نوسازی مالکیت افست زیست محیطی. دسترسی به اینجا.
- منبع: https://blockchain.capital/democratizing-zero-knowledge-computing-the-power-of-risc-zeros-bonsai-network/
- : دارد
- :است
- :نه
- :جایی که
- 13
- 20
- سال 20
- a
- توانایی
- درباره ما
- بالاتر
- پذیرفته
- دسترسی
- دقت
- موفقیت
- به دست آورد
- واقعی
- کفایت
- اتخاذ
- اتخاذ
- پیشرفت
- پیشرفت
- نصیحت
- وابستگان
- سن
- AI
- اهداف
- معرفی
- اجازه دادن
- اجازه می دهد تا
- در امتداد
- همچنین
- مقدار
- an
- و
- هر
- برنامه های کاربردی
- معماری
- معماری
- هستند
- مناطق
- AS
- فرض می کند
- At
- حمله
- توجه
- نویسنده
- در دسترس
- زمینه
- برج میزان
- مستقر
- BE
- شود
- بوده
- قبل از
- از طرف
- پشت سر
- بودن
- باورهای
- سود
- میان
- مخلوط
- بلاکچین
- Capital Blockchain
- بلاگ
- پست های وبلاگ
- بی حد و حصر
- پیشرفت ها
- بریج
- به ارمغان می آورد
- پهن
- اشکالات
- بنا
- ساخته
- اما
- خرید
- by
- CAN
- توانا
- سرمایه
- دقیق
- موارد
- زنجیر
- زنجیر
- چالش ها
- تغییر دادن
- ابر
- بستر ابری
- رمز
- ترکیب
- مرتکب شده
- شرکت
- شرکت
- سازگار
- پیچیده
- انطباق
- بغرنج
- محاسبه
- قدرت محاسباتی
- محاسبات
- کامپیوتر
- محاسبه
- نگرانی ها
- شامل
- موجود
- ادامه دادن
- هزینه
- هزینه
- میتوانست
- ایجاد
- ایجاد
- عضو سازمانهای سری ومخفی
- رمزنگاری
- جاری
- امنیت سایبری
- داده ها
- حریم خصوصی داده ها
- تاریخ
- تصمیم
- رو به کاهش است
- ارائه
- دموکراتیک کردن
- دموکراتیک کردن
- عمق
- طرح
- توسعه دهندگان
- دیجیتال
- عصر دیجیتال
- دنیای دیجیتال
- مستقیما
- افشا کردن
- توزیع شده
- مختلف
- do
- اسناد و مدارک
- حوزه
- دو برابر
- دانلود
- به شدت
- راندن
- قطره
- هر
- خروج
- قدرت دادن
- قادر ساختن
- فعال
- را قادر می سازد
- افزایش
- اطمینان حاصل شود
- علاقهمند
- به طور کامل
- عصر
- به خصوص
- مبتنی بر اتریوم
- حتی
- حوادث
- هر
- مثال
- جز
- هیجان انگیز
- اعدام
- وجود
- انتظارات
- گران
- تجربه
- تخصص
- بهره برداری
- صریح
- بیان
- گسترش می یابد
- پارچه
- عوامل
- عدالت
- آشنا
- بسیار
- گسترده
- پیروی
- برای
- آینده نگر
- آزادی
- از جانب
- کامل
- آینده
- تغییر دهنده ی بازی
- نسل
- داده
- خوب
- گوگل
- Google Cloud
- Google Cloud Platform
- GPU
- پیشگامانه
- تضمین می کند
- هکرها
- نصف
- رخ دادن
- سخت افزار
- دهنه
- آیا
- داشتن
- he
- گله داران
- در سطح بالا
- خیلی
- خود را
- تاریخ
- hpc
- HTTPS
- انسان
- قابل خواندن انسان است
- if
- تصور
- عظیم
- تأثیر
- پیامدهای
- ضمنی
- غیر ممکن
- موثر
- in
- شامل
- شامل
- افزایش
- بطور باور نکردنی
- هجوم
- اطلاعات
- ذاتی
- ابداع
- دستورالعمل
- اینتل
- به
- سرمایه گذاری
- سرمایه گذاری
- استراتژی سرمایه گذاری
- سرمایه گذار
- هست یک
- IT
- ITS
- خود
- JPG
- کلید
- دانش
- شناخته شده
- چشم انداز
- زبان
- زبان ها
- بزرگ
- قانون
- رهبری
- قانونی
- سطح
- قدرت نفوذ
- اهرم
- بهره برداری
- بدهی
- محدود شده
- لینک
- طولانی
- دیگر
- نگاه کنيد
- کاهش
- دستگاه
- ساخته
- اکثریت
- ساخت
- بسیاری
- توده
- پذیرش دسته جمعی
- توده
- از نظر مادی
- مصالح
- ریاضی
- ریاضی
- ریاضیات
- حداکثر عرض
- ممکن است..
- به معنی
- معیارهای
- عضو
- ذکر شده
- مدرن
- ماه
- بیش
- اکثر
- msm
- بسیار
- چندگانه
- نزدیک
- لزوما
- نیاز
- ضروری
- نیازهای
- نه
- شبکه
- جدید
- اخبار
- نه
- هیچ چی
- رمان
- NTT
- متعدد
- مانع
- موانع
- of
- ارائه
- ارائه
- on
- روی زنجیره
- ONE
- فقط
- بهینه سازی
- or
- اصلی
- دیگر
- در غیر این صورت
- ما
- خارج از
- روی
- سرعت
- گذشته
- انجام
- شخص
- شخصی
- سکو
- افلاطون
- هوش داده افلاطون
- PlatoData
- آمادگی
- پوزیدون
- فرصت
- ممکن
- پست
- پست ها
- پتانسیل
- بالقوه
- قدرت
- عملی
- مرجح
- ارایهها در همایشهای علمی
- فشار
- جلوگیری از
- قبلا
- قیمت گذاری
- بدوی
- خلوت
- خصوصی
- روند
- ساخته
- برنامه
- برنامه نويسي
- زبانهای برنامه نویسی
- برنامه ها
- پیش بینی
- وعده
- اثبات
- اثبات
- املاک
- ویژگی
- پروتکل
- ثابت كردن
- ارائه
- فراهم می کند
- منتشر شده
- محدوده
- سریعا
- نرخ
- رسیدن به
- خواندن
- دلیل
- اخیر
- توصیه
- بازتاب
- تنظیم کننده
- ماندن
- نمایندگی
- ضروری
- منابع فشرده
- مسئوليت
- نتیجه
- نتایج
- انقلابی
- تقریبا
- در حال اجرا
- s
- امن
- اوراق بهادار
- تیم امنیت لاتاری
- فروش
- دنباله
- ترتیب دهی
- تنظیم
- چند
- به اشتراک گذاشته شده
- باید
- قابل توجه
- مشابه
- پس از
- مهارت
- ماهر
- مهارت ها
- کوچک
- کوچکتر
- نرم افزار
- حل
- برخی از
- چیزی
- فضا
- سخن گفتن
- اظهارات
- هنوز
- استراتژی
- تقویت
- قوی
- چنین
- عرضه
- زنجیره تامین
- زنجیره تامین
- پشتیبانی
- سیستم
- سیستم های
- طول می کشد
- استعداد
- مالیات
- تیم
- فنی
- فنی
- نسبت به
- که
- La
- اطلاعات
- شان
- آنجا.
- در آن
- اینها
- آنها
- این
- کسانی که
- سه
- از طریق
- بدین ترتیب
- بار
- به
- با هم
- هم
- مسیر
- شفاف
- روند
- سه تایی
- اعتماد
- اعتماد به نفس
- دو
- در نهایت
- اساسی
- منحصر به فرد
- منحصر به فرد
- بروزرسانی
- استفاده کنید
- کاربران
- مختلف
- قابل تصدیق و تایید
- تایید
- بررسی
- تایید
- همه کاره
- بسیار
- نمایش ها
- مجازی
- ماشین مجازی
- عملا
- آسیب پذیری ها
- بود
- مسیر..
- we
- ثروت
- بود
- چی
- که
- در حین
- WHO
- بطور گسترده
- اراده
- با
- در داخل
- بدون
- مهاجرت کاری
- مشغول به کار
- جهان
- در سرتاسر جهان
- نوشتن
- سال
- هنوز
- زفیرنت
- صفر
- دانش صفر
- ZK