Sorry, a bit more precise: Is casper the base for the Smart contract executor?
No... smart contracts are already a reality without Casper.
https://etherchain.org/contractsNot a Proof. Maybe the core that executes now or in future is called different, but still it needs that casper.