Sinto-me verdadeiramente honrado por receber o Prémio CCS Test of Time pelo nosso artigo “Desmistificando os Incentivos no Computador de Consenso” (CCS 2015), uma das minhas primeiras investigações académicas sobre Ethereum e como os incentivos moldam o consenso em blockchains públicas. Naquela época, desafiámos uma suposição fundamental no design de Satoshi de que “a maioria do poder de CPU é controlada por nós honestos.” Em vez disso, argumentámos que os nós são racionais, não necessariamente honestos, e que sem incentivos adequados, os nós completos têm poucas razões para verificar blocos que não mineraram. Chamámos a isso o dilema do verificador. O nosso trabalho propôs algumas soluções “ingénuas mas elegantes”, incluindo um modelo de verificação probabilística, e ajudou a desencadear uma década de investigação em verificação escalável e alinhada com incentivos. Dez anos depois, vimos o espaço evoluir: desde o TrueBit de Jason Teutsch até verificações otimistas e zk-proof, com o próprio Ethereum agora a abraçar a verificação baseada em zk para a execução de blocos. O que começou como uma crítica teórica tornou-se agora um pilar central da escalabilidade da blockchain.