📄️zk-SNARKWhat are zk-SNARKs📄️Circuits and constraint systemsWhat are circuits📄️Proving schemes and curvesProving schemes and curves