An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs - View it on GitHub