I got a minor glimpse into the mindset of the TB team a while ago -- on the consensus bits and TB's choice of protocol -- and was impressed with the rigorous and ++informed approach that guided the design of that aspect of the system. Joran even managed to create a Garbo Speaks moment by finding Brian Oki and interviewing him. They are quite thorough! /g
https://www.youtube.com/watch?v=ps106zjmjhw
(Joran, I am happy to see your team and product are getting the exposure that imho they certainly deserve.)