العودة إلى التحديثات
UpdatedJul 31, 2026

publications — Updated!

منشورات من Trail of Bits

مشاركة

منشورات من Trail of Bits

الأوراق الأكاديمية

عنوان الورقةالجهة الناشرةتاريخ النشر
تقييم مقارن شامل لأدوات تقليص حجم البرمجياتUSENIX Security 20242024
PolyTracker: تتبع تدفق المعلومات الديناميكي لكامل المدخلاتISSTA 20242024
Endokernel: مراقب آمن للخيوط لعزل العمليات الفرعية خفيفة الوزنUsenix Security 20242024
تصميم وتنفيذ أداة تشويش موجهة بالتغطية لـ RubyCSET 242024
تشويه بيئة الاختبارMutation 20242024
VAST: مترجم MLIR للغتي C/C++EuroLLVM Devs' Meeting 20242024
PoTATo: تحليل Points-to عبر لهجة MLIR مخصصة للمجالEuroLLVM Devs' Meeting 20242024
الحذر مع MAc-then-SIGn: تحليل حسابي لبروتوكول تبادل المفاتيح المصادق عليه خفيف الوزن EDHOCEuro S&P 20232023
هجمات Fiat-Shamir الضعيفة على أنظمة الإثبات الحديثةIEEE S&P 20232023
Endoprocess: عزل العمليات الفرعية القابل للبرمجة والتوسيعNSPW 20232023
CIVSCOPE: تحليل أخطاء تلف الذاكرة المحتملة في واجهات الأقسامSOSP KISV 20232023
اكتشاف أخطاء التباين من خلال التحليل الهجين لتدفق التحكم والبياناتLangSec 20232023
النقاط العمياء: اكتشاف مدخلات البرنامج المتجاهلة تلقائيًاLangSec 20232023
إثباتات فعالة لقابلية استغلال البرمجيات للمعالجات الواقعيةPETS 20232023
نحو تقييمات شاملة للمخاطر وضمان أنظمة الذكاء الاصطناعيarXiv2023
تقييم مقارن شامل لأدوات إعادة كتابة الثنائيات x86-64CSET 222022
حول تحسين الحسابات المتزامنة المكافئةPLDI EGRAPHS 20222022
تقييم أدوات التحليل الثابت عبر الطفرات التفاضليةQRS 20212021
echidna-parade: تشويش متنوع متعدد النوى للعقود الذكيةISSTA 20212021
تحليل تفاضلي لمفككات تعليمات x86-64LangSec 20212021
Echidna: تشويش فعّال وسهل الاستخدام وسريع للعقود الذكيةISSTA 20202020
ICARUS: فهم التنسيقات الفعلية عبر الريش والشمعLangSec 20202020
نحو استخراج القواعد النحوية تلقائيًا عبر التصنيف الدلالي لتطبيقات المحللاتLangSec 20202020
ما هي العيوب الفعلية في العقود الذكية المهمة؟FC 20202020
Echidna: أداة تشويش عملية للعقود الذكيةFC 20202020
RSA GTFOPoC||GTFO 0x202020
Manticore: التنفيذ الرمزي للثنائيات والعقود الذكيةASE 20192019
Slither: إطار تحليل ثابت للعقود الذكيةWETSEB 20192019
نحو اكتشاف أكثر ذكاءً للثغرات باستخدام التعلم الآليAISec 20182018
ماضي Cyberdyne وحاضرها ومستقبلهاIEEE S&P2018
DeepState - الاختبار الوحدوي الرمزي للغتي C وC++BAR 20182018
الخداع السيبراني والإسناد في تمارين التقاط العلمFOSINT-SI 20152015

الأوراق البيضاء

الأدلة والكتيبات

الرابطالوصف
دليل الاختبارأدلة لتكوين وأتمتة أدوات التحليل الثابت والديناميكي
ZKDocsتوثيق تفاعلي حول أنظمة إثباتات المعرفة الصفرية
بناء عقود ذكية آمنةأفضل الممارسات لتطوير عقود ذكية آمنة
دليل CTF الميدانيدليل ميداني للفوز في مسابقات التقاط العلم
دليل أمان Ruby الميدانيدليل أمان عملي للغة Ruby

العروض التقديمية للمؤتمرات

الاكتشاف الآلي للثغرات واستغلالها

عنوان العرض التقديميالمؤلف(ون)السنة
اكتشاف تجاوزات السعة المخفية في Go: التشويش خارج حدود المصرّفKevin Valerio2026
Buttercup: اكتشاف وإصلاح الأخطاء بشكل مستقل على نطاق واسع في البرمجيات مفتوحة المصدرRonald Eytchison2025
Buttercup: مستقبل حل Trail of Bits لتحدي DARPA للأمن السيبراني بالذكاء الاصطناعيTrent Brunson2025
Buttercup وتحدي DARPA للأمن السيبراني بالذكاء الاصطناعي، Ringzer0Henrik Brodin, Ronald Eytchison2025
تجربتنا في المنافسة في تحدي الأمن السيبراني بالذكاء الاصطناعيMichael Brown et al.2025
Buttercup وتحدي DARPA للأمن السيبراني بالذكاء الاصطناعي، CSAWRonald Eytchison2024
تدابيرك الوقائية هي فرصيYarden Shafir2023
اكتشاف أخطاء التباين من خلال التحليل الهجين لتدفق التحكم والبياناتKelly Kaoudis, Henrik Brodin, Evan Sultanik2023
النقاط العمياء: تحديد مدخلات البرنامج القابلة للاستغلالHenrik Brodin, Evan Sultanik, and Marek Surovič2023
MLIR هو مستقبل تحليل البرامجPeter Goodman2023
موعظة حول غفران التضحية الحاسوبية؛ أو البركات الوفيرة لبرمجة لعبة NES عبثيةEvan Sultanik2021
تحليل تفاضلي لمفككات تعليمات x86-64William Woodruff, Niki Carroll, Sebastiaan Peters2021
كيف تجد الأخطاء عندما لا تكون الحقيقة (الأساسية) حقيقيةWilliam Woodruff2020
نحو استخراج القواعد النحوية تلقائيًا عبر التصنيف الدلالي لتطبيقات المحللاتCarson Harmon, Brad Larsen, Evan Sultanik2020
غدر الملفات وأداتان جديدتان تروّضانهاEvan Sultanik2019
التنفيذ الرمزي لطاغٍ ضبابيStefan Edwards2019
حقن الأعطال في نطاق النواة باستخدام KRFWilliam Woodruff2019
التنفيذ الرمزي للثنائيات باستخدام KLEE-NativeSai Vegasena2019
الانطلاق بجنون على نواة LinuxWilliam Woodruff2019
نمذجة الثغرات باستخدام Binary NinjaJosh Watson2018
تعددية الملفات؛ أو، هذا الإثبات هو أيضًا صورة قططEvan Sultanik2017
كن نجمًا في عالم الثنائياتSophia D'Antoine2017
التنفيذ الرمزي للبشرMark Mossberg2017
روح التسعينيات لا تزال حية في بروكلينRyan Stortz, Sophia D'Antoine2017
حلم مبارزة بين التحليل الثابت والديناميكيRyan Stortz2016
حل القيود الثنائية لتوليد الاستغلالات تلقائيًاSophia D'Antoine2016
ثورة أداة التشويش الذكيةDan Guido2016
بناء نظام اختراق آلي قابل للتوسعArtem Dinaburg2016
Cyberdyne - اكتشاف الأخطاء تلقائيًا على نطاق واسعPeter Goodman2016
McSema: الترجمة الثابتة لتعليمات x86 إلى LLVM IRAndrew Ruef, Artem Dinaburg2014

سلسلة الكتل| عنوان العرض | المؤلف(ون) | السنة |

| --- | --- | --- | | اختبار الطفرات باستخدام Slither: طريقة جديدة لاكتشاف المشكلات عالية الخطورة | Guillermo Larregay | 2025 | | بروتوكول سياق النموذج الخاص بـ Slither: تزويد نماذج اللغات الكبيرة (LLMs) بحقيقة أساسية من التحليل الثابت | Ben Samuels | 2025 | | مشكلة الـ 1.5 مليار دولار: كيف يمكن للبورصات بناء تخزين بارد أكثر أمانًا | Benjamin Samuels | 2025 | | كيف تصبح مدققًا للعقود الذكية | nisedo | 2025 | | اختبر اختباراتك: ما يجب وما لا يجب فعله في الاختبار | Kurt Willis | 2023 | | Slither: أداة تحليل ثابت لـ Vyper و Solidity | Troy Sargent | 2023 | | Roundme: تحليل التقريب بشكل أبسط | Josselin Feist | 2023 | | العقود الذكية: النسخة التجريبية | Nat Chin | 2023 | | الفيزينغ مثل مهندس أمن | Nat Chin | 2023 | | اكتب عقودًا ذكية أفضل باستخدام واجهة Python البرمجية الخاصة بـ Slither | Troy Sargent | 2022 | | بناء Cairo آمن | Filipe Casal, Simone Monica | 2022 | | كيف تفيز كالمحترفين | Josselin Feist, Nat Chin | 2022 | | إزالة الغموض عن الفيزينغ (Fuzzing) | Nat Chin | 2022 | | بناء محلل ثابت عملي للعقود الذكية | Josselin Feist | 2021 | | اختبار العقود الذكية والتحقق منها: من النظرية إلى التطبيق | Josselin Feist | 2021 | | التكامل الآمن مع رموز ERC20 | Josselin Feist | 2021 | | اكتشاف هجمات استبدال المعاملات باستخدام Manticore | Sam Moelius | 2020 | | اختراقات DeFi والتهديدات المستقبلية: دور الاقتصاد في تصميم البروتوكولات الآمنة | Dan Guido | 2020 | | أخطاء مذهلة وكيفية سحقها؛ أو، جرائم Solidity | Evan Sultanik | 2019 | | SlithIR: تحليل أمني عالي الدقة باستخدام تمثيل وسيط (IR) لـ Solidity | Josselin Feist | 2019 | | Slither: إطار عمل للتحليل الثابت للعقود الذكية | Josselin Feist | 2019 | | ما الذي أحسنته البلوكتشين | Dan Guido | 2019 | | أمن المعلومات التقليدي لشركات البلوكتشين | Dan Guido | 2019 | | الاختبار القائم على الخصائص للعقود الذكية | JP Smith | 2018 | | تشريح لغة برمجة غير آمنة | Evan Sultanik | 2018 | | مخاطر ترقية العقود الذكية والتوصيات | Josselin Feist | 2018 | | Blackhat Ethereum | Ryan Stortz, Jay Little | 2018 | | تشريح جثث البلوكتشين - تحليل وفيات العقود الذكية | Jay Little | 2018 | | Rattle - إطار عمل للتحليل الثنائي لـ EVM في إيثيريوم | Ryan Stortz | 2018 | | تأمين القيمة على سلسلة كتل إيثيريوم | Dan Guido | 2018 | | التحليل الثنائي، تعرّف إلى البلوكتشين | Mark Mossberg | 2018 | | الاكتشاف التلقائي للأخطاء البرمجية في البلوكتشين | Felipe Manzano, Josselin Feist | 2017 |

المترجمات

التشفير

الهندسة

التعليم

البنية التحتية

عنوان العرضالمؤلف(ون)السنة
العودة إلى غابة المئة فدانStefan Edwards2019
السباحة مع سمكة kubectlStefan Edwards2019

التعلم الآلي

عنوان العرضالمؤلف(ون)السنة
كيف جعلنا Trail of Bits أصيلًا في الذكاء الاصطناعي (حتى الآن)Dan Guido2026
تسليح تغيير حجم الصور ضد أنظمة الذكاء الاصطناعي الإنتاجيةKikimora Morozova, Suha Sabi Hussain2025
حقن الأوامر غير المباشر: مناهج اختبار معمارية لأنظمة الذكاء الاصطناعي والتعلم الآلي في العالم الحقيقيWill Vandevanter2025
من الملفات متعددة الصيغ إلى حقن الأوامر: التحليل لا يزال تنفيذًا (ونموذج اللغات الكبيرة لديك لم تصله المذكرة)Evan Sultanik2025
الذكاء الاصطناعي المتقدم في الأمن السيبراني: المخاطر والفرصDan Guido, Riccardo Schirone2025
حاضر الذكاء الاصطناعي والأمن ومستقبلهماEvan Downing2024
استغلالات التعلم الآلي المحتضنة: زرع أبواب خلفية في خطوط أنابيب التعلم الآلي باستخدام أخطاء معالجة المدخلاتSuha Sabi Hussain2024
نماذج تهديد شاملة للتعلم الآليAdelin Travers2024
استخدام خوارزميات التعلم الآلي القائمة على الرسوم البيانية لتحليل البرمجياتMichael D. Brown2023
استغلال ملفات Pickle في التعلم الآليCarson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain2021
PrivacyRaven: اختبار شامل للخصوصية للتعلم العميقSuha Sabi Hussain2020

أمن الأجهزة المحمولة

البرمجة

القنوات الجانبية

سلسلة التوريد

تحليل التهديدات والبرمجيات الخبيثة

البودكاست| البودكاست | الضيف | التاريخ | المواضيع |

| --- | --- | --- | --- | | Risky Biz | Dan Guido | Feb 2026 | الذكاء الاصطناعي في Trail of Bits | | What's in the SOSS? 53 | Michael Brown | Feb 2026 | AIxCC وButtercup | | Insecure Agents 18 | Kikimora Morozova | Dec 2025 | حقن الأوامر في الذكاء الاصطناعي | | Risky Biz | Keith Hoodlet | Sep 2025 | حقن الأوامر في الذكاء الاصطناعي | | Zero Signal | Keith Hoodlet | Sep 2025 | أمن الذكاء الاصطناعي | | Unsupervised Learning | Michael Brown | Aug 2025 | AIxCC | | Security Weekly 342 | Will Vandevanter | Aug 2025 | الإفصاح عن ثغرات NVIDIA | | CTF Radiooo 01E | Michael Brown & Evan Downing | Aug 2025 | AIxCC | | Click Here Show | Dan Guido | Jun 2025 | هجمات التحكم عن بعد في Zoom | | Security Weekly 336 | Artur Cygan | Jun 2025 | Fuzzing للرموز الشريطية | | Protect AI | Keith Hoodlet | Jun 2025 | أمن MCP | | Open Source Security | William Woodruff | May 2025 | أمان Zizmor وGitHub Actions | | MLSecOps | Keith Hoodlet | Apr 2025 | أمن الذكاء الاصطناعي/التعلم الآلي | | Risky Biz 786 | Tjaden Hess | Apr 2025 | التشفير وسلسلة الكتل | | Security Weekly 323 | Keith Hoodlet | Mar 2025 | الذكاء الاصطناعي التوليدي في أمن التطبيقات | | Xyonix | Keith Hoodlet | Mar 2025 | أمن الذكاء الاصطناعي/التعلم الآلي | | The Impulsive Thinker | Dan Guido | Feb 2025 | التنوع العصبي | | Bugcrowd | Keith Hoodlet | Oct 2024 | التحيز في الذكاء الاصطناعي/التعلم الآلي | | Risky Biz | Dan Guido | Oct 2024 | التشفير ما بعد الكمي | | Risky Biz 759 | Dan Guido | Aug 2024 | تحدي DARPA للسيبراني بالذكاء الاصطناعي | | Resilience Rundown | Josiah Dykstra | May 2024 | التحيز في الأمن | | Risky Biz | Dan Guido | Apr 2024 | أدوات المصدر المفتوح | | MLSecOps March 20 | William Woodruff | Mar 2024 | أمن سلسلة التوريد | | yWhales | Dan Guido | Dec 2023 | أمن سلسلة الكتل | | Risky Biz 707 | Dan Guido | May 2023 | أمن التعلم الآلي | | ASW 229 | Nick Selby | Feb 2023 | نمذجة التهديدات، تدقيقات السحابة الأصلية | | Risky Biz 690 | Dan Guido | Jan 2023 | الإفصاح عن الثغرات | | Risky Biz 672 | Dan Guido | Jul 2022 | أمن سلسلة الكتل | | Cloud Security Reinvented | Nick Selby | Jun 2022 | أمن السحابة | | Skiff Office Hours | Dan Guido | Mar 2022 | تقنية الخصوصية | | Risky Biz 652 | Dan Guido | Jan 2022 | إثباتات المعرفة الصفرية | | Secureum Safecast #3 | Josselin Feist | Nov 2021 | أمن سلسلة الكتل | | Secureum Safecast #2 | Dan Guido | Oct 2021 | أمن سلسلة الكتل | | Press Freedom Foundation | Dan Guido | Jul 2021 | أمن الأجهزة المحمولة وiVerify | | Employee Cycle | Hannah Hanks | Mar 2021 | أول توظيف في PeopleOps | | Risky Biz 614 | Dan Guido | Feb 2021 | iVerify | | Building Better Systems 6 | Dan Guido | Jan 2021 | ما أصابته سلسلة الكتل | | WCBS 880 | Dan Guido | Sep 2020 | سنوات الفجوة وتوظيف المتدربين | | Risky Biz 594 | Dan Guido | Aug 2020 | أمن Apple | | Epicenter 346 | Dan Guido | Jun 2020 | أمن العقود الذكية | | Absolute AppSec 97 | Stefan Edwards | May 2020 | نمذجة التهديدات | | Unchained 170 | Dan Guido | May 2020 | أمن DeFi | | Risky Biz 580 | Dan Guido | Apr 2020 | التصويت عبر الهاتف المحمول | | Absolute AppSec 91 | Stefan Edwards | Apr 2020 | التصويت عبر الهاتف المحمول | | Zero Knowledge 122 | Ben Perez | Mar 2020 | مراجعات التشفير، إثباتات المعرفة الصفرية | | Changelog | Dan Guido | Jan 2020 | AlgoVPN | | Risky Business 559 | Stefan Edwards | Oct 2019 | Kubernetes | | FOSS Weekly 545 | William Woodruff | Sep 2019 | تحسينات أمان PyPI | | Podcast.__init__ 225 | William Woodruff | Aug 2019 | أمان PyPI وتجربة المستخدم والاستدامة | | Absolute AppSec 68 | Stefan Edwards, Bobby Tonic | Aug 2019 | Kubernetes | | Hashing it Out 53 | Dan Guido | Jul 2019 | اختبار العقود الذكية | | Absolute AppSec 60 | Stefan Edwards | May 2019 | أندرويد ولغات البرمجة | | Absolute AppSec 55 | Stefan Edwards | Apr 2019 | اختبار الأمان | | Hashing it Out 35 | Dan Guido, Josselin Feist | Jan 2019 | فشل EIP-1283 في إيثيريوم | | Risky Biz 526 | JP Smith | Jan 2019 | التشفير ما بعد الكمي في مسابقات CTF | | Absolute AppSec 37 | Stefan Edwards | Nov 2018 | لغات البرمجة، symbex | | Risky Biz 510 | Lauren Pearl | Aug 2018 | هندسة أمان المصدر المفتوح | | Absolute AppSec 34 | Stefan Edwards | Oct 2018 | اختبار الأمان، سلسلة الكتل | | The Smartest Contract 15 | JP Smith | Aug 2018 | أدوات أمان Trail of Bits والتدقيق | | Zero Knowledge 16 | JP Smith | Mar 2018 | أمن العقود الذكية | | Risky Biz 488 | JP Smith | Feb 2018 | اختبار العقود الذكية باستخدام Manticore | | Risky Biz 474 | Dan Guido | Oct 2017 | كيفية هندسة برمجيات آمنة | | Georgian Partners 47 | Dan Guido | May 2017 | AlgoVPN وTor | | VUC 643 | Dan Guido | Apr 2017 | AlgoVPN | | Risky Biz 449 | Dan Guido | Mar 2017 | سلامة تدفق التحكم | | Risky Biz 425 | Dan Guido | Sep 2016 | ملخص أخبار الأسبوع | | Risky Biz 421 | Dan Guido | Aug 2016 | اختراق السيارات وأخبار الأسبوع | | Risky Biz 416 | Dan Guido | Jul 2016 | تحدي DARPA السيبراني الكبير | | Risky Biz 399 | Dan Guido | Feb 2016 | Apple ضد FBI | | Risky Biz 348 | Dan Guido | Jun 2015 | تحدي DARPA السيبراني الكبير | | Risky Biz 370 | Dan Guido | Feb 2015 | تحدي DARPA السيبراني الكبير |

الندوات عبر الإنترنت

العنوانالمتحدثونالتاريخ
أهم أخطاء TEE التي يجب إصلاحها قبل المراجعةTjaden Hess, Paul Bottinelli, & Jules DreanDec 2025
بناء أنظمة تشفير آمنة من طرف إلى طرفMarc Ilunga & Fredrik DahlgrenDec 2025
بعد Wiretap وBattering RAM: ما الذي يتغير للبنية التحتية لسلسلة الكتل القائمة على TEETjaden Hess & Andy CampbellNov 2025
غوص عميق في أمن MCP: من الهجمات إلى الدفاعKeith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish BhattJul 2025
مراجعات الأمان: أفضل الممارسات مع Trail of BitsChris Dahlheimer, Lindsay Rakowski, & Vanessa GennarelliMar 2025
إتقان أبحاث الويب باستخدام Burp SuiteKeith Hoodlet, Cliff Smith, & James KettleJun 2024
مقدمة إلى CodeQL: أمثلة وأدوات وتكامل CIFilipe Casal & Fredrik DahlgrenMar 2024
مقدمة إلى SemgrepMaciej Domanski & Matt SchwagerJan 2024

التعليقات العامة

دراسات الحالة

نظرات متعمقة في كيفية عمل العملاء مع Trail of Bits: التحدي، منهجنا، والنتائج. مستوى الجهد يقاس بأسابيع عمل المهندسين.

العميلالتركيزالتاريخمستوى
الجهد
دراسة الحالة
Turnkeyالبنية التحتية لـ TEE وAWS Nitro EnclavesJun 20268📖
Vantaمراجعة بنية العزل متعدد المستأجرينNov – Dec 20256📖
Scopelyتقييم تصميم عدالة PRNG في Monopoly GO!Dec 20242📖
Hugging Faceتقييم أمني قبل إصدار Gradio 5.0Jun – Jul 20244📖
Scrollمراجعات أمان دوائر zkEVMApr – Sep 202345.8📖

مراجعات الأمان

الشركات التي سمحت لنا بالحديث عن أعمالنا تجدها هنا. ويبقى العديد منها سريًا.

العملاء الرئيسيون

تعاقد العملاء التاليون مع Trail of Bits لإجراء 5 مراجعات أمنية أو أكثر:

Frax Finance

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
FraxGovMay 20234📄✅
Fraxlend and veFPISJan 20234
Fraxlend and FraxFerryOct 20224📄
FraxMay 20224📄
FraxDec 20214📄
FraxMay 20214📄

MobileCoin

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
MobileCoinJul 20222📄
Fog ProtocolJan 20214📄
MobileCoin BFTOct 20204📄
MobileCoinAug 20204📄

Offchain Labs| المنتج | التاريخ | مستوى
الجهد | الإعلان | التقرير |

| --- | --: | :-: | --- | :-: | | Offchain Labs Arbitrum ArbOS 60/61 | Jul 2026 | 24 | | 📄 | | Offchain Labs Reward Distributor Fixes | Jun 2026 | 0.8 | | 📄 | | Offchain Labs Stylus SDK | Apr 2026 | 9 | | 📄 | | Offchain Labs Arbitrum Quorum Changes | Feb 2026 | 1.2 | | 📄 | | Offchain Labs Arbitrum Nitro External DA | Jan 2026 | 4 | | 📄✅ | | Offchain Labs Arbitrum ArbOS 50 and 51 (Fusaka) | Dec 2025 | | | 📄 | | Offchain Labs Arbitrum Chains Genesis File Generator | Dec 2025 | 1.6 | | 📄✅ | | Offchain Labs Upgrade Executor | Jul 2025 | 0.2 | | 📄 | | Offchain SetCoreGovernorQuorumAction | Jun 2025 | 1.2 | | 📄 | | Offchain Arbitrum Mint/Burn Precompile | Jun 2025 | 1.8 | | 📄✅ | | Offchain Arbitrum Block Hash Pusher | Jun 2025 | 1.8 | | 📄 | | Offchain ArbOS 40 Nitro | May 2025 | 6 | | 📄 | | Offchain Reward Distributor Fixes | Apr 2025 | 0.8 | | 📄 | | Offchain Sequencer Liveness | Mar 2025 | 3 | | 📄 | | Offchain Custom Fee Bridge & EIP-7702 | Mar 2025 | 1 | | 📄 | | Offchain Geth 14.4 Pectra | Mar 2025 | 0.8 | | 📄 | | Offchain Custom Fee Exchange Rate | Mar 2025 | 1 | | 📄 | | Offchain Security Council Rotation | Mar 2025 | 1.6 | | 📄 | | Offchain DisableGateway USDT | Mar 2025 | 0.4 | | 📄 | | Offchain BoLD Fixes | Dec 2024 | 0.8 | | 📄 | | Offchain Stylus Emergency Fixes | Oct 2024 | 2 | | 📄 | | Offchain BoLD History Commits | Oct 2024 | 2 | | 📄 | | Offchain Nitro with BoLD | Oct 2024 | 2.6 | | 📄 | | Offchain Stylus | Sep 2024 | 2 | | 📄✅ | | Offchain RARI | Aug 2024 | 0.6 | | 📄 | | Offchain Office Hours Action | Aug 2024 | 0.6 | | 📄 | | Offchain Timeboost Auction | Aug 2024 | 3 | | 📄 | | Offchain Orbit Actions | Aug 2024 | 1 | | 📄 | | Offchain USDC Gateway | Jul 2024 | 2 | | 📄 | | Offchain BoLD & DAC Rewards | Jun 2024 | 3 | | 📄 | | Offchain Arbitrum Stylus | May 2024 | 47 | | 📄 | | Offchain L1-L3 Teleporter | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 31 | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 30 Nitro | Apr 2024 | 6 | | 📄 | | Offchain BoLD | Apr 2024 | 5 | | 📄 | | Offchain ArbOS | Feb 2024 | 4 | | 📄 | | Offchain Arbitrum | Jan 2024 | 2 | | 📄 | | Offchain Token Bridge Creator | Dec 2023 | 6 | | 📄 | | Offchain Custom Fee Token | Sep 2023 | 3 | | 📄 | | Offchain Arbitrum Challenge v2 | Aug 2023 | 20 | | 📄✅ |

Reserve Protocol

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
Reserve Protocol Solidity 4.0.0Jun 20253.6📄✅
Reserve Protocol Solana DTFsApr 20252📄✅
Reserve Folio Solidity-Based ContractsApr 20252📄✅
Reserve ProtocolAug 20228📄,
Reserve ProtocolMar 20191📄

Scroll

Uniswap

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
Uniswap v4 CoreJul 20246📄✅
Uniswap Browser ExtensionFeb 20246📄✅
UniswapSep 20234📄✅
Uniswap Mobile WalletAug 20224📄
Uniswap V3 StakerJun 20212
Uniswap V3Mar 202110Uniswap📄

Western Digital

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
ArmorLockApr 20226
Optimus ROMJan 20224
Secure TransportApr 20204
Western Digital Sweet BJan 20204Western Digital📄
SanDisk X600May 20196ثغرات متعددة في SanDisk X600📄

مراجعات AI/ML

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
YOLOv7Oct 20234📄
SafeTensorsMar 20232📄

مراجعات التشفير### مراجعات المنتجات التقنية

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
MAGIC Grants Monero FCMP ++ CryptoJul 20262📄✅
Ripple Labs XRP Ledger Confidential TransferApr 20266📄✅
HyperLink AWS Nitro TEEMar 20262.2📄✅
Open Home Foundation SecureTar v3Mar 20261📄✅
Obsidian SyncDec 20252📄✅
NEAR One PedPop+May 20254📄
NEAR One MPC Chain SignaturesMar 20256📄
NEAR One Robust ECDSAFeb 20266.4📄✅
Anza BLS SignaturesMar 20261📄
DV Labs Charon Pedersen DKGFeb 20262📄✅
Anza Token-2022 Confidential Transfer, CryptographyJan 20267📄
Calyx Institute HSM Provisioning Ceremony ScriptsJan 20261📄✅
BSV Blockchain TS-SDKJan 20266📄✅
Bron Labs MCP LibraryJan 20268📄✅
NEAR One Confidential Key DerivationDec 20254📄✅
ZamaOct 202532.2
DFINITY OrbitSep 20254📄✅
DFINITY OisySep 20254📄✅
Google LongfellowAug 20254.6📄✅
Open Quantum Safe liboqsApr 20255Open Quantum Safe📄
Go Crypto LibrariesMar 202512Go📄✅
Zkonduit EZKLMar 202511EZKL📄✅
Scopely Monopoly Go!Dec 20242🔖
AlignedDec 20243📄✅
Discord DAVESep 20245Discord📄✅
Discord DAVEAug 20244Discord📄✅
Lit Protocol Cait-SithJun 202410📄✅
Iron Fish FishHashApr 20241Iron Fish📄✅
AgileBits SnowMar 20244📄✅
Silence Laboratories Silent ShardFeb 20245📄✅
SnowJan 20244📄✅
OckamNov 202311Trail of Bits📄
Dfinity CandidNov 20233📄✅
Axiom Halo2 Library UpgradesOct 20236Axiom📄✅
Aleo snarkVM, snarkOS, BullsharkBFTOct 202318Aleo📄✅
Axiom Halo2 LibrariesJun 202314Axiom📄✅
Dfinity ckBTC and BTC IntegrationJun 20232.5المنتدى, المدونة
Dfinity SNS Phase 2Jun 20232.5المنتدى, المدونة📄
Thesis tss-lib BitForgeJun 20230.2Threshold📄✅
ChainflipApr 202312Chainflip📄✅
Stealth AddressesFeb 20232📄✅
Succinct ZK Light ClientFeb 20238Succinct📄✅
noble-curves LibraryJan 20232📄✅
ParaSpaceDec 20221📄
Phantom WalletNov 20222
ParaSpaceNov 20227📄
SimpleX ChatOct 20221SimpleX📄
DfinitySep 20224المنتدى, المدونة📄✅
Aleo snarkVMSep 202212📄✅
Microsoft/Verasion Go-COSEJul 20224📄✅
BLS Signature SchemeJul 20221
Binance CGGMP21 and FROSTMay 20228
Aleo snarkVM & snarkOSApr 202212
Phantom WalletApr 20224
Parallel FinanceMar 20226📄
PolkadexFeb 202210
Linux KernelApr 20212توقيع الإصدار وإدارته📄
Standard NotesMar 20201Standard Notes📄
Project CallistoAug 20185
-----::-:---:-:
PyTorch ExecuTorchJun 20269OSTIF📄✅
Turnkey Key Management SystemJun 20268📄✅
Persona Identities Claims VerificationMay 20263🔖
PyPI WarehouseApr 20266📄
Propeller Heads Turbine Front End and SDKMar 20262📄✅
Propeller Heads TurbineMar 20268📄✅
Zoo Text-to-CAD PlatformMar 20264📄✅
iVerifyJun 20262📄✅
X XChatOct 20254📄✅
Edera Runtime ContainerOct 20254📄
Meta WhatsApp Private ProcessingAug 202512WhatsApp, Trail of Bits📄✅
Discord E2EE WebAssemblyJun 20253📄
libVLCMay 20255📄
NATS ServerFeb 20256📄✅
Istio ZtunnelDec 20242OSTIF, Istio📄✅
RubyGems.orgDec 20245📄
Kraken Wallet In-App BrowserNov 20244📄✅
Kraken Wallet iCloud BackupSep 20242📄✅
Hugging Face GradioJul 20244Hugging Face, Trail of Bits📄✅
Zoo KittyCADJun 20244.6📄✅
Polygon Labs Iden3 CircuitsMay 20242📄✅
Kraken Mobile WalletJan 20247Kraken📄✅
Eclipse TemurinDec 20234الرد, OSTIF, Eclipse Foundation📄✅
Arch Linux PacmanDec 20232OTF📄✅
cURL HTTP3Dec 20234OSTIF, Daniel Stenberg📄
Lisk SDK 6.1 modulesSep 20234📄✅
OpenSSLSep 20239OSTIF, OpenSSL📄✅
PyPI WarehouseSep 202310PyPI, Trail of Bits📄✅
wasmCloudSep 20236📄✅
WorldcoinAug 20236📄✅
HomebrewAug 20236📄
DigitalOcean OIDCAug 20234📄
FluxAug 20234OSTIF, Flux📄✅
Lisk SDKJul 202330📄✅
DragonFly2Jul 20234Dragonfly, OSTIF📄✅
Eclipse JKubeMay 20235OSTIF, Eclipse📄✅
ChainflipApr 202312Chainflip📄✅
Eclipse MosquittoMar 20234OSTIF, Eclipse📛📄✅
Eclipse JettyMar 20236Jetty, Eclipse📄✅
Spool PlatformMar 20238📄✅
Redpanda PlatformJan 20234
Injective Labs Options MarketJan 20234
OpenVPN3Jan 20236
OpenVPN2Dec 20224OpenVPN📄✅
OpenArchive Save (Android)Dec 20221OpenArchive Save📄✅
Enclave MarketsNov 20229
Fiat RampsNov 20224
cURLOct 20229.5OSTIF, Daniel Stenberg. Trail of Bits📄✅📛
CloudEventsOct 20224OSTIF📄
OpenArchive Save (iOS)Oct 20221.2OpenArchive Save📄✅
AlphaSOC APISep 20221📄✅
Consul EnterpriseSep 20226
snarkVMSep 202212📄✅
Hashicorp BoundaryJul 20226
SkiffJul 20226
Terraform CloudJun 20226
DatadogMay 20226
MATTRMay 20224
ArmorLockApr 20226
DigitalOcean FunctionApr 20224
Auvik CollectorApr 20228
Fuchsia PlatformMar 20228
Optimus ROMJan 20224
BitcoinBeachMar 20224📄
osqueryJan 20226📄
RedjackDec 20212
DigitalOcean CloudNov 202112
SpruceIDOct 202112📄
DopplerSep 20214
Datadog AgentAug 20218
AppianJun 20214
Cashero-2.0Jun 20214
OrbitApr 20211
VGS ProxyApr 20214
SkiffFeb 20214
CircleCI Server 3.0Jan 20216اختبار الاختراق في CircleCI
BitMEXJan 20214
SecureDropDec 20208التدقيق الثاني لمحطة عمل SecureDrop📄
Citizen BrowserDec 20200.43كيف بنينا مُفتّش فيسبوك
RenAug 20204تحديث التطوير لشهر أغسطس📄
Hey.comJun 20201الأمان الجاد📄
Azure SphereJun 202012تحسينات الأمان في Azure Sphere 20.07
ZoomMay 20209انتهت 90 يومًا، ما التالي لـ Zoom
Secure TransportApr 20204
ZeroTier 2.0Mar 20202ZeroTier📄
VoatzFeb 202012Voatz, Tusk📄📛
VaultFeb 202012
VoiceJan 20204
Azure SphereJun 201912
zlibSep 20161📄

مراجعات السحابة الأصلية

مهام اختبار الثوابت وتطويرها

المنتجالتاريخمستوى
الجهد
الإعلانالتقريرالمجموعة العامة
PanopticMay 20249📄
CurvanceMar 20245📄الثوابت العامة

مراجعات البلوك تشين

مراجعات المحافظ

Algorand

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
Folks Finance ProtocolNov 20226📄✅
wXTZNov 20204📄
wALGONov 20204📄
Meld GoldJul 20202
PixelDec 20194
AlgorandMar 201914نجاح وزخم Algorand

Avalanche

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
Ava Labs AvalancheGoAug 202510📄
Alkimiya Silica V2Jun 20226
Ava LabsApr 20228
Flare NetworkMar 20218

بيتكوين والمشتقات| المنتج | التاريخ | مستوى
الجهد | الإعلان | التقرير |

| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | Jan 2025 | 2 | | 📄✅ | | Nomic | Nov 2024 | 10 | Nomic | 📄✅ | | STAS SDK | Oct 2021 | 4 | | | | STAS-JS SDK | Sep 2021 | 4 | | | | Bitcoin SV | Jan 2021 | 6 | | | Zcoin | Jul 2020 | 2 | Zcoin | 📄 | | Zcash | Apr 2020 | 3 | Electric Coin Co. | 📄 | | Zcash | Nov 2019 | 6 | NU3, Blossom, and Sapling security reviews| 📄 | | Zcash | Nov 2019 | 6 | | 📄 | | Paymail Protocol | Nov 2019 | 7 | | | | Simple Ledger | Oct 2019 | 3 | | | | Bitcoin SV | Nov 2018 | 12 | | | RSKj | Nov 2017 | 6 | RSK security audit results | 📄 |

Ethereum/EVM| المنتج | التاريخ | مستوى
الجهد | الإعلان | التقرير |

| ---| --: | :-: | --- | :-: | | Arcus Labs Rootchain v5 Smart Contracts | Jun 2026 | 2 | | 📄✅ | | Kiln Lagoon Vault Diff Review | May 2026 | 1 | | 📄✅ | | Franklin Templeton BenjiSwap Differential Review | Apr 2026 | 1.2 | | 📄✅ | | Gensyn Buyback-and-Burn Vault | Apr 2026 | 1 | | 📄✅ | | Gensyn Bridged Token | Apr 2026 | 0.2 | | 📄 | | Gensyn ERC-20 Token | Sep 2025 | 0.2 | | 📄 | | Gensyn Delphi Dynamic Paramutuel Markets | Apr 2026 | 3.4 | | 📄✅ | | Shape TokenLock | Mar 2026 | 0.4 | | 📄✅ | | Aave v4 | Feb 2026 | 6 | | 📄✅ | | VeChain VeChainThor Hayabusa Upgrade | Oct 2025 | 6 | | 📄✅ | | Franklin Templeton BenjiSwap Contract | Oct 2025 | 1 | | 📄✅ | | Radius Technology EVMAuth | Oct 2025 | 1.2 | | 📄✅ | | Shape Buyback Contract | Sep 2025 | 0.4 | | 📄✅ | | Starkware StarkEx Diff | Aug 2025 | 0.2 | | 📄 | | Shape Token Contract | May 2025 | 1 | | 📄✅ | | CAP Labs Covered Agent Protocol | May 2025 | 9 | | 📄✅ | | Fabric Labs Zipper Protocol | May 2025 | 1 | | 📄✅ | | Lagrange LAToken | Apr 2025 | 3 | | 📄 | | Serai DEX | Apr 2025 | 3 | | 📄✅ | | Automata | Feb 2025 | 8 | | 📄✅ | | Bunni v2 | Jan 2025 | 8 | | 📄✅ | | Everstake Staking | Jan 2025 | 3 | | 📄✅ | | Parabol Smart Contracts Updates | Jan 2025 | 0.4 | | 📄 | | BeethovenX Sonic Staking | Jan 2025 | 1 | | 📄✅ | | Balancer v3 | Dec 2024 | 6 | | 📄✅ | | ULTI | Dec 2024 | 1 | | 📄✅ | | EthStaker Deposit CLI | Dec 2024 | 4 | | 📄✅ | | Plume | Nov 2024 | 1 | | 📄✅ | | Treehouse tETH Protocol | Sep 2024 | 4 | | 📄✅ | | Elixir Protocol | Aug 2024 | 4 | | 📄✅ | | Onchain Pass | Aug 2024 | 1 | | 📄✅ | | Taraxa Ficus Bridge | Jul 2024 | 1.6 | | 📄✅ | | Devcon Auction Raffle | Jun 2024 | 1 | | 📄✅ | | Aladdin f(x) Oracle | Jun 2024 | 2 | | 📄✅ | | AiLayer 6079 Contracts | May 2024 | 3 | | 📄✅ | | Hydrogen Rover Protocol | May 2024 | 0.45 | | 📄 | | Lisk Smart Contracts | May 2024 | 4 | | 📄✅ | | Parabol Smart Contracts | May 2024 | 2 | | 📄✅ | | Wonderland Prophet | May 2024 | 4 | | 📄✅ | | SEDA Chain Token Migration | Mar 2024 | 1 | | 📄✅ | | Lisk Smart Contracts | Mar 2024 | 4.6 | | 📄✅ | | Bondex Smart Contracts | Mar 2024 | 0.6 | | 📄 | | Aladdin f(x) Protocol | Mar 2024 | 4 | | 📄✅ | | Puffer Finance Contracts | Mar 2024 | 1.2 | | 📄✅ | | Intuition | Mar 2024 | 2 | | 📄 | | Helios Global | Feb 2024 | 1 | | 📄✅ | | ScopeLift Stealth Addresses | Feb 2024 | 1 | | 📄✅ | | MetaLayer Blast | Jan 2024 | 4 | | 📄✅ | | Unibot Router | Dec 2023 | 1.6 | | 📄✅ | | Acronym Foundation | Dec 2023 | 4 | | 📄✅ | | Pyth Entropy | Dec 2023 | 4 | | 📄 | | Immutable Bridge | Nov 2023 | 2 | | 📄✅ | | Salty.IO Protocol | Oct 2023 | 6 | | 📄✅ | | Spiko Smart Contracts | Oct 2023 | 1 | | 📄✅ | | Hyperlane v3 | Sep 2023 | 2 | | 📄✅ | | Elixir Contracts | Sep 2023 | 2 | | 📄✅ | | NZDD token | Aug 2023 | 0.6 | | 📄✅ | | Immutable | Aug 2023 | 4 | | 📄✅ | | Sandclock | Jul 2023 | 8 | | 📄✅ | | Arcade | Jul 2023 | 8 | | 📄✅ | | Nested Tetris/HyVM | Jun 2023 | 1 | | 📄✅ | | Franklin Templeton | May 2023 | 4 | | 📄✅ | | Prysm | Apr 2023 | 8 | | 📄✅ | | Ajna Protocol | Apr 2023 | 12 | | 📄✅ | | Raft | Apr 2023 | 2 | | 📄✅ | | MYSO v2 | Apr 2023 | 2 | MYSO | 📄✅ | | Smardex AMM | Apr 2023 | 2 | | 📄✅ | | Waymont | Mar 2023 | 1 | | | | Atlendis | Mar 2023 | 6 | Atlendis | 📄✅ | | Primitive Hyper | Mar 2023 | 8 | | 📄✅ | | Succinct Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | Nested Finance | Feb 2023 | 4 | | 📄✅ | | Polygon Edge | Jan 2023 | 6 | | | | Optimism | Dec 2022 | 8 | | | | Paxos PayPal PYUSD | Dec 2022 | 1 | | 📄✅ | | GSquared | Oct 2022 | 6 | | 📄 | | Meson Protocol | Oct 2022 | 6 | | 📄 | | Managed Pools | Oct 2022 | 4 | | 📄 | | Ondo | Oct 2022 | 4 | | 📄 | | Maple Protocol v2 | Sep 2022 | 8 | | 📄✅ | | Increment Protocol | Sep 2022 | 4 | | 📄 | | Subspace Farmer | Sep 2022 | 2 | | 📄| | Optimism | Sep 2022 | 16 | | 📄 | | Nayms | Sep 2022 | 6 | | | | Aggregator | Aug 2022 | 2 | | | | The Franchiser | Aug 2022 | 3 | | | | Meson Protocol | Jul 2022 | 0.6 | | 📄 | | ChainPort | Jul 2022 | 8 | | 📄 | | Relay | Jul 2022 | 1 | | | | Beanstalk | Jul 2022 | 8 | Beanstalk | 📄 | | Purpose for Profit | Jul 2022 | 3 | | | | Solon | Jul 2022 | 6 | | | | Roll | Jul 2022 | 2 | | | | Ante Protocol | May 2022 | 2 | | 📄 | | Sherlock | Jun 2022 | 4 | | | | FlareFinance | Jun 2022 | 4 | | | | TBTv2 | Jun 2022 | 6 | | | | Morpho | Jun 2022 | 4 | Morpho | 📄 | | Relayer Contracts | Jun 2022 | 2 | | | | AuctionRaffle | May 2022 | 2 | | | | Seaport Protocol | May 2022 | 4 | OpenSea | 📄 | | Shell Protocol v2 | May 2022 | 4 | | 📄 | | Optimism | Apr 2022 | 6 | | | | NFTX | Apr 2022 | 4 | NFTX | 📄 | | ReserveLending+ | Apr 2022 | 4 | unFederalReserve | | | Firefly | Apr 2022 | 4 | | | | Maple Finance | Mar 2022 | 1 | | 📄✅ | | Gyroscope | Mar 2022 | 6 | | | | LooksRare | Mar 2022 | 4 | | 📄 | | Symbiosis | Mar 2022 | 2 | | | | RAILWAY | Feb 2022 | 4 | | | | Persistence ETH2.0 | Feb 2022 | 4 | | | | Advanced Blockchain | Feb 2022 | 6 | | 📄 | | Perpetual Protocol V2 | Feb 2022 | 4 | | 📄 | | Futureswap V4.1 | Feb 2022 | 4 | | | | Firefly | Feb 2022 | 8 | | | | API3 | Feb 2022 | 8 | | 📄 | | Beethoven X | Feb 2022 | 1 | | 📄 | | Minterest Finance | Jan 2022 | 6 | | | | pSTAKE | Jan 2022 | 6 | | | | Primitive | Jan 2022 | 8 | Primitive | 📄 | | Strips Finance | Jan 2022 | 8 | | | | Cardstack | Dec 2021 | 4 | | | | Sherlock Protocol V2 | Dec 2021 | 4 | | 📄 | | Maple | Nov 2021 | 4 | Maple | 📄 | | Advanced Blockchain | Nov 2021 | 6 | | 📄 | | Opyn | Nov 2021 | 6 | | 📄 | | Aave V3 | Nov 2021 | 12 | | 📄✅ | | Tokemak | Oct 2021 | 3 | | | | Fuji Finance | Oct 2021 | 6 | | 📄 | | V2 Vault | Oct 2021 | 4 | | | | Yield V2 | Sep 2021 | 6 | | 📄 | | Gro protocol | Sep 2021 | 2 | | | | Futureswap V4 | Sep 2021 | 6 | | | | RocketPool | Aug 2021 | 5 | | 📄 | | AlphaX | Aug 2021 | 6 | | | | Bug Bounty Platform | Aug 2021 | 8 | | | | 88mph V3 | Aug 2021 | 6 | | 📄 | | Timeswap | Jul 2021 | 2 | | | | CompliFi | Jul 2021 | 6 | | 📄 | | Optics | Jul 2021 | 2 | | | | FlareFinance | Jun 2021 | 4 | | | | Abyss Lockup | Jun 2021 | 2 | | | | Futureswap V3 | Jun 2021 | 6 | | | | CompliFi | Jun 2021 | 6 | | | | Syndicate | May 2021 | 4 | | | | Opyn Gamma | May 2021 | 6 | | 📄 | | Yearn v2 Vaults | Apr 2021 | 6 | | 📄 | | Balancer v2 | Apr 2021 | 4 | | 📄 | | DFX Finance | Apr 2021 | 6 | | | | Tokemak | Apr 2021 | 1 | | | | Warp Contracts | Apr 2021 | 6 |Composable | 📄 | | FlareFinance | Apr 2021 | 3 | | | | MC Dai | Mar 2021 | 6 | | | | dForce Lending | Mar 2021 | 6 | | | | Liquity Proxy Contract | Feb 2021 | 0.57 | | 📄 | | Liquity Protocol | Feb 2021 | 8 | | 📄| | RAY-DAO | Feb 2021 | 4 | | | | Futureswap | Jan 2021 | 2 | | | | Balancer V2 | Jan 2021 | 6 | | | | C.R.E.A.M. | Jan 2021 | 1 | | 📄 | | LUSD | Dec 2020 | 8 | | 📄 | | Origin Dollar | Nov 2020 | 4 | Origin Protocol | 📄 | | Zerion SDK | Nov 2020 | 4 | | | | Teller Protocol | Nov 2020 | 4 | | | | Hermez | Nov 2020 | 4 | Hermez | 📄 | | Graph Protocol | Oct 2020 | 3 | | | | OVM | Oct 2020 | 6 | | | | Prysm | Sep 2020 | 6 | | | | DODO | Sep 2020 | 3 | | 📄 | | Yield Protocol | Aug 2020 | 6 | | 📄 | | Smart Pool | Aug 2020 | 1 | | | | DeFiner | Aug 2020 | 1 | | | | ETH2.0 Deposit CLI | Aug 2020 | 4 | | 📄| | CurveDAO | Jul 2020 | 6 | | 📄 | | Amp | Jul 2020 | 3 | | 📄 | | Federated Bridge | Jul 2020 | 1 | | | | dForce dToken | Jul 2020 | 2 | | 📄 | | Matic | Jun 2020 | 4 | | | | Lighthouse | Jun 2020 | 4 | | | | tBTC | May 2020 | 6 | | 📄 | | QTUM | Apr 2020 | 0.43 | | 📄 | | Hegic | Apr 2020 | 0.43 | | 📄 | | Golem Network | Mar 2020 | 2 | | | | Reddit | Mar 2020 | 1 | A New Frontier | | | Chai | Feb 2020 | 0.28 | | 📄 | | Compound | Feb 2020 | 2 | | 📄 | | WorkLock | Jan 2020 | 2 | NuCypher | 📄 | | Balancer | Jan 2020 | 4 | | 📄 | | Curve.fi | Jan 2020 | 1 | | 📄 | | Livepeer | Oct 2019 | 3 | | | | Topo Finance | Oct 2019 | 4 | | | | 0x Protocol | Oct 2019 | 10 | | 📄 | | Flexa | Sep 2019 | 2 | Flexa | 📄 | | AZTEC Protocol | Sep 2019 | 10 | | 📄 | | Oasis Labs | Sep 2019 | 13 | | | | Aave Protocol | Sep 2019 | 4 | | 📄 | | MC Dai | Aug 2019 | 13 | MakerDAO | 📄 | | Staked | Aug 2019 | 4 | | | | Compound | Aug 2019 | 2 | | 📄 | | Computable | Jul 2019 | 8 | Computable | 📄 | | Numerai | May 2019 | 3 | Numerai | 📄 | | MerkleX | May 2019 | 4 | | | | TokenCard | May 2019 | 5 | | 📄 | | Unity Coin | Apr 2019 | 1 | | | | Compound | Apr 2019 | 8 | Compound | 📄 | | Ocean Protocol | Mar 2019 | 4 | Ocean Protocol | | | UMA Project | Mar 2019 | 3 | | | | Centrifuge | Mar 2019 | 5 | | | | Nomisma | Mar 2019 | 1 | | | | Set Protocol | Mar 2019 | 5 | Set Protocol | 📄 | | NuCypher | Feb 2019 | 4 | NuCypher | 📄 | | AMP StableWire | Jan 2019 | 1 | | | | EIP-1283 | Jan 2019 | 1 | ChainSecurity | 📄 | | Ampleforth | Nov 2018 | 4 | Ampleforth | 📄 | | Origin Protocol | Nov 2018 | 4 | Origin Protocol | 📄 | | Paxos Standard | Oct 2018 | 4 | | 📄 | | Basecoin | Oct 2018 | 12 | | 📄 | | Pantheon | Oct 2018 | 8 | PegaSys | 📄 | | Compound | Sep 2018 | 12 | Compound | | | NuCypher | Aug 2018 | 12 | NuCypher | 📄 | | CENTRE | Jul 2018 | 4 | CENTRE | | Bloom | Jul 2018 | 1 | Bloom | | Gemini Dollar | Jun 2018 | 8 | Gemini | 📄 | | Dharma | May 2018 | 1 | Dharma | | | Golem | Apr 2018 | 4 | Golem | 📄 | | LivePeer | Mar 2018 | 4 | Livepeer | 📄 | | DappHub | Dec 2017 | 8 | | 📄 | | MakerDAO Sai | Oct 2017 | 8 | MakerDAO | 📄 | | Omega One | Aug 2017 | 6 | | |#### NervOS

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
xUDTJun 20212
Nervos -RSAMar 20214
Cheque Cell & ORUFeb 20218
Force Bridge - SolidityFeb 20214
Force Bridge - RustFeb 20213
Nervos SUDTOct 20206📄

Starknet

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
OpusDec 20238📄✅
AuraAug 20238📄✅
NostraDec 20228
StarkGateDec 20222
StarkExOct 20221
StarkNet tokenJul 20221
StarkPerpetualJan 20228
StarkExNov 20218

Solana

Substrate

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
zkVerifyFeb 20253📄
ParaSpaceDec 20221📄
ParaSpaceNov 20227📄
Parallel FinanceMar 20226📄
PolkadexFeb 202210
PolkadexDec 20214
PINTSep 20214
PolkaswapAug 20216📄
AlephBFTJun 20214📄
Acala NetworkJun 20214
Compound ChainMay 20216
Acala NetworkJan 20216📄
Parity FetherAug 20194
ParityJul 201812تُكمل Parity مراجعة أمنية من Trail of Bits📄

Tendermint/Cosmos

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
Orga and MerkNov 202410تدقيق أمني من Trail of Bits لـ Orga & Merk📄✅
Berachain polaris-gethAug 20238
Berachain berachainJun 20236
UmeeFeb 20228📄
Columbus-5Jan 20222
IBC ProtocolDec 20214
THORChainAug 202112
TendermintMar 201912
ndauNov 20188Policy Council

Tezos

المنتجالتاريخمستوى
الجهد
الإعلانالتقرير
KolibriApr 20224
Tezori (T2)Dec 20204📄
DexterJun 20204📄
TezoriJul 20182شكرًا لـ @trailofbits على مراجعتهم الأمنية

TON


Read more

الفئات