Change low-level crypto to use Vale instead of Spartan
Change low-level crypto to use Vale instead of Spartan

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar