استخراج الثغرات مثل Resolv هو مجال تصميم @m0 يميز فيه حقا من خلال الانتقال من منطق السكك الداخلي إلى التحقق الخارجي باستخدام عرافة خارجية "إثبات الأصل". البروتوكول لا يتحقق فقط من حساباته الداخلية، بل يتطلب تحققا مستقلا من طرف ثالث من وجود الضمان فعليا قبل إتمام معاملة السك.