Blockchain, Smart Contracts, Database, Electrical Engineering.
outputs is not 2^(number of inputs), but rather number of internal states, e.g. 2^(number of internal state variables) if your internal variables are all Boolean. For example, if you have a 3-input combinational circuit, it would have ²³ =8 possible states to verify. But if it’s a sequential