Since the <video> demos were benchmarked using youtube my suspicion is that it's h.264 for now. We'll see how the codec wars pan out.