Josef Tetek BITCOIN'S SECURITY BUDGET IS ADEQUATE FOR NOW