EN
→ بازگشت به خبرخوان
شمارهٔ ۰۲۹۵ZK Tech۲ دقیقه۲ منبع

پیش‌نویس اوتِ Longfellow، هویت ZK را به قراردادی مبتنی بر پارامتر و هش تبدیل می‌کند

پیش‌نویس اینترنتی Longfellow ZK که در ۱۲ اوت منتشر شد، مرز یکپارچه‌سازی روشن‌تری برای سازندگان پروتکل‌های هویتی ایجاد می‌کند: اثبات‌ها به پارامترهای صریح مدار، انتخاب میدان، transcript و هش مدار وابسته‌اند. فرصت اصلی، سازگاری میان پیاده‌سازی‌هاست و ریسک مهندسی، برخورد با قالب پیش‌نویس به‌عنوان یک استاندارد نهایی است.

اشتراک‌گذاری
فناوری صفر-دانش (ZK)
پیش‌نویس اوتِ Longfellow، هویت ZK را به قراردادی مبتنی بر پارامتر و هش تبدیل می‌کند
تصویر: تولید هوش مصنوعی

پروژهٔ Longfellow ZK گوگل برای توسعه‌دهندگان حوزهٔ هویت از یک مرز مهم عبور کرده است: پیش‌نویس اینترنتی ۱۲ اوت ۲۰۲۶، این سامانهٔ اثبات را نه فقط به‌عنوان یک پیاده‌سازی پژوهشی، بلکه به‌عنوان پروتکلی مشخص و پارامتری توصیف می‌کند.

این پیش‌نویس یک استدلال دانایی صفرِ مختصر و غیرتعاملی را تعریف می‌کند که نشان می‌دهد یک مدار، شاهد خصوصی را می‌پذیرد. ساختار آن تعهدهای Ligero را با یک پروتکل عمومی مبتنی بر sumcheck ترکیب می‌کند و سپس با Fiat–Shamir یک اثبات تک‌پیامی می‌سازد. طراحی، به‌صراحت برای محیط‌هایی بدون راه‌اندازی مورد اعتماد ارائه شده و بر هش‌های مقاوم در برابر برخورد تکیه دارد، نه مجموعه‌ای گسترده‌تر از فرض‌های پیچیدگی.

این معماری مهم است، چون اثبات‌های هویتی معمولاً فقط «یک اثبات» نیستند. تأییدکننده باید بداند چه مداری استفاده شده، کدام پارامترهای رمزگذاری انتخاب شده‌اند، transcript چگونه شکل گرفته و کدام ورودی‌های عمومی به گزاره متصل شده‌اند. مستندات Longfellow این انتخاب‌ها را قابل مشاهده می‌کند. برای نمونه، بخش میدان متناهی ساختار GF(2^128) و زیرمیدان داخلی GF(2^16) را برای رمزگذاری فشردهٔ تعهدها مشخص می‌کند. پیاده‌سازی هویتی نیز فرادادهٔ مدار را از طریق شمارهٔ نسخه، تعداد ویژگی‌ها، پارامترهای رمزگذاری و هش مدار آشکار می‌سازد.

درس عملی برای سازندگان کیف‌پول و اعتبارنامه این است که شناسهٔ مدار را بخشی از قرارداد پروتکل بدانند. اثباتی که زیر مدار، چیدمان ویژگی یا تنظیم رمزگذاری نادرست تأیید شود، می‌تواند از نظر رمزنگاری معتبر باشد، اما ادعای نادرستِ سطح کاربرد را ثابت کند. بنابراین پیاده‌سازی‌ها باید مشخصات کامل سامانه را pin کنند، هش‌های غیرمنتظرهٔ مدار را رد کنند و رفتار تأییدکننده را هنگام تغییر پارامترها یا ورودی‌های transcript آزمایش کنند.

مخزن گوگل، Longfellow را برای اثبات‌های حفظ‌کنندهٔ حریم خصوصی روی قالب‌های قدیمی هویت، از جمله اسناد همراه ISO، JWT و اعتبارنامه‌های W3C، معرفی می‌کند. این موضوع پروژه را برای سامانه‌هایی مهم می‌کند که به افشای انتخابی نیاز دارند؛ برای مثال، اثبات یک گزارهٔ سنی بدون افشای کل اعتبارنامه، در حالی که سازگاری با اکوسیستم‌های موجود حفظ می‌شود.

یک ملاحظهٔ مهم دربارهٔ وضعیت پروژه وجود دارد. سند اوت، یک Internet-Draft اطلاعاتی است، نه استاندارد نهایی؛ این سند در ۱۳ فوریهٔ ۲۰۲۷ منقضی می‌شود و ممکن است بازبینی یا جایگزین شود. مخزن، شواهدی از یک پیاده‌سازی و کاربردهای مستند ارائه می‌کند، اما منابع موجود آمادگی تولیدی آن را برای همهٔ استقرارها ثابت نمی‌کنند. سازندگان باید نسخه‌ها را pin کنند، بردارهای آزمون را حفظ کنند و پیش از تبدیل تأییدکننده به مرز امنیتی، محدودیت‌های مدار را مستقل بررسی کنند.

زاویهٔ تازه فقط این نیست که Longfellow می‌تواند اثبات هویتی تولید کند. نکته این است که پروژه، سازگاری میان اثبات‌ها را به فرادادهٔ صریح و قابل‌هش وابسته می‌کند. این مدل یکپارچه‌سازی سالم‌تری است—اما فقط زمانی که برنامه‌ها فراداده را با همان سخت‌گیریِ خودِ اثبات بررسی کنند.

ملاحظهٔ وضعیت نیز در این نسخه صریحاً بیان شد: پیش‌نویس اوت یک Internet-Draft اطلاعاتی است، استاندارد نهایی نیست و ممکن است تغییر کند؛ همچنین منابع موجود آمادگی تولیدی را برای هر استقرار ثابت نمی‌کنند.

برچسب‌هاZK Techاثبات دانایی صفرLongfellow ZKهویت دیجیتال
منابع مستند۲ مرجع
  1. [۰۱]Longfellow ZK Internet-Draft, draft-google-cfrg-libzk-01google.github.io
  2. [۰۲]google/longfellow-zk repositorygithub.com
خواندنی بعدی

خبرخوان را در ایمیل بگیرید

هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.

خوراک RSS در دسترس · بدون هرزنامه