Practical Secrecy-Preserving, Verifiably Correct and Trustworthy Auctions