hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
تكرار آلة الحالة الملحق: الامتدادات
تتيح إعادة التكوين إمكانية إضافة النسخ المتماثلة وإزالتها من النظام أثناء استمرار معالجة طلبات العميل. الصيانة المخطط لها وفشل النسخة المتماثلة هي أمثلة شائعة لإعادة التكوين. تتضمن إعادة التكوين الخروج والانضمام.
عندما يكتشف الخادم أن حالته أو إخراجه خاطئ (انظر التدقيق واكتشاف الفشل)، فقد يخرج من النظام بشكل انتقائي. وبالمثل، قد يقوم المسؤول بتنفيذ أمر يدويًا لإزالة نسخة متماثلة للصيانة.
أُضيف إدخال جديد إلى آلة الحالة يسمى QUIT. ترسل النسخة المتماثلة هذا الأمر إلى النظام تمامًا مثل طلب العميل. تقوم جميع النسخ المتماثلة غير المعيبة بإزالة النسخة المتماثلة الخارجة من النظام عند معالجة هذا الإدخال. خلال هذا الوقت، قد تتجاهل النسخة المتماثلة جميع رسائل البروتوكول. إذا بقيت أغلبية النسخ غير المعيبة، فإن عملية الإغلاق تكون ناجحة. إذا لم يكن الأمر كذلك، فهناك فشل في النظام.
بعد الخروج، قد يقوم الخادم الفاشل بإعادة التشغيل بشكل انتقائي أو إعادة الانضمام إلى النظام. وبالمثل، يمكن للمسؤول إضافة نسخة متماثلة جديدة إلى المجموعة للحصول على سعة إضافية.
تكرار آلة الحالة الملحق: الامتدادات
أُضيف إدخال جديد إلى آلة الحالة يسمى JOIN. ترسل النسخة المتماثلة هذا الأمر إلى النظام تمامًا مثل طلب العميل. تضيف جميع النسخ المتماثلة غير المعيبة العقدة المنضمة إلى النظام عند معالجة هذا الإدخال. يجب أن تكون النسخة المتماثلة الجديدة محدثة وفقًا لحالة النظام قبل الانضمام (انظر نقل الحالة).
عند توفير نسخة متماثلة جديدة أو إعادة تشغيل نسخة متماثلة قديمة، يجب إعادتها إلى الحالة الحالية قبل معالجة المدخلات (انظر الانضمام). ومن المنطقي أن يتطلب هذا تطبيق كل المدخلات منذ فجر النظام بالترتيب المناسب.
تؤدي عمليات النشر النموذجية إلى اختصار التدفق المنطقي عن طريق تنفيذ نقل الحالة لنقطة التفتيش الأحدث (انظر نقاط التفتيش). يتضمن ذلك نسخ حالة نسخة متماثلة واحدة إلى أخرى مباشرةً باستخدام بروتوكول خارج النطاق.
تكرار آلة الحالة الملحق: الامتدادات
قد تكون نقطة التفتيش كبيرة، مما يتطلب فترة نقل ممتدة. خلال هذا الوقت، قد تُضاف مدخلات جديدة إلى السجل. إذا حدث هذا، فيجب أن تتلقى النسخة الجديدة أيضًا المدخلات الجديدة وتطبقها بعد استلام نقطة التفتيش. تضيف عمليات النشر النموذجية النسخة المتماثلة الجديدة كمراقب لبروتوكول الطلب قبل بدء نقل الحالة، مما يسمح للنسخة المتماثلة الجديدة بجمع المدخلات خلال هذه الفترة.
تقلل عمليات النشر الشائعة من أوقات نقل الحالة عن طريق إرسال مكونات الحالة المختلفة فقط. يتطلب هذا معرفة المكونات الداخلية لآلة الحالة. نظرًا لأن نقل الحالة عادةً ما يكون بروتوكولًا خارج النطاق، فليس من الصعب تحقيق هذا الافتراض.
الضغط هو ميزة أخرى تضاف عادةً إلى بروتوكولات نقل الحالة، مما يقلل من حجم النقل الإجمالي.
Paxos هو بروتوكول لحل الإجماع، ويمكن استخدامه كبروتوكول لتنفيذ أمر الإجماع.
يتطلب باكسوس قائدًا واحدًا لضمان الحيوية. وهذا يعني أن إحدى النسخ يجب أن تظل قائدة لمدة كافية لتحقيق الإجماع بشأن العملية التالية لآلة الحالة. لا يتأثر سلوك النظام إذا تغير القائد بعد كل حالة، أو إذا تغير القائد عدة مرات لكل حالة. المتطلب الوحيد هو أن تظل نسخة واحدة في الصدارة لفترة كافية لتحريك النظام إلى الأمام.
بشكل عام، لا يكون القائد ضروريًا إلا عندما يكون هناك خلاف حول العملية التي يجب القيام بها، وإذا كانت هذه العمليات متعارضة بطريقة ما (على سبيل المثال، إذا لم يُتنقل بينها).
عندما تُقترح عمليات متضاربة، يعمل القائد كالسلطة الوحيدة لتوضيح الأمور، وتحديد ترتيب العمليات، مما يسمح للنظام بإحراز التقدم.
مع Paxos، قد تعتقد العديد من النسخ أنها قادة في نفس الوقت. تجعل هذه الخاصية عملية انتخاب الزعيم لـ Paxos بسيطة للغاية، وأي خوارزمية تضمن "الزعيم النهائي" سوف تعمل.
تكرار آلة الحالة الخلفية التاريخية
نشر عدد من الباحثين مقالات حول نهج آلة الحالة المتماثلة في أوائل الثمانينيات. وصفت أنيتا بورج تنفيذًا لنظام تشغيل متسامح مع الأخطاء يعتمد على آلات الحالة المتماثلة في ورقة بحثية عام 1983 بعنوان "نظام رسائل يدعم التسامح مع الأخطاء". كما اقترح ليزلي لامبورت أيضًا نهج آلة الحالة، في ورقته البحثية لعام 1984 حول "استخدام الوقت بدلاً من المهلة الزمنية في الأنظمة الموزعة". قام فريد شنايدر لاحقًا بشرح هذا النهج في ورقته البحثية "تنفيذ الخدمات المقاومة للأخطاء باستخدام نهج آلة الحالة: برنامج تعليمي".
قام كين بيرمان بتطوير نموذج التزامن الافتراضي في سلسلة من الأوراق البحثية المنشورة بين عامي 1985 و1987. المرجع الأساسي لهذا العمل هو "استغلال التزامن الافتراضي في الأنظمة الموزعة"، والذي يصف مجموعة أدوات Isis، وهو النظام الذي تم استخدامه لبناء بورصتي نيويورك وسويسرا، ونظام مراقبة الحركة الجوية الفرنسي، وسفن الحرب AEGIS التابعة للبحرية الأمريكية، وتطبيقات أخرى.
تكرار آلة الحالة الخلفية التاريخية
استخدمت الأعمال الأخيرة التي أجراها ميغيل كاسترو وباربرا ليسكوف نهج آلة الحالة في ما أطلقوا عليه اسم "هندسة التسامح العملي مع الأخطاء البيزنطية" التي تحاكي الخدمات الحساسة بشكل خاص باستخدام نسخة من نهج آلة الحالة الأصلي الخاص بـ Lamport، ولكن مع التحسينات التي تعمل على تحسين الأداء بشكل كبير.
مؤخرًا، طُوّرت مكتبة BFT-SMaRt، وهي مكتبة نسخ متماثل عالية الأداء لآلات الحالة، مقاومة للأخطاء، ومبنية على لغة البرمجة بيزنطية، ومطوّرة بلغة جافا. تُطبّق هذه المكتبة بروتوكولًا مشابهًا جدًا لبروتوكول PBFT، بالإضافة إلى بروتوكولات مُكمّلة تُتيح نقل الحالة وإعادة تهيئة المضيفين تلقائيًا (مثل عمليتي JOIN وLEAVE). تُعدّ BFT-SMaRt أحدث جهد لتطبيق نسخ متماثل لآلات الحالة، ولا تزال قيد الصيانة.
طورت Raft، وهي خوارزمية تعتمد على الإجماع، في عام 2013.
بدافع من PBFT، قُدم Tendermint BFT للشبكات غير المتزامنة الجزئية ويُستخدم بشكل أساسي في سلاسل الكتل Proof of Stake.
وسام الاستحقاق في البحث والتعليم الجامعي
تُعد وسام الاستحقاق في البحث والتعليم الجامعي من التكريمات المدنية الإسبانية، وقد أُنشئت بموجب المرسوم الملكي رقم 1025/1980، الصادر في 19 مايو، وتهدف إلى تكريم الأشخاص أو المؤسسات التي تميّزت في تطوير وتعزيز التعليم الجامعي والبحث العلمي والتقني.
تتكون وسام الاستحقاق في البحث والتعليم الجامعي من ثلاث درجات:
تُمنح الميداليات الذهبية بمرسوم ملكي، بناءً على اقتراح من وزير الجامعات والبحث العلمي أو المسؤول عن هذه المجالات، ويتم التصديق عليها من قبل الملك. أما الميداليات الفضية أو البرونزية، فتُمنح بقرار وزاري.
يوجد مجلس استشاري خاص بهذا الوسام، وتتمثل مهمته في تقديم المشورة للوزير بشأن جدارة الأفراد أو الهيئات المرشحة لنيله.
يتكوّن هذا المجلس من:
عشرة أعضاء:
أحدهم هو رئيس المجلس الأعلى للبحوث العلمية.
أربعة رؤساء جامعات يُعيّنون من قِبل الوزارة.
أربعة شخصيات بارزة من مجال الجامعة أو البحث العلمي تُعيّنهم الوزارة.
ثلاثة ممثلين عن الحاصلين على الوسام، واحد عن كل فئة (ذهب، فضة، وبرونز).
وسام الاستحقاق في البحث والتعليم الجامعي
تحمل هذه الوسام نفس الشارة في جميع فئاته. ويأخذ وجه الوسام شكل درع زخرفي مزين بأغصان الغار، يتوَّج بـالتاج الملكي الإسباني. في وسط الدرع، يظهر شعار إسبانيا بشكل بيضاوي، محاط بإطار خارجي أزرق مزخرف بخطوط معدنية دقيقة، نُقشت عليه العبارة: "للاستحقاق في البحث والتعليم الجامعي".
يُصنَع الدرع من المعدن الخاص بكل فئة من فئات الوسام (ذهب، فضة، برونز)، بينما يكون الشعار، وبطانة التاج، والإطار الخارجي مُزجَّجة بالمينا.
أما على الجانب الخلفي، فيظهر صورة للملك ألفونسو الثامن ملك قشتالة، محاطة بإطار مطابق لما في الوجه الأمامي، ومكتوب عليه: "ADEPHONSVS VIII. REX. STVDIVM."
تُستكمل الكتابة على ظهر الوسام بعبارة: "Palemtinvm. A.D. MCCVIII. instititvit" أي: "بالماثينوم، سنة 1208 ميلادية، أسّسها"، في إشارة إلى أن هذا الملك، ألفونسو الثامن، هو من أسّس أول جامعة في إسبانيا، وهي "الاستوديوم الجنراليه في بالينثيا" (Estudio General de Palencia)، وذلك عام 1208.
وسام الاستحقاق في البحث والتعليم الجامعي
تتضمن فئتا الذهب والفضة أيضًا شارة إضافية تُصنع من المعدن الموافق للفئة، وتتكوّن من أشعة معدنية تُوضع على الجانب الأيسر من الصدر.
ويُثبَّت على هذه الشارة وجه الوسام نفسه.
كما تُسلَّم نسخ مصغرة من شارات جميع الفئات، بحيث يمكن ارتداؤها على طية السترة أو على الأقمشة.
يُمكن سحب الوسام من أي شخص مُنح إحدى فئاته إذا ثبت عليه بحكم قضائي ارتكابه جريمة عمدية، أو إذا قام علنًا وبشكل واضح بأفعال تتنافى مع الأسباب التي استُند إليها في منحه الوسام.
ويتم ذلك من خلال إجراءات إدارية تبدأ من تلقاء نفسها أو بناءً على بلاغ معلَّل، وبمشاركة النيابة العامة التابعة للأمر الملكي.
وتعود سلطة اتخاذ قرار السحب إلى الجهة التي منحت الوسام في الأصل.
فيراكربت
VeraCrypt هي أداة مساعدة مجانية ومفتوحة المصدر للتشفير الفوري (OTFE). يمكن للبرنامج إنشاء قرص مشفر افتراضي يعمل تمامًا مثل القرص العادي ولكن داخل ملف. يمكنه أيضًا تشفير قسم أو (في Windows) جهاز التخزين بأكمله باستخدام مصادقة ما قبل التمهيد.
VeraCrypt هو شوكة من مشروع TrueCrypt المتوقف. أُصدر لأول مرة في 22 يونيو 2013. نُفذت العديد من التحسينات الأمنية وعُلجت المخاوف المتعلقة بعمليات تدقيق كود TrueCrypt. يتضمن VeraCrypt تحسينات لوظائف التجزئة والتشفير الأصلية، مما يعزز الأداء على وحدات المعالجة المركزية الحديثة.
فيراكربت مخطط التشفير
يستخدم VeraCrypt تقنيات التشفير AES و Serpent و Twofish و Camellia و Kuznyechik. توقفت النسخة 1.19 عن استخدام شفرة Magma استجابةً لمراجعة أمنية. لمزيد من الأمان، تتوفر عشرة مجموعات مختلفة من الخوارزميات المتتالية:
وظائف التجزئة التشفيرية المتاحة للاستخدام في VeraCrypt هي BLAKE2s-256 و SHA-256 وSHA-512 و Streebog و Whirlpool. كان لدى VeraCrypt دعم لـ RIPEMD-160 ولكن أُزيل منذ ذلك الحين في الإصدار 1.26.
طريقة تشغيل التشفير الكتلي لبرنامج VeraCrypt هي XTS. يقوم بإنشاء مفتاح الرأس ومفتاح الرأس الثانوي (وضع XTS) باستخدام PBKDF2 مع ملح 512 بت. بشكل افتراضي، تمر هذه العمليات عبر 200000 إلى 500000 تكرار، اعتمادًا على دالة التجزئة الأساسية المستخدمة وما إذا كان تشفيرًا للنظام أم غير نظامي. يمكن للمستخدم تخصيصه ليبدأ من 2048 و16000 على التوالي.
فيراكربت مخطط التشفير
أجرى QuarksLab عملية تدقيق للإصدار 1.18 نيابة عن صندوق تحسين تكنولوجيا المصدر المفتوح (OSTIF)، والتي استغرقت 32 يوم عمل. نشر المراجع النتائج في 17 أكتوبر 2016. في نفس اليوم، أصدرت IDRIX الإصدار 1.19، الذي حل الثغرات الرئيسية التي تم تحديدها في التدقيق.
أجرى معهد فراونهوفر لتكنولوجيا المعلومات الآمنة (SIT) تدقيقًا آخر في عام 2020، بناءً على طلب من المكتب الفيدرالي الألماني لأمن المعلومات (BSI)، ونشر النتائج في أكتوبر 2020.
فيراكربت احتياطات أمنية
هناك عدة أنواع من الهجمات التي تكون جميع برامج تشفير الأقراص المعتمدة عليها عرضة لها. كما هو الحال مع TrueCrypt، فإن وثائق VeraCrypt ترشد المستخدمين إلى اتباع احتياطات أمنية مختلفة للتخفيف من حدة هذه الهجمات، والتي فُصلت العديد منها أدناه.
فيراكربت احتياطات أمنية
يقوم برنامج VeraCrypt بتخزين مفاتيحه في ذاكرة الوصول العشوائي (RAM)؛ وفي بعض أجهزة الكمبيوتر الشخصية، تحتفظ ذاكرة DRAM بمحتوياتها لعدة ثوانٍ بعد انقطاع التيار الكهربائي (أو لفترة أطول إذا انخفضت درجة الحرارة). حتى لو كان هناك بعض التدهور في محتويات الذاكرة، فمن الممكن أن تتمكن خوارزميات مختلفة من استعادة المفاتيح. أُستخدمت هذه الطريقة، المعروفة باسم هجوم التمهيد البارد (الذي ينطبق بشكل خاص على أجهزة الكمبيوتر المحمولة التي حُصل عليها أثناء التشغيل أو الإيقاف المؤقت أو قفل الشاشة)، بنجاح لمهاجمة نظام ملفات محمي بواسطة إصدارات TrueCrypt 4.3a و5.0a في عام 2008. مع الإصدار 1.24، أضاف VeraCrypt خيار تشفير مفاتيح RAM وكلمات المرور على إصدارات x64 من Windows، مع تكلفة وحدة المعالجة المركزية أقل من 10%، وخيار مسح جميع مفاتيح التشفير من الذاكرة عند توصيل جهاز جديد.
فيراكربت احتياطات أمنية
تشير وثائق VeraCrypt إلى أن VeraCrypt غير قادر على تأمين البيانات على جهاز الكمبيوتر إذا قام أحد المهاجمين بالوصول إليها فعليًا ثم أُستخدم VeraCrypt على جهاز الكمبيوتر المخترق من قبل المستخدم مرة أخرى. لا يؤثر هذا على الحالة الشائعة المتمثلة في سرقة أو فقدان أو مصادرة جهاز كمبيوتر. يمكن للمهاجم الذي لديه إمكانية الوصول المادي إلى جهاز كمبيوتر، على سبيل المثال، تثبيت برنامج تسجيل مفاتيح للأجهزة أو البرامج، أو جهاز إدارة ناقل يلتقط الذاكرة أو تثبيت أي أجهزة أو برامج ضارة أخرى، مما يسمح للمهاجم بالتقاط بيانات غير مشفرة (بما في ذلك مفاتيح التشفير وكلمات المرور) أو فك تشفير البيانات المشفرة باستخدام كلمات المرور أو مفاتيح التشفير الملتقطة. لذلك، فإن الأمن المادي هو أساس النظام الآمن.
صُممت بعض أنواع البرامج الضارة لتسجيل ضغطات المفاتيح، بما في ذلك كلمات المرور المكتوبة، والتي قد تُرسل بعد ذلك إلى المهاجم عبر الإنترنت أو حفظها على محرك محلي غير مشفر حيث قد يتمكن المهاجم من قراءتها لاحقًا، عندما يتمكن من الوصول الفعلي إلى الكمبيوتر.
لا يستفيد VeraCrypt من Trusted Platform Module (TPM). يكرر قسم الأسئلة الشائعة الخاص بـ VeraCrypt الرأي السلبي لمطوري TrueCrypt الأصليين حرفيًا. كان مطورو TrueCrypt من الرأي أن الغرض الحصري لـ TPM هو "الحماية من الهجمات التي تتطلب من المهاجم أن يكون لديه امتيازات المسؤول، أو الوصول الفعلي إلى الكمبيوتر". يمكن للمهاجم الذي لديه حق الوصول المادي أو الإداري إلى جهاز كمبيوتر التحايل على TPM، على سبيل المثال، عن طريق تثبيت مسجل ضغطات المفاتيح للأجهزة، أو عن طريق إعادة تعيين TPM، أو عن طريق التقاط محتويات الذاكرة واسترداد المفاتيح الصادرة عن TPM. ويذهب النص المدان إلى حد الادعاء بأن TPM زائدة عن الحاجة تمامًا.
من الصحيح أنه بعد تحقيق الوصول المادي غير المقيد أو الامتيازات الإدارية، فإن الأمر لا يعدو أن يكون مسألة وقت قبل تجاوز تدابير الأمان الأخرى الموضوعة. ومع ذلك، فإن إيقاف المهاجم الذي يمتلك امتيازات إدارية لم يكن أبدًا أحد أهداف TPM. (انظر وحدة النظام الأساسي الموثوقة § Usesومع ذلك، قد وحدة النظام الأساسي الموثوقة § Uses TPM إلى تقليل معدل نجاح هجوم التمهيد البارد الموصوف أعلاه. من المعروف أيضًا أن TPM عرضة لهجمات SPI.
فيراكربت الإنكار المعقول
كما هو الحال مع سابقتها TrueCrypt ، يدعم VeraCrypt إمكانية الإنكار المعقول من خلال السماح بإنشاء "مجلد مخفي" واحد داخل مجلد آخر. يمكن لإصدارات Windows من VeraCrypt إنشاء وتشغيل نظام تشغيل مشفر مخفي قد يُرفض وجوده. تسرد وثائق VeraCrypt الطرق التي قد تُخترق ميزات إنكار وحدة التخزين المخفية (على سبيل المثال، بواسطة برامج الطرف الثالث التي قد تسرب المعلومات من خلال الملفات المؤقتة أو عبر الصور المصغرة) والطرق الممكنة لتجنب ذلك.
فيراكربت أداء
يدعم VeraCrypt التوازي:63التشفير للأنظمة متعددة النواة. في Microsoft Windows، عمليات القراءة والكتابة المنسقة (شكل من أشكال المعالجة غير المتزامنة):63لتقليل تأثير التشفير وفك التشفير على الأداء. في المعالجات التي تدعم مجموعة تعليمات AES-NI، يدعم VeraCrypt AES المعجل بالأجهزة لتحسين الأداء بشكل أكبر. :64في وحدات المعالجة المركزية ذات 64 بت، يستخدم VeraCrypt تنفيذ التجميع الأمثل لـ Twofish وSerpent وCamellia.
فيراكربت الترخيص ونموذج المصدر
قُسم VeraCrypt من مشروع TrueCrypt الذي أُوقف منذ ذلك الحين في عام 2013، وكان يحتوي في الأصل على معظم كود TrueCrypt الذي صُدر بموجب ترخيص TrueCrypt 3.0. على مدى السنوات التي تلت ذلك، أُعيد كتابة المزيد والمزيد من كود VeraCrypt وإصداره بموجب ترخيص Apache 2.0 المتساهل.
يُعتبر ترخيص TrueCrypt بشكل عام متاحًا للمصدر ولكنه ليس مجانيًا ومفتوح المصدر. يُعتبر ترخيص Apache عالميًا مجانيًا ومفتوح المصدر. يعتبر ترخيص VeraCrypt المختلط مجانيًا ومفتوح المصدر على نطاق واسع ولكن ليس عالميًا.
في 28 مايو 2014، توقف تطوير TrueCrypt في ظل ظروف غير عادية، ولا توجد طريقة للاتصال بالمطورين السابقين.
فيراكربت الترخيص ونموذج المصدر
يعتبر VeraCrypt مجانيًا ومفتوح المصدر من خلال:
لا يُعتبر VeraCrypt برنامجًا مجانيًا ومفتوح المصدر من خلال:
معظم هذه المشاكل ترجع إلى عدم وجود تراخيص مدعومة أو معتمدة لبرنامجي Veracrypt و Truecrypt. على سبيل المثال، لا تتسامح مؤسسة البرمجيات الحرة مع التراخيص التي تفرض التزامات على المستخدم النهائي لتنفيذ البرنامج وبالتالي تتعارض مع تعريف البرمجيات الحرة. تعتبر Debian جميع البرامج التي لا تتوافق مع إرشادات DFSG غير حرة.
فيراكربت القضايا القانونية
في قضية الولايات المتحدة ضد بيرنز، كان لدى المدعى عليه ثلاثة محركات أقراص صلبة، الأول عبارة عن قسم نظام والذي تبين لاحقًا أنه يحتوي على مخابئ لصور إباحية أطفال محذوفة ودليل لكيفية استخدام VeraCrypt، وكان الثاني مشفرًا، والثالث يحتوي على ملفات موسيقية متنوعة. ورغم اعتراف المتهم بوجود صور إباحية للأطفال على القرص الصلب الثاني الخاص به، إلا أنه رفض إعطاء كلمة المرور للسلطات. وعلى الرغم من البحث عن أدلة على كلمات المرور المستخدمة سابقًا على محرك الأقراص الأول، والاستفسارات لمكتب التحقيقات الفيدرالي عن أي نقاط ضعف في برنامج VeraCrypt التي يمكن استخدامها للوصول إلى قسم محرك الأقراص، ومحاولة اختراق القسم بالقوة باستخدام مجموعة الأحرف الأبجدية الرقمية ككلمات مرور محتملة، لم يتمكن المكتب من الوصول إلى القسم. ونتيجة لاعتراف المتهم بوجود صور إباحية للأطفال على محرك الأقراص المشفر، تقدمت النيابة العامة بطلب لإجبار المتهم على إعطاء كلمة المرور بموجب مبدأ الاستنتاج المسبق في قانون جميع الأوامر.
فيراكربت القضايا القانونية
في عملية بحث في شقة متهم في كاليفورنيا بتهمة الوصول إلى صور إباحية للأطفال، عُثر على محرك أقراص VeraCrypt يزيد حجمه عن 900 جيجابايت كمحرك أقراص ثابت خارجي. أُستدعي مكتب التحقيقات الفيدرالي لمساعدة سلطات إنفاذ القانون المحلية، لكن مكتب التحقيقات الفيدرالي ادعى أنه لم يجد أي نقطة ضعف في برنامج VeraCrypt. كما نفى مكتب التحقيقات الفيدرالي وجود باب خلفي داخل برنامج VeraCrypt. وتبين لاحقًا أن مشتبهًا به آخر قام بتدريب المتهم على استخدام التشفير لإخفاء صوره ومقاطع الفيديو الإباحية للأطفال. وبما أن المتهم اعترف بوجود صور إباحية للأطفال على محرك الأقراص كنسخة احتياطية على أي حال وسجلات الدردشة المتعلقة بالمشتبه به الآخر الذي يعلم المتهم كيفية استخدام VeraCrypt، فقد أُستخدم مبدأ الاستنتاج المسبق مرة أخرى.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية والتي كانت تسمى سابقًا مجمع معاهد الحياة المكرسة وجمعيات الحياة الرسولية (باللاتينية: Congregatio pro Institutis Vitae Consecratae et Societatibus Vitae Apostolicae)، هي دائرة الكوريا الرومانية المختصة بكل ما يتعلق بمؤسسات الحياة المكرسة (الرهبانيات والجماعات الدينية، من الرجال والنساء، وكذلك المؤسسات العلمانية) وجمعيات الحياة الرسولية، فيما يتعلق بحكومتها، وانضباطها، ودراساتها، وممتلكاتها، وحقوقها، وامتيازاتها.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية وصف
في 26 مايو 1587، أسس البابا سيكتوس الخامس المجمع المقدس للتشاور حول النظاميين. في عام 1908 قام البابا بيوس العاشر بتغيير اسمها إلى مجمع الرهبانيات. في عام 1967 قام البابا بولس السادس بتغيير اسمها إلى مجمع المعاهد الدينية والعلمانية. أعطى البابا فرانسيس الجماعة اسمها الحالي من خلال الدستور الرسولي الصادر في 19 مارس 2022 بعنوان "إعلان الإنجيل".
إن المجمع مسؤول عن كل ما يتعلق بالرهبانيات والجماعات الدينية وجمعيات الحياة الرسولية، فيما يتعلق بحكومتها ونظامها ودراساتها وما إلى ذلك. ومختص أيضًا بأمور تتعلق بالنساك والعذارى المكرسات وأشكال الحياة المكرسة الجديدة. ولا تقتصر صلاحياته على نطاق إقليمي، بل على أنواع المسائل والمنظمات التي يتعامل معها - فقد يحيل بعض المسائل إلى دوائر الفاتيكان الأخرى اعتمادًا على طبيعة القضية. وتتولى الدائرة أيضًا معالجة الأمور المتعلقة بجمعيات المؤمنين التي تشكلت بقصد أن تصبح مؤسسات للحياة المكرسة أو جمعيات للحياة الرسولية، وللعلمانيين من الدرجة الثالثة.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية وصف
في بعض الأماكن، يبدو أن الجماعة الدينية فقدت أهميتها في نظر الرهبان والراهبات، وربما لم تعد مثالاً يُسعى إليه. ... في العديد من البلدان، أدى تزايد البرامج الحكومية في المجالات التي كان الرهبان نشطين فيها تقليديًا - مثل الخدمة الاجتماعية والتعليم والصحة - إلى جانب انخفاض الدعوات، إلى انخفاض حضور الرهبان في الأعمال التي كانت في السابق أعمالًا نموذجية للمعاهد الرسولية. ... من الضروري أن تكون لدينا جماعات دينية ذات هوية كاريزمية واضحة، مندمجة ومعاشة، وقادرة على نقلها إلى الآخرين ومستعدة لمشاركتها، وجماعات دينية ذات روحانية شديدة وحماس تبشيري للتواصل مع نفس الروح والاندفاع التبشيري نفسه؛ جماعات دينية تعرف كيف تحيي وتشجع العلمانيين على مشاركة كاريزما مؤسستهم، وفقًا لطابعهم الدنيوي ووفقًا لأسلوب حياتهم المختلف، وتدعوهم إلى اكتشاف طرق جديدة لجعل الكاريزما والرسالة نفسها فعالة.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية وصف
في 21 نوفمبر 2014، أعلن البابا فرانسيس "عام الحياة المكرسة" ليبدأ في 30 نوفمبر 2014، الأحد الأول من زمن المجيء ويستمر حتى عيد تقدمة يسوع إلى الهيكل، 2 فبراير 2016. خططت جماعة معاهد الحياة المكرسة وجمعيات الحياة الرسولية لعدد من المبادرات لتسهيل اللقاءات بين أعضاء مختلف أشكال الحياة المكرسة والأخوية في الكنائس المختلفة.
ألقى البابا فرانسيس كلمة أمام الجماعة في يناير 2017 حول موضوع "الإخلاص والمثابرة" قائلاً: "من الواضح أنه يجب على المرء أولاً أن يسمح لنفسه بالتبشير من أجل الانخراط في التبشير".
مؤسسات الحياة المكرسة هي مؤسسات أنشئت قانونيًا في الكنيسة الكاثوليكية الرومانية، ويعتنق أعضاؤها المشورة الإنجيلية من خلال نذور العفة والفقر والطاعة. هناك نوعان:
تتميز المعاهد الدينية بالإعلان العلني عن النذور، والحياة الجماعية، ودرجة من الانفصال عن العالم.
بعض المعاهد تسمى تنظيمات. وهذه هي المعاهد التي، لأسباب تاريخية أو بسبب طابعها أو طبيعتها، يتم فيها تقديم عهود رسمية من قبل بعض الأعضاء على الأقل. يُطلق على جميع أعضاء هذه التنظيمات اسم النظاميين (لأنهم يحكمون بقاعدة). التنظيمات أقدم من الجماعات.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية وصف
وتسمى المعاهد الدينية الأخرى بالجماعات. ويؤدي أعضاؤها عهودًا بسيطة؛ وتُسمى النساء بالأخوات.
المعهد العلماني هو منظمة من الأفراد المكرسين الذين، على عكس أعضاء المعهد الديني الذين يعيشون في المجتمع، يعيشون في العالم، ويعملون على تقديس العالم من الداخل.
يمكن أيضًا تصنيف المعاهد على أنها "معهد ديني" أو "معهد علماني" اعتمادًا على ما إذا كان الأعضاء يمارسون الكهنوت. (المادة 588.2، والمادة 588.3).
إن مجتمع الحياة الرسولية هو مجموعة من الرجال أو النساء داخل الكنيسة الكاثوليكية الذين اجتمعوا من أجل غرض محدد ويعيشون بشكل أخوي.
تحتاج كل من معاهد الحياة المكرسة وجمعيات الحياة الرسولية إلى موافقة كتابية من الأسقف للعمل داخل أبرشيته، على الرغم من أن الأسقف الأبرشي يمكنه إنشاء معهد أو جمعية للحياة المكرسة في منطقته، بعد التشاور مع الكرسي الرسولي.
دائرة معاهد الحياة المكرسة وجمعيات الحياة الرسولية قيادة
اعتبارًا من 6 يناير 2025، أصبحت رئيسة الدير هي الأخت سيمونا برامبيلا، ونائب رئيس الدير هو الكاردينال أنخيل فرنانديز أرتيم؛  والوكيلان هما الأب بيير لويجي نافا  والأخت كارمن روس نورتيس، وهي عضو في راهبات سيدة التعزية.
في 8 يوليو 2019، ضم البابا فرانسيس النساء لأول مرة عند تسمية 21 عضوًا جديدًا للجماعة. كان جميع السبعة منهن رؤساء رهبانياتهن: ستة منهن قائدات للرهبانيات الدينية الدولية، وواحدة منهن تقود معهدًا للنساء العلمانيات المكرسات: كاثلين أبلر، إيفون رينجوات، فرانسواز ماسي، لويجيا كوكيا، سيمونا برامبيلا، ريتا كالفو سانز وأولجا كريزوفا.   قالت كاثرين كليفورد، من جامعة سانت بول في أوتاوا، "إن الخطوة الأخيرة للبابا فرانسيس تمثل تطوراً جديداً ومهماً من حيث أنها ستمنح النساء صوتاً مداولياً في الهيئة الحاكمة للجماعة، والتي كانت حتى الآن حكراً على الكرادلة والأساقفة ورؤساء الطوائف الدينية للرجال".
جوائز ألبرتو سولس
تُمنح جوائز ألبرتو سولس كل عامين بهدف تقدير جهود الباحثين وتحفيز التفاني في العمل العلمي والبحثي في مجال علوم الصحة، وذلك ضمن نطاق مجتمع بلنسية المحلي
تاريخها
في عام 1983، اجتمعت لجنة من بلدية ساكس مع السيد ألبرتو سولس غارسيا في منزله بمدينة مدريد لطلب موافقته على إنشاء جائزة تحمل اسمه.
كانت اللجنة المكلّفة بتنفيذ المشروع برئاسة السيدة بنيتا مورينو، عضوة المجلس البلدي لشؤون الثقافة، وتكوّنت من نائب رئيس جامعة لقنت، المدير العام للجامعات في حكومة فالنسيا، رئيس مجلس محافظة أليكانتي (الذي فوّض المهمة لنائب الثقافة)، وعمدة بلدية ساكس، السيد بيدرو بارسلو (الذي فوّض بدوره السيدة بنيتا مورينو ونائب العمدة الأول).
جوائز ألبرتو سولس
وأخيرًا، في يناير عام 1986، قام مجلس بلدية ساكس، بالتعاون مع حكومة فالنسيا، ومجلس محافظة أليكانتي، وجامعة أليكانتي، بتأسيس جائزتين:
جائزة أفضل عمل بحثي، وقيمتها مليون بيزيتا (ما يعادل 6,010.12 يورو)، وجائزة أفضل عمل علمي، بقيمة 500 ألف بيزيتا (3,005.06 يورو). 
وفي تلك الدورة الأولى، لم تُمنح سوى جائزة "أفضل عمل بحثي".
وفي فبراير 2022، خلال الدورة التاسعة عشرة لجوائز ألبرتو سولس، تم التمييز بين نوعين من البحث في فئة "أفضل عمل بحثي": البحث الأساسي والبحث السريري.
في عام 1998، انضمت جامعة ميغيل إيرنانديث كجهة راعية لجوائز ألبرتو سولس.
تُمنح هذه الجوائز كل عامين في فئتين: "أفضل عمل بحثي" بقيمة 22,000 يورو، و**"أفضل عمل علمي"** بقيمة 8,000 يورو.
تُمنح الجوائز من قبل لجنة علمية مكوّنة من ممثلين عن: حكومة فالنسيا، جامعة أليكانتي، جامعة ميغيل إيرنانديث في إلشي، عائلة ألبرتو سولس، بلدية ساكس، والفائز بالجائزة في الدورة السابقة.
جوائز ألبرتو سولس
في أكتوبر 1986، قام ألبرتو سولس نفسه بتسليم أول جائزة تحمل اسمه. ومن الدورة الثانية حتى التاسعة، كانت تُسلَّم الجوائز في 2 فبراير من كل عام، بالتزامن مع احتفالات "الموريسكيين والمسيحيين" في بلدة ساكس.
يُعلن عن أسماء الفائزين في نهاية كل عام، بينما يتم تسليم الجوائز في شهر أبريل التالي. يترأس عمدة ساكس حفل توزيع الجوائز، والذي يُقام في مسرح ثربانتس في البلدة، ويتحدث فيه العلماء المكرمون عن أعمالهم البحثية والإنجازات العلمية التي نالوا بها الجائزة.
في أكتوبر 1986، قام ألبرتو سولس نفسه بتسليم أول جائزة تحمل اسمه. ومن الدورة الثانية حتى التاسعة، كانت تُسلَّم الجوائز في 2 فبراير من كل عام، بالتزامن مع احتفالات "الموريسكيين والمسيحيين" في بلدة ساكس.
يُعلن عن أسماء الفائزين في نهاية كل عام، بينما يتم تسليم الجوائز في شهر أبريل التالي. يترأس عمدة ساكس حفل توزيع الجوائز، والذي يُقام في مسرح ثربانتس في البلدة، ويتحدث فيه العلماء المكرمون عن أعمالهم البحثية والإنجازات العلمية التي نالوا بها الجائزة.
المرشحين
هم علماء أجروا أبحاثهم في مجال علوم الصحة. ويشترط أن تكون لهم صلة ما بجماعة فالنسيا، سواء من خلال مكان الولادة أو الإقامة أو العمل. كما يجب أن يتم ترشيحهم أو دعمهم من قِبل مؤسسة عامة أو خاصة ذات علاقة بمجال علوم الصحة.
بريكثرو إنرجي
بريكثرو إنرجي (بالإنجليزية: Breakthrough Energy) هي مبادرة استثمارية وشبكة مؤسسات غير ربحية أسسها الملياردير الأمريكي بيل غيتس في عام 2015، وتهدف إلى تسريع الابتكار في مجال الطاقة النظيفة من أجل التصدي لأزمة تغير المناخ.
بريكثرو إنرجي الخلفية
تم الإعلان عن المبادرة لأول مرة خلال مؤتمر الأمم المتحدة لتغير المناخ 2015 في باريس، تحت اسم Breakthrough Energy Coalition، بمشاركة مجموعة من المستثمرين العالميين، من بينهم:
تهدف المبادرة إلى سد الفجوة بين البحوث العلمية المتقدمة والتمويل التجاري، وذلك من خلال دعم الشركات الناشئة والتقنيات الواعدة التي يمكن أن تسهم في خفض الانبعاثات الكربونية.