Edit: Filecoin does mention smart contracts in its white paper.