State-witnessed virtual transactions for atomic execution of complexity-unconstrained smart contracts.

I. Smagin

Browse the full SAC paper archive.