EfShard: Toward Efficient State Sharding Blockchain via Flexible and Timely State Allocation | Synapse