Computer scientist Nick Szabo illustrated that all three properties can be achieved up to the limits of Byzantine fault tolerance.