چیزهایی که باید در مورد AleoBFT بدانید - الگوریتم اجماع که Aleo را می سازد

در پایان سال 2022، یک بلاک چین عمومی حریم خصوصی معمولی با استفاده از فناوری Zero-Knowledge Proofs Aleo با جمع آوری 200 میلیون دلار - یکی از معاملات جمع آوری کمک های مالی - به موفقیت بزرگی دست یافت . برنامه ها و دستیابی به بیش از 1 میلیارد اثبات در ثانیه، 50000 برابر بیشتر از سال 2021. 

برای دید کلی بهتر از دستاوردهای Aleo در سال 2022، خوانندگان می توانند مقاله "نگاهی به سال 2022 Aleo" را در TraderH4.com نیز مشاهده کنند. در چارچوب این مقاله، TraderH4 عمیق‌تر به الگوریتم اجماع می‌رود که Aleo را از سایر پروژه‌های لایه 1 در همان بخش متفاوت می‌کند.

چیزهایی که باید در مورد AleoBFT بدانید - الگوریتم اجماع که Aleo را می سازد

بررسی اجمالی

Aleo موفق تر است زیرا شرکت های بیشتری از zkSNARK در برنامه های خود استفاده می کنند. از آنجایی که تصحیح سخت است، طراحی Aleo به برنامه‌ها اجازه می‌دهد تا تصحیح را به «سرویس‌های اثبات» شخص ثالثی که از سخت‌افزار و نرم‌افزار تخصصی برای انجام محاسبات استفاده می‌کنند، برون سپاری کنند. . 

یکی از بزرگ‌ترین عوامل محدودکننده برای آینده، حتی برای اثبات خدمات، این است که «ایجاد مدرکی با دانش صفر برای اجرای صحیح برنامه‌ها می‌تواند گران باشد.» بسیار بیشتر از اجرای مستقیم برنامه. این ثابت می کند که zkSNARK هنوز بهترین فناوری نیست.

برای اینکه اثبات های دانش صفر رایج شوند و Aleo موفق شود، سخت افزار، نرم افزار و دانش تصحیح zkSNARK باید منتشر شود. و آلئو هم مکانیزم اجماع خود را طراحی کرد و هم برای اثبات آن از مسابقه ZPrize حمایت مالی کرد. 

استخراج سنتی PoW، مانند بیت کوین، نسبتا ساده است و سخت افزار آن کالایی است. ماینرها از عملکردهای SHA-256 در ASIC استفاده می کنند و سعی می کنند خود را در کنار منابع انرژی ارزان قیمت قرار دهند تا سود را به حداکثر برسانند. راه های خلاقانه زیادی برای به دست آوردن مزیت وجود ندارد. 

در Aleo، تصحیح نیاز به درک عمیق‌تری از zkSNARK دارد، که فضای طراحی غنی‌تر با فرصت‌های بیشتری برای اثبات‌کنندگان برای به دست آوردن مزایای بزرگ است. 

تفاوت Aleo با بیت کوین در این است که راه حل های معتبر تری را در هر بلوک می پذیرد و بنابراین به جای پیروی از چارچوب "برنده یا بازنده"، پاداش ها را به اثبات کنندگان بیشتری تقسیم می کند. اگر وجود یک پروور همه را در هم بکوبد، مشارکت و تمرکززدایی را کاهش می‌دهد که هزینه‌ها را بالاتر نگه می‌دارد. 

بنابراین Aleo دو کار را برای تجاری سازی افزونه اثبات کار zkSNARK خود انجام داد: AleoBFT و ZPrize. در این بخش به AleoBFT می پردازیم. 

چیزهایی که باید در مورد AleoBFT بدانید - الگوریتم اجماع که Aleo را می سازد

هر آنچه باید در مورد AleoBFT بدانید – معماری هیبریدی جدید برای اجماع

AleoBFT Proof of Stake (PoS) و نوع خاصی از Proof of Work (PoW) به نام Proof of Succinct Work (که خود زیرمجموعه ای از Proof of Necessary Work است) را ترکیب می کند.  

AleoBFT برای انجام سه کار طراحی شده است: ایمن کردن پروتکل، اطمینان از وجود تأیید کننده های با تجربه کافی برای پاسخگویی به نیازهای حل مشکل zkSNARK برنامه، و تشویق افراد بیشتری برای مشارکت در اثبات کارآمدتر و ارزان تر شبکه. 

در طول Testnet 3، Aleo گفت که آنها مدل اجماع خود را به یک معماری ترکیبی برای اعتبار سنجی تبدیل خواهند کرد و آن AleoBFT است.

AleoBFT نهایی شدن لحظه ای بلوک های جدید از اعتبار سنجی ها را با قدرت محاسباتی اعتبار سنجی ها ترکیب می کند تا عرضه coinbase را به شبکه بیاورد. طراحی AleoBFT اعتباردهنده ها را تشویق می کند تا شبکه را با تولید بلوک ها حفظ کنند و اثبات کننده ها را تشویق می کند تا اثبات مفهوم را به اکوسیستم Aleo گسترش دهند. این الگوریتم اجماع AleoBFT بسیاری دارد

AleoBFT نهایی بودن آنی هر بلوک را تضمین می کند

تراکنش‌ها پس از ایجاد اعتبارسنجی و رسیدن به اجماع برای هر بلوک تأیید می‌شوند. این رویکرد مشکلات فورکینگ را برای اعتبار سنجی ها حل می کند و پایداری گره را بهبود می بخشد. علاوه بر این، این یک تجربه نرم افزاری برای توسعه دهندگان در Aleo ایجاد می کند. و برای کاربران، این با فعال کردن تأییدیه‌های سریع در کیف پول، مرورگرها، کاوشگرها و برنامه‌ها، UI/UX را بهبود می‌بخشد. در نهایت، این تضمین قابلیت همکاری با سایر اکوسیستم ها را بسیار ساده تر می کند.

AleoBFT تضمین می کند که شبکه کاملاً غیرمتمرکز باقی می ماند

همانطور که Testnet 2 اشاره کرد، تولید بلوک به شدت متمرکز شد پس از تعداد انگشت شماری از تصحیح‌کننده‌ها که سخت‌افزار تخصصی برای رمزنگاری دانش صفر توسعه دادند. در حالی که ZPrize به هم سطح کردن زمین بازی کمک می کند، این واقعیت باقی می ماند که برخی از نهادها بر شبکه تسلط خواهند داشت و خطر تمرکز و سانسور را برای کاربران به همراه خواهد داشت.

با استفاده از AleoBFT، Aleo می تواند نقش تولید بلوک را از تولید coinbase جدا کند. اعتبار سنجی ها مسئول تولید بلوک ها هستند و اعتبار سنجی ها اکنون می توانند اثبات ها را در مقیاس دلخواه خود محاسبه کنند. AleoBFT طراحی شده است تا با در اختیار گذاشتن حداقل 1 میلیون اعتبار Aleo در شبکه، پروورها را تشویق کند تا اعتباربخش شوند. این تضمین می‌کند که تصحیح‌کنندگان می‌توانند با تبدیل شدن به نماینده همه مصحح‌کنندگان در اجماع، مقاومت خود را در برابر سانسور حفظ کنند.

AleoBFT پروفسورها را تشویق می کند تا قابلیت اثبات پذیری اکوسیستم Aleo را در طول زمان افزایش دهند. 

در AleoBFT، پروورها در ازای سهمی از پاداش coinbase در هر بلوک، اثبات coinbase (PoSW) را در شبکه حل و فصل می کنند. با این مدل جدید، اثبات‌کننده‌ها اکنون در حال محاسبه بر روی اجزای فرعی اصلی اثبات‌های دانش صفر هستند. یعنی ضرب چند مقیاسی (MSM) و تبدیل فوریه سریع (FFT) و درصد آنها را در اثبات از هر پاداش بلوک به دست آورید.

برای پروور، AleoBFT به کار هر قطعه سخت افزاری در هر مقیاسی اجازه می دهد تا مدارک دانش صفر را بدون رقابت برای اثر "برنده-برنده" در هر مورد ایجاد کند. بنابراین، برخلاف Testnet 2، این فرآیند به این معنی است که حتی اعتبار سنجی‌هایی که روی سخت‌افزار مجازی کار می‌کنند، می‌توانند مشارکت کنند و پاداش‌های coinbase را کسب کنند. این پاداش‌های coinbase بین اثبات‌کننده‌ها و اعتبارسنجی‌ها به اشتراک گذاشته می‌شود تا اثبات‌کننده‌ها انگیزه‌ای ایجاد کنند تا با جمع‌آوری توکن‌ها در طول زمان، اعتباربخش شوند. با ایجاد انگیزه برای توزیع گسترده‌تر پاداش برای شرکت‌کنندگان، ما معتقدیم که این مکانیسم‌های جدید شبکه Aleo را برای دستیابی به اثبات مفهومی بسیار بزرگ‌تری برای توسعه‌دهندگان و کاربران Aleo مقیاس می‌دهند.

AleoBFT. ساختار هسته

جزئیات مربوط به بخش PoS AleoBFT هنوز اعلام می شود، اما تیم گفته است که بر اساس DiemBFT خواهد بود. Aleo نوشت که مجموعه‌های اثبات بلوک‌ها را در AleoBFT تولید نمی‌کنند، اما در عوض می‌توانند:

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

علی یحیی که او نیز زیر نظر دن بونه رمزنگاری را خوانده است، برای من توضیح داد که چرا ترکیب نظریه بازی (PoS) و رمزنگاری (PoSW) نزدیک می شود. علی یحیی می گوید:

با توافق بر روی تراکنش‌هایی که شامل می‌شوند، نمی‌توانید آن را به صورت رمزنگاری انجام دهید، بنابراین باید از رویکرد تئوری بازی استفاده کنید. وقتی تراکنش‌هایی دارید که می‌خواهید به ترتیب انجام دهید، هر چیز دیگری چیزی است که باید به صورت رمزنگاری انجام دهید." به عبارت دیگر، هر زمان که امکان دارد از رمزنگاری استفاده کنید و زمانی که نمی توانید از تئوری بازی ها استفاده کنید. 

بخش اثبات AleoBFT بر اساس الگوریتم اجماع اصلی Aleo، اثبات کار موجز (PoSW) است. مهم ترین چیزی که باید در مورد PoSW درک کنید، به خصوص که اتریوم و زنجیره های جدید به دلایل محیطی از استفاده از Proof of Work اجتناب می کنند، این است که "کار" در Proof of Succinct Work واقعاً مفید است، برخلاف SHA. -256. 

در واقع، PoSW بر اساس Proof of Necessary Work، ایده ای است که توسط Assimakis Katis (مرشد Aleo از ابتدا) و Joe Bonneau (یکی دیگر از فارغ التحصیلان Boneh) در سال 2020 ارائه شد که در آن ایجاد مدرک مدرک بخشی جدایی ناپذیر از PoW مورد استفاده در اجماع ناکاموتو، ایجاد شواهد کارآمد با استفاده از انرژی که در غیر این صورت هدر می رفت. اگر نیاز به صرف انرژی برای ایمن سازی بلاک چین دارید، آن انرژی را برای اثبات صرف کنید. Aleo این کار را به دو صورت انجام می دهد:

  • مستقیم: ایجاد zkSNARK برای اینکه هر کسی بتواند چیزی را بدون افشای هیچ اطلاعاتی در مورد آن اثبات کند مفید است. 
  • غیرمستقیم: با ایجاد انگیزه برای ایجاد zkSNARK، Aleo امیدوار است توسعه معماری های بهتر را برای اثبات سرعت بخشد. 

هاوارد در پادکست Zero Knowledge گفت: «هدف تشویق استخراج‌کنندگان به توسعه شتاب سخت‌افزاری برای SNARK است تا این نوع محاسبات را کالایی و فراگیر کند. یکی از راه های انجام این کار این است که مطمئن شوید ماینرها همیشه چیزی برای اثبات دارند.

پایان

در بالا اطلاعات دقیقی در مورد الگوریتم اجماع AleoBFT وجود دارد که Aleo را از سایر پروژه های بلاک چین لایه 1 در همان بخش متمایز می کند. برای درک بیشتر در مورد پتانسیل توسعه Aleo، لطفا مقاله "نقشه راه 2023 به روز شده Aleo" را در وب سایت TraderH4 بخوانید. 



Blockade Games چیست؟ اطلاعاتی در مورد پروژه Blockade Games

Blockade Games چیست؟ اطلاعاتی در مورد پروژه Blockade Games

Blockade Games پلتفرمی را فراهم می کند که به توسعه دهندگان اجازه می دهد بازی های بلاک چین را ایجاد کنند. علاوه بر این، Blockade Games همچنین بسیاری از بازی های رایگان جالب را ایجاد می کند.

UNQ Club چیست؟ تمام اطلاعات در مورد UNQ Club و توکن UNQ

UNQ Club چیست؟ تمام اطلاعات در مورد UNQ Club و توکن UNQ

UNQ Club پروژه ای است که یک پلتفرم بلاک چین را فراهم می کند که به سرمایه گذاران اجازه می دهد تا دارایی های NFT موجود را جمع آوری و مدیریت کنند.

BENQI (QI) چیست؟ تمام اطلاعات در مورد پروژه و نشانه QI

BENQI (QI) چیست؟ تمام اطلاعات در مورد پروژه و نشانه QI

BENQI یکی از قطعات مهم اکوسیستم بهمن است. به TraderH4 بپیوندید تا بدانید BENQI (QI) چیست و همچنین اطلاعات دقیقی در مورد توکن QI پیدا کنید.

SafePal (SFP) چیست؟ نمای کلی پروژه و رمز SFP

SafePal (SFP) چیست؟ نمای کلی پروژه و رمز SFP

SafePal علاوه بر یک کیف پول ذخیره‌سازی ارزهای دیجیتال، برای بسیاری از سرمایه‌گذاران به خاطر توکن‌های SFP و رویدادهای airdrop با جوایز جذاب نیز شناخته شده است.

آکیتا چیست؟ نمای کلی دقیق از توکن های Akita Inu و AKITA

آکیتا چیست؟ نمای کلی دقیق از توکن های Akita Inu و AKITA

تب آکیتا اینو در بازار کریپتو در گذشته، همراه با توسعه سریع "توکن خانه سگ"، سر و صدای زیادی ایجاد کرده است.

IoTeX (IOTX) چیست؟ معرفی مفصل پروژه IoTeX و توکن IOTX

IoTeX (IOTX) چیست؟ معرفی مفصل پروژه IoTeX و توکن IOTX

IoTeX چیست؟ این یک بلاک چین است که در ارتباط با اینترنت اشیا (IoT) ساخته و توسعه یافته است. برای یادگیری این مقاله با TraderH4 همراه باشید.

OKB چیست؟ چیزهایی که باید در مورد OKB بدانید

OKB چیست؟ چیزهایی که باید در مورد OKB بدانید

OKB چیست؟ OKB یک سکه مبادله ای از OKX و زنجیره بلوکی OKX است. بیایید در این مقاله با مبادلات OKX و OKB با TraderH4 آشنا شویم.

DROPP GG چیست؟ درباره پروژه DROPP GG و نشانه DROPP

DROPP GG چیست؟ درباره پروژه DROPP GG و نشانه DROPP

DROPP GG یک ایده نوآورانه و بدیع را برای ارائه یک پلت فرم نعناع NFT بر اساس جغرافیاهای خارج از دنیای واقعی به ارمغان می آورد.

CronaSwap چیست؟ جزئیات سکه CRONA را کشف کنید

CronaSwap چیست؟ جزئیات سکه CRONA را کشف کنید

CronaSwap یک DEX است که بر روی زنجیره کرونوس ساخته شده است که مدلی مشابه با Uniswap دارد.

High Street چیست؟ مجموعه کامل Highstreet و نشانه‌ها $HIGH، $STREET

High Street چیست؟ مجموعه کامل Highstreet و نشانه‌ها $HIGH، $STREET

Highstreet یک بازی است که Metaverse، تجارت و روند Play to Earn را ترکیب می کند. با تشکر از ایده منحصر به فرد Highstreet 5 میلیون دلار جمع آوری کرده است.

Sign up and Earn ⋙
Sign up and Earn ⋙