version right before class -- added elliptic curve crypto stuff; yannick is proving things, etc.