پردازنده cpu

پردازنده‌های امروزی می‌توانند یک دور از AES را اجرا کنند، یا دو مقدار ۶۴ بیتی را بدون نقلی در هم ضرب کنند، آن هم با یک دستور. این بسته آن دستورها را روی مقدارهای طبیعی۱۲۸ در دسترس می‌گذارد و هنگام اجرا می‌گوید ماشینی که برنامه روی آن است آن‌ها را دارد یا نه. تی ال اس از آن برای AES-GCM بهره می‌برد، پس پروتکل‌های وی‌پی‌ان و پراکسی و لایه‌ی رکورد TLS خودشان از مسیر سریع می‌روند؛ بیشتر برنامه‌ها هرگز لازم ندارند این بسته را صدا بزنند.

دستورها فقط وقتی واقعی‌اند که برنامه با پشتیبان LLVM ساخته شود، که هر نسخه‌ی انتشار از آن استفاده می‌کند. در پشتیبان C و پشتیبان بومی و مفسر و مرورگر هر تابع باز هم کار می‌کند، اما به‌صورت یک مدل نرم‌افزاری کند از دستور، و دارای رمز سخت افزاری نادرست است تا فراخوان‌ها کد سریع‌تر خودشان را برگزینند. مدل نرم‌افزاری همان بایت‌ها را می‌دهد، و همین است که آزمون می‌تواند داده‌ی یکسان را به هر دو راه اجرا کند.

چیزهایی که باید دانست:

• اول آزمون کنید، بعد صدا بزنید. توابع دور رمز و هم‌خانواده‌هایش همه‌جا کار می‌کنند، اما فقط جایی که دارای رمز سخت افزاری درست است هر کدام یک دستورند.
• کلید هنگام ساخت رمز خوانده می‌شود. تنظیم سخت افزار(نادرست) بر ای ای دی جدید یا فراخوانی یک‌باره‌ی بعدی اثر می‌گذارد، نه بر بافتاری که از پیش هست. متغیر محیطی SALAM_NO_HWCRYPTO همین را برای یک اجرای کامل می‌کند.
• ضرب بدون نقلی مقدار ثابت می‌خواهد. آرگومان سومش جزئی از دستور می‌شود، پس همان‌جا ۰ یا ۱ یا ۱۶ یا ۱۷ بنویسید، نه متغیر.
• زمان ثابت. دستورها برای هر داده یک‌اندازه وقت می‌گیرند، چیزی که AES نرم‌افزاری جدول‌محور نمی‌تواند تضمین کند.

مسیر سریع را با کند بسنجید

تنظیم سخت افزار مسیر سریع را خاموش می‌کند، پس یک برنامه می‌تواند همان پیام را به هر دو راه مهر کند و مقایسه کند. آزمون‌های بسته هم همین‌طور بررسی می‌کنند که دو مسیر بایت یکسان می‌دهند. روی ماشینی که دستورها را ندارد، هر دو اجرا مسیر نرم‌افزاری را می‌روند و پاسخ باز هم یکی است.

واردسازی پردازنده
واردسازی حافظه
واردسازی تی ال اس

تابع شانزده‌دهی(نشانی: تهی*، تعداد: صحیح): رشته:
    بایت‌ها := نشانی برگردان طبیعی۸*
    ارقام := "0123456789abcdef"
    ناپایا متن := ""
    تکرار تعداد در ن:
        مقدار := بایت‌ها[ن] برگردان صحیح
        متن += ارقام.زیررشته(مقدار >> 4، 1)
        متن += ارقام.زیررشته(مقدار & 15، 1)
    پایان
    برگشت متن
پایان

تابع مهر کردن(): رشته:
    کلید := حافظه.تخصیص صفرشده(16 برگردان طبیعی۶۴)
    نانس := حافظه.تخصیص صفرشده(12 برگردان طبیعی۶۴)
    پیام := حافظه.تخصیص صفرشده(32 برگردان طبیعی۶۴)
    خروجی := حافظه.تخصیص صفرشده(48 برگردان طبیعی۶۴)
    تی ال اس.مهر خام ای ای اس جی سی ام(کلید، 16، نانس، پوچ، 0، پیام، 32، خروجی)
    نتیجه := شانزده‌دهی(خروجی، 48)
    حافظه.آزادسازی(کلید)
    حافظه.آزادسازی(نانس)
    حافظه.آزادسازی(پیام)
    حافظه.آزادسازی(خروجی)
    برگشت نتیجه
پایان

تابع ریشه:
    پردازنده.تنظیم سخت افزار(درست)
    سریع := مهر کردن()
    پردازنده.تنظیم سخت افزار(نادرست)
    کند := مهر کردن()
    سرچاپ "بایت‌های یکسان:"، سریع برابر کند
    سرچاپ "برچسب:"، سریع.زیررشته(64، 32)
پایان

سطر برچسب، برچسب ۳۲ بایت صفر زیر کلید و نانس صفر است؛ الگوریتم آن را معین می‌کند و روی هر ماشین یکی است.

کدام تابع برای کدام کار

پایاها و متغیرها

پایا ویژگی رمز سخت افزاری: صحیح۳۲ = 1

واردسازی پردازنده
واردسازی حافظه

تابع نمایش(برچسب: رشته، مقدار: طبیعی۱۲۸):
    بافر := حافظه.تخصیص صفرشده(16 برگردان طبیعی۶۴)
    پردازنده.ذخیره شانزده بایت(بافر، مقدار)
    نشانی := بافر برگردان طبیعی۸*
    ارقام := "0123456789abcdef"
    ناپایا متن := ""
    تکرار 16 در ن:
        بایت := نشانی[ن] برگردان صحیح
        متن += ارقام.زیررشته(بایت >> 4، 1)
        متن += ارقام.زیررشته(بایت & 15، 1)
    پایان
    سرچاپ برچسب، متن
    حافظه.آزادسازی(بافر)
پایان

تابع ریشه:
    بافر := حافظه.تخصیص صفرشده(16 برگردان طبیعی۶۴)
    نشانی := بافر برگردان طبیعی۸*
    تکرار 16 در ن:
        نشانی[ن] = (ن * 17) برگردان طبیعی۸
    پایان
    ایکس := پردازنده.بارگیری شانزده بایت(بافر)
    نمایش("بارگیری "، ایکس)
    نمایش("دور     "، پردازنده.دور رمز(ایکس، ایکس))
    نمایش("دور آخر "، پردازنده.دور آخر رمز(ایکس، ایکس))
    نمایش("ضرب     "، پردازنده.ضرب بدون نقلی(ایکس، ایکس، 0))
    نمایش("ضرب بالا"، پردازنده.ضرب بدون نقلی(ایکس، ایکس، 17))
    نمایش("جابجایی "، پردازنده.جابجایی نیمه ها(ایکس))
    نمایش("وارونه  "، پردازنده.وارونه سازی بایت ها(ایکس))
    پردازنده.تنظیم سخت افزار(نادرست)
    سرچاپ "خاموش:"، پردازنده.دارای رمز سخت افزاری()
    پردازنده.تنظیم سخت افزار(درست)
    ویژگی‌ها := پردازنده.ویژگی های پردازنده()
    هست := (ویژگی‌ها & پردازنده.ویژگی رمز سخت افزاری) نابرابر 0
    سرچاپ "روشن با پردازنده می‌خواند:"، پردازنده.دارای رمز سخت افزاری() برابر هست
    سرچاپ "خانواده‌ها می‌خوانند:"، پردازنده.دارای ای ای اس ان آی() برابر (هست و (ویژگی‌ها & پردازنده.ویژگی ایکس۸۶) نابرابر 0)، پردازنده.دارای رمز آرم() برابر (هست و (ویژگی‌ها & پردازنده.ویژگی آرم۶۴) نابرابر 0)، پردازنده.دارای ضرب بدون نقلی() برابر پردازنده.دارای ای ای اس ان آی()
    حافظه.آزادسازی(بافر)
پایان

پایا ویژگی ایکس۸۶: صحیح۳۲ = 2

پایا ویژگی آرم۶۴: صحیح۳۲ = 4

تابع‌ها

تابع ویژگی های پردازنده(): صحیح

تابع دور رمز(state: طبیعی۱۲۸، key: طبیعی۱۲۸): طبیعی۱۲۸

تابع دور آخر رمز(state: طبیعی۱۲۸، key: طبیعی۱۲۸): طبیعی۱۲۸

تابع ضرب بدون نقلی(a: طبیعی۱۲۸، b: طبیعی۱۲۸، imm: صحیح): طبیعی۱۲۸

تابع جابجایی نیمه ها(x: طبیعی۱۲۸): طبیعی۱۲۸

تابع وارونه سازی بایت ها(x: طبیعی۱۲۸): طبیعی۱۲۸

تابع بارگیری شانزده بایت(p: تهی*): طبیعی۱۲۸

تابع ذخیره شانزده بایت(p: تهی*، x: طبیعی۱۲۸)

تابع تنظیم سخت افزار(enable: منطقی)

تابع دارای رمز سخت افزاری(): منطقی

تابع دارای ای ای اس ان آی(): منطقی

تابع دارای ضرب بدون نقلی(): منطقی

تابع دارای رمز آرم(): منطقی