Yaron Velner détient un doctorat en informatique de l'Université de Tel Aviv. Ses recherches se concentrent sur les incitations de la théorie des jeux dans les protocoles blockchain et la vérification formelle des contrats intelligents. Il a trouvé plusieurs bogues dans le programme de récompense pour les bogues de Ethereum. Yaron est également un développeur logiciel expérimenté avec plus de 10 ans d'expérience en tant qu'ingénieur logiciel principal et leader technique chez EZchip semi-conducteurs. Il a été membre de l'équipe de structures de données et d'algorithmes, qui a développé de nouvelles structures de données pour le routage IP.