Zero knowledge proofs use quadratic arithmetic programs to create functions useful with elliptic curve pairings.

BBS signatures allow one person to sign many documents efficiently by using elliptic curve parings. I've put an example on github to show how it works.