يشرفني حقا الحصول على جائزة CCS Test of Time عن ورقتنا البحثية "إزالة الغموض عن الحوافز في كمبيوتر الإجماع" (CCS 2015) ، وهي واحدة من أولى أبحاثي الأكاديمية حول Ethereum وكيف تشكل الحوافز الإجماع في سلاسل الكتل العامة. في ذلك الوقت ، تحدينا افتراضا أساسيا في تصميم ساتوشي بأن "غالبية طاقة وحدة المعالجة المركزية يتم التحكم فيها بواسطة عقد صادقة". جادلنا بدلا من ذلك بأن العقد عقلانية ، وليست صادقة بالضرورة ، وأنه بدون حوافز مناسبة ، فإن العقد الكاملة ليس لديها سبب وجيه للتحقق من الكتل التي لم يتم تعدينها. أطلقنا على هذا معضلة المدقق. اقترح عملنا بعض الإصلاحات "الساذجة ولكن الأنيقة" بما في ذلك نموذج التحقق الاحتمالي ، وساعد في إشعال عقد من البحث في التحقق القابل للتطوير والمتوافق مع الحوافز. بعد عشر سنوات ، رأينا المساحة تتطور: من TrueBit لجيسون تويتش إلى عمليات التحقق المتفائلة والمقاومة من zk ، حيث تتبنى Ethereum نفسها الآن التحقق المستند إلى zk لتنفيذ الكتلة. ما بدأ كنقد نظري أصبح الآن ركيزة أساسية لقابلية توسع blockchain.