به انتشار راهنمای پروژه ویژه شانگهای در سال 2024 برای تحقیقات کلیدی فناوری بلاک چین توجه کنید
درباره انتشار 2024 شانگهای
“برنامه اقدام نوآوری فناوری”
تحقیق در مورد فناوری های کلیدی بلاک چین
اطلاعیه دستورالعمل های پروژه ویژه
< p id="2V9ITGFI">رهنمودهای علم و فناوری شانگهای [2024] شماره 10
واحدهای مربوطه:
برای تسریع در ساخت جهانی بر اساس «برنامه اقدام ویژه تحقیقات فناوری بلاک چین (2023-2025)»، مرکز نوآوری علم و فناوری، عملکرد شهر را به عنوان منبع نوآوری علمی و فناوری در زمینه بلاک چین تقویت خواهد کرد. کمیسیون این راهنما را صادر کرده است.
1 محدوده مجموعه
موضوع 1: معماری سیستم جدید
جهت 1: تحقیق در مورد ماشین مجازی و فناوری موتور اجرا
اهداف تحقیق: تمرکز بر روی پیشرفته فناوری ماشینهای مجازی با دانش صفر مسیریابی، توسعه ماشینهای مجازی عمومی با دانش صفر، بهبود عملکرد پردازش دادههای ماشین مجازی، و پشتیبانی از ساختوساز محیطی برنامهها.
محتوای پژوهشی:یک ماشین مجازی با دانش عمومی ایجاد کنید، حداقل از ۲ زبان برنامه نویسی از جمله RUST و GO پشتیبانی کنید و از اسکالر منحنی BN254 پشتیبانی کنید. در سناریوهای آزمایشی معمولی (مانند هش کردن، تأیید امضا)، کارایی بهتری نسبت به سیستمهای منبع باز (مانند سیستمهای منبع باز) میتوان با حداقل دو دامنه محدود، از جمله دامنه، برای پیادهسازی یک پروور در حال اجرا بر روی CPU جمعآوری کرد. ریسک 0). یک ذخیره ساز با ارزش کلیدی بلاک چین (Key-Value) طراحی کنید و مدار ضد دانش آن را در چارچوب توسعه Halo2 پیاده سازی کنید. نسبت به سیستم های منبع باز معمولی (مانند PSE-zkEVM)، مدار آن به شکل یک جدول جستجو به مدار EVM دانش صفر متصل است. ماشین مجازی ضد دانش عمومی فوق الذکر و ذخیره ساز جدید ذخیره سازی بلاک چین KV باید کد منبع، موارد استفاده و اسناد را باز کند.
جهت 2: تحقیق در مورد فناوری حفاظت از حریم خصوصی مدل های بزرگ
اهداف تحقیق: > در پاسخ به نیاز به حفاظت از حریم خصوصی دارایی ها مانند پارامترهای مدل بزرگ و داده های آموزشی، یک چارچوب الگوریتمی برای شناسایی پارامترهای کلیدی، غربالگری و حفاظت از حریم خصوصی مدل های بزرگ ساخته شده است.
محتوای تحقیق: چارچوب الگوریتم حفاظت از حریم خصوصی مدل بزرگ و طرح پیاده سازی را برای مدل هایی که بیش از 13 میلیارد پارامتر ندارند، می توان از ابزارهای الگوریتم در 2 استفاده کرد در عرض چند ساعت، پارامترهای دارای بیشترین ارزش حفاظتی در مدل غربال میشوند و تعداد توصیهشده پارامترهای مدل برای محافظت (که از 10 درصد کل پارامترهای مدل تجاوز نمیکند) ارائه میشود تا محافظت مؤثر در برابر حملات SFT به دهها میلیون نفر برسد. مجموعه های فراداده کلمه برای بازیابی داده های آموزشی و تولید سناریوهای برنامه به زبان SQL مانند برای تأیید.
موضوع 2: برنامه ریزی و کنترل منابع
جهت 1: حفاظت از حریم خصوصی در زنجیره متقابل سناریوها و تحقیقات فناوری امنیتی
اهداف تحقیق: در مواجهه با نیازهای زنجیره ای متقابل چند سناریویی، به بهبود حفاظت از حریم خصوصی و ضد مقاومت ادامه دهید. الگوریتم های زنجیره ای متقابل و راه حل ها توانایی حمله.
محتوای تحقیق: تحقیق در مورد حریم خصوصی پیام و هویت، حریم خصوصی روابط بین زنجیره ای، حریم خصوصی محاسبه تراکنش های زنجیره ای، جداسازی داده های بین زنجیره ای و سایر ویژگی ها که تراکنشهای زنجیرهای متقابل را برآورده میکند نوع جدیدی از راهحلهای زنجیرهای متقاطع، تحقیق در مورد راهحلهای زنجیرهای امن که میتواند در برابر حملات ربایی، حملات تاخیری تراکنشها، حملات DDoS و سایر راهحلهای امنیتی مقاومت کند باید الزامات دسترسی بالا، اتمی، سازگاری، جداسازی، دوام و سایر ویژگی ها را برآورده کند و در مقایسه با زمان تأیید تراکنش اصلی بلاک چین، افزایش بیش از 1 برابر نخواهد بود و توان عملیاتی بیش از 20٪ کاهش نخواهد یافت. الگوریتم ها و راه حل های زنجیره ای باید دارای کد منبع باز، موارد استفاده و مستندات باشند.
جهت 2: تحقیق در مورد فناوری اثبات نظری امنیت کلیدی زنجیره بلوکی
اهداف تحقیق: اثبات کنید که طراحی بلاکچین دارای ویژگیهای امنیتی حیاتی است و سازگاری بین طراحی امنیتی و پیادهسازی را تأیید کنید.
محتوای تحقیق: یک سیستم نمونه اولیه اثبات امنیت کلید بلاک چین برای پشتیبانی از امنیت الگوریتم اجماع، عدم دستکاری تراکنش ها و یکپارچگی داده ها ایجاد کنید. امنیت، حریم خصوصی تراکنش ها (هویت و ناشناس بودن اطلاعات)، و اثبات امنیت پروتکل های شبکه لایه 2، و طرح های تعمیر برای طرح ها یا پیاده سازی های ناامن را پیشنهاد کنید. سیستم باید به تشخیص کارآمد در سطح دوم دست یابد و در سناریوهای معمولی مانند تراکنشهای با فرکانس بالا، تراکنشهای زنجیرهای متقابل و تراکنشهای دستهای، راستیآزمایی را انجام دهد. سیستم نمونه اولیه باید دارای کد منبع باز، موارد استفاده و مستندات باشد.
موضوع 3: افزایش اعتماد
جهت 1: کارآمد و ضد مخرب امن چند تحقیقات پروتکل محاسباتی حزبی
اهداف تحقیق: با تمرکز بر پروتکلهای محاسباتی چند جانبه ایمن ضد مخرب، مشکلاتی مانند اجرای کم محاسباتی وجود دارد. کارایی و حجم زیاد ارتباط این تحقیق برای یک پروتکل کارآمد برای محاسبات حریم خصوصی، شکستن گلوگاه عملکرد پروتکلهای محاسبات چند جانبه موجود مناسب است.
محتوای تحقیق: بر اساس پروتکل محاسباتی چند جانبه ایمن SPDZ، رمزنگاری های ابتدایی جدیدی مانند انتقال فراموشی طراحی کنید تا به کاهش 50 درصدی ارتباطات پروتکلی دست یابید. حجم و سرعت محاسبات بالاتر بیش از 50 درصد افزایش یافته است. طراحی یک روش شتاب برای عملیات ویژه مانند ضرب ماتریس و حاصل ضرب تانسور، حجم ارتباط پروتکل 90 درصد کاهش می یابد و سرعت محاسبه بیش از 5 برابر افزایش می یابد. پروتکل های کارآمد این توانایی را دارند که الگوریتم های یادگیری ماشین را تطبیق دهند و تأیید نمونه اولیه را انجام دهند. پروتکل باید دارای کد منبع باز، موارد استفاده و مستندات باشد.
جهت 2: تحقیق در مورد فناوری بهبود عملکرد یادگیری فدرال
اهداف تحقیق: > یک الگوریتم یادگیری فدرال جدید برای رسیدگی به مشکلات فعلی راندمان اجرای کم و حجم ارتباط زیاد در محاسبات و وظایف استدلالی یادگیری فدرال عمودی طراحی شده است.
محتوای تحقیق: بر اساس چارچوب های یادگیری فدرال منبع باز مانند FATE، تحقیق در مورد فناوری بهینه سازی کارایی ارتباط برای مدل سازی مشترک در سناریوهای یادگیری فدرال، پشتیبانی از رگرسیون لجستیک (LR)، درخت تقویت کننده گرادیان (XGB) و بیش از دو مدل بر روی مجموعه داده های معمولی مانند MNIST و CIFAR-10 زیر پهنای باند 10 مگابایتی تأیید شدند، حجم ارتباط آموزش مدل و فرآیند استنتاج حداقل یک سفارش کاهش یافت. از بزرگی در حالی که اطمینان حاصل می شود که حجم ارتباط به طور قابل توجهی کاهش می یابد، دقت مدل بیش از 5٪ کاهش نمی یابد. الگوریتم ها باید دارای کد منبع باز، موارد استفاده و مستندات باشند.
جهت 3: تحقیق در مورد الگوریتم اثبات دانش صفر بر اساس شتاب GPU
اهداف تحقیق :< /strong>با هدف مشکل گلوگاه عملکرد CPUهای سنتی در هنگام پردازش الگوریتم Halo2، الگوریتم Halo2 بر اساس شتاب GPU مورد مطالعه قرار گرفته است و از فناوری محاسبات ناهمگن CPU-GPU برای دستیابی به تولید کارآمد و تأیید مدارک دانش صفر استفاده می شود. روی منحنی BN254.
محتوای تحقیق: توسعه عملگرهای تبدیل نظریه اعداد سریع (NTT) و ضرب چند مقیاسی (MSM) بر اساس شتاب GPU، پشتیبانی از محاسبات در دامنه مونتگومری در یک GPU واحد، در مقایسه با یک CPU 32 هسته ای، راندمان محاسباتی اپراتور MSM بیش از 10 برابر و اپراتور NTT بیش از 5 برابر افزایش می یابد. یک نمونه اولیه از یک سیستم محاسباتی شتابدار ناهمگن CPU و GPU مبتنی بر انتقال PCI-e، پشتیبانی از تولید اثبات و تأیید الگوریتم Halo2 در مقایسه با سیستم CPU، بیش از 4 برابر افزایش یافته است با 4 کارت، نمونه اولیه سیستم دارای وظایف همزمان است. اپراتور و نمونه اولیه سیستم از محاسبات 230 امتیازی در 256 بیت پشتیبانی می کنند.
جهت 4: تحقیق در مورد فناوری شتاب سخت افزاری FPGA با اثبات دانش صفر
اهداف تحقیق :< /strong>با هدف مشکل تنگنای سرعت اثبات دانش صفر، فناوری شتاب سخت افزاری FPGA برای تحقق بخشیدن به شتاب سخت افزاری اپراتورهای NTT و MSM مورد مطالعه قرار گرفته است.
محتوای تحقیق: راهحلهای شتاب سختافزاری FPGA را برای اپراتورهای کلیدی در اثباتهای دانش صفر مانند NTT و MSM تحقیق کنید. برای محاسبه منحنی بیضوی BN254، عرض بیت اسکالر 256 بیت و 230 امتیاز است، Xilinx Alveo U280 یا معادل آن از کارت FPGA هنگام محاسبه روی یک کارت استفاده می شود، زمان محاسبه MSM از 40 ثانیه تجاوز نمی کند. بیش از 15 ثانیه هنگامی که یک خوشه بیش از 10 کارت شتاب داده نمی شود، زمان محاسبه MSM از 6 ثانیه و زمان محاسبه NTT از 1.8 ثانیه تجاوز نمی کند.
موضوع 4: پشتیبانی از برنامه های سناریوی کلیدی
جهت 1: تحقیق در مورد مکانیسم اجماع زنجیره ای اتحاد < /strong>
اهداف تحقیق: برای رفع نیازهای اجماع در مقیاس بزرگ و اجماع دسته جمعی داوری انعطاف پذیر در زنجیره بلوکی تجارت حمل و نقل، مدل های جدید مناسب را مطالعه کنید. برای زنجیرههای اتحاد مکانیسم اجماع تحملپذیر خطا بیزانس به تحقق استقرار در مقیاس بزرگ و اجماع سلسله مراتبی بلاک چین تجارت حمل و نقل کمک میکند و از نیازهای اجماع در حوزههای تجاری کلیدی پشتیبانی میکند.
محتوای تحقیق:تحقیق از مشارکت هزاران گره پشتیبانی میکند و از مجموعههای داوری انعطافپذیر (مانند آستانه عضو کامل ۲/۳، آستانه کمیته ۲/۳ پشتیبانی میکند. مکانیسم اجماع جدید کمیته کامل)، توان عملیاتی کمتر از سطح فعلی گره های 100 سطحی نیست و به یک زنجیره اتحاد منبع باز معمولی متصل است. الگوریتم اجماع فوق باید دارای کد منبع باز، موارد استفاده و مستندات باشد.
جهت 2: تحقیق در مورد فناوری زمانبندی تراکنش با عملکرد بالا
اهداف تحقیق:
قوی> برای نیازهای تجاری با فرکانس بالا در کاربردهای بلاک چین در مقیاس بزرگ مانند حمل و نقل و تجارت، ما بر استراتژیهای زمانبندی تراکنشهای درون بلوکی برای بهبود موازیسازی زمانبندی تراکنشها و عملکرد زمانبندی تمرکز میکنیم.
محتوای پژوهشی: تحقیق در مورد فنآوری بازگردانی دقیق اجرای بر اساس موتورهای اجرای کانتینر، زمانبندی پیشبینیکننده مناسب برای چندین زبان قرارداد (مانند GO) و غیره. فناوری زمانبندی تراکنشهای موازی با کارایی بالا، تحقیق و توسعه حداقل 3 الگوریتم زمانبندی تراکنش شامل موازیسازی خوشبینانه غیر قطعی، ترتیبدهی مجدد قطعی و نظم دقیق در داخل بلوک، و تحقق سوئیچینگ داغ تطبیقی در زنجیره الگوریتم زمانبندی تراکنش دسترسی یک زنجیره اتحاد منبع باز معمولی می تواند زمان زمان بندی تراکنش های درون بلوکی را بیش از 30 درصد کاهش دهد و توان عملیاتی زنجیره را تا بیش از 15 درصد افزایش دهد. الگوریتم های زمان بندی باید دارای کد منبع باز، موارد استفاده و مستندات باشند.
جهت 3: تحقیق در مورد فناوری نظارت بلاک چین
اهداف تحقیق: در نگاهی به امنیت برنامه و نیازهای انطباق بلاک چین در سناریوهای کلیدی مانند مدیریت شهری شانگهای، امور مالی، تجارت حمل و نقل و زنجیره تامین، بررسی و مطالعه چارچوب فنی مناسب برای نظارت بلاک چین برای پشتیبانی از امنیت زیرساخت بلاک چین مربوطه.
محتوای پژوهشی:یک چارچوب فناوری نظارت خودساخته مبتنی بر سیستم بلاک چین را پیشنهاد کرد، اجزای اساسی و ابزارهای توسعه نظارت بلاک چین را توسعه داد و منبع باز کرد. سیستم، جمعآوری دادههای نظارت نافذ بر روی گرههای بلاک چین، قراردادهای هوشمند، دادههای تراکنش، گزارشهای سیستم و غیره برای دستیابی به فیلتر کردن و مسدود کردن دادههای غیرعادی، ممیزی امنیتی و تشخیص آسیبپذیری قراردادهای هوشمند، و شناسایی هوشمند و تصمیمگیری روی زنجیره هشدار زودهنگام خطر، نظارت کامل بر عملکرد امنیت سیستم، ساخت و تأیید سیستمهای اولیه، و در ابتدا تشکیل استانداردهای نظارت کامل فرآیند برای سیستمها و دادههای بلاک چین.
2 الزامات برنامه
علاوه بر رعایت شرایط متناظر فوق، باید شرایط زیر را نیز رعایت کنید: p id=” 2V9ITGGT”>1 واحد گزارشگر پروژه باید یک شخص حقوقی یا سازمان غیرمجاز ثبت شده در این شهر باشد و توانایی مربوط به سازماندهی اجرای پروژه را داشته باشد.
2 برای پروژه های جدید پیشنهاد شده توسط متقاضیان بر اساس پروژه های قبلی تامین شده توسط صندوق های مالی شهرداری یا سایر موسسات (مانند وزارت علوم و فناوری، بنیاد ملی علوم طبیعی و غیره). دو جنبه زیر باید به وضوح بیان شود: شباهت ها، تفاوت ها، وراثت و رابطه توسعه بین آنها.
3 همه واحدهای متقاضی و شرکت کنندگان در پروژه باید از الزامات مدیریت یکپارچگی تحقیقاتی پیروی کنند صلاحیت درخواست متقاضی صحت و کامل بودن مطالب درخواست بررسی می شود و درخواست های پروژه با محتوای محرمانه ارسال نمی شود.
4 اگر یک پروژه کاربردی برای اجتناب از کارشناسان درخواست می کند، باید طرح امکان سنجی پروژه را ارسال کند و همزمان لیست کارشناسان و دلایل اجتناب را بارگذاری کند. طی نامه رسمی صادره از سوی واحد متقاضی.
5 همه متقاضیان و شرکت کنندگان در پروژه باید از اخلاق علم و فناوری پیروی کنند. فعالیتهای علمی و فناوری که باید انجام شوند باید مشمول ارزیابی ریسک اخلاقی علم و فناوری باشند، در صورتی که شامل فعالیتهای علم و فناوری در محدوده مندرج در ماده 2 «اقدامات بازنگری اخلاق علم و فناوری» وزارت علوم و فناوری باشد. “(Guoke Fa Jian [2023] No. 167)، ارزیابی ریسک اخلاق علم و فناوری باید در صورت لزوم انجام شود.
6 کسانی که 2 یا بیشتر پروژه تحقیقاتی در حال انجام طرح علم و فناوری کمیسیون علم و فناوری شهرداری را به عنوان رهبر پروژه انجام داده اند، مجاز به درخواست به عنوان رهبر پروژه نیستند.
7 تهیه بودجه پروژه باید درست و معقول باشد و با الزامات مربوط به مدیریت صندوق پروژه کمیسیون علم و فناوری شهرداری مطابقت داشته باشد.
8 دوره اجرای پروژه از 1 اکتبر 2024 تا 30 سپتامبر 2025 است. هر جهت تحقیقاتی برای حمایت از بیش از 2 پروژه برنامه ریزی شده است، و هر پروژه برنامه ریزی شده است تا بیش از 2 میلیون یوان در صندوق های بودجه ویژه سرمایه گذاری کند.
3 روش درخواست
1 درخواست پروژه باید به صورت آنلاین ارسال شود و نیازی به ارسال مطالب کاغذی نیست. متقاضیان می توانند از طریق پورتال “China Shanghai” (http://www.sh.gov.cn) وارد صفحه درخواست شوند – خدمات دولتی – روی “پلتفورم مدیریت اطلاعات سرمایه گذاری علوم مالی و فناوری شانگهای” یا مستقیماً از طریق نام دامنه https کلیک کنند. :/ /czkj.sheic.org.cn/صفحه برنامه را وارد کنید:
[پر کردن اولیه] برای ورود به سیستم از “One-One-One Service” استفاده کنید (اگر هنوز ثبت نام نکرده اید حساب، لطفا ابتدا برای ثبت نام صفحه حساب کاربری برای تکمیل ثبت نام، به “خدمات یک آنلاین” منتقل کنید، وارد صفحه راهنمای درخواست شوید، روی موضوع راهنمای مربوطه کلیک کنید تا برای پروژه درخواست دهید؛
[به پر کردن ادامه دهید] پس از ورود به سیستم با استفاده از “برنامه یک مرحله ای”، به تکمیل پروژه ادامه دهید.
2 زمان شروع ارسال آنلاین پروژه ساعت 9:00 در 2 سپتامبر 2024 و آخرین مهلت (شامل بررسی آنلاین و ارسال توسط متقاضی) ساعت 16:00 در سپتامبر است. 19، 2024. 30.
4 روش بررسی
روش بررسی جلسه یک دور را اتخاذ کنید.
5 اطلاعیه پروژه
کمیسیون علم و فناوری شهرداری لیست پروژه های پیشنهادی را به مردم اعلام می کند و اعتراض مردم را می پذیرد.
6 الزامات مدیریت پیاده سازی
1. کمیسیون علم و فناوری شهرداری یک تیم مدیریت پروژه شامل مؤسسات کلیدی را سازماندهی می کند تا برنامه های اجرایی و نقاط عطف را به همراه واحدهای متولی پروژه تدوین کنند. تیم مدیریت پروژه به طور مرتب پیشرفت پروژه را ارزیابی می کند و به کمیسیون علم و فناوری شهرداری برای تصمیماتی مانند «ادامه اجرا»، «تعلیق»، «تعدیل» و «خاتمه» گزارش می دهد.
2 این پروژه الزامات مدیریت تحقیق و توسعه یکپارچه، از جمله مدیریت پیشرفت، تحویل کد و پذیرش، و غیره را اجرا می کند. تحت سازماندهی تیم مدیریت پروژه، تحقیقات مشترک به صورت یکپارچه انجام می شود. فضا، و مبادلات فناوری پیشرفته به طور منظم برگزار می شود.
3 نتایج تحقیق و توسعه مرتبط با پروژه باید در جامعه منبع باز ChainWeaver (www.chainweaver.org.cn) مطابق با مشخصات یکپارچه، مانند کد منبع باز منتشر شود. ، موارد استفاده، اسناد و غیره
7 خط تلفن مشاوره
کمیسیون علم و فناوری شانگهای
23 اوت 2024 ژاپن.
بیانیه ویژه: این مقاله مجاز است توسط واحد مستقر در “شانگگوان نیوز” منتشر شود. فقط یک پلت فرم انتشار اطلاعات است، اگر فکر می کنید محتوای منتشر شده حقوق و منافع مرتبط شما را نقض می کند، لطفاً برای حذف با ما تماس بگیرید!