3 ms·

Thanks, that is exactly what I meant :) I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf http://www.cs.brown.e

by jules 16y ago

Thanks, that is exactly what I meant :) I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf