David Mazières added adaptive hash difficulty? 25 years ago?!

He helped with Stellar's consensus protocol and is still involved now. https://stellar.org/