CESC '22: یادداشت های میدانی از کارگاه دانش صفر

یادداشت سردبیر: یادداشت های میدانی مجموعه ای است که در آن ما در زمینه صنعت، تحقیقات و رویدادهای مهم گزارش می دهیم. در این نسخه، والریا نیکولانکو، شریک تحقیقات ارزهای دیجیتال a16z نکات برجسته سریع خود را از کارگاه اثبات دانش صفر وابسته به کنفرانس امنیت Crypto Economics (CESC)که در 30 اکتبر در دانشگاه کالیفرنیا در برکلی برگزار شد. را برنامه با هدف گرد هم آوردن محققان و متخصصان برای به نمایش گذاشتن و بحث در مورد آخرین تحولات در بلاک چین و وب 3. می توانید ضبط های ارائه ها را تماشا کنید اینجا کلیک نمایید.

• آهنگ سحر (UC Berkeley) اعلام کرد یک MOOC جدید برای بهار 2023 در مورد اثبات های دانش صفر، که برنامه ریزی شده است از 17 ژانویه 2023 شروع می شود و MOOC هایی را که قبلاً در پاییز 2022 در حال اجرا هستند یادآوری کرد:

• یوپنگ ژانگ (دانشگاه A&M تگزاس) الف آموزش توسعه اخیر سیستم های ZKP، یک مرور کلی استثنایی از رویکردهای مختلف برای ساختن سیستم‌های اثبات zk، نقشه‌برداری آنها در 4 محور: موجز بودن، کارایی اثبات‌کننده و تأییدکننده، و راه‌اندازی شفاف در مقابل قابل اعتماد.

• دن بونه (دانشگاه استنفورد) ارائه شده یک مرور کلی انتزاع IOP ها به طور کلی و پلانک چند جمله ای-IOP به طور خاص.

دن همچنین سیستم جدیدی به نام را توضیح داد HyperPlonk، که می تواند FFT های گران قیمت را از طرف پروور حذف کند و دروازه های با درجه بالا را بسیار کارآمدتر کنترل کند و هم زمان پروور و هم اندازه اثبات را کاهش دهد. پارامتر جالبی که باید به خاطر بسپارید این است که FFT ها در زمان پروور زمانی که تعداد گیت ها بالای 2 است، تسلط دارند.²⁰.

• تیانچنگ زی (UC Berkeley) ارائه شده در zkBridge (مقاله را بخوانید اینجا کلیک نمایید)، با تاکید بر اهمیت طراحی بهتر برای پل ها در پرتو هک های متعدد اخیر (بهره برداری از پل رونین, هک کرمچاله, زهکش پل عشایری، و غیره). zkBridge اعتماد را به حداقل می رساند و عملکرد را با سیستم اثبات دانش صفر deVirgo بهبود می بخشد.
• آهنگ سحر (UC Berkeley) zkCollective را اعلام کرد - پایه ای برای قابلیت همکاری متقابل زنجیره ای ایمن. فرم شرکت در تلاش را می توان پر کرد اینجا کلیک نمایید.
• لئو فن (سیزیک) نتایج خود را برای تسریع ضرب چند مقیاسی (MSM) در FPGA برای zk-prover برجسته کردند، جایی که MSM اغلب بیش از 50٪ از زمان اثبات کننده را تشکیل می دهد. تخمین زده می شود که آنها سریعتر از تلاش های قابل مقایسه باشند (PipeMSM و CycloneMSM). هدف نهایی آنها ساخت ASIC است.
• مارک اولشفسکی (Celona) یک نسخه ی نمایشی عالی برای اجرای کلاینت سبک Celo، Plumo ارائه کرد، که 2 سال در حال توسعه بوده و امسال راه اندازی شده است. مشتری به عنوان یک مدار عظیم با 2 توسعه یافته است²⁷ دروازه ها، و توسط یک خوش بینانه طراحی شده است قدرت های تاو مراسمی که می تواند برای پروژه های دیگر مفید باشد. اعضای انجمن روزانه در حال تولید SNARK-proof هستند (پس از هر تغییر دوره)، یک اثبات در یک دستگاه 1 هسته ای 256 ساعت طول می کشد. کتابخانه WASM آنها امکان تأیید مدارک را از برنامه های وب فراهم می کند.
• هوارد وو (الئو) ایده های پشت طراحی Aleo را ارائه کرد که یک بلاک چین برای تراکنش های خصوصی می سازد که امکان همزمانی و به روز رسانی های حالت کارآمد را فراهم می کند.
• جرمی بروسل (ریسک 0) منطق طراحی پشت ساخت یک zkVM برای مجموعه دستورالعمل RISC-V که با zkSTARK ها پیاده سازی شده است را توضیح داد. RISC-V دارای مجموعه بسیار کوچکی از دستورالعمل ها (<40) است که به خوبی توسط کامپایلرهای مختلف پشتیبانی می شود و کاملاً باز است. و مهمتر از همه، برای پیاده سازی سخت افزاری کارآمد طراحی شده است، که دلالت بر طراحی مدار کارآمد برای اثبات zk دارد.
• اوما روی (آزمایشگاه های مختصر) یک مرور کلی از روشی برای تأیید مختصر اجماع اتریوم با zkSNARK ها با زمان اثبات تنها 1 دقیقه ارائه کرد.

والریا نیکولانکو یک شریک تحقیقاتی در a16z crypto است. تحقیقات او بر روی رمزنگاری و امنیت بلاک چین متمرکز است. او همچنین روی موضوعاتی مانند حملات دوربرد در پروتکل‌های توافقی PoS، طرح‌های امضا، امنیت پس کوانتومی و محاسبات چند جانبه کار کرده است. او دارای مدرک دکترای رمزنگاری از دانشگاه استنفورد است و به عنوان بخشی از تیم تحقیقاتی اصلی روی بلاک چین Diem کار کرده است.

-

نظرات بیان شده در اینجا نظرات پرسنل AH Capital Management, LLC ("a16z") نقل شده است و نظرات a16z یا شرکت های وابسته به آن نیست. برخی از اطلاعات موجود در اینجا از منابع شخص ثالث، از جمله از شرکت‌های سبد سرمایه‌ای که توسط a16z مدیریت می‌شوند، به‌دست آمده است. در حالی که a16z از منابعی گرفته شده است که معتقدند قابل اعتماد هستند، a16z به طور مستقل چنین اطلاعاتی را تأیید نکرده است و هیچ اظهارنظری در مورد صحت پایدار اطلاعات یا مناسب بودن آن برای یک موقعیت خاص ارائه نمی کند. علاوه بر این، این محتوا ممکن است شامل تبلیغات شخص ثالث باشد. aXNUMXz چنین تبلیغاتی را بررسی نکرده و محتوای تبلیغاتی موجود در آن را تایید نمی کند.

این محتوا فقط برای مقاصد اطلاعاتی ارائه شده است و نباید به عنوان مشاوره حقوقی، تجاری، سرمایه گذاری یا مالیاتی به آن اعتماد کرد. شما باید در مورد این موارد با مشاوران خود مشورت کنید. ارجاع به هر گونه اوراق بهادار یا دارایی دیجیتال فقط برای مقاصد توضیحی است و به منزله توصیه یا پیشنهاد سرمایه گذاری برای ارائه خدمات مشاوره سرمایه گذاری نیست. علاوه بر این، این محتوا برای هیچ سرمایه‌گذار یا سرمایه‌گذار بالقوه‌ای هدایت نشده و برای استفاده از آن در نظر گرفته نشده است، و تحت هیچ شرایطی نمی‌توان هنگام تصمیم‌گیری برای سرمایه‌گذاری در هر صندوقی که توسط a16z مدیریت می‌شود، به آن اعتماد کرد. (پیشنهاد سرمایه گذاری در یک صندوق a16z فقط توسط یادداشت قرار دادن خصوصی، قرارداد اشتراک و سایر اسناد مربوط به هر صندوق انجام می شود و باید به طور کامل خوانده شود.) هر گونه سرمایه گذاری یا شرکت پرتفوی ذکر شده، ارجاع شده، یا شرح داده شده نشان دهنده همه سرمایه گذاری ها در وسایل نقلیه تحت مدیریت a16z نیست، و نمی توان اطمینان داشت که سرمایه گذاری ها سودآور هستند یا سایر سرمایه گذاری های انجام شده در آینده ویژگی ها یا نتایج مشابهی خواهند داشت. فهرستی از سرمایه‌گذاری‌های انجام‌شده توسط صندوق‌های تحت مدیریت آندریسن هوروویتز (به استثنای سرمایه‌گذاری‌هایی که ناشر مجوز افشای عمومی a16z و همچنین سرمایه‌گذاری‌های اعلام‌نشده در دارایی‌های دیجیتالی عمومی را ارائه نکرده است) در https://a16z.com/investments موجود است. /.

نمودارها و نمودارهای ارائه شده در داخل صرفاً برای مقاصد اطلاعاتی هستند و هنگام تصمیم گیری برای سرمایه گذاری نباید به آنها اعتماد کرد. عملکرد گذشته نشان دهنده نتایج آینده نیست. محتوا فقط از تاریخ مشخص شده صحبت می کند. هر گونه پیش بینی، تخمین، پیش بینی، هدف، چشم انداز، و/یا نظرات بیان شده در این مطالب بدون اطلاع قبلی ممکن است تغییر کند و ممکن است متفاوت یا مغایر با نظرات بیان شده توسط دیگران باشد. لطفاً برای اطلاعات مهم بیشتر به https://a16z.com/disclosures مراجعه کنید.