پروو و شبکه Succinct چه کاری انجام می‌دهند؟
Succinct شبکه‌ای برای تولید اثبات‌های دانش صفر است. در این شبکه، برنامه‌هایی که به اثبات صحت یک محاسبه نیاز دارند درخواست ثبت می‌کنند و اثبات‌گرها برای انجام آن کار با هم رقابت می‌کنند. اثبات‌گر می‌تواند یک تیم زیرساختی باشد که سخت‌افزار و نرم‌افزار لازم را اداره می‌کند. خروجی کار، اثباتی است که طرف دیگر می‌تواند آن را بررسی کند، بی‌آنکه مجبور باشد همان محاسبه سنگین را از ابتدا انجام دهد.
این سازوکار برای کاربردهایی مانند رول‌آپ‌های بلاکچینی و پل‌ها مفید است؛ هر دو ممکن است بخواهند نتیجه محاسبات بیرون از زنجیره را به شکلی قابل بررسی ارائه کنند. نقش پروو در این میان اقتصادی است: درخواست‌کننده هزینه تولید اثبات را با PROVE می‌پردازد و اثبات‌گر برای پذیرش کار، این توکن را وثیقه می‌گذارد. بنابراین کارکرد توکن به میزان استفاده از خدمت اثبات و قواعد شبکه وابسته است.
فناوری پشت شبکه چگونه کار می‌کند؟
یکی از اجزای اصلی Succinct ماشین مجازی دانش صفر SP1 است. SP1 می‌تواند اجرای درست برنامه‌هایی را اثبات کند که برای معماری RISC-V کامپایل شده‌اند. توسعه‌دهنده می‌تواند منطق برنامه را با زبان‌هایی مانند Rust بنویسد و برای آن اثبات بسازد. این قابلیت نیاز به طراحی مدار رمزنگاری اختصاصی برای هر برنامه را کاهش می‌دهد، هرچند ساخت یک برنامه درست و آماده استفاده همچنان به دانش فنی و آزمون نیاز دارد.
شبکه اثبات‌گر دو بخش مهم دارد. یک سرویس بیرون از زنجیره درخواست‌ها و پیشنهادهای اثبات‌گرها را هماهنگ می‌کند. قراردادهای هوشمند روی اتریوم نیز وضعیت شبکه و اثبات‌های مربوط به تغییر آن را تسویه می‌کنند. این تقسیم کار به شبکه امکان می‌دهد درخواست‌ها را بدون انتظار برای ثبت تک‌تک مراحل مزایده روی اتریوم پردازش کند. در عین حال، درست بودن تغییرات تسویه‌شده باید با اثبات رمزنگاری قابل بررسی باشد.
یک درخواست اثبات در عمل چه مسیری دارد؟
فرض کنید یک رول‌آپ می‌خواهد درستی اجرای بخشی از تراکنش‌هایش را اثبات کند. برنامه مربوط به محاسبه، ورودی‌ها، سقف هزینه به واحد PROVE و مهلت تحویل را در درخواست مشخص می‌کند. اثبات‌گرهای واجد شرایط پیشنهاد می‌دهند و اثبات‌گری که کار به او سپرده می‌شود باید اثبات معتبر را در مهلت تعیین‌شده تحویل دهد. اگر موفق شود، طبق سازوکار شبکه دستمزد می‌گیرد؛ اگر تعهدش را انجام ندهد، وثیقه او ممکن است کاهش یابد.
درخواست‌کننده برای پرداخت، PROVE را به قرارداد تسویه واریز می‌کند. مستندات شبکه توضیح می‌دهد که پرداخت به اثبات‌گر و برداشت موجودی از مسیر تغییر وضعیتِ تأییدشده انجام می‌شود. این روند به خواننده کمک می‌کند تفاوت میان «تولید اثبات» و «پرداخت برای تولید اثبات» را ببیند: SP1 ابزار فنی ساخت اثبات است، در حالی که PROVE واحد پرداخت و وثیقه در بازار کار شبکه محسوب می‌شود.
کاربردهای توکن پروو
PROVE توکن ERC-20 روی اتریوم و توکن بومی شبکه اثبات‌گر Succinct است. طبق مستندات پروژه، عرضه ثابت آن یک میلیارد واحد است. سه کاربرد تعریف‌شده برای آن پرداخت هزینه اثبات، سهام‌گذاری برای تأمین امنیت اقتصادی و مشارکت در حکمرانی است. این توکن مالکیت یک شرکت، سهمی از سخت‌افزار اثبات‌گرها یا حق دریافت سود ثابت را نشان نمی‌دهد.
مقدار PROVE سهام‌گذاری‌شده برای یک اثبات‌گر در تعداد مزایده‌های هم‌زمانی که می‌تواند در آنها شرکت کند اثر دارد. دارندگان توکن نیز می‌توانند دارایی خود را به اثبات‌گر انتخابی بسپارند و در بخشی از درآمد او شریک شوند. بنیاد Succinct مشوق‌های جداگانه‌ای را هم برای دوره رشد اولیه شبکه شرح داده است. اندازه پاداش به عملکرد اثبات‌گر، قواعد شبکه و وجود این مشوق‌ها بستگی دارد؛ هیچ‌یک از این موارد درآمد مشخصی را تضمین نمی‌کند.
سهام‌گذاری، برداشت و خطر کاهش وثیقه
در سازوکار سهام‌گذاری Succinct، PROVE ابتدا وارد یک خزانه مشترک می‌شود و سپس سهم مربوط به اثبات‌گر انتخابی در خزانه مخصوص او قرار می‌گیرد. کاربر در مقابل، رسید سهام‌گذاری stPROVE دریافت می‌کند. این رسید نماینده سهم او از موقعیت سهام‌گذاری است و با خود توکن PROVE تفاوت دارد. انتخاب اثبات‌گر به همین دلیل تصمیمی عملی است: کیفیت کار، کارمزد و سابقه او می‌توانند بر نتیجه سهام‌گذاری اثر بگذارند.
برداشت فوری نیست. کاربر باید درخواست خروج ثبت کند و پس از سپری شدن دوره انتظار، فرایند دریافت PROVE را کامل کند. اگر اثبات‌گر طبق قواعد شبکه مشمول جریمه شود، کاهش وثیقه به نسبت سهم میان افرادی که نزد او سهام‌گذاری کرده‌اند توزیع می‌شود. پس سپردن توکن به اثبات‌گر، خطر عملکرد او را هم به دارنده منتقل می‌کند. پیش از استفاده از برنامه سهام‌گذاری، بررسی شرایط فعلی خروج و وضعیت همان اثبات‌گر ضروری است.
حکمرانی پروو در چه مرحله‌ای است؟
مستندات Succinct مسیر حکمرانی را مرحله‌ای توصیف می‌کند. در مرحله نخست، شورای امنیت درباره تغییرات شبکه اختیار نهایی دارد. اعضای جامعه می‌توانند پیشنهادها را در انجمن مطرح کنند و رأی‌گیری مشورتی نیز انجام می‌شود، اما رأی مشورتی به‌تنهایی تصمیم نهایی را اجرا نمی‌کند. این نکته برای فهم کاربرد حکمرانی PROVE مهم است؛ داشتن توکن به معنای کنترل مستقیم همه تصمیم‌های فعلی شبکه نیست.
طرح بلندمدت پروژه انتقال اختیار بیشتر به حکمرانی درون‌زنجیره‌ای است. در سازوکار شرح‌داده‌شده، وزن رأی از PROVE سهام‌گذاری‌شده به دست می‌آید و اثبات‌گرها از طریق توکن مرتبط با خزانه سهام‌گذاری در رأی‌گیری شرکت می‌کنند. اجرای کامل این انتقال به واگذاری اختیار قراردادهای اصلی به قرارداد حکمرانی وابسته است. هنگام ارزیابی ادعاهای مربوط به حق رأی، باید میان سازوکار طراحی‌شده و اختیاراتی که عملاً واگذار شده‌اند فرق گذاشت.
عرضه و توزیع توکن چه اثری دارند؟
بنیاد Succinct عرضه PROVE را ثابت و برابر با یک میلیارد واحد اعلام کرده است. در برنامه توزیع نهایی، ۲۵ درصد به تخصیص عمومی و مشوق‌های آینده، ۲۵ درصد به اکوسیستم و پژوهش و توسعه، ۱۰ درصد به بنیاد، ۱۰٫۵ درصد به سرمایه‌گذاران و ۲۹٫۵ درصد به مشارکت‌کنندگان اختصاص دارد. این درصدها توزیع نهایی را نشان می‌دهند و نباید با تعداد توکن‌های در گردش در یک روز مشخص یکی گرفته شوند.
طبق برنامه منتشرشده، توکن‌های سرمایه‌گذاران و مشارکت‌کنندگان دوره قفل اولیه یک‌ساله دارند و پس از آن به‌تدریج آزاد می‌شوند. آزادسازی می‌تواند مقدار توکن قابل انتقال را تغییر دهد. عرضه ثابت نیز به‌تنهایی درباره میزان تقاضا یا ارزش آینده چیزی نمی‌گوید. برای شناخت وضعیت توکن، لازم است زمان‌بندی آزادسازی در کنار استفاده واقعی از شبکه، درآمد حاصل از درخواست‌های اثبات و قواعد مشوق‌ها خوانده شود.
محدودیت‌ها و ریسک‌های فنی
تولید اثبات دانش صفر محاسبات سنگینی می‌خواهد. مستندات اثبات‌گرها توضیح می‌دهد که اداره یک اثبات‌گر رقابتی به سخت‌افزار قدرتمند و تجربه عملیاتی نیاز دارد و مشارکت در شبکه جبران هزینه یا بازده را تضمین نمی‌کند. این محدودیت می‌تواند ورود بسیاری از کاربران عادی به نقش اثبات‌گر را دشوار کند. از سوی دیگر، توان شبکه برای پاسخگویی به درخواست‌ها به ظرفیت و عملکرد اثبات‌گرهای فعال وابسته است.
سرویس مزایده و هماهنگی درخواست‌ها بیرون از زنجیره کار می‌کند؛ بنابراین دسترس‌پذیری آن برای تجربه روزمره کاربران اهمیت دارد. قراردادهای اتریوم و اثبات‌های رمزنگاری برای قابل بررسی کردن تسویه طراحی شده‌اند، اما این طراحی همه خطرها را حذف نمی‌کند. خطای نرم‌افزاری، اشکال در قرارداد یا تأخیر عملیاتی می‌تواند بر استفاده از خدمت اثر بگذارد. کد و گزارش‌های حسابرسی منتشرشده منابع مفیدی برای بررسی فنی‌اند، ولی حسابرسی هم تضمین نبود آسیب‌پذیری نیست.
هنگام بررسی پروو به چه چیزهایی توجه کنیم؟
برای تشخیص دارایی، نام انگلیسی Succinct و نماد PROVE را با هم بررسی کنید. قرارداد رسمی توکن در مستندات پروژه برای شبکه اتریوم با نشانی 0x6BEF15D938d4E72056AC92Ea4bDD0D76B1C4ad29 ثبت شده است. شباهت نام یا نماد یک دارایی دیگر برای تأیید هویت آن کافی نیست. شبکه انتخابی کیف پول و نشانی قرارداد نیز باید با اطلاعات رسمی پروژه مطابقت داشته باشد.
اگر هدف شناخت کاربرد توکن است، از مسیر یک درخواست اثبات شروع کنید: چه کسی هزینه می‌پردازد، کدام اثبات‌گر کار را انجام می‌دهد و چه زمانی پرداخت تسویه می‌شود؟ برای سهام‌گذاری، دوره انتظار برداشت و احتمال کاهش وثیقه را بخوانید. برای ارزیابی حکمرانی، اختیار فعلی شورای امنیت را در نظر بگیرید. این پرسش‌های مشخص تصویر روشن‌تری از پروو می‌دهند تا ادعاهای کلی درباره رشد شبکه یا درآمد احتمالی.
