تصور کنید دو جفت داده‌ی متفاوت مثل ('ab', 'c') و ('a', 'bc') را دارید؛ هر دو در نهایت به رشته‌ی 'abc' تبدیل می‌شوند و هش یکسانی تولید می‌کنند. این یک حفره‌ی امنیتی مرگبار است که به توسعه‌دهندگان اجازه می‌دهد با تغییر ساختار ورودی، سیستم‌های احراز هویت یا یکپارچگی داده‌ها را دور بزنند. این وضعیت زمانی رخ می‌دهد که سیستم‌ها برای تولید یک شناسه منحصر‌به‌فرد، به یکپارچگی توالی‌ها تکیه کنند اما در نحوه ترکیب آن‌ها دچار خطا شوند.
این مشکل از «رمزگذاری مبهم» ناشی می‌شود؛ یعنی وقتی سیستمی داده‌ها را بدون یک جداکننده‌ی سخت‌گیرانه یا طرح پیشوند طول (Length-prefixing) به هم می‌چسباند، مجموعه‌های مختلفی از ورودی‌ها می‌توانند یک جریان بایتی یکسان بسازند که منجر به برخورد هش (Hash Collision) قابل بهره‌برداری می‌شود. به همین دلیل، مولتی‌هشینگ (Multihashing) — یعنی فرآیند فشرده‌سازی توالی‌ای از عناصر داده مانند رشته‌ها، اعداد صحیح یا بلوک‌های باینری در یک هش رمزنگاری واحد — در ظاهر مفهومی ساده است اما در اجرا بسیار خطرناک و پر از دام است. با وجود سادگی ظاهری، این موضوع همچنان یکی از نقاط ضعف رایج برای توسعه‌دهندگان و حتی متخصصان رمزنگاری است.
برای حل این ریسک‌های سیستماتیک و حرکت به سمت فلسفه‌ی «اصلاح نرم‌افزار، نه فقط رفع باگ»، شرکت Trail of Bits دو ساختار SequenceHash و SequenceMAC را معرفی کرد. این‌ها ساختارهای هش مرتبطی هستند که طراحی شده‌اند تا مولتی‌هشینگ امن و استاندارد را برای توسعه‌دهندگانی فراهم کنند که از طیف وسیعی از توابع هش، فراتر از Keccak، استفاده می‌کنند. SequenceHash با ارائه یک چارچوب دقیق برای نحوه پردازش ورودی‌های متعدد، ابهامی را که منجر به حملات رمزگذاری می‌شود، از بین می‌برد. این مشخصات به‌صورت متن‌باز منتشر شده و در پروژه C2SP (پروژه مشخصات رمزنگاری جامعه) ادغام شده است تا به عنوان یک منبع عمومی برای بازبینی همتایان و پذیرش گسترده در سطح صنعت در دسترس باشد.
بر اساس مستندات منتشر شده، SequenceHash و SequenceMAC شباهت زیادی به TupleHash متعلق به NIST دارند، اما یک مزیت معماری کلیدی دارند: آن‌ها به یک تابع هش خاص وابسته نیستند. در حالی که TupleHash بسیار امن است، اما الزامات سخت‌گیرانه‌اش می‌تواند ادغام آن را در سیستم‌های موجود که از توابع دیگر استفاده می‌کنند، دشوار و دست‌وپاگیر کند. در مقابل، SequenceHash و SequenceMAC به‌صورت «بزن و برو» (Plug-and-Play) با تقریباً هر تابع هش رمزنگاری امنی طراحی شده‌اند. چه توسعه‌دهنده از SHA-256، SHA-384، SHA-512، BLAKE2 یا RIPEMD استفاده کند، این ساختارها یک پوشش (Wrapper) سازگار فراهم می‌کنند که امنیت فرآیند مولتی‌هشینگ را تضمین می‌کند.
علاوه بر این، این ابزارها نیاز به محاسبات پیچیده‌ای که با مرزهای بایتی هم‌راستا نیستند (Non-byte-aligned) را حذف می‌کنند؛ موضوعی که منبع بسیاری از خطاهای پیاده‌سازی در کدهای رمزنگاری است. SequenceHash با عملیات بر روی مرزهای هم‌راستای بایتی، اصطکاک ادغام را کاهش داده و احتمال وقوع خطاهای رایج «یکی-کمتر/یکی-بیشتر» (Off-by-one errors) را به‌شدت کاهش می‌دهد.
همان‌طور که در تحلیل‌های پیشین ما درباره‌ی امنیت مدل‌های بازمتن و زیرساخت‌های رمزنگاری اشاره کردیم، استانداردسازی لایه‌های میانی برای جلوگیری از خطاهای انسانی حیاتی است. SequenceMAC این اصول را به کدهای احراز اصالت پیام (MAC) گسترش می‌دهد و امکان احراز اصالت امن توالی‌های داده را فراهم می‌کند. این ساختار از کلیدهایی با طول ۳۲ بایت یا بیشتر پشتیبانی می‌کند و سقف تئوریک آن تا 2^128-1 بایت است، که تضمین می‌کند سخت‌گیرانه‌ترین نیازهای امنیتی سیستم‌های دولتی و سازمانی مدرن را برآورده سازد.
به نقل از Trail of Bits، باید به یک نکته‌ی بنیادی رمزنگاری توجه داشت: SequenceHash و SequenceMAC «ساختار» (Construction) هستند، نه «تابع هش» مستقل. این‌ها کاملاً به ویژگی‌های امنیتی تابع هش زیربنایی که توسط کاربر ارائه می‌شود، متکی هستند. آن‌ها نمی‌توانند یک تابع هش شکسته را «تعمیر» کنند؛ برای مثال، استفاده از SequenceHash با MD4 یا SHA-0 امنیت آن‌ها را در برابر حملات برخورد هش تامین نمی‌کند. امنیت خروجی مستقیماً متناسب با امنیت تابع انتخابی شما (مثلاً SHA-256) است. هدف این است که با فرض قدرتمند بودن موتور زیربنایی، روشی امن برای ترکیب ورودی‌ها ارائه شود.
برای پذیرش سریع‌تر و تسهیل در استفاده، Trail of Bits سه پیاده‌سازی مرجع اولیه در زبان‌های Rust، Go و Python منتشر کرده است. این زبان‌ها برای پوشش دادن رایج‌ترین محیط‌های برنامه‌نویسی سیستم، زیرساخت‌های ابری و نمونه‌سازی سریع انتخاب شده‌اند. همراه با کدها، مجموعه‌ای جامع از «بردارهای آزمون» (Test Vectors) ارائه شده است. این بردارها حیاتی هستند زیرا نه تنها خروجی‌های نهایی هش، بلکه مقادیر میانی تولید شده در طول فرآیند هش را نیز شامل می‌شوند. این امر به توسعه‌دهندگان اجازه می‌دهد تا پیاده‌سازی‌های خود را گام‌به‌گام دیباگ کنند و مطمئن شوند که منطق آن‌ها دقیقاً با مشخصات استاندارد مطابقت دارد. این سطح از شفافیت برای ابزارهای رمزنگاری ضروری است، زیرا حتی یک بیت تفاوت در وضعیت داخلی می‌تواند به نتایج کاملاً متفاوت و نادرست منجر شود.
ضرورت SequenceHash زمانی مشخص می‌شود که ببینیم توسعه‌دهندگان در دنیای واقعی چطور با مولتی‌هشینگ برخورد می‌کنند. بسیاری از آن‌ها به اتصال ساده (Concatenation) متوسل می‌شوند یا از یک جداکننده مانند ویرگول یا کاراکتر پایپ (|) استفاده می‌کنند. با این حال، اگر خودِ داده‌های ورودی بتوانند حاوی آن جداکننده باشند، سیستم همچنان آسیب‌پذیر باقی می‌ماند. برخی دیگر سعی می‌کنند سیستم پیشوند طول (Length-prefixing) خودشان را پیاده کنند، اما بدون یک رویکرد استاندارد، این پیاده‌سازی‌ها به‌شدت متفاوت و اغلب ناقص هستند. SequenceHash این مشکل را با اجبار به یک توالی سخت‌گیرانه و استاندارد از عملیات حل می‌کند: این ابزار ابتدا طول هر المان را هش می‌کند و سپس خود المان را هش می‌نماید، به‌طوری که هیچ هم‌پوشانی یا ابهامی ممکن نباشد. این فرآیند تضمین می‌کند که توالی ('ab', 'c') و ('a', 'bc') به عنوان ورودی‌های متمایز پردازش شوند و در نتیجه هش‌های متفاوتی تولید کنند.
در بستر پروژه C2SP، SequenceHash نشان‌دهنده‌ی حرکتی به سمت «رمزنگاری ترکیب‌پذیر» (Composable Cryptography) است. به‌جای ساخت یک تابع هش یکپارچه و غول‌پیکر برای هر مورد استفاده خاص، صنعت به سمتی می‌رود که ساختارهای امن و عمومی را روی توابع مورد اعتماد بپوشاند. این کار سطح حمله را کاهش می‌دهد زیرا تعداد توابع جدیدی که نیاز به تحلیل رمزنگاری (Cryptanalysis) دارند محدود می‌شود، در حالی که همچنان قابلیت‌های تخصصی مورد نیاز برای ساختارهای داده پیچیده فراهم می‌گردد. با استانداردسازی نحوه هش کردن توالی‌ها، صنعت می‌تواند از تله‌ی «رمزنگاری دست‌ساز» (Roll-your-own-crypto) که در گذشته منجر به آسیب‌پذیری‌های بی‌شماری شده است، دوری کند.
علاوه بر این، انعطاف‌پذیری SequenceHash آن را برای نسخه‌بندی و آینده‌نگری ایده‌آل می‌کند. با تکامل چشم‌انداز رمزنگاری و منسوخ شدن برخی توابع هش (مانند اتفاقی که برای SHA-1 افتاد)، سیستم‌های ساخته شده بر پایه SequenceHash می‌توانند بدون نیاز به بازطراحی منطق ساختار توالی داده‌ها، به یک تابع هش جدیدتر و قوی‌تر مهاجرت کنند. ساختار ثابت می‌ماند و تنها موتور زیربنایی تغییر می‌کند. این جداسازی منطق مولتی‌هشینگ از تابع هش اصلی، یک هدف طراحی کلیدی است که قابلیت نگهداری بلندمدت نرم‌افزارهای امن را افزایش می‌دهد.
در نهایت، SequenceHash و SequenceMAC درباره‌ی کاهش بار شناختی برای توسعه‌دهنده هستند. رمزنگاری به‌شدت دشوار است و جزئیات «کوچک» — مانند نحوه مدیریت لیستی از رشته‌های با طول متغیر — اغلب جایی هستند که فاجعه‌بارترین شکست‌ها رخ می‌دهند. Trail of Bits با ارائه مشخصات دقیق، پیاده‌سازی‌های مرجع در زبان‌های محبوب و مجموعه‌ای قدرتمند از بردارهای آزمون، یک تور نجات ایجاد کرده است. هدف این است که «راه امن»، «راحت‌ترین راه» باشد تا توسعه‌دهندگان بتوانند بر منطق برنامه خود تمرکز کنند، بدون اینکه نگران باشند یک ابهام ظریف در رمزگذاری، درِ پشتی (Backdoor) را برای یک مهاجم باز کند. با پذیرش این استانداردها توسط پروژه‌های بیشتر از طریق C2SP، کل اکوسیستم تاب‌آورتر شده و به دنیایی نزدیک‌تر می‌شویم که در آن نرم‌افزارها از طریق طراحی اصلاح می‌شوند، نه اینکه پس از یک نفوذ، وصله شوند.
گام بعدی شما
- اگر در پروژه‌های خود از ترکیب چندین مقدار برای تولید هش استفاده می‌کنید، پیاده‌سازی‌های Rust یا Python این ابزار را بررسی کنید.
- استانداردهای C2SP را برای جایگزینی توابع رمزنگاری دست‌ساز (Roll-your-own-crypto) در زیرساخت‌هایتان مطالعه کنید.
- بردارهای آزمون SequenceHash را برای اعتبارسنجی توابع فعلی خود به کار ببرید.
اما امنیت در لایه‌های بالاترتر، به‌ویژه در مدیریت کلیدها، چالش‌های پیچیده‌تری دارد — به بررسی ما درباره‌ی استانداردهای جدید مدیریت هویت مراجعه کنید.
گفتگو