Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem
تحل هذه الورقة مشكلة التراجع اللانهائي في التصديق المتبادل عبر تطبيق نظرية كليين الثانية في التكرار لبناء عقد يمكنها إعادة بناء والتحقق من الكود المصدري الدقيق لبعضها البعض من البيانات المدمجة وحدها، مما يلغي الحاجة إلى أطراف ثالثة موثوقة أو قيم مرجعية خارجية عبر مختلف البنى الحوسبية.