Смарти - это шаблонизатор. Шаблонизаторы занимаются тем, что по данным и кешу строют html или другую структуру. Они могут строить так же и html-формы. НО проверка валидация форм, занесение данных в базу и прочая бизнес-логика к шаблонизаторам никак не относится.
SmartyValidate: a class/plugin for validating form variables
within the Smarty template environment.
Это просто класс валидации, который использует смарти.
SmartyFormtool - яваскриптовая плагин для облегчения построения форм.
остальные даже смотреть не хочется.