Circuit Contracts