today
	OWF => ...
	zero knowledge
owf
	defn: OWF
	ex: scrambling an egg
	defn: PRG
	thm[HILL]: OWF => PRG
	lem: encryption via PRG
zk
	password salting
	random salting as challenges
	defn
		view
		simulation
	zk for GI