module CryptoToolchain::BlackBoxes