Practical secrecy-preserving, verifiably correct and trustworthy auctions