Thanks, that is exactly what I meant :)

I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf